Améliorer la sécurité et la sûreté de fonctionnement par l'ingénierie de système dirigée par les modèles

Apvrille, Ludovic; Roudier, Yves
Revue de l'Electricité et de l'Electronique (REE), January 2015, N°5/2014

Today’s communicating, embedded, and cyber-physical systems consist in an ever-more complex and ubiquitous landscape. Designing safe and secure systems has become a daunting task with respect to the advanced persistent threats they face. We discuss the use of model based system engineering in this context, which we illustrate with the SysML-Sec environment, and the open source software TTool that supports its application. This environment features a unifying approach based on the SysML modeling language. We discuss the methodology that must be used in order to elicit appropriate security and safety requirements and to validate the derived safety and security mechanisms introduced at system level. We illustrate the interest of the joint assessment of security and safety properties based on a use case featuring a communicating automotive system.

Sécurité numérique
Eurecom Ref:
Copyright SEE. Personal use of this material is permitted. The definitive version of this paper was published in Revue de l'Electricité et de l'Electronique (REE), January 2015, N°5/2014 and is available at :
See also: