Franz Wotawa, Horst Lewitschnig
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.