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.