Non-Intrusive In-Situ Requirements Monitoring of Embedded System
Non-Intrusive In-Situ Requirements Monitoring of Embedded System
复制标题
嵌入式系统的非侵入式现场需求监控
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Roman L. Lysecky
中科院分区：
文献类型：
--
作者：
Minjun Seo;Roman L. Lysecky
在设计阶段考虑系统的所有操作条件对于复杂系统通常是不可行的。在运行时监视和验证系统需求使系统能够持续地和内向地确保系统在存在动态执行场景的情况下正确地操作。在这篇文章中，我们提出了一个需求驱动的方法，使有效的嵌入式系统的运行时监控。所提出的方法提取一个运行时监控图，从系统的需求，使用UML序列图。非侵入式的片上硬件动态监控系统执行，验证执行是否符合需求模型，并在发生故障时提供详细信息，可通过分析确定根本原因。使用自动驾驶汽车和起搏器原型的案例研究，我们分析了事件覆盖率，检测率和硬件要求之间的关系
Accounting for all operating conditions of a system at the design stage is typically infeasible for complex systems. Monitoring and verifying system requirements at runtime enable a system to continuously and introspectively ensure the system is operating correctly in the presence of dynamic execution scenarios. In this article, we present a requirements-driven methodology enabling efficient runtime monitoring of embedded systems. The proposed approach extracts a runtime monitoring graph from system requirements specified using UML sequence diagrams. Non-intrusive, on-chip hardware dynamically monitors the system execution, verifies the execution adheres to the requirements model, and in the event of a failure provides detailed information that can be analyzed to determine the root cause. Using case studies of an autonomous vehicle and pacemaker prototypes, we analyze the relationship between event coverage, detection rate, and hardware requirements