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
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.
Avionics
Trusting the tools: An agile approach to tool qualification for DO-178C - Story
March 07, 2012
The new avionics software safety standard DO-178C, along with its supplemental Software Tool Qualification Considerations (DO-330), has clarified and expanded the tool qualification guidance provided in DO-178B. The challenge of maintaining qualification-ready tools throughout a system?s evolution can be expedited through an approach based on agile development principles.
Avionics
Ada language gets attention outside of military circles - Other
March 01, 2012
Designers of tools for the Ada programming language say there is a lot of interest at Embedded World in Nuremberg, Germany this year for Ada among medical system designers.
Avionics
GNAT Pro 7.0 Ada language tool released by Adacore - News
March 01, 2012
NUREMBERG, Germany. AdaCore officials released the latest version of their Ada development environment tool ? GNAT Pro 7.0 this week at the Embedded World show in Nuremberg, Germany. The new version implements and supports the upcoming Ada language revision ? Ada 2012.
