Loading...
A Runtime Safety Analysis Concept for Open Adaptive Systems
Sorokos, I. Aslansefat, K. Papadopoulos, Y. Gheraibia, Y. Reich, J. Saimler, M. Wei, R.
Sorokos, I.
Aslansefat, K.
Papadopoulos, Y.
Gheraibia, Y.
Reich, J.
Saimler, M.
Wei, R.
Publication Date
2019
End of Embargo
Supervisor
Rights
(c) 2019 Springer Nature Switzerland AG. Full-text reproduced with publisher permission.
Peer-Reviewed
Yes
Open Access status
Accepted for publication
Institution
Department
Awarded
Embargo end date
Additional title
Abstract
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 manuscript
Citation
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 publisher’s version
Link to published version
Link to Version of Record
Type
Conference paper