Actualité

Couverture : AdaCore & co dévoilent leur projet de certification libre

Lu sur NetEco


Le logiciel libre monte en puissance dans l’industrie. AdaCore, Open Wide, Telecom ParisTech et le LIP6 ont officialisé mardi le lancement du projet Couverture lors d’un point presse. Ce projet libre et open source vise le développement d’outils d’analyse de couverture de code utilisables par des applications critiques (émulation et virtualisation) qui nécessitent une certification (norme DO-178B dans l’avionique). Les outils développés devront être indépendants des langages de programmation, non intrusifs, adaptables et conformes aux objectifs de ‘qualification outils’ DO-178.

link: Couverture : AdaCore & co dévoilent leur projet de certification libre par Neteco.com