Traçabilité et vérification d'exigences de sécurité
Résumé
Les normes industrielles relatives à la conception de systèmes programmables intégrant des fonctions à la sécurité, telles que la norme IEC 61508, recommandent fortement l'utilisation de méthodes formelles pour maîtriser la complexité du cycle de développement et en particulier la traçabilité des exigences de sécurité. Cet article traite de la vérification des exigences en matière de sécurité pour la conception de la commande programmée de systèmes de sécurité. Il combine une approche qualitative de spécification fonctionnelle et structurelle du système à concevoir sous la forme de diagrammes SysML et de techniques quantitatives de vérification formelle, telle que le model-checking, permettant de garantir que le comportement du système préserve les propriétés de sécurité identifiées dans les modèles SysML.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...