基于数据的自适应CPS软件结构模型设计方法  

Data-Based Approach to Designing Self-Adaptive CPS Software Architecture Models

作　　者：许浩[1] 虞慧群[1,2] XU Hao;YU Huiqun(Department of Computer Science and Engineering,East China University of Science and Technology,Shanghai 200237,China;Shanghai Key Laboratory of Computer Software Testing and Evaluating,Shanghai 201112,China)

机构地区：[1]华东理工大学计算机科学与工程系,上海200237 [2]上海市计算机软件评测重点实验室,上海201112

出　　处：《华东理工大学学报（自然科学版）》2022年第6期841-848,共8页Journal of East China University of Science and Technology

基　　金：上海市自然科学基金(21ZR1416300);国家自然科学基金(61772200)。

摘　　要：信息物理系统(Cyber-Physical System,CPS)一般在动态环境中控制物理设备的运行,因此环境参数影响着CPS的结构和行为。提出了一种基于数据的自适应软件结构模型设计方法,该方法中CPS软件结构模型由单元模块通过层次化的组合构造而成。CPS的自适应演化通过面向方面建模方法实现,将环境因素的功能抽象成方面模型,通过对方面模型与基础模型进行编织得到综合的CPS模型。基于Petri网和时态逻辑的形式化方法为CPS模型提供了数学表达和分析手段。理论分析和实验结果表明,本文的设计方法具有可行性和高效性。Cyber-physical systems(CPS)are tight integration of embedded computers and physical devices,which has a wide applications in many areas such as process industry,smart energy,medical care,and national defense.However,it is a challenging task to design CPS software that meets both functional and performance requirements,since various physical devices and software in CSPs are interconnected and complex in structures and behaviors.CPS that controls the operation of physical devices is usually running in a dynamical environment.The environmental parameters will affect the structures and behaviors of CPS.This paper proposes a data-based adaptive software structure model design method.In this method,the software architecture model of CPS is constructed by the hierarchical combination of unit modules.The multi-level formal models for CPS software are based on formalisms of Petri net and temporal logic,in order to precisely specify CPS software architecture model,properties,and refine the relation between different levels.The adaptive evolution of CPS is realized by taking advantage of formal semantics,aspectoriented method,and data analysis algorithms,which abstracts the function of environmental factors into aspect model and obtains a comprehensive CPS model and basic model.The formal method based on Petri nets and temporal logic provides mathematical expression and analysis means for CPS model.Theoretical analysis and experiments show that the designed method is feasible and efficient.

关 键 词：信息物理系统 数据驱动 软件结构 自适应机制 软件设计 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]