Agile
An agile approach to safety critical software development
Couverture
A coverage analysis toolset for safety-critical software projects undergoing a DO-178B software audit process for all levels of criticality.
Couverture-qemu
Standalone forge project to host the qemu part of the Couverture project developments. This essentially consists in adding to qemu capabilities to emit low level traces of the emulated program execution, which Couverture uses to perform coverage analysis without program instrumentation.
GeneAuto/Ada
A verifying model compiler for Simulink/StatFlow and Scicos models targeting Ada and SPARK. The tool is expected to be qualifiable under DO-178C.
Hi-Lite
Hi-Lite is a project aiming at popularizing formal methods for the development of high-integrity software.
The Qualifying Machine
A lean and agile infrastructure to ease DO-178 tool qualification. An instantiation for GNATcheck is available.
HiberSource
A configuration system designed to organize the Software Configuration Management process according to DO-178B and supports full software life cycle
XReq for DO
XReq is a complete tool to bring together HLT and LLT and their requirements. Test cases are written in an English-based formalism and XReq generates test source code. XReq for DO is adapted for the DO178B but can be used independently as well.
IP 217
An information model for requirements and design