Hits:

Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院

Title of Paper:面向CPS的混成AADL建模与模型转换

Journal:计算机技术与发展

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

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

Translation or Not:no

Date of Publication:2019-04-24

Co-author:曹雪岳,卜星晨

Correspondence Author:Cao Zi Ning