Electronic Design
Development App Embraces MILS Platform

Development App Embraces MILS Platform

More ESC 2010 SV Coverage

Embedded Systems Conference, April 2010 – The first release of GNAT Pro High-Integrity Edition for Multiple Independent Levels of Security (MILS) is described as a specialized security development environment supporting the creation and security certification of apps at the high end for Evaluation Assurance Levels (EALs) 5 through 7 as well as those at the lower EALs 1 through 4. It provides specialized run-time libraries supporting different certification levels, tools supporting security certification, and, optionally, the SPARK language tool set. For EALs 1 to 3, GNAT provides a full Ada run-time library and development environment for the creation and testing required for lower-level security certification requirements. For EAL 4, it provides a Ravenscar-compliant run-time library, certifiable to the DO-178B airborne safety standard. Also, the zero foot print run-time library is on tap, which supports security certification to EALs 5 through 7. Security certification at EALs 5 to 7 requires semi-formal or formal approaches. As an option, the SPARK Pro tool set is available. GNAT Pro High-Integrity Edition for MILS is available now for the VxWorks MILS Platform. AdaCore, New York, NY. (877) 787-4628. AdaCore, New York, NY. (877) 787-4628.


Hide comments


  • Allowed HTML tags: <em> <strong> <blockquote> <br> <p>

Plain text

  • No HTML tags allowed.
  • Web page addresses and e-mail addresses turn into links automatically.
  • Lines and paragraphs break automatically.