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., …Wei, R. (2019). A runtime safety analysis concept for open adaptive systems. Lecture notes in computer science, 11842, 332-346. https://doi.org/10.1007/978-3-030-32872-6_22
Journal Article Type | Conference Paper |
---|---|
Acceptance Date | Nov 14, 2018 |
Online Publication Date | Oct 11, 2019 |
Publication Date | Oct 11, 2019 |
Deposit Date | Feb 17, 2021 |
Publicly Available Date | Mar 29, 2024 |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Print ISSN | 0302-9743 |
Electronic ISSN | 1611-3349 |
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 conceptual framework to incorporate complex basic events in HiP-HOPS
(2019)
Book Chapter
Safety + AI: A novel approach to update safety models using artificial intelligence
(2019)
Journal Article
Model-connected safety cases
(2017)
Journal Article
A synthesis of logic and bio-inspired techniques in the design of dependable systems
(2016)
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