Tag Archives: EAL

AdaCore GNAT Pro High-Integrity Edition for Wind River VxWorks MILS

AdaCore launched GNAT Pro High-Integrity Edition for MILS. GNAT Pro High-Integrity Edition for MILS, integrated with the SPARK Pro language and tool set, enables developers using a MILS architecture to create and certify applications that can meet all EALs from lowest to highest. GNAT Pro High-Integrity Edition for MILS accelerate the certification of Ada applications at high assurance levels on the VxWorks MILS platform. GNAT Pro High-Integrity Edition for MILS is available now for the VxWorks MILS Platform.

Continue reading