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
2 COMELEC - Département Communications & Electronique
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.
Keywords : SysML security embedded systems model driven engineering.
Document type :
Conference papers
Complete list of metadata
https://hal.telecom-paris.fr/hal-02286744
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

Identifiers

  • HAL Id : hal-02286744, version 1

Collections

INSTITUT-TELECOM | PARISTECH | TDS-MACS | LTCI | COMELEC | LABSOC

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

43