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
Portable, reliable, and efficient concurrency: Ravenscar Ada tasking and the FACE safety profiles - Story
November 28, 2018
Airborne systems that need a small footprint or must comply with an industry assurance standard such as DO-178B [1] or DO-178C [2] are sensitive to size and complexity costs in the run-time support libraries. To answer these needs, the Future Airborne Capability Environment (FACE?) Technical Standard [4] has designated the Ravenscar subset of the Ada programming language?s tasking features as one of the acceptable concurrency approaches for a software component that must satisfy safety and/or security assurance requirements.
Cyber
Choosing the optimal software solution for long-life unmanned systems - Story
April 24, 2018
Defense platforms are expected to perform over a long operational life that can span several decades. Developing high-reliability, safety-critical software that is built to last requires comprehensive tools from trusted industry partners. Robust software-development solutions can help engineers design and develop new long-life unmanned systems and can enable upgrade of systems on currently fielded unmanned platforms to extend their life cycle.
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.
