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 metadatas
https://hal.telecom-paris.fr/hal-02286744
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 4:08:09 PM
Last modification on : Friday, July 31, 2020 - 11:28:04 AM

Identifiers

  • HAL Id : hal-02286744, version 1

Collections

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

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

Share

Metrics

Record views

29