| 注册
首页|期刊导航|计算机工程与科学|一种SysML模型到AADL模型的自动转换方法

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

马燕燕 杨志斌 江国华

计算机工程与科学2020,Vol.42Issue(3):456-466,11.
计算机工程与科学2020,Vol.42Issue(3):456-466,11.DOI:10.3969/j.issn.1007-130X.2020.03.011

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

An automatic transformation method from SysML model to AADL model

马燕燕 1杨志斌 1江国华2

作者信息

  • 1. 南京航空航天大学计算机科学与技术学院,江苏 南京 211106
  • 2. 高安全系统的软件开发与验证技术工信部重点实验室,江苏 南京 211106
  • 折叠

摘要

关键词

安全关键系统/模型驱动开发方法/SysML/AADL/模型转换

分类

信息技术与安全科学

引用本文复制引用

马燕燕,杨志斌,江国华..一种SysML模型到AADL模型的自动转换方法[J].计算机工程与科学,2020,42(3):456-466,11.

基金项目

国家自然科学基金(61502231) (61502231)

GF基础科研重点项目(JCKY2016203B011) (JCKY2016203B011)

计算机工程与科学

OA北大核心CSCDCSTPCD

1007-130X

访问量5
|
下载量0
段落导航相关论文