计算机与现代化Issue(6)：40-44,49,6.DOI:10.3969/j.issn.1006-2475.2017.06.008
基于SysML & AADL的IMA刹车控制系统实时性需求验证
Timeliness Requirement Validation of Brake Control System Based on SysML & AADL
摘要
Abstract
It is a vital process to validate whether the system architecture and properties of its components designed by the devel-opers 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.关键词
刹车控制系统/SysML/AADL/时间属性/需求验证Key words
brake control system/SysML/AADL/time attribute/requirement verification分类
信息技术与安全科学引用本文复制引用
邓佳佳,张育平,陈海燕..基于SysML & AADL的IMA刹车控制系统实时性需求验证[J].计算机与现代化,2017,(6):40-44,49,6.基金项目
国家973计划项目(2014CB744900) （2014CB744900）
