Below are the slides from the recent Couverture project conclusion meeting. Cyrille Comar presented the original needs and goals of the project, the challenges the team came across a long the way, and the main results.
GNATcoverage/GNATemulator launchView more presentations from AdaCore.
At the recent ERTS² 2010 conference held in Toulouse, Thomas Quinot presented a paper entitled “Object and Source Coverage for Critical Appl ications 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.
Last week I attented the Grenoble (October 20, 2009) and Valence (October 22, 2009) conferences as part of the Agile Tour 2009 series. These events were a big success and attracted more than 450 attendees! I would like to thank one more time the CARA who did a very good job at organizing these.
The presentations [...]
Posted in Agile/Lean Programming, Certification, Events, Open-DO News, Papers and Slides | Also tagged AdaCore, Agile, AgileTour 2009, CARA, Certification, DO-178C, Free Software, Lean, Open Source, qualification, Testing |
In a recent article in Avionics Intelligence, Cyrille Comar and others describe the upcoming DO-178C standard and the differences between it and the existing DO-178B one:
“Avionics software designers are quite familiar with the DO-178B certification process for flight software from the Federal Aviation Administration (FAA) and the European Aviation Safety Agency (EASA). However, current technology [...]