Technical Papers

Couverture paper presented at ERTS² 2010

At the recent ERTS² 2010 conference held in Toulouse, Thomas Quinot presented this paper entitled “Object and Source Coverage for Critical Applications 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.

Attached Files

posted in GNATcoverage, GNATemulator, Ada 2005 / 95 / 83, Certification, Embedded Development, Open Source, Safety-Critical Development