Rockwell Collins Develops SecureOne with SPARK Pro and GNAT Pro High-Security
AdaCore today announced the successful usage of its SPARK Pro and GNAT Pro High-Security products by Rockwell Collins in the development of the SecureOne Guard, a high assurance cross domain guard for military tactical systems. The SecureOne Guard has strict requirements for reliability and security. In order to meet these needs, Rockwell Collins selected SPARK Pro and GNAT Pro High-Security as key development tools for the project.
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.”
Featured products
MAX17793
Analog Devices Inc.
3V to 80V, 3A, High-Efficiency, Synchronous Step-Down DC-DC Converter
| SKU: | MAX17793 |
|---|---|
| Stock: | 9316 |
| Cost: | $3.64 |
MAX22516
Analog Devices Inc.
IO-Link Data Link Controller with Transceiver and Integrated DC-DC
| SKU: | MAX22516 |
|---|---|
| Stock: | 8000 |
| Cost: | $5.42 |
