基于体系结构的信息物理融合系统的研究与分析

Research and Analysis Based on Architectural for Cyber-physical Systems

提出一种对现有软件体系结构的扩展来满足复杂的信息物理融合系统(CPS)的建模需求,增加对CPS的物理系统、物理系统的的联系交互、物理系统和信息系统之间交互的建模支持.首先引入一种新的CPS体系结构模式来对整个系统架构进行描述和构建,并以此作为原型设计和对使用基于模型工具创建的设计替代方案进行分析评价的参考环境.文章提出的CPS体系结构模式在Acme Studio中进行实现,并且对组件和连接器做了行为解释,这些行为解释通过以标签转换系统分析器(LTSA)作为扩展插件的有限状态进程(FSP)或者以多面混合自动机验证机(PHAVer)作为扩展插件的线性混合自动机(LHA)进行验证.最后,文章用一个锅炉温度控制系统的实例来解释提出的CPS体系结构模式和所用到的分析插件.

This paper presents an extension of existing software architecture modeling tool to model the complex Cyber-Physical Sys- tems （ CPS ） ,including the physical systems, their interfaces and the interaction between physical and cyber. We first introduce a new CPS architecture style to support the principles of design and assess the alternative CPS system architecture. We implement the CPS architecture style proposed here in AcmeStudio, and make the behavior annotation on the components and connectors that verified by La- beled Transition System Analyzer （ LTSA ） as an extension of finite state processes （ FSP ） or Polyhedral Hybrid Automata Verifier （ PHAVer I as the extension of the linear hybrid automata（ LHA ）. Finally, we used an example of a boiler temperature control system to explain the proposed CPS architecture style and analysis the used plugins.