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

doi:10.3969/j.issn.1006-2475.2017.06.008

计算机与现代化

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

(南京航空航天大学计算机科学与技术学院，江苏南京 211106)

收稿日期:2016-10-14 出版日期:2017-06-23 发布日期:2017-06-23
作者简介:邓佳佳(1992-)，女，江苏如皋人，南京航空航天大学计算机科学与技术学院硕士研究生，研究方向：软件工程; 张育平(1959-)，男，副教授，硕士，研究方向：软件工程，构件评估; 陈海燕(1979-)，女，江苏南京人，讲师，博士，研究方向：软件工程，评估算法。
基金资助:
国家973计划项目(2014CB744900)

Timeliness Requirement Validation of Brake Control System Based on SysML & AADL

(School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China)

Received:2016-10-14 Online:2017-06-23 Published:2017-06-23

摘要/Abstract

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

关键词: 刹车控制系统, SysML, AADL, 时间属性, 需求验证

Abstract: It is a vital process to validate whether the system architecture and properties of its components designed by the developers meet the timeliness requirement while developing an avionics system. In order to validate the time delay of the IMA brake control system, the architecture and working process of the system are both analyzed, based on which, SysML block model and state machine diagrams along with MARTE-marked time attributes are established. Analyzing system models with verification tools is an efficient method to validate system requirements. Hence, we need to transfer the SysML model to AADL model according to the mapping relationship between these two languages. At last, the AADL model is obtained, the system analysis tool COMPASS is applied to verify the time delay of the model to check if it meets the predetermined requirement.

Key words: brake control system, SysML, AADL, time attribute, requirement verification

中图分类号:

TP302

邓佳佳，张育平，陈海燕. 基于SysML & AADL的IMA刹车控制系统实时性需求验证[J]. 计算机与现代化, doi: 10.3969/j.issn.1006-2475.2017.06.008.

DENG Jia-jia, ZHANG Yu-ping, CHEN Hai-yan. Timeliness Requirement Validation of Brake Control System Based on SysML & AADL[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2017.06.008.

[1]	冯思喆, 杨志斌, 薛垒. 基于AADL的航天嵌入式软件Ada代码自动生成方法[J]. 计算机与现代化, 2020, 0(06): 52-.
[2]	邓佳佳1,陈海燕1,张育平1,何亦征2. 基于SysML的航电系统架构安全性评估方法[J]. 计算机与现代化, 2017, 0(4): 44-47,126.
[3]	马薇薇 1,姜家鑫 1,张锐 2. 支持时间属性的隐私需求建模与一致性验证[J]. 计算机与现代化, 2017, 0(10): 100-104.
[4]	邢逆舟，王立松. 基于模型驱动的航电系统安全性分析[J]. 计算机与现代化, 2015, 0(1): 21-26.

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

Timeliness Requirement Validation of Brake Control System Based on SysML & AADL

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 4

编辑推荐

Metrics

本文评价