摘要
针对设计阶段难以对刹车控制系统进行实时性分析验证的问题,提出基于SysML & AADL的实时性需求验证方法。首先论述综合模块化航电系统中刹车控制系统的组成和实时性定义,基于SysML建模语言建立系统模型,并添加MARTE描述的组件时间延迟;然后建立SysML/MARTE与AADL的模型元素映射关系,根据该关系,将SysML模型转化为符合AADL语义的模型。最后利用AADL分析工具得到实时性验证结果,验证了所提出实时性验证方法的有效性。
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.
出处
《计算机与现代化》
2017年第6期40-44,49,共6页
Computer and Modernization
基金
国家973计划项目(2014CB744900)
