In the automotive sector, where such systems are also used for highly automated driving, the "scenario-based testing" approach has therefore been developed in recent years (see the PEGASUS project ...
Scenario-based online monitoring compares the driving behavior of a vehicle at runtime against a formal description of behavior given in form of an abstract scenario specification over observables ...