Rockwell Collins selected the GNAT Pro High-Security and Spark Pro development tools to support the redeployment of the cross domain guard software from the UCDMO Baseline-approved Turnstile Cross Domain Guard to a Multiple Independent Levels of Security Real Time Operating System as part of the SecureOne project development. The SecureOne Guard is one of the five SecureOne cross domain technologies for high assurance military tactical systems.
“Software at the highest security assurance levels needs to be developed with the most trustworthy languages and tools,” said 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. We are pleased that Rockwell Collins, a longstanding AdaCore customer, chose our SPARK Pro tools and GNAT Pro High-Security technology to develop the SecureOne components.”