open-DO » Open Source http://www.open-do.org Toward a cooperative and open framework for the development of certifiable software Fri, 03 Feb 2012 16:13:41 +0000 en hourly 1 Couverture paper presented at ERTS² 2010 http://www.open-do.org/2010/06/08/erts2010-papers/ http://www.open-do.org/2010/06/08/erts2010-papers/#comments Tue, 08 Jun 2010 13:01:55 +0000 Jamie Ayre http://www.open-do.org/?p=1399 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.

]]> http://www.open-do.org/2010/06/08/erts2010-papers/feed/ 0 Agile Tour 2009 http://www.open-do.org/2009/10/27/agile-tour-2009/ http://www.open-do.org/2009/10/27/agile-tour-2009/#comments Tue, 27 Oct 2009 11:40:18 +0000 Florian Villoing http://www.open-do.org/?p=803 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.

Lean Software Production and Qualification Infrastructures
View more documents from AdaCore.
]]> http://www.open-do.org/2009/10/27/agile-tour-2009/feed/ 0