Categories
Open-DO Projects
Contact
info @ open-do.org
Category Archives: Papers and Slides
DO-178: Couverture and the “Source Code VS Object Code Coverage” debate
Couverture is a qualifiable tool to measure structural coverage. This paper describes how the Couverture technology copes with the “Souce Code VS Object Code Coverage” debate in a DO-178 context.
The Couverture project is hosted on the Open-DO Forge.
The attached paper is also published in the Ada User Journal, December 2009 issue.
The Couverture project is hosted on the Open-DO Forge.
The attached paper is also published in the Ada User Journal, December 2009 issue.
Also posted in Certification 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 were of very high quality and their diversity pleased practionners as well as managers and students. All the slides are accessible on the CARA’s website (French and English).
I gave a talk in Grenoble and Valence about the infrastructure and processes we put in place at AdaCore to build and test on a daily basis all our compilation chains and accompanying technology in a Lean fashion.
I also presented the “qualification machine” we have built based on open source technology to ease the DO-178B tool qualification process by adopting an agile philosophy.
Also posted in Agile/Lean Programming, Certification, Events, Open-DO News Tagged AdaCore, Agile, AgileTour 2009, CARA, Certification, DO-178B, DO-178C, Free Software, Lean, Open Source, qualification, Testing Leave a comment
DO-178C Upcoming Guidance for OOS
Cyrille Comar gave a talk at the recent SAFECOMP conference on the work being undertaken by the SC-205 and WG-71 working group on the upcoming DO-178C standard. He gives particular attention to the Tools Qualification Supplement, the OOT (Object-Oriented Technology) Supplement, and the Formal Methods Supplement.
DO 178C Upcoming Guidance for OOS
View more presentations from AdaCore.
Also posted in Events, Open-DO News Leave a comment
Concepts and Ideas
Here are the initial concepts and ideas behind the Open-DO initiative. Cyrille Comar gave this presentation at the Do-178C committee meeting in Cologne yesterday. It was a good crowd and a great presentation, lots of enthusiasm and excitement after. Thanks Cyrille!
Also posted in Agile/Lean Programming, Certification, Events, In the Press, Open Source, Open-DO News 5 Comments