Graduate School and Research Center in Digital Sciences

Model-driven engineering for designing safe and secure embedded systems

Apvrille, Ludovic; Li, Letitia W; Roudier, Yves

ACVI 2016, IEEE Workshop on Architecture Centric Virtual Integration, 5-8 April 2016, Venice, Italy

The communication capabilities of recent embedded systems offer more opportunities for attack to cyber criminals. Moreover, those attacks may compromise the safety of these systems. SysML-Sec is a SysML-based environment for the design of such embedded systems with safety and security features. The paper focuses on the SysML-Sec methodology containing the following stages: assumptions, requirements, attacks, partitioning, software design and software deployment. Our method is supported by TTool, and offers a press-button approach for formal proof of safety and security. Previous projects and case studies modeled and validated with SysMLSec range from automotive systems, drone systems, information systems (e.g., the analysis of malware targeting banking systems), industrial systems (Analysis of SCADA malware), and more generally, security protocols.

Document Doi Hal Bibtex

Title:Model-driven engineering for designing safe and secure embedded systems
Department:Digital Security
Eurecom ref:4973
Copyright: © 2016 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Bibtex: @inproceedings{EURECOM+4973, doi = {}, year = {2016}, title = {{M}odel-driven engineering for designing safe and secure embedded systems}, author = {{A}pvrille, {L}udovic and {L}i, {L}etitia {W} and {R}oudier, {Y}ves}, booktitle = {{ACVI} 2016, {IEEE} {W}orkshop on {A}rchitecture {C}entric {V}irtual {I}ntegration, 5-8 {A}pril 2016, {V}enice, {I}taly}, address = {{V}enice, {ITALY}}, month = {04}, url = {} }
See also: