面向CPS的混成AADL建模与模型转换

• 作者: 卜星晨 曹子宁 曹雪岳
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 组合式建模 进程代数 信息物理融合系统 AADL 模型转换
• 年，卷（期）: 2019,（10）
• 所属期刊栏目: 应用开发研究
• 页码范围: 35-40
• 页数: 6页
• 分类号: TP301
• 字数: 4968字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2019.10.008

摘要

信息物理融合系统(CPS)是将物理过程和计算过程紧密结合的混成系统,是由多个异构的组件通过通信设施联系起来.组合式建模通过对信息物理融合系统组件分别建模,再使用组合机制将组件整合成一个复杂的系统.进程代数经常用于通信系统建模,能够描述进程间的并发关系,但是缺乏对连续变化和随机行为的描述能力.文中在经典进程理论上扩展并提出CPS建模语言HPCCS,同时在模型中使用谓词公式来描述数据间的约束关系.AADL是目前广泛使用的建模语言,但是缺少连续行为的建模能力,文中结合HPCCS扩展AADL提出CPS系统建模机制HPCCS-AADL.为了对半形式化的HPCCS-AADL进行形式化验证,给出了混成AADL到HPCCS的转换规则.最后通过飞行控制系统的例子说明提出的混成AADL建模能力足够描述CPS系统,并且通过模型转换可以转换到形式化的HPCCS.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹子宁	南京航空航天大学计算机科学与技术学院	25	200	8.0	13.0
2	曹雪岳	南京航空航天大学计算机科学与技术学院	2	0	0.0	0.0
3	卜星晨	南京航空航天大学计算机科学与技术学院	3	0	0.0	0.0