Skip to main content

Research Repository

Advanced Search

A runtime safety analysis concept for open adaptive systems

Kabir, Sohag; Sorokos, Ioannis; Aslansefat, Koorosh; Papadopoulos, Yiannis; Gheraibia, Youcef; Reich, Jan; Saimler, Merve; Wei, Ran

Authors

Sohag Kabir

Ioannis Sorokos

Youcef Gheraibia

Jan Reich

Merve Saimler

Ran Wei



Abstract

© Springer Nature Switzerland AG 2019. 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.

Citation

Kabir, S., Sorokos, I., Aslansefat, K., Papadopoulos, Y., Gheraibia, Y., Reich, J., Saimler, M., & Wei, R. A runtime safety analysis concept for open adaptive systems. Presented at Model-Based Safety and Assessment (IMBSA 2019), Thessaloniki, Greece

Presentation Conference Type Conference Paper (published)
Conference Name Model-Based Safety and Assessment (IMBSA 2019)
Acceptance Date Nov 14, 2018
Online Publication Date Oct 11, 2019
Publication Date Oct 11, 2019
Deposit Date Feb 17, 2021
Publicly Available Date May 26, 2021
Journal Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Print ISSN 0302-9743
Publisher Springer Verlag
Peer Reviewed Peer Reviewed
Volume 11842
Pages 332-346
ISBN 9783030328719
DOI https://doi.org/10.1007/978-3-030-32872-6_22
Keywords Platooning; Bayesian networks; Model-based dependability analysis; Runtime assurance
Public URL https://hull-repository.worktribe.com/output/3530061

Files

Article (761 Kb)
PDF

Copyright Statement
©2019 The authors. All rights reserved. No part of this publication may be reproduced without the written permission of the copyright holder






You might also like



Downloadable Citations