Monitoring Hierarchical Systems for Safety Assurance

Franz Wotawa*, Horst Lewitschnig

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review


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 languageEnglish
Title of host publicationIntelligent Distributed Computing XIV
EditorsDavid Camacho, Domenico Rosaci, Giuseppe M. L. Sarné, Mario Versaci
PublisherSpringer Science and Business Media Deutschland GmbH
Number of pages10
ISBN (Print)9783030966263
Publication statusPublished - 2022
Event14th International Symposium on Intelligent Distributed Computing: IDC 2021 - Virtual, Online
Duration: 16 Sept 202118 Sept 2021

Publication series

NameStudies in Computational Intelligence
ISSN (Print)1860-949X
ISSN (Electronic)1860-9503


Conference14th International Symposium on Intelligent Distributed Computing
Abbreviated titleIDC 2021
CityVirtual, Online
Internet address

ASJC Scopus subject areas

  • Artificial Intelligence

Fields of Expertise

  • Information, Communication & Computing

Cite this