L'état de satisfaction des processus et objectifs décrits dans RTCA DO-254 pour l'assurance de conception du matériel électronique embarqué, attesté par une conception basée sur les exigences, une vérification, une documentation et des contrôles de cycle de vie adaptés au niveau d'assurance de conception matériel attribué.

Principe

Gérer le cycle de vie matériel par une conception pilotée par les exigences, une vérification et des tests formels, un contrôle de configuration et des changements, et des preuves documentées adaptées au niveau d'assurance matériel afin que le matériel électronique critique (FPGA, ASIC, PLD) atteigne une fiabilité et des critères de certification acceptables.

Démonstration

Un FPGA utilisé dans l'avionique critique est développé selon les pratiques DO-254 : les exigences matériel système sont dérivées en exigences matérielles, les artefacts de conception et le RTL sont revus, la vérification matérielle inclut des tests basés sur les exigences et la couverture structurelle le cas échéant, et le bitstream géré en configuration ainsi que le dossier de preuves sont fournis pour examen de certification.

Mauvaise application

Traiter la conception matérielle comme du logiciel et n'appliquer que des processus logiciels, sauter les vérifications spécifiques au matériel (par exemple la couverture structurelle matérielle), ou ne pas contrôler les bitstreams FPGA et les composants fournisseurs sous contrôle de configuration.

Conséquence

Une conformité correcte à DO-254 fournit un dossier d'assurance traçable pour les composants matériels acceptable pour la certification, réduit le risque de défauts matériels non détectés en service et fournit des pistes d'audit claires pour les décisions de conception et les activités de vérification.

Inversion

Un développement matériel non conforme peut conduire à un échec de qualification, des contraintes sur l'approbation opérationnelle, la nécessité de refonte matérielle ou des retards de certification affectant le déploiement du produit.

Limite

S'applique au matériel électronique embarqué (AEH) et aux composants électroniques complexes lorsque les objectifs DO-254 sont invoqués par les autorités de certification ; il ne remplace pas DO-178C pour le logiciel, bien que les deux normes se croisent lorsque les fonctions sont réparties entre matériel et logiciel.

Tension sémantique

Une tension apparaît entre l'application de pratiques proches du logiciel au matériel (ce qui peut sous-tester les comportements matériels) et la reconnaissance des besoins de vérification spécifiques au matériel ; les programmes doivent privilégier des preuves centrées sur le matériel plutôt que d'importer des hypothèses logicielles.

Synthèse

La conformité à DO-254 est l'exécution démontrée des processus d'assurance de conception matériel — traçabilité des exigences, conception et vérification contrôlées, et gestion de configuration — adaptée au niveau d'assurance matériel afin que le matériel électronique embarqué puisse être certifié sûr et fiable.