| 本文已被：浏览 3007次 下载 7826次 |
码上扫一扫！ |
|
|
| 安全关键异构软件混合建模及代码生成方法 |
|
宗喆1,2, 杨志斌1,2, 袁胜浩1,2, 周勇1,2, Jean-Paul BODELEIX3, Mamoun FILALI3
|
|
1.南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106;2.高安全系统的软件开发与验证技术工信部重点实验室(南京航空航天大学), 江苏 南京 211106;3.IRIT-University of Toulouse, Toulouse 31062, France
|
|
| 摘要: |
| 随着系统复杂性的急剧增加，未来安全关键软件越来越多地采用异构构件组合架构，各种构件可能使用不同的计算模型或实现语言，使得整个软件系统呈现异构性.因此，设计此类系统需要使用复杂的建模方法.AADL （architecture analysis and design language）是一种安全关键系统体系结构多范式建模语言，丰富的可表达方式和可扩展性使其成为安全关键异构软件设计的重要选择.提出一种AADL和SDL（specification and description language）混合建模方法，支持以自底向上的方式对安全关键软件系统进行混合建模，并给出面向多核处理器平台的代码自动生成方法.首先，通过扩展AADL属性集，以支持使用SDL建模语言表达软件构件的功能行为.其次，以Ada作为目标语言，给出AADL-SDL混合模型的多任务代码生成方法.最后，实现了原型工具支持AADL和SDL混合建模及多任务Ada代码生成，并基于导航、制导与控制系统案例对所提方法的有效性进行分析. |
| 关键词: 安全关键异构软件 混合建模 AADL SDL 多核 代码自动生成 |
| DOI：10.13328/j.cnki.jos.006223 |
| 分类号:TP311 |
| 基金项目:国家自然科学基金（62072233）；航空科学基金（201919052002）；中央高校基本科研业务费专项资金（NP2017205）；国防基础科研项目（JCKY2020205C006） |
|
| Co-modeling and Code Generation for Safety-critical Heterogeneous Software |
|
ZONG Zhe1,2, YANG Zhi-Bin1,2, YUAN Sheng-Hao1,2, ZHOU Yong1,2, Jean-Paul BODELEIX3, Mamoun FILALI3
|
|
1.College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China;2.Key Laboratory of Safety-Critical Software of Ministry of Industry and Information Technology (Nanjing University of Aeronautics and Astronautics), Nanjing 211106, China;3.IRIT-University of Toulouse, Toulouse 31062, France
|
| Abstract: |
| Safety-critical systems have evolved to use heterogeneous components to implement complex requirements, each component may adopt different computation models or modeling languages. Therefore, it is necessary to use complex modeling approaches to design those systems. AADL, as a multi-paradigm modeling language for safety-critical system architecture, is a good choice to design safety-critical heterogeneous systems because of its rich expressibility and well scalability. This study proposes a bottom-up AADL-SDL co-modeling approach that integrates functionality modeled by SDL through the AADL architecture model and provides a multi-task code generation approach for multi-core platforms. Firstly, AADL property sets are extended to support the capability of modeling functionality. Secondly, a multi-task code generation approach is proposed to transform AADL-SDL models to Ada code. Finally, a prototype tool is implemented to support AADL-SDL co-modeling and multi-task Ada code generation. The effectiveness of the method proposed in this study is analyzed based on the guidance, navigation, and control system scenarios. |
| Key words: safety-critical heterogeneous software co-modeling AADL SDL multi-core code generation |
