4. Caractéristiques des exigences
Le cycle de vie de la sécurité esquissé dans le paragraphe précédent implique la création, l'échange et la consommation d'exigences de sécurité. Pour conduire à la réalisation d'un produit final conforme aux attentes, ces exigences doivent être non ambiguës, autocohérentes, vérifiables, cohérentes entre elles, et complètes. D'autres critères peuvent être trouvés dans la littérature [11]. La plupart des caractéristiques mises en exergue dans l'encadré 2 ont pour but de permettre l'implémentation et le test de ces exigences. Elles doivent être :
vérifiables : il est possible de construire une procédure de vérification permettant d'assurer que le système ou l'équipement objet de la spécification respectent bien l'exigence, Cette vérification peut se faire soit par test, soit par analyse (modélisation / simulation, calcul...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Caractéristiques des exigences
Typage et formulation des exigences de sûreté de fonctionnement
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Électronique"
(
494 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
