English 
曹子宁

教授 博士生导师

招生学科专业:
计算机科学与技术 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院

性别:男

学历:清华大学

学位:工学博士学位

所在单位:计算机科学与技术学院/人工智能学院/软件学院

联系方式:13814535662

电子邮箱:

手机版

访问量:

最后更新时间:..

当前位置: 中文主页 >> 科学研究 >> 论文成果
面向CPS的混成AADL建模与模型转换

点击次数:

所属单位:计算机科学与技术学院/人工智能学院/软件学院

发表刊物:计算机技术与发展

关键字:组合式建模;进程代数;信息物理融合系统;AADL;模型转换;

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

是否译文:

发表时间:2019-04-24

合写作者:曹雪岳,卜星晨

通讯作者:曹子宁

版权所有©2018- 南京航空航天大学·信息化处(信息化技术中心)