AdaCore
150 W. 30th Street, 16th floor
New York, NY 10001 [email protected]
+1 212 620 7300
https://www.adacore.com/
New York, NY 10001 [email protected]
+1 212 620 7300
https://www.adacore.com/
Articles related to AdaCore
Avionics
Completion of Project Hi-Lite to improve verification for high integrity systems - News
May 30, 2013
PARIS and NEW YORK. AdaCore has announced the completion of Project Hi-Lite, a joint research project focused on enhancing formal verification for multi-language, open-source software projects that require safety certification. Leveraging Airbus verification methods and industry tools, Project Hi-Lite combined formal proofs with testing and static analysis to improve the development of high integrity software. In the process, the Hi-Lite project also produced the first tools capable of integrating testing and formal verification for Ada and C programs.
Avionics
GNAT Pro 7.1 release includes Ada 2012 support, other enhancements - News
April 25, 2013
SAN JOSE, CA. A new release of the GNAT Pro multi-language development environment has been released by AdaCore. GNAT Pro 7.1 is a Freely Licensed Open Source Software (FLOSS) that includes enhancements in Ada language features, new tools, and run-time improvements over previous versions.
Avionics
DO-332, the Liskov Substitution Principle, and local type consistency ramp up DO-178 certification - Story
March 12, 2013
DO-332, the DO-178C standard's supplement on Object-Oriented Technology (OOT) and related techniques, analyzes the issues raised by object orientation in safety-critical software and supplies new guidance to deal with OOT's vulnerabilities. An important new objective of DO-332 is "Local Type Consistency Verification," which exploits a type theory result known as "the Liskov Substitution Principle" and helps address some of the key certification challenges raised by OOT's dynamic flexibility.
Avionics
Ada Watch: Getting the right programming language for the job - Blog
March 05, 2013
Ada is a strongly typed language that is a natural choice for developing high-reliability programs. Some languages such as C are good at low-level-programming but not for solving other challenges – as covered in my previous blog. You need to choose the right tool for the job. Instead of using one language or one tool for every problem, you should provide engineers with multiple options for developing high-reliability software – which is where Ada shines.
Avionics
Cyber
SecureOne high assurance program from Rockwell Collins uses tools from AdaCore - News
September 19, 2012
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.
Avionics
Brazilian combat jet upgrade leverages Ada technology from AdaCore - News
March 27, 2012
SAN JOSE, Calif. Embraer Defense and Security officials selected Ada software from AdaCore for an avionics upgrade. The GNAT Pro Ada development environment will be a primary tool set to help produce the Operation Flight Program for the Embraer AMX Jet Modernization program. Adacore made the announcement at the DesignWest show in San Jose, Calif., this week.
