Reliable Inspection of an Autonomous System At System Runtime with Built-in Data Probes
Joachim Hans Fröhlich, Christoph Stückjürgen · 2017
Dynamically programmable data probes assist in solving verification issues of autonomous systems. Data probes can be programmed to monitor timed sequences of system data, to check system properties, and to stimulate and control autonomous systems. We present several probe programs to inspect and check various aspects of a safety invariant during a mobile robot's task execution. We report on experience and identify open issues.