le 13 mars 2025 à 14:00
Crafting Safety: When Models Meet Templates for Software Requirements Specification
Dans cet exposé, nous discuterons de certains défis rencontrés par les fabricants de logiciels qui développent des logiciels critiques et certifiables en matière de sécurité. Nous nous concentrerons sur le défi de la spécification et de la vérification des exigences. Pour les logiciels critiques, un grand nombre d’exigences doivent être spécifiées, vérifiées et gérées ; et beaucoup de ces exigences résultent de vastes ensembles de lignes directrices incorporées dans certaines normes. Par exemple, un système d’exploitation en temps réel pour l’avionique doit être conforme à la fois à la norme DO178C et à la norme ARINC653. En outre, la plupart des fabricants de logiciels de sécurité utilisent le langage naturel pour spécifier les exigences, ce qui est source d’ambiguïtés et d’incohérences et ne permet pas une analyse automatique. Par conséquent, la spécification des exigences et la vérification des logiciels critiques en matière de sécurité consomment beaucoup de ressources et sont sujettes aux erreurs. Dans notre recherche, nous nous appuyons sur l’ingénierie dirigée par les modèles et le langage naturel contrôlé pour modéliser des modèles d’exigences qui soutiennent et contraignent la spécification des exigences. Notre approche repose sur 1) un langage unifié (UTL) qui permet la création, la mise en œuvre et l’évolution des modèles d’exigences ; 2) des correspondances entre les modèles d’exigences et les domaines pour soutenir, dans une certaine mesure, la vérification des exigences et le remplissage automatique ; 3) un processus systématique pour la création de modèles et 4) une chaîne d’outils qui permet la création de modèles à l’aide de l’UTL et leur utilisation pour la spécification des exigences. Des évaluations empiriques de notre approche ont été réalisées au moyen de plusieurs études de cas et d’études d’utilisateurs impliquant un partenaire industriel.
Inria salle plénière A
français
English