COUVERTURE
Porteur :
ADACORE
Appel à projet :
FUI
Statut :
terminé
Groupes Thématiques :
Date de début du projet :
01/09/2008
Date de fin de projet :
01/09/2010
Durée :
24 mois
Montant total :
2 233 K€
Montant aide :
1 026 K€
Axe :
Embedded
Fiche projet :
Description :
Along with a growing worldwide influence of Free Software, computer programs are being increasingly used for safety-critical purposes such as in aircraft or nuclear plant control systems. In this context, the Couverture project is motivated by three driving goals: 1) Develop innovative coverage analysis tools to help the certification of safety-critical applications, in accordance with official guidelines such as the DO-178B standard, 2) Encourage synergy between Free Software projects and Industry on certification issues, and 3) Define the notion of Free Certification Artifacts, open material allowing qualification of a software component for use in DO-178B like certification processes. This project is a typical example of what the Open-DO initiative promotes. See www.open-do.org.
Brevet :
/
Publication :
Pierre Ficheux (directeur technique d’Open Wide) a présenté le projet COUVERTURE lors de deux conférences majeures traitant des systèmes embarqués :
• Embedded Linux Conference Europe (http://www.embeddedlinuxconference. com/elc_europe09/sessions.html#Ficheux)
• RTS Embedded Systems (http://www.salons-solutions-electroniques.com/info_event/13/journee-speciale--linux-embarque-.html) • Poster sur « InnovativeMC/DC measurement method » à la conférence PLDI 2009 ;
• Article sur « Non Intrusive Structural Coverage for Objective Caml » au workshop BYTECODE 2010 ;
• Exposé au [GdT programmation] francilien sur « Couverture non-intrusive de code Caml » par Adrien Jonquet et Philippe Wang (avril 2010).
• Article sur « Experience Report : Using Objective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework » à ICFP 2009 et présentation par Philippe Wang (vidéo : http://www.vimeo.com/6652857). • Matteo Bordin. Boosting Coverage. New Electronics, September 2008. • Matteo Bordin and Olivier Hainque. Couverture : an Innovative Open Framework for Coverage Analysis of Safety Critical Applications, June 2009. Industrial presentation at Ada Europe 2009, The 14th International Conference on Reliable Software Technologies. • Franco Gasperoni. Code Coverage : Free Software and Virtualization to the
Rescue. Boards&Solutions, the European Embedded ComputingMagazine, April 2008. • Matteo Bordin, Cyrille Comar, Tristan Gingold, Jérôme Guitton, Olivier Hainque, and Thomas Quinot. Couverture : an Innovative Open Framework for Coverage Analysis of Safety Critical Applications. Ada User Journal, September 2009 • Matteo Bordin, Cyrille Comar, Tristan Gingold, Jérôme Guitton, Olivier Hainque, and Thomas Quinot. Object and Source Coverage for Critical Applications
with the Couverture Open Analysis Framework. ERTS2 2010, Embedded Real Time Software and Systems, May 2010. • Emmanuel Chailloux, Adrien Jonquet, and Philippe Wang. Non Intrusive Structural Coverage for Objective Caml. BYTECODE 2010, 5th Workshop on Bytecode Semantics, Verification, Analysis and Transformation, March 2010.
Job création :
Adacore=1 + soutient l'activité d'une dizaine de personnes; Openwide=2; Télécom ParisTech=2; LIP6=3;
Membres impliqués dans le projet :
