本文主要研究内容
作者曹雪岳,曹子宁,卜星晨(2019)在《面向CPS的混成AADL建模与模型转换》一文中研究指出:信息物理融合系统(CPS)是将物理过程和计算过程紧密结合的混成系统,是由多个异构的组件通过通信设施联系起来。组合式建模通过对信息物理融合系统组件分别建模,再使用组合机制将组件整合成一个复杂的系统。进程代数经常用于通信系统建模,能够描述进程间的并发关系,但是缺乏对连续变化和随机行为的描述能力。文中在经典进程理论上扩展并提出CPS建模语言HPCCS,同时在模型中使用谓词公式来描述数据间的约束关系。AADL是目前广泛使用的建模语言,但是缺少连续行为的建模能力,文中结合HPCCS扩展AADL提出CPS系统建模机制HPCCS-AADL。为了对半形式化的HPCCS-AADL进行形式化验证,给出了混成AADL到HPCCS的转换规则。最后通过飞行控制系统的例子说明提出的混成AADL建模能力足够描述CPS系统,并且通过模型转换可以转换到形式化的HPCCS。
Abstract
xin xi wu li rong ge ji tong (CPS)shi jiang wu li guo cheng he ji suan guo cheng jin mi jie ge de hun cheng ji tong ,shi you duo ge yi gou de zu jian tong guo tong xin she shi lian ji qi lai 。zu ge shi jian mo tong guo dui xin xi wu li rong ge ji tong zu jian fen bie jian mo ,zai shi yong zu ge ji zhi jiang zu jian zheng ge cheng yi ge fu za de ji tong 。jin cheng dai shu jing chang yong yu tong xin ji tong jian mo ,neng gou miao shu jin cheng jian de bing fa guan ji ,dan shi que fa dui lian xu bian hua he sui ji hang wei de miao shu neng li 。wen zhong zai jing dian jin cheng li lun shang kuo zhan bing di chu CPSjian mo yu yan HPCCS,tong shi zai mo xing zhong shi yong wei ci gong shi lai miao shu shu ju jian de yao shu guan ji 。AADLshi mu qian an fan shi yong de jian mo yu yan ,dan shi que shao lian xu hang wei de jian mo neng li ,wen zhong jie ge HPCCSkuo zhan AADLdi chu CPSji tong jian mo ji zhi HPCCS-AADL。wei le dui ban xing shi hua de HPCCS-AADLjin hang xing shi hua yan zheng ,gei chu le hun cheng AADLdao HPCCSde zhuai huan gui ze 。zui hou tong guo fei hang kong zhi ji tong de li zi shui ming di chu de hun cheng AADLjian mo neng li zu gou miao shu CPSji tong ,bing ju tong guo mo xing zhuai huan ke yi zhuai huan dao xing shi hua de HPCCS。
论文参考文献
论文详细介绍
论文作者分别是来自计算机技术与发展的曹雪岳,曹子宁,卜星晨,发表于刊物计算机技术与发展2019年10期论文,是一篇关于组合式建模论文,进程代数论文,信息物理融合系统论文,模型转换论文,计算机技术与发展2019年10期论文的文章。本文可供学术参考使用,各位学者可以免费参考阅读下载,文章观点不代表本站观点,资料来自计算机技术与发展2019年10期论文网站,若本站收录的文献无意侵犯了您的著作版权,请联系我们删除。
标签:组合式建模论文; 进程代数论文; 信息物理融合系统论文; 模型转换论文; 计算机技术与发展2019年10期论文;