Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Complete list of metadata

Cited literature [30 references]  Display  Hide  Download
Contributor : Renaud Pacalet Connect in order to contact the contributor
Submitted on : Wednesday, August 19, 2020 - 10:57:01 AM
Last modification on : Wednesday, February 16, 2022 - 3:44:01 PM
Long-term archiving on: : Monday, November 30, 2020 - 8:34:27 PM


Studying Safety and Security M...
Files produced by the author(s)



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. ⟨10.1145/1122445.1122456⟩. ⟨hal-02915937⟩



Record views


Files downloads