State Preserving Fault Tolerance for Ada Applications

State Preserving Fault Tolerance for Ada Applications

[Thomas Wetmore]

Our small startup has developed a new software fault tolerant (FT) architecture, implemented as an SDK and library, that we are currently adapting for use with Ada and SPARK. It will enable developers to create true state preserving, fault tolerant Ada applications by either developing new or modifying existing code. The architecture provides additional levels of availability and security by providing resilience against both hardware failures and software anomalies (attacks). The port will enable Ada users to create FT Ada applications that can be adapted for most COTS h/w - s/w platforms. Such applications can even be run on heterogeneous, geographically distributed configurations - using bare metal, virtual machines, or containers. 
Note that this new application-based FT software technology was created by our veteran computer design engineers who have developed multiple generations of fault tolerant systems currently in world-wide use. The Ada implementation of the technology is being created by a veteran Ada expert who has been developing with Ada since its inception. 
We are looking for users with whom we can collaborate to 1) provide needs input, 2) assist with QC & real-world use case testing, and/or 3) create prototypes and/or proofs of concept. Please let me know if you are interested in learning more and we will be glad to share additional information.