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

• 作者: 张育平 邓佳佳 陈海燕
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 刹车控制系统 SysML AADL 时间属性 需求验证
• 年，卷（期）: 2017,（6）
• 所属期刊栏目: 软件工程
• 页码范围: 40-44,49
• 页数: 6页
• 分类号: TP302
• 字数: 3792字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2017.06.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张育平	南京航空航天大学计算机科学与技术学院	39	485	9.0	21.0
2	陈海燕	南京航空航天大学计算机科学与技术学院	37	269	7.0	15.0
3	邓佳佳	南京航空航天大学计算机科学与技术学院	2	2	1.0	1.0