Journal of Software:2021.32(4):904-933

(南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106;高安全系统的软件开发与验证技术工信部重点实验室(南京航空航天大学), 江苏 南京 211106;IRIT-University of Toulouse, Toulouse 31062, France)
Co-modeling and Code Generation for Safety-critical Heterogeneous Software
ZONG Zhe,YANG Zhi-Bin,YUAN Sheng-Hao,ZHOU Yong,Jean-Paul BODELEIX,Mamoun FILALI
(College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China;Key Laboratory of Safety-Critical Software of Ministry of Industry and Information Technology (Nanjing University of Aeronautics and Astronautics), Nanjing 211106, China;IRIT-University of Toulouse, Toulouse 31062, France)
Chart / table
Similar Articles
Article :Browse 430   Download 246
Received:September 13, 2020    Revised:October 26, 2020
> 中文摘要: 随着系统复杂性的急剧增加,未来安全关键软件越来越多地采用异构构件组合架构,各种构件可能使用不同的计算模型或实现语言,使得整个软件系统呈现异构性.因此,设计此类系统需要使用复杂的建模方法.AADL (architecture analysis and design language)是一种安全关键系统体系结构多范式建模语言,丰富的可表达方式和可扩展性使其成为安全关键异构软件设计的重要选择.提出一种AADL和SDL(specification and description language)混合建模方法,支持以自底向上的方式对安全关键软件系统进行混合建模,并给出面向多核处理器平台的代码自动生成方法.首先,通过扩展AADL属性集,以支持使用SDL建模语言表达软件构件的功能行为.其次,以Ada作为目标语言,给出AADL-SDL混合模型的多任务代码生成方法.最后,实现了原型工具支持AADL和SDL混合建模及多任务Ada代码生成,并基于导航、制导与控制系统案例对所提方法的有效性进行分析.
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.
文章编号:     中图分类号:TP311    文献标志码:
基金项目:国家自然科学基金(62072233);航空科学基金(201919052002);中央高校基本科研业务费专项资金(NP2017205);国防基础科研项目(JCKY2020205C006) 国家自然科学基金(62072233);航空科学基金(201919052002);中央高校基本科研业务费专项资金(NP2017205);国防基础科研项目(JCKY2020205C006)
Foundation items:National Natural Science Foundation of China (62072233); Aviation Science Fund of China (201919052002); Fundamental Research Funds for the Central Universities (NP2017205); National Defense Basic Scienfic Research (JCKY 2020205C006)
Reference text:

宗喆,杨志斌,袁胜浩,周勇,Jean-Paul BODELEIX,Mamoun FILALI.安全关键异构软件混合建模及代码生成方法.软件学报,2021,32(4):904-933

ZONG Zhe,YANG Zhi-Bin,YUAN Sheng-Hao,ZHOU Yong,Jean-Paul BODELEIX,Mamoun FILALI.Co-modeling and Code Generation for Safety-critical Heterogeneous Software.Journal of Software,2021,32(4):904-933