Monitoring Hierarchical Systems for Safety Assurance

Franz Wotawa; Horst Lewitschnig

doi:10.1007/978-3-030-96627-0_30

Monitoring Hierarchical Systems for Safety Assurance

Franz Wotawa^*, Horst Lewitschnig

^*Corresponding author for this work

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Abstract

Assuring safety for autonomous safety-critical systems like cars equipped with autonomous driving functionality seems to be hard if even impossible to achieve. Checking the behavior of the system online during operation regarding its degree of fulfillment of given safety requirements provides an alternative countermeasure for hazards. In this paper, we discuss the concept of monitoring devices that implement run time verification based on safety and functional requirements. We introduce a hierarchical approach where monitoring information is passed from one lower level to other higher-levels in order to finally come up with verification results that would not have been able to achieve at the lower level. Besides presenting the principles, we use a potential example from the automotive industry for illustrating the approach.

Original language	English
Title of host publication	Intelligent Distributed Computing XIV
Editors	David Camacho, Domenico Rosaci, Giuseppe M. L. Sarné, Mario Versaci
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	331-340
Number of pages	10
ISBN (Print)	9783030966263
DOIs	https://doi.org/10.1007/978-3-030-96627-0_30
Publication status	Published - 2022
Event	14th International Symposium on Intelligent Distributed Computing: IDC 2021 - Virtual, Online Duration: 16 Sept 2021 → 18 Sept 2021 http://idc2021.unirc.it

Publication series

Name	Studies in Computational Intelligence
Volume	1026
ISSN (Print)	1860-949X
ISSN (Electronic)	1860-9503

Conference

Conference	14th International Symposium on Intelligent Distributed Computing
Abbreviated title	IDC 2021
City	Virtual, Online
Period	16/09/21 → 18/09/21
Internet address	http://idc2021.unirc.it

ASJC Scopus subject areas

Artificial Intelligence

Fields of Expertise

Information, Communication & Computing

Access to Document

10.1007/978-3-030-96627-0_30

Cite this

Monitoring Hierarchical Systems for Safety Assurance. / Wotawa, Franz; Lewitschnig, Horst.
Intelligent Distributed Computing XIV. ed. / David Camacho; Domenico Rosaci; Giuseppe M. L. Sarné; Mario Versaci. Springer Science and Business Media Deutschland GmbH, 2022. p. 331-340 (Studies in Computational Intelligence; Vol. 1026).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Wotawa, F & Lewitschnig, H 2022, Monitoring Hierarchical Systems for Safety Assurance. in D Camacho, D Rosaci, GML Sarné & M Versaci (eds), Intelligent Distributed Computing XIV. Studies in Computational Intelligence, vol. 1026, Springer Science and Business Media Deutschland GmbH, pp. 331-340, 14th International Symposium on Intelligent Distributed Computing, Virtual, Online, 16/09/21. https://doi.org/10.1007/978-3-030-96627-0_30

@inproceedings{7823454564614dc79859e79cf8df30c5,

title = "Monitoring Hierarchical Systems for Safety Assurance",

abstract = "Assuring safety for autonomous safety-critical systems like cars equipped with autonomous driving functionality seems to be hard if even impossible to achieve. Checking the behavior of the system online during operation regarding its degree of fulfillment of given safety requirements provides an alternative countermeasure for hazards. In this paper, we discuss the concept of monitoring devices that implement run time verification based on safety and functional requirements. We introduce a hierarchical approach where monitoring information is passed from one lower level to other higher-levels in order to finally come up with verification results that would not have been able to achieve at the lower level. Besides presenting the principles, we use a potential example from the automotive industry for illustrating the approach.",

author = "Franz Wotawa and Horst Lewitschnig",

note = "Funding Information: Acknowledgements ArchitectECA2030 receives funding within the Electronic Components and Systems for European Leadership Joint Undertaking (ESCEL JU) in collaboration with the European Union{\textquoteright}s Horizon2020 Framework Programme and National Authorities, under grant agreement n◦ 877539. All ArchitectECA2030 related communication reflects only the author{\textquoteright}s view and the Agency and the Commission are not responsible for any use that may be made of the information it contains. The work was partially funded by the Austrian Federal Ministry of Climate Action, Environment, Energy, Mobility, Innovation and Technology (BMK) under the program “ICT of the Future” project 877587. Funding Information: ArchitectECA2030 receives funding within the Electronic Components and Systems for European Leadership Joint Undertaking (ESCEL JU) in collaboration with the European Union{\textquoteright}s Horizon2020 Framework Programme and National Authorities, under grant agreement n◦ 877539. All ArchitectECA2030 related communication reflects only the author{\textquoteright}s view and the Agency and the Commission are not responsible for any use that may be made of the information it contains. The work was partially funded by the Austrian Federal Ministry of Climate Action, Environment, Energy, Mobility, Innovation and Technology (BMK) under the program “ICT of the Future” project 877587. Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 14th International Symposium on Intelligent Distributed Computing : IDC 2021, IDC 2021 ; Conference date: 16-09-2021 Through 18-09-2021",

year = "2022",

doi = "10.1007/978-3-030-96627-0_30",

language = "English",

isbn = "9783030966263",

series = "Studies in Computational Intelligence",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "331--340",

editor = "David Camacho and Domenico Rosaci and Sarn{\'e}, {Giuseppe M. L.} and Mario Versaci",

booktitle = "Intelligent Distributed Computing XIV",

address = "Germany",

url = "http://idc2021.unirc.it",

}

TY - GEN

T1 - Monitoring Hierarchical Systems for Safety Assurance

AU - Wotawa, Franz

AU - Lewitschnig, Horst

N1 - Funding Information: Acknowledgements ArchitectECA2030 receives funding within the Electronic Components and Systems for European Leadership Joint Undertaking (ESCEL JU) in collaboration with the European Union’s Horizon2020 Framework Programme and National Authorities, under grant agreement n◦ 877539. All ArchitectECA2030 related communication reflects only the author’s view and the Agency and the Commission are not responsible for any use that may be made of the information it contains. The work was partially funded by the Austrian Federal Ministry of Climate Action, Environment, Energy, Mobility, Innovation and Technology (BMK) under the program “ICT of the Future” project 877587. Funding Information: ArchitectECA2030 receives funding within the Electronic Components and Systems for European Leadership Joint Undertaking (ESCEL JU) in collaboration with the European Union’s Horizon2020 Framework Programme and National Authorities, under grant agreement n◦ 877539. All ArchitectECA2030 related communication reflects only the author’s view and the Agency and the Commission are not responsible for any use that may be made of the information it contains. The work was partially funded by the Austrian Federal Ministry of Climate Action, Environment, Energy, Mobility, Innovation and Technology (BMK) under the program “ICT of the Future” project 877587. Publisher Copyright: © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

PY - 2022

Y1 - 2022

N2 - Assuring safety for autonomous safety-critical systems like cars equipped with autonomous driving functionality seems to be hard if even impossible to achieve. Checking the behavior of the system online during operation regarding its degree of fulfillment of given safety requirements provides an alternative countermeasure for hazards. In this paper, we discuss the concept of monitoring devices that implement run time verification based on safety and functional requirements. We introduce a hierarchical approach where monitoring information is passed from one lower level to other higher-levels in order to finally come up with verification results that would not have been able to achieve at the lower level. Besides presenting the principles, we use a potential example from the automotive industry for illustrating the approach.

AB - Assuring safety for autonomous safety-critical systems like cars equipped with autonomous driving functionality seems to be hard if even impossible to achieve. Checking the behavior of the system online during operation regarding its degree of fulfillment of given safety requirements provides an alternative countermeasure for hazards. In this paper, we discuss the concept of monitoring devices that implement run time verification based on safety and functional requirements. We introduce a hierarchical approach where monitoring information is passed from one lower level to other higher-levels in order to finally come up with verification results that would not have been able to achieve at the lower level. Besides presenting the principles, we use a potential example from the automotive industry for illustrating the approach.

UR - http://www.scopus.com/inward/record.url?scp=85130304382&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-96627-0_30

DO - 10.1007/978-3-030-96627-0_30

M3 - Conference paper

AN - SCOPUS:85130304382

SN - 9783030966263

T3 - Studies in Computational Intelligence

SP - 331

EP - 340

BT - Intelligent Distributed Computing XIV

A2 - Camacho, David

A2 - Rosaci, Domenico

A2 - Sarné, Giuseppe M. L.

A2 - Versaci, Mario

PB - Springer Science and Business Media Deutschland GmbH

T2 - 14th International Symposium on Intelligent Distributed Computing

Y2 - 16 September 2021 through 18 September 2021

ER -