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.
Originalsprache | englisch |
---|---|
Titel | Intelligent Distributed Computing XIV |
Redakteure/-innen | David Camacho, Domenico Rosaci, Giuseppe M. L. Sarné, Mario Versaci |
Herausgeber (Verlag) | Springer Science and Business Media Deutschland GmbH |
Seiten | 331-340 |
Seitenumfang | 10 |
ISBN (Print) | 9783030966263 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2022 |
Veranstaltung | 14th International Symposium on Intelligent Distributed Computing: IDC 2021 - Virtual, Online Dauer: 16 Sept. 2021 → 18 Sept. 2021 http://idc2021.unirc.it |
Publikationsreihe
Name | Studies in Computational Intelligence |
---|---|
Band | 1026 |
ISSN (Print) | 1860-949X |
ISSN (elektronisch) | 1860-9503 |
Konferenz
Konferenz | 14th International Symposium on Intelligent Distributed Computing |
---|---|
Kurztitel | IDC 2021 |
Ort | Virtual, Online |
Zeitraum | 16/09/21 → 18/09/21 |
Internetadresse |
ASJC Scopus subject areas
- Artificial intelligence
Fields of Expertise
- Information, Communication & Computing