- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
Mar 18th, 2012
This paper presents formal results derived from the COUVERTURE project, whose goal was to develop tools to support structural coverage analysis of unin- strumented safety-critical software. After briefly introducing the project context and explaining the need for formal foundations, we focus on the relationships between machine branch coverage and the DO-178B Modified Condition/Decision Coverage (MCDC) criterion. A thorough understanding of those relationships is important, since it provides the foundation for knowing where efficient execution trace techniques can be used to demonstrate compliance with the MCDC criterion. We first present several conjectures that were tested using Alloy models, then provide a formally verified characterization of the situations when coverage of object control-flow edges implies MCDC compliance.
Feb 4th, 2012
March 20, 2012 – 4:00pm GMT, 5:00pm CET, 12:00am EST
The InSight webinar series continues with a webinar demonstrating how to write unit tests in a cost-effective way using the AdaCore toolset. More precisely it will show how to generate the unit testing framework using GNATtest, how to run the tests on an emulator such as GNATemulator, and how to extract coverage results using GNATcoverage. This is primary aimed at developers and projects managers that already have unit testing infrastructure in place and are looking to reduce maintenance costs, as well as teams that are looking at implementing such techniques with minimal effort.
To register please visit:
Mar 17th, 2011
From a presentation by AdaCore senior engineer, Thomas Quinot at the IRILL
Jun 8th, 2010
At the recent ERTS² 2010 conference held in Toulouse, Thomas Quinot presented this paper entitled
"Object and Source Coverage for Critical Applications with the Couverture Open Analysis Framework"
It presents the Couverture approach to object and structural coverage analysis for certified safety-critical applications, in particular in the context of DO-178.
Sep 9th, 2008
In an article, recently published in New Electronics entitled "Boosting coverage", Matteo Bordin looks at how process and new virtualization technology, being developed under the Coverage Project, will be used to ease the burden of carrying out effective coverage analysis on code.
To read the article, please click here or visit: