Aonix is the leading supplier of Ada83 and Ada95 certified development environments. Aonix offers certifiable systems for both the Ada83 and Ada95 languages. These are designed for those software systems requiring the highest levels of integrity and safety criticality. These environments are all certified to the FAA's DO-178B standard Level A. This is one of the strictest safety critical standards used in industry. Further, Aonix offers mappings to other safety critical standards including: high speed rail, nuclear shutdown systems and others. Aonix's safety critical development environment for Ada95 is ObjectAda RAVEN™. Select this link to learn more:
|
