一种SysML模型到AADL模型的自动转换方法

• 作者: 杨志斌 江国华 马燕燕
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 安全关键系统 模型驱动开发方法 SysML AADL 模型转换
• 年，卷（期）: 2020,（3）
• 所属期刊栏目: 软件工程
• 页码范围: 456-466
• 页数: 11页
• 分类号: TP311.5
• 字数: 7019字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2020.03.011

摘要

安全关键系统的实现需要通过需求、设计、集成、验证和测试等多个阶段.近年来,模型驱动开发方法逐渐成为安全关键系统设计与开发的重要手段.由于还没有一个建模语言能够支持整个安全关键系统开发生命周期,因此选择集成使用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的模型转换工具并通过雷达案例验证所提方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马燕燕	南京航空航天大学计算机科学与技术学院	1	0	0.0	0.0
2	杨志斌	南京航空航天大学计算机科学与技术学院	7	10	1.0	3.0
6	江国华	南京航空航天大学计算机科学与技术学院	29	79	5.0	6.0