空军工程大学学报（自然科学版）2017，Vol.18Issue(5)：67-72,6.DOI:10.3969/j.issn.1009-3516.2017.05.012
基于事件逻辑的CPS组件协同模型
Event Logic-based Component Coordination Model of CPS
摘要
Abstract
According to the characteristics of heterogeneity,instantaneity,and high integration of physics and cyber in CPS,an event logic-based component coordination algebra model is built .Firstly,a temporalspatial event interface based on component formal expression is defined .And an Event-Driven based component coordination behavior model is proposed .Then,according to the coordination modes between components，logical relationships between events are analyzed . Finally, taking the illegal invasion into smart home as an example,the paper uses the coordination algebra model to describe the process of event-driven component condult .The analysis show that event logic-based component coordination model can realize interaction between components and integration between physical process and computational process,shield the heterogeneity between components,and provides a novel method for formal modeling of CPS.关键词
物理信息融合系统/事件接口/事件逻辑关系/组件协同代数系统Key words
cyber-physical system/event interface/logic relations between events/component coordination algebra system分类
信息技术与安全科学引用本文复制引用
尹忠海,褚亚男..基于事件逻辑的CPS组件协同模型[J].空军工程大学学报（自然科学版）,2017,18(5):67-72,6.基金项目
国家自然科学基金(61472443) （61472443）
