open-DO » software certification http://www.open-do.org Toward a cooperative and open framework for the development of certifiable software Mon, 26 Jul 2010 09:49:12 +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 DO-178C explained http://www.open-do.org/2009/10/09/do-178c-explained/ http://www.open-do.org/2009/10/09/do-178c-explained/#comments Fri, 09 Oct 2009 09:55:10 +0000 Jamie Ayre http://www.open-do.org/?p=787 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 trends in software code development are requiring new verification and certification approaches, so industry and government experts are building a new certification called DO-178C to address these concerns.” To read the full article, please click here.]]> http://www.open-do.org/2009/10/09/do-178c-explained/feed/ 0