Projects
The Open-DO initiative has created a dedicated
forge to support the development of Open-DO related projects. Below is a brief description of the projects that you'll find there :
- 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.
- 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
- IP 217 - An information model for requirements and design