Runtime Monitoring for Cyber-Physical Systems: A Case Study of Cooperative Adaptive Cruise Control

摘要：

Cyber-Physical Systems (CPS) involve deep interactions between computation cores, communication networks, and physical environments. These systems are inherently complex and highly nondeterministic. This makes the traditional formal verification technology impractical to verify the complete system behavior, and testing alone is insufficient to guarantee correctness. Runtime monitoring, known as a lightweight verification technique, provides a practical way to monitor and verify such systems at runtime. In this paper, we present a case study for runtime monitoring of the Cooperative Adaptive Cruise Control systems (CACC) in automobile CPS systems. We build a hybrid automatonbased model for the CACC system using the CHARON modeling language and construct an event-based runtime monitoring framework. The synthesized monitor observes the running of CACC and checks whether it works correctly against the temporal logic safety specification. Experimental results obtained through this case study provide evidence for the efficacy of runtime monitoring of CPS systems.

关键词： Cyber-Physical Systems Runtime Monitoring Cooperative Adaptive Cruise Control

作者: Jianhui Mao Liqian Chen

作者单位: National Laboratory for Parallel and Distributed Processing, National University of Defense Technolo National Laboratory for Parallel and Distributed Processing,National University of Defense Technolog

会议类型: 国际会议

会议名称: 2012 International Conference on Intelligent System Design and Engineering Applications(2012年智能系统设计与工程应用国际会议 ISDEA 2012)

会议地点: 三亚

会议语种:英文

页码: 509-515

在线出版日期: 2012-01-06（万方平台首次上网日期，不代表论文的发表时间）