软件学报

作者：宗喆，杨志斌，袁胜浩，周勇，Jean-Paul BODELEIX，Mamoun FILALI

单位：宗喆，南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106;高安全系统的软件开发与验证技术工信部重点实验室(南京航空航天大学), 江苏 南京 21110611,杨志斌，南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106;高安全系统的软件开发与验证技术工信部重点实验室(南京航空航天大学), 江苏 南京 21110602,袁胜浩，南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106;高安全系统的软件开发与验证技术工信部重点实验室(南京航空航天大学), 江苏 南京 21110603,周勇，南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106;高安全系统的软件开发与验证技术工信部重点实验室(南京航空航天大学), 江苏 南京 21110604,Jean-Paul BODELEIX，IRIT-University of Toulouse, Toulouse 31062, France05,Mamoun FILALI，IRIT-University of Toulouse, Toulouse 31062, France06

关键词：安全关键异构软件;混合建模;AADL;SDL;多核;代码自动生成

基金：国家自然科学基金（62072233）；航空科学基金（201919052002）；中央高校基本科研业务费专项资金（NP2017205）；国防基础科研项目（JCKY2020205C006）

随着系统复杂性的急剧增加，未来安全关键软件越来越多地采用异构构件组合架构，各种构件可能使用不同的计算模型或实现语言，使得整个软件系统呈现异构性.因此，设计此类系统需要使用复杂的建模方法.AADL （architecture analysis and design language）是一种安全关键系统体系结构多范式建模语言，丰富的可表达方式和可扩展性使其成为安全关键异构软件设计的重要选择.提出一种AADL和SDL（specification and description language）混合建模方法，支持以自底向上的方式对安全关键软件系统进行混合建模，并给出面向多核处理器平台的代码自动生成方法.首先，通过扩展AADL属性集，以支持使用SDL建模语言表达软件构件的功能行为.其次，以Ada作为目标语言，给出AADL-SDL混合模型的多任务代码生成方法.最后，实现了原型工具支持AADL和SDL混合建模及多任务Ada代码生成，并基于导航、制导与控制系统案例对所提方法的有效性进行分析.

来源：2021年第4期

《软件学报》期刊编辑部

查看软件学报杂志2021年第4期