Warning! QuickMenu may have been blocked by IE-SP2's active content option. This browser feature blocks JavaScript from running locally on your computer.

This warning will not display once the menu is on-line. To enable the menu locally, click the yellow bar above, and select "Allow Blocked Content".

To permanently enable active content locally...

1: Select 'Tools' --> 'Internet Options' from the IE menu.
2: Click the 'Advanced' tab.
3: Check the 2nd option under 'Security' in the tree (Allow active content to run in files on my computer.)

Aonix > Industries > Safety / Security Critical Solutions >

Safety / Security Critical Solutions

Software now pervades almost every aspect of daily life. Transport systems depend on safe software for control of vehicles and their infrastructure. Financial institutions rely on secure software for accounting and the transfer of money. Industrial software controls equipment and manufacturing processes. Hospitals depend on software for managing patient records and for control of life-support systems. The use of software has grown dramatically over the last decade with the availability of low-cost, high-performance hardware. It is clear that the safety of much human life and property depends directly or indirectly upon the correctness and deterministic properties of software.

Aonix has been active in the safety critical community for over a decade, offering the first off-the-shelf certifiable kernels, with applications in use in many of the most demanding and rigorous systems upon which lives and property are dependent.

Most recently, Aonix has been actively involved in developing standards for safety critical Java. To find out more about Aonix safety critical technologies, see:

Safety Critical Ada

Safety Critical Java

Aonix is also active in the growing area of multi-level secure systems. Recent collaboration between Aonix and Wind River has produced an integration of Aonix's PERC Ultra virtual machine technology with the VxWorks MILS platform, representing the first marriage of Java productivity with MILS security. Read more about MILS solutions here:

MILS Java