Type-safe Monitoring of Parameterized Streams

Jan Baumeister, Bernd Finkbeiner, Florian Kohn

Stream-based monitoring is a real-time safety assurance mechanism for complex cyber-physical systems such as unmanned aerial vehicles. The monitor aggregates streams of input data…