点击次数：

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

发表刊物：计算机与现代化

关键字：刹车控制系统;SysML;AADL;时间属性;需求验证;

摘要：针对设计阶段难以对刹车控制系统进行实时性分析验证的问题,提出基于SysML & AADL的实时性需求验证方法。首先论述综合模块化航电系统中刹车控制系统的组成和实时性定义,基于SysML建模语言建立系统模型,并添加MARTE描述的组件时间延迟;然后建立SysML/MARTE与AADL的模型元素映射关系,根据该关系,将SysML模型转化为符合AADL语义的模型。最后利用AADL分析工具得到实时性验证结果,验证了所提出实时性验证方法的有效性。

是否译文：否

发表时间：2017-06-23

合写作者：邓佳佳,陈海燕

通讯作者：张育平