TY - GEN
T1 - AVATAR
T2 - 2011 11th Annual International Conference on New Technologies of Distributed Systems, NOTERE 2011
AU - Pedroza, Gabriel
AU - Apvrille, Ludovic
AU - Knorreck, Daniel
PY - 2011/8/29
Y1 - 2011/8/29
N2 - Critical embedded systems - e.g., automotive systems - are now commonly distributed, thus exposing their communication links to attackers. The design of those systems shall therefore handle new security threats whilst maintaining a high level of safety. To address that issue, the paper introduces a SysML-based environment named AVATAR. AVATAR can capture both safety and security related elements in the same SysML model. TTool [1], an open-source UML toolkit, provides AVATAR editing capabilities, and offers a press-button approach for property proof. Indeed, after having modeled an abstract representation of the system and given a description of the safety and security properties, the designer may formally and directly verify those properties with the well established UPPAAL and ProVerif toolkits, respectively. The applicability of our approach is highlighted with a realistic embedded automotive system taken from an ongoing joint project of academia and industry called EVITA [2].
AB - Critical embedded systems - e.g., automotive systems - are now commonly distributed, thus exposing their communication links to attackers. The design of those systems shall therefore handle new security threats whilst maintaining a high level of safety. To address that issue, the paper introduces a SysML-based environment named AVATAR. AVATAR can capture both safety and security related elements in the same SysML model. TTool [1], an open-source UML toolkit, provides AVATAR editing capabilities, and offers a press-button approach for property proof. Indeed, after having modeled an abstract representation of the system and given a description of the safety and security properties, the designer may formally and directly verify those properties with the well established UPPAAL and ProVerif toolkits, respectively. The applicability of our approach is highlighted with a realistic embedded automotive system taken from an ongoing joint project of academia and industry called EVITA [2].
UR - https://www.scopus.com/pages/publications/80051991023
U2 - 10.1109/NOTERE.2011.5957992
DO - 10.1109/NOTERE.2011.5957992
M3 - Conference contribution
AN - SCOPUS:80051991023
SN - 9781457707292
T3 - 2011 11th Annual International Conference on New Technologies of Distributed Systems, NOTERE 2011 - Proceedings
BT - 2011 11th Annual International Conference on New Technologies of Distributed Systems, NOTERE 2011 - Proceedings
Y2 - 9 May 2011 through 13 May 2011
ER -