Le projet Couverture travaille sur la certification des logiciels critiques.
{ 0 comments }
Groupe Thématique Logiciel Libre
Développer l'écosystème du logiciel libre en Île-de-France
Posts tagged as:
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
{ 0 comments }
Le jeudi 6 mars 2008, ont été annoncés les projets retenus au 5ème appel à projets du Fond Unique Interministeriel. Parmi ces projets figurent quatre projets issus de notre Groupe Thèmatique:
{ 0 comments }