SysML models

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.

Model‐driven engineering of safety and security software systems: A systematic mapping study and future research directions

“…Thirty‐one studies 38 , 39 , 40 , 41 , 42 , 43 , 44 , 45 , 46 , 47 , 48 , 49 , 50 , 51 , 52 , 53 , 54 , 55 , 56 , 57 , 58 , 59 , 60 , 61 , 62 , 63 , 64 , 65 , 66 , 67 , 68 were focusing on both requirements modeling and analysis. A few studies were either focusing solely on requirements analysis 69 , 70 , 71 , 72 or requirements traceability. 73 …”

“… 30 , 39 , 64 The use of SysML‐Sec (an extended version of the SysML language to design safe and secure embedded systems) has been found in previous studies. 17 , 31 , 70 , 71 , 72 …”

“…As shown in Figure 4 , most researchers of this domain are proposing an approach or a methodology based on an already existing method or tool, that is, 41 out of 143 publications. 26 , 28 , 33 , 34 , 35 , 36 , 40 , 41 , 46 , 47 , 48 , 51 , 52 , 53 , 56 , 58 , 59 , 61 , 62 , 63 , 64 , 65 , 66 , 68 , 71 , 72 , 74 , 78 , 82 , 86 , 87 , 93 , 95 , 97 , 98 , 102 , 114 , 121 , 126 , 135 , 136 Their aim was to adapt an existing technology in such a way that it becomes exploitable for MDE of safety and security systems.…”

“… 75 , 81 , 90 , 98 , 107 , 109 , 137 , 153 At the same time, the railway domain has been featured in seven studies. 32 , 36 , 45 , 55 , 72 , 84 , 140 …”