|
|
 
Aonix Products
|
|
|
| |
 |
| ObjectAda Safety Critical |
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. 
Also see our multi-language partitioned SmartKernel™
product line.
Safety Critical Customer Success Stories...
Some of Our Safety Critical Customers
| | |
 |
|
|
| |
