Tag Archives: DO-178B

Slides from the Couverture project conclusion meeting

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.

Posted in Agile/Lean Programming, Certification, Events, Open Source, Papers and Slides | Also tagged , , , , | Leave a comment

Couverture paper presented at ERTS² 2010

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.

Posted in Agile/Lean Programming, Certification, Papers and Slides | Also tagged , , , | Leave a comment

Agile Tour 2009

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 , , , , , , , , , , | Leave a comment

DO-178C explained

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 [...]

Posted in Open-DO News | Also tagged , , , , | Leave a comment
  • Categories

  • Open-DO Projects

  • Contact

    info @ open-do.org