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
Toward safety and security in FACE components: High assurance with portability - Story
March 15, 2018
The FACE [Future Airborne Capability Environment] approach is a joint government-industry software standard and business strategy for acquisition of affordable software systems that promotes innovation and rapid integration of portable capabilities across global defense programs. FACE - originally avionics-focused only, but has now broadened to encompass a wide catalog of applications for use across the entire spectrum of real-time systems - does not directly address issues of quality or fitness for purpose. Because these traits are obviously important in practice, the natural question for component developers is how to meet both the explicit FACE objective of portability and any domain-specific requirements for software reliability, safety, and security. Part of the answer is to choose appropriate software-development technologies and language(s).
Avionics
Software analyzes run-time and logic errors - Product
February 14, 2018
CodePeer is an Ada source code analyzer that detects run-time and logic errors. Developed by Adacore, it assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors at any stage of the development life cycle. The goal of CodePeer, say Ada...
Avionics
Formal program verification in avionics certification - Story
February 24, 2017
Five years after the official adoption of the new DO-178C/ED-12C standard and its supplements, including the DO-333/ED-216 supplement on formal methods, no avionics-certification project has yet acknowledged using this new supplement. However, formal method technologies do exist that would ease the development of avionics software.
Cyber
Building trust in a model-based automatic code generator - Story
August 16, 2016
How do you go about building trust in an automatic code generator used for safety-critical systems? For example, given a code generator that takes a real-time model for a flight control system represented in Simulink and Stateflow and turns it into MISRA C or the SPARK subset of Ada, what process could ensure that the [...]
Comms
Ada Watch: Bringing Ada onto the battlefield - Blog
July 28, 2014
The growth in smartphones and tablets is radically changing the face of military technology. As in civilian life, the power of commercial off-the-shelf (COTS) handheld devices is enabling fast, frontline access to systems that previously required larger, bulkier computers. For example, ruggedized phones and tablets now have the processing power to access mission-critical command and control and communication systems, while being portable enough to fit into a pocket. In these systems the original operating system (OS) and consumer-oriented applications are replaced by customized versions that include domain-specific software using proprietary and/or confidential algorithms.
Avionics
AdaCore launches free online programming university - News
October 31, 2013
NEW YORK. AdaCore recently launched a free online resource center called AdaCore University, created for anyone interested in learning about the Ada programming language. The website offers learn-at-your-own-pace pre-recorded courses, with access to AdaCore’s GNAT Ada toolset for writing and running example programs.
Avionics
Ada Watch: Choosing the right Ada subset for strong static guarantees - Blog
August 13, 2013
While Ada offers many features that act as safety guards at run time, by raising exceptions when a violation is detected, some of these features may be too complex to guarantee a safe execution before the program is run. This is the case for example of pointers, which may be used to create arbitrarily complex shared data structures in memory. SPARK is a subset of Ada that forbids these features, most notably pointers, in order to be able to provide strong guarantees at compile time. A preview of the next revision of SPARK called SPARK 2014 is already available, as well as the associated verification tools.
