Copyright © 2004, Aonix
60
Transitioning to Safety-Critical Java
3
rd
Party
C++
(Level C)
MC Java
(Level C)
SC Java
(Level A)
PERC
(Level D)
Ameos MDA tool
C, C++,
Ada, or
Java
ObjectAda, PERC, or
Eclipse IDE
SmartKernel™ (ARINC 653) is partitioned for Safety and Security
Legacy
ObjectAda
(Level A)
Aonix delivers complete life-cycle support for assurance
of safety and security in mission-critical systems