Support for Integrated Modular Avionics

The use of a single, shared, fault-tolerant computer for diverse avionics functions is becoming standard practice in the aerospace industry. The loss of fault containment in moving from a federated architecture is addressed by partitioning, where each application program is guaranteed a secure and reliable environment even in the presence of faults in other applications.

Version 1.5 of our Ada products offers some degree of fault containment (task deadlines, memory protection). Version 1.6 will offer temporal partitioning as a product option.