We present a model-based architecture for monitoring executions of models of real-time and embedded systems. This architecture is highly configurable and allows for the combination of various run-time monitoring tools, not only for observing the system execution, but also for interacting with it. Using a variety of case studies, we illustrate the use of the architecture for connecting the code generated from a model with a range of external tools for different purposes, including execution animation and run-time verification. However, the external tool can not only consume information from the execution, but also generate input for it and thus influence and steer it.

中文翻译：

---

基于模型的交互式运行时监视架构

我们提出了一种基于模型的体系结构，用于监视实时和嵌入式系统模型的执行。这种体系结构是高度可配置的，并且允许组合各种运行时监视工具，不仅用于观察系统执行，还可以与之交互。通过使用各种案例研究，我们说明了该体系结构用于将模型生成的代码与一系列外部工具连接起来的目的，这些外部工具用于不同目的，包括执行动画和运行时验证。但是，外部工具不仅可以消耗执行中的信息，还可以为其生成输入，从而影响和操纵它。