Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

SysML-Sec: A Model-Driven Environment for Developing Secure Embedded Systems

Ludovic Apvrille 1, 2 yves Roudier 
1 LabSoC - System on Chip
LTCI - Laboratoire Traitement et Communication de l'Information
Abstract : We introduce SysML-Sec, a new SysML environment aimed at making secu- rity experts collaborate with system designers at all methodological stages of the design and development of an embedded system. SysML-Sec is also meant to support the assess- ment of the impact of security over safety. Security and safety concerns are captured in extended SysML diagrams elaborated according to an iterative process centered around the software/hardware partitioning of the architecture. The requirements captured are derived into security and cryptographic mechanisms as well as into security properties that can be formally verified.
Complete list of metadata
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 4:08:09 PM
Last modification on : Saturday, April 9, 2022 - 11:02:01 AM


  • HAL Id : hal-02286744, version 1


Ludovic Apvrille, yves Roudier. SysML-Sec: A Model-Driven Environment for Developing Secure Embedded Systems. 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Sep 2013, Mont de Marsan, France. ⟨hal-02286744⟩



Record views