SysML Models: Studying Safety and Security Measures Impact on Performance Using Graph Tainting - Equipe System on Chip Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

SysML Models: Studying Safety and Security Measures Impact on Performance Using Graph Tainting

Résumé

Designing safe, secure and efficient embedded systems implies understanding interdependencies between safety, security and performance requirements and mechanisms. In this paper, we introduce a new technique for analyzing the performance impact of safety/security implemented as hardware and software mechanisms and described in SysML models. Our analysis approach extracts a dependency graph from a SysML model. The SysML model is then simulated to obtain a list of simulation transactions. Then, to study the latency between two events of interest, we progressively taint the dependency graph according to simulation transactions and to dependencies between all software and hardware components. The simulation transactions are finally classified according to which vertex taint they correspond, and are displayed according to their timing and related hardware device. Thus a designer can easily spot which components need to be re-modeled in order to meet the performance requirement. A Rail Carriage use case studied in the scope of the H2020 AQUAS project illustrates our approach, in particular how tainting can handle the multiple occurrences of the same event. CCS CONCEPTS • Computer systems organization → Embedded software.
Fichier principal
Vignette du fichier
Studying Safety and Security Measures Impact on Performance Using Graph Tainting.pdf (1.24 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02915937 , version 1 (19-08-2020)

Identifiants

  • HAL Id : hal-02915937 , version 1

Citer

Maysam Zoor, Ludovic Apvrille, Renaud Pacalet. SysML Models: Studying Safety and Security Measures Impact on Performance Using Graph Tainting. 17th Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2020), Oct 2020, Montreal, Canada. ⟨hal-02915937⟩
204 Consultations
169 Téléchargements

Partager

Gmail Facebook X LinkedIn More