论文部分内容阅读
提出一种对现有软件体系结构的扩展来满足复杂的信息物理融合系统(CPS)的建模需求,增加对CPS的物理系统、物理系统的的联系交互、物理系统和信息系统之间交互的建模支持.首先引入一种新的CPS体系结构模式来对整个系统架构进行描述和构建,并以此作为原型设计和对使用基于模型工具创建的设计替代方案进行分析评价的参考环境.文章提出的CPS体系结构模式在Acme Studio中进行实现,并且对组件和连接器做了行为解释,这些行为解释通过以标签转换系统分析器(LTSA)作为扩展插件的有限状态进程(FSP)或者以多面混合自动机验证机(PHAVer)作为扩展插件的线性混合自动机(LHA)进行验证.最后,文章用一个锅炉温度控制系统的实例来解释提出的CPS体系结构模式和所用到的分析插件.
In this paper, an extension to the existing software architecture is proposed to meet the modeling requirements of complex information physical fusion system (CPS), and the interaction between physical system and information system of CPS is increased Modeling support.Firstly, a new CPS architecture model was introduced to describe and construct the whole system architecture as a reference design environment for the prototype design and analysis and evaluation of design alternatives using model-based tools. CPS architecture patterns are implemented in Acme Studio and behavioral explanations of components and connectors explain the use of the finite state process (FSP) as an extension to the Label Transform System Analyzer (LTSA) or in a multi-faceted mix Finally, the article uses an example of a boiler temperature control system to explain the proposed CPS architecture pattern and the analysis plug-in used.