Home > Scientific Research > Paper Publications

基于SysML & AADL的IMA刹车控制系统实时性需求验证

Hits:

Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院
Journal:计算机与现代化
Key Words:刹车控制系统;SysML;AADL;时间属性;需求验证;
Abstract:针对设计阶段难以对刹车控制系统进行实时性分析验证的问题,提出基于SysML & AADL的实时性需求验证方法。首先论述综合模块化航电系统中刹车控制系统的组成和实时性定义,基于SysML建模语言建立系统模型,并添加MARTE描述的组件时间延迟;然后建立SysML/MARTE与AADL的模型元素映射关系,根据该关系,将SysML模型转化为符合AADL语义的模型。最后利用AADL分析工具得到实时性验证结果,验证了所提出实时性验证方法的有效性。
Translation or Not:no
Date of Publication:2017-06-23
Co-author:邓佳佳,chy
Correspondence Author:zyp
Date of Publication:2017-06-23