Fiche de pratique Position dans le V : Concevoir et construire Révisée le
Développement de logiciels critiques pour la sécurité
Logiciels embarqués selon DO-178B/C jusqu'au niveau d'assurance de conception (DAL) A et DO-297 pour l'avionique modulaire intégrée, construits avec les preuves dès le départ plutôt que reconstituées à la fin.
- Normes
- DO-178C, DO-297, DO-330
- Assurance
- Jusqu'au DAL A
- Quand faire appel à nous
- À la planification, ou avant le début de la conception
- Prestation
- Surtout à distance, sur place au besoin
Portée
Intégrez les preuves dès le départ; les reconstituer coûte plus cher que le code.
Nous développons des logiciels embarqués selon la norme DO-178B/C, jusqu'au niveau d'assurance de conception A inclusivement, et selon la norme DO-297 pour les plateformes d'avionique modulaire intégrée. Cela suppose une planification rigoureuse (le Plan pour les aspects logiciels de la certification, PSAC, et les plans de développement, de vérification, de gestion de la configuration et d'assurance de la qualité), une conception fondée sur les exigences, et des données de cycle de vie structurées qui résistent à l'audit et à la revue de stade d'implication.
Lorsqu'une approche fondée sur les modèles convient, SCADE et les environnements de génération de code qualifiables du même genre, nous l'utilisons pour réduire les erreurs de codage manuel et garder la conception et l'implémentation traçables à une source unique de vérité. Lorsque le code C écrit à la main est le bon outil, nous le rédigeons selon la norme de codage et l'objectif de couverture structurelle que le niveau exige, avec une position éclairée sur la qualification des outils (DO-330) pour que les choix d'outillage ne deviennent pas des passifs de certification plus tard.
Livrables
Ce que le SOI 2 lit.
| Document | En quoi il consiste | Première revue |
|---|---|---|
| SDP | Plan de développement logiciel : méthodes, environnements et critères de transition entre les processus | SOI 1 |
| Normes | Normes d'exigences, de conception et de codage, chaque règle étant une règle que l'équipe applique réellement | SOI 1 |
| HLR | Exigences de haut niveau, identifiées de façon unique et vérifiables telles qu'écrites | SOI 2 |
| Conception et exigences de bas niveau (LLR) | Données de conception et exigences de bas niveau, un niveau à part entière, non une liste à plat | SOI 2 |
| Code source | Code tracé vers les exigences de bas niveau, normes appliquées, avertissements traités | SOI 2 |
| Traçabilité | De l'exigence système au haut niveau, au bas niveau et au code, avec les exigences dérivées renvoyées à la sécurité | SOI 2 |
| SCI | Index de configuration logicielle : ce qui serait livré aujourd'hui, reconstructible à partir de sa référence | SOI 4 |
SOI : les revues de stade d'implication (Stage of Involvement) de l'autorité.
Des critères de transition, pas des dates de calendrier
Quatre portes entre le plan et la remise.
Les critères de transition énoncent ce qui doit être vrai avant que le travail passe d'un processus au suivant. Un auditeur peut choisir n'importe quel artéfact et demander si ses critères d'entrée étaient satisfaits.
- 01 Plans et normes Rédigés avec les personnes qui les exécuteront, et cohérents entre eux avant qu'une personne de l'extérieur ne les lise.
- 02 Exigences Exigences de haut niveau et de bas niveau comme niveaux distincts, exigences dérivées identifiées et renvoyées au processus de sécurité.
- 03 Conception et code Selon les normes, sous gestion de la configuration, compilateur et options figés pour que les compilations ne diffèrent pas d'une machine à l'autre.
- 04 Intégration et remise Le logiciel intégré et ses données de cycle de vie, prêts pour la vérification promise par le Plan de vérification logicielle (SVP).
Ce qui fixe le coût
Quatre décisions, dont trois vous appartiennent.
- Niveau d'assurance Fixe le nombre d'objectifs, la dotation en indépendance et le critère de couverture; l'évaluation de la sécurité le décide, l'architecture l'influence.
- Stabilité des exigences Chaque changement après le début de la vérification rejoue une tranche du programme; le facteur qui domine en pratique.
- Réutilisation Un crédit de réutilisation véritable supprime des pans entiers d'objectifs; « ça a déjà volé » sans preuves ne supprime rien.
- Outils Un outil qualifié retire du travail manuel, mais a son propre prix; une décision « faire ou acheter » par outil, prise tôt.
Notes de terrain