Sohag Kabir
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
Ioannis Sorokos
Dr Koorosh Aslansefat K.Aslansefat@hull.ac.uk
Lecturer/Assistant Professor
Professor Yiannis Papadopoulos Y.I.Papadopoulos@hull.ac.uk
Professor
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
A safety analysis approach to clinical workflows : application and evaluation
(2014)
Journal Article
Quantification of temporal fault trees based on fuzzy set theory
(2014)
Journal Article
Downloadable Citations
About Repository@Hull
Administrator e-mail: repository@hull.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search