@inbook{2f34000c32a14b218bff8f825f5c93a6,
title = "Causality Monitoring for MIMOS",
abstract = "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{\textquoteright}s behavior. We present a case study to illustrate the power and usefulness of causality monitoring in MIMOS.",
keywords = "MIMOS, causality, monitoring, real-time systems",
author = "Chengzi Huang and Behnam Khodabandeloo and Nguyen, \{Duc Anh\} and Wang Yi and Jie An and Zhenya Zhang",
note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2026.",
year = "2026",
doi = "10.1007/978-3-031-97439-7\_14",
language = "英语",
series = "Lecture Notes in Computer Science",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "284--300",
booktitle = "Lecture Notes in Computer Science",
address = "德国",
}