摘要
安全关键系统的实现需要通过需求、设计、集成、验证和测试等多个阶段。近年来,模型驱动开发方法逐渐成为安全关键系统设计与开发的重要手段。由于还没有一个建模语言能够支持整个安全关键系统开发生命周期,因此选择集成使用2种广泛使用的标准语言:系统建模语言(SysML)和嵌入式实时系统体系结构分析与设计语言(AADL)。SysML和AADL提供了同一系统的2个不同视图,SysML模型为系统工程师提供了一个系统视图,AADL为架构设计师建立一个较低层次的设计视图,它结合了实现所有功能的硬件、操作系统和代码。提出一种SysML模型到AADL模型的自动转换方法。首先,定义SysML子集SubSysML,主要包括模块定义图(BDD)、内部模块图(IBD)、活动图(ACT)子集和从IBD和BDD扩展的AADL Profile;其次,定义SubSysML到AADL的转换规则并设计转换算法;然后,对生成的AADL初始模型进行精化;最后,使用EMF框架技术实现SubSysML到AADL的模型转换工具并通过雷达案例验证所提方法的有效性。
The implementation of safety-critical systems requires multiple stages,including requirements,design,integration,verification,and testing.In recent years,model-driven development(MDD)has gradually become an important means for the design and development of safety-critical software.As no modeling language that can support the entire safety-critical system development lifecycle,we choose to integrate two widely used standard languages:system modeling language(SysML)and architecture analysis&design language of embedded real-time system(AADL).SysML and AADL provide two different views of the same system.While SysML provides a high-level system view for systems engineers,AADL establishes a low-level design view for architects,which combines hardware,opera-ting systems,and codes that realize all functions.This paper proposes an automatic transformation method from SysML to AADL.Firstly,SysML subset,called SubSysML,is defined,which mainly includes block definition diagram(BDD),internal block diagram(IBD),activity diagram(ACT)subset,and AADL Profile extended from IBD and BDD.Secondly,the transformation rules from SubSysML to AADL are defined and the transformation algorithm is designed.Then,the initial model of AADL is refined.Finally,EMF framework technology is used to implement the automatic transformation tool,and radar cases are adopted to verify the effectiveness of the proposed method.
作者
马燕燕
杨志斌
江国华
MA Yan-yan;YANG Zhi-bin;JIANG Guo-hua(College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106;Key Laboratory of Safety-critical Software,Ministry of Industry and Information Technology,Nanjing 211106,China)
出处
《计算机工程与科学》
CSCD
北大核心
2020年第3期456-466,共11页
Computer Engineering & Science
基金
国家自然科学基金(61502231)
GF基础科研重点项目(JCKY2016203B011)。
