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
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.
Avionics
Software warranties -- A new era? - Story
September 23, 2009
When anyone buys a television, a car, or even a ballpoint pen, the purchaser expects it to work properly. This assumption is backed by the legal machinery of warranties and consumer protection legislation. So software carries the same protection, right? Wrong! Historically, commercial software products have been sold with absolutely no claims that they are fit for purpose or free of vulnerabilities. But that might be changing, thanks to several factors.
Comms
'Legacy' is not a four-letter word - Story
January 14, 2009
Although people often have a negative attitude about so-called "legacy" code, the widespread use of legacy software is one of success. It not only reduces effort, but also increases reliability. Modern programming languages that promote reuse of existing code strengthen this tradition.
