logo

Certification DO-178B de logiciels pour l´aéronautique avec l´outil d´analyse de couverture du code Testwell CTC++

La norme DO-178B "Software Considerations in Airborne Systems and Equipment Certification" (Règlementation pour le développement de logiciels dans le secteur aéronautique) est le standard pour le développement de logiciels dans le domaine aéronautique.
Les prescriptions de la Radio Technical Commission for Aeronautics RTCA dans le FAA Advisory Circular AC20-115B sont à la base de la certification des logiciels par le biais des procédés de développement des logiciels.
Cette norme était élaborée en étroite collaboration avec EUROCAE (European Organisation for Civil Aviation Equipment), qui a publié les prescriptions adéquates dans la règlementation ED-12B.

Afin d´obtenir la certification de la Federal Aviation Administration (FAA), les logiciels aéronautiques doivent être conformes à la norme DO-178B pour le test et l´analyse de couverture de test.
Certains documents et justificatifs doivent être fournis en fonction du niveau de DO-178B demandé.

Les différents niveaux de DO-178B (DO-178B-Levels) correspondent aux conséquences des éventuelles erreurs de logiciels :
catastrophiques (niveau A), dangereuses / difficiles (niveau B), majeures (niveau C), mineures (niveau D) et sans effet sur la sécurité (niveau E).

Selon le niveau, les couvertures de tests suivantes doivent être éffectuées à 100% :

Airbus 380 DO178-B DO-178B Niveau A:
Couverture de condition / Décision modifiée (Modified Condition Decision Coverage : MC/DC)
Couverture de condition / de branche et couverture de décision (Branch/Decision Coverage)
Statement Coverage

DO-178B Niveau B:
Couverture de condition / de branche et couverture de décision (Branch/Decision Coverage)
Statement Coverage

DO-178B Niveau C:
Statement Coverage

Pour la certification DO-178B certains documents et justificatifs doivent être fournis en accompagnement du logiciel concerné (entre autres le protocole de test).
Pour limiter les efforts, une assistance par outils est indispensable.

L´outil d´analyse de couverture du code Testwell CTC++ englobe toutes les catégories de couvertures de test y compris la couverture de condition / décision modifiée (MC/DC) et peut être utilisé pour obtenir tous les niveaux des certifications DO-178B (A, B, C et naturellement D et E).

CTC++ "Analyse de couverture de test pour C et C++" est un outil de couverture de test simple d´utilisation, qui fournit des résultats clairs et exploitables.

CTC++ peut être utilisé dans le cadre du développement de logiciels embarqués en raison de son faible coût d´instrumentation (instrumentation-overhead). L´outil s´adapte à toutes les cibles - même celles disposant d´un faible espace de stockage. Le produit supplémentaire pour la mesure de couverture de test dans les cibles (Host-Target-Add-on) est livré avec son code source et permet donc une adaptation rapide à de nouvelles cibles.

Testwell CTC++ est déjà en utilisation pour un nombre important de projets critiques dans l´aéronautique, le transport ferroviaire, l´industrie automobile et le secteur médical.
En plus des projets nécessitant une certification DO-178B, l´outil d´analyse de couverture de test CTC++ répond aussi entre autres aux exigences des certifications TUV (quelques références).

Des informations complémentaires sur la certification DO-178B avec CTC++ sont disponibles ici.

Des informations complémentaires sur CTC++ sont disponibles sur la page d´accueil de CTC++.

 

Testwell CTC++ et DO178-C