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 | |
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 |
ASJC Scopus subject areas
- Artificial Intelligence
Fields of Expertise
- Information, Communication & Computing