View/ Open
A Runtime Safety Analysis Concept for Open Adaptive Systems.pdf (724.0Kb)
Download
Publication date
2019Author
Kabir, SohagSorokos, I.
Aslansefat, K.
Papadopoulos, Y.
Gheraibia, Y.
Reich, J.
Saimler, M.
Wei, R.
Keyword
PlatooningBayesian networks
Model-based dependability analysis
Runtime assurance
Autonomous systems
Rights
(c) 2019 Springer Nature Switzerland AG. Full-text reproduced with publisher permission.Peer-Reviewed
Yes
Metadata
Show full item recordAbstract
In the automotive industry, modern cyber-physical systems feature cooperation and autonomy. Such systems share information to enable collaborative functions, allowing dynamic component integration and architecture reconfiguration. Given the safety-critical nature of the applications involved, an approach for addressing safety in the context of reconfiguration impacting functional and non-functional properties at runtime is needed. In this paper, we introduce a concept for runtime safety analysis and decision input for open adaptive systems. We combine static safety analysis and evidence collected during operation to analyse, reason and provide online recommendations to minimize deviation from a system’s safe states. We illustrate our concept via an abstract vehicle platooning system use case.Version
Accepted manuscriptCitation
Kabir S, Sorokos I, Aslansefat K et al (2019) A Runtime Safety Analysis Concept for Open Adaptive Systems. In: Papadopoulos Y, Aslansefat K, Katsaros P et al (Eds) Model-Based Safety and Assessment. IMBSA 2019. Lecture Notes in Computer Science. Cham: Springer. 11842: 332-346.Link to Version of Record
https://doi.org/10.1007/978-3-030-32872-6_22Type
Conference paperae974a485f413a2113503eed53cd6c53
https://doi.org/10.1007/978-3-030-32872-6_22