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.
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 :