Causality Monitoring for MIMOS

MIMOS is a tool environment developed based on an asynchronous and deterministic data flow model for the design and evolution of real-time systems, aiming at safety-critical applications. Currently MIMOS supports modeling, simulation, verification, scheduling, timing analysis and (multi-core) code generation as well as dynamic updates of systems after deployment. The asynchronous yet deterministic design paradigm supported by MIMOS enables developers to build robust applications that can evolve without compromising their critical safety properties. This paper presents the run-time monitoring feature of MIMOS, with a focus on the causality of specifications in Signal Temporal Logic (STL). A causality monitor of MIMOS, determines and visualizes not only whether an executing trace violates a given STL specification but also how relevant the incremental changes of the trace is to the violation, with quantitative information providing insights into the system’s behavior. We present a case study to illustrate the power and usefulness of causality monitoring in MIMOS.