Rockwell Collins Develops SecureOneTM with SPARK Pro and GNAT Pro High-Security
NEW YORK, PARIS, and CEDAR RAPIDS, Iowa, September 17, 2012 – Design East Boston 2012 – AdaCore today announced the successful usage of its SPARK Pro and GNAT Pro High-Security products by Rockwell Collins in the development of the SecureOneTM 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 … Read More → "Rockwell Collins Develops SecureOneTM with SPARK Pro and GNAT Pro High-Security"