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.

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

AdaCore GNAT Pro High-Integrity Edition for MILS Features

  • Supports the creation and security certification of applications for EALs (Evaluation Assurance Levels) 1 through 7
  • Run-time libraries that support different levels of certification
  • Tools to support security certification
  • Optional SPARK language tool set for the development and certification of applications to top security levels
  • Contains the GNAT Pro development environment with compile system, testing tools, and graphical user interface components
  • Ada language subsets for those features that can be certified to different EALs
  • For EALs 1-3: full Ada run-time library and development environment
  • For EAL 4: Ravenscar-compliant run-time library
  • For EALs 5 – 7: Zero Foot Print (ZFP) run-time library

More info: AdaCore