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
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.
Cyber
Should we put up with software that doesn't work? - Story
September 02, 2011
We are used to software that dismally fails. What is surprising is that we accept this as reasonable. It is time to stand up and say we are not going to put up with this anymore. There is no excuse for junk software.
Avionics
COTS software in critical systems: The case for Freely Licensed Open Source Software - Story
December 09, 2010
COTS software helps reduce development costs for large, long-lived systems, but COTS does not mean proprietary. Freely Licensed Open Source Software (FLOSS) brings COTS benefits but without the restrictions and vendor tie-in typical of proprietary products.
