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

TP311.5; 信息物理系统(Cyber-Physical System,CPS)一般在动态环境中控制物理设备的运行,因此环境参数影响着CPS的结构和行为.提出了一种基于数据的自适应软件结构模型设计方法,该方法中CPS软件结构模型由单元模块通过层次化的组合构造而成.CPS的自适应演化通过面向方面建模方法实现,将环境因素的功能抽象成方面模型,通过对方面模型与基础模型进行编织得到综合的CPS模型.基于Petri网和时态逻辑的形式化方法为CPS模型提供了数学表达和分析手段.理论分析和实验结果表明,本文的设计方法具有可行性和高效性....

Full description

Saved in:
Bibliographic Details
Published in华东理工大学学报（自然科学版） Vol. 48; no. 6; pp. 841 - 848
Main Authors 许浩, 虞慧群
Format Journal Article
LanguageChinese
Published 华东理工大学计算机科学与工程系, 上海 200237%华东理工大学计算机科学与工程系, 上海 200237 2022
上海市计算机软件评测重点实验室, 上海 201112
Subjects
数据驱动
信息物理系统
软件结构
自适应机制
软件设计
Online AccessGet full text

Cover

More Information
Summary:TP311.5; 信息物理系统(Cyber-Physical System,CPS)一般在动态环境中控制物理设备的运行,因此环境参数影响着CPS的结构和行为.提出了一种基于数据的自适应软件结构模型设计方法,该方法中CPS软件结构模型由单元模块通过层次化的组合构造而成.CPS的自适应演化通过面向方面建模方法实现,将环境因素的功能抽象成方面模型,通过对方面模型与基础模型进行编织得到综合的CPS模型.基于Petri网和时态逻辑的形式化方法为CPS模型提供了数学表达和分析手段.理论分析和实验结果表明,本文的设计方法具有可行性和高效性.
ISSN:1006-3080
DOI:10.14135/j.cnki.1006-3080.20210831004