SecureOne high assurance program from Rockwell Collins uses tools from AdaCore
BOSTON. Engineers at Rockwell Collins in Cedar Rapids, Iowa, are using the SPARK Pro and GNAT Pro High-Security solutions from AdaCore for the development of SecureOne Guard, a high assurance cross domain guard for military tactical systems. AdaCore officials made the announcement uring the Design East show in Boston this week.
The AdaCore tools will support cross domain guard software redeployment from the UCDMO Baseline-approved Turnstile Cross Domain Guard to a Multiple Independent Levels of Security –MIL -- Real Time Operating System (RTOS) as part of the SecureOne project development. The SecureOne Guard is one of five SecureOne cross domain technologies for military tactical systems high assurance.
“Software at the highest security assurance levels needs to be developed with the most trustworthy languages and tools,” says Robert Dewar, AdaCore President and CEO. “The SPARK programming language, and its supporting toolset, meets these requirements, allowing formal demonstration of security-related properties, such as absence of run-time exceptions.”
SPARK Pro combines the SPARK language and verification tools from Altran Praxis with AdaCore’s GNAT Programming Studio (GPS) development environment. GNAT Pro High-Security -- formerly known as GNAT Pro High-Integrity Edition for MILS -- is an Ada development environment that has tools and libraries to support all EALs from 1-7, depending on the application’s security requirements.
SecureOne is a family of high assurance cross domain technologies, that provide trusted multi-classification information sharing for use in military tactical systems. Via SecureOne, users can access unclassified and classified data securely on the same equipment all while benefiting from reduced size, weight, and power.
For more information on SecureOne, visit:
For more information on AdaCore, visit www.adacore.com.