基于AADL的航天嵌入式软件Ada代码自动生成方法

计算机与现代化 ›› 2020, Vol. 0 ›› Issue (06): 52-.

基于AADL的航天嵌入式软件Ada代码自动生成方法

(1.南京航空航天大学计算机科学与技术学院,江苏南京211106；
2.高安全系统的软件开发与验证技术工信部重点实验室,江苏南京211106；3.上海航天电子技术研究所,上海201109)

收稿日期:2019-10-19 出版日期:2020-06-24 发布日期:2020-06-28
作者简介:冯思喆(1994-),男,四川西昌人,硕士研究生,研究方向:安全关键实时系统，E-mail: f544302686@qq.com；杨志斌(1982-),男,副教授,博士,研究方向:安全关键实时系统,形式化验证; 薛垒(1982-),男,高级工程师,硕士,研究方向：航天软件测试验证。
基金资助:
国家自然科学基金资助项目(61502231); 国家重点研发计划项目(2016YFB1000802); GF 基础科研重点项目(JCKY2016203B011); 江苏省自然科学基金资助项目(BK20150753); 中央高校基本科研业务费专项资金资助项目(NP2017205); 南京航空航天大学研究生创新基地(实验室)开放基金资助项目(kfjj20181603)

Automatic Generation Method of Ada Code for Aerospace Embedded Software Based on AADL

(1. College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China;
2. Key Laboratory of Software Development and Verification Technology for High Security Systems, Ministry of Industry and Information
Technology， Nanjing 211106, China; 3. Shanghai Aerospace Electronic Technology Institute, Shanghai 201109, China)

Received:2019-10-19 Online:2020-06-24 Published:2020-06-28

摘要/Abstract

摘要： 模型驱动开发方法逐渐应用于航空航天等领域的安全关键软件设计与实现中。体系结构分析设计语言(Architecture Analysis and Design Language, AADL)是一种标准化的嵌入式软件体系结构描述语言，通过建模、验证以及代码自动生成为安全关键软件的设计与实现提供完整支持。然而，工业界实际代码是运行在具有不同特性的目标平台上的，例如不同的软硬件体系结构和编程接口，而现有AADL代码生成研究主要是通过手工将自动生成的代码集成到平台当中，存在工作繁琐且易出错的问题。为此，本文提出一种基于AADL的航天嵌入式软件Ada代码自动生成方法。首先，给出卫星姿轨控系统的AADL建模；其次，给出AADL到平台相关的Ada代码自动转化规则；最后，给出代码生成原型工具，并对卫星姿轨控系统AADL模型所生成的代码进行航天编码规范检查，并运行在相关仿真环境中，验证了本文所提方法的有效性。

关键词: 安全关键软件, 模型驱动开发方法, AADL, Ada, 代码自动生成

Abstract: Model-Driven Development (MDD) is gradually applied to the design and implementation of safety-critical software in aerospace and other fields.Architecture Analysis and Design Language (AADL) is a standardized embedded software architecture description language that provides complete support for the design and implementation of safety-critical software through modeling, verification and code generation.However, the code in the industry runs on the target platform with different characteristics, such as different hardware and software architectures and programming interfaces. The existing researches on AADL code generation mainly integrate the automatically generated code into the platform manually, which is tedious and error-prone. This paper presents an automatic generation method of Ada code for aerospace embedded software based on AADL.Firstly, the AADL modeling of satellite attitude and orbit control system is given.Secondly, the automatic transformation rules of Ada code related to AADL to platform are given. Finally, a prototype tool for code generation is given, and the code generated by the AADL model of the satellite attitude and orbit control system is checked by the space coding standard, and the effectiveness of the method proposed in this paper is verified by running in the relevant simulation environment.

Key words: safety critical software, model-driven development, AADL, Ada, automatic code generation

中图分类号:

TP311.5

冯思喆, 杨志斌, 薛垒. 基于AADL的航天嵌入式软件Ada代码自动生成方法[J]. 计算机与现代化, 2020, 0(06): 52-.

FENG Si-zhe, YANG Zhi-bin, XUE Lei. Automatic Generation Method of Ada Code for Aerospace Embedded Software Based on AADL[J]. Computer and Modernization, 2020, 0(06): 52-.

参考文献

［1］ RIERSON L. Developing Safety-critical Software: A Practical Guide for Aviation Software and DO-178C Compliance［M］. CRC Press, 2017.
［2］ LEVESON N. Engineering a Safer World: Systems Thinking Applied to Safety［M］. MIT press, 2011.
［3］ MARTINS L E G, GORSCHEK T. Requirements engineering for safety-critical systems: A systematic literature review［J］. Information and Software Technology, 2016,75(7):71-89.
［4］〖KG-*5〗WEI X M. AADL-based safety analysis approaches for safety-critical systems［C］// 2019 12th IEEE International Conference on Software Testing, Validation and Verification. 2019:481-482.
［5］ LEWIS B. Architecture based model driven software and system development for real-time embedded systems［C］ // International Workshop on Radical Innovations of Software and Systems Engineering in the Future. 2002:249-260.
［6］ FRANZAGO M, RUSCIO D D, MALAVOLTA I, et al. Collaborative model-driven software engineering: A classification framework and a research map［J］. IEEE Transactions on Software Engineering, 2017,44(12):1146-1175.
［7］ KIM B G, PHAN L T, SOKOLSKY L, et al. Platform-dependent code generation for embedded real-time software［C］// IEEE International Conference on Compilers, Architecture and Synthesis for Embedded Systems. 2013:1-10.
［8］ MAGALHAES A P F, ANDRADE A M S, MACIEL R S P. Model Driven Transformation Development(MDTD): An approach for developing model to model transformation［J］. Information and Software Technology, 2019,114:55-76.
［9］ YANG Z B, PI L, HU K, et al. AADL: An architecture design and analysis language for complex embedded real-time systems［J］. Journal of Software, 2010,21(5):899-915.
［10］ANDERSON M, SHUKLA S K. APECS code synthesis: Extending ocarina for multi-threaded code synthesis from AADL models for safety critical applications［C］// Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control. 2014:36-41.

［11］LASNIER G, ZALILA B, PAUTET L, et al. Ocarina: An environment for AADL models analysis and automatic code generation for high integrity applications［C］// Ada-Europe International Conference on Reliable Software Technologies. 2009:237-250.

［12］JULIEN D. AADL Code Generation for Avionics Systems［EB/OL］.(2015-06-22)［2018-05-10］. https://insights.sei.cmu.edu/sei_blog/2015/06/aadl-code-generation-for-avionics-systems.html.
［13］MOHAQEQI M, ABDULLAH J, YI W. An executable semantics for synchronous task graphs: From SDRT to Ada［C］// Ada-Europe International Conference on Reliable Software Technologies. 2017:137-152.
［14］王飞,黄志球,杨志斌,等. 一种安全攸关嵌入式系统需求追踪方法［J］. 计算机学报, 2018，41(3):652-669.
［15］刘承威,杨志斌,周勇,等. 面向限定自然语言需求的AADL自动生成工具［J］. 小型微型计算机系统, 2019,40(5):74-85.
［16］王飞,杨志斌,黄志球,等. 基于限定自然语言需求模板的AADL模型生成方法［J］. 软件学报, 2018(8):2350-2370.
［17］SAE Aerospace. SAE AS5506 A Annex: Behavior Specification V1.6 ［EB/OL］. ［2019-09-02］. http://www.aadl.info/aadl/document/Behaviour_Annex1.6.pdf.
［18］XU J M, YANG Z B, HUANG Z Q, et al. Hierarchical behavior annex: Towards an AADL functional specification extension［C］// Proceedings of the 16th IEEE International Conference on Formal Methods and Models for System Design. 2018:1-11.
［19］YANG Z, BODEVEIX J P, FILALI M, et al. Towards a verified compiler prototype for the synchronous language SIGNAL［J］. Frontiers of Computer Science, 2016,10(1):37-53.
［20］ARCAINI P, GARGANTINI A, RICCOBENE E. Rigorous development process of a safety-critical system: From ASM models to Java code［J］. International Journal on Software Tools for Technology Transfer, 2017,19(2):247-269.
［21］WANG Y, MA D, ZHAO Y, et al. Automatic RT-Java code generation from
AADL models for ARINC653-based avionics software［C］// 2012 IEEE 36th Annual Conference on Computer Software and Applications. 2012:670-679.
［22］YANG Z B, YUAN S H, XIE J, et al. Multi-threaded code generation tool for synchronous language［J］. Journal of Software, 2019,30(7):1980-2002.
［23］WAGELAAR D, TISI M, CABOT J, et al. Towards a general composition semantics for rule-based model transformation［C］// International Conference on Model Driven Engineering Languages and Systems. 2011:623-637.
［24］LIU J, LI T, QIAN Y, et al. AADL+: A simulation-based methodology for cyber-physical systems［J］. Frontiers of Computer Science, 2019,13(3):516-538.

[1]	刘军, 彭慧娴, 黄斌, 托尼·谢伊. 基于BP-GamysBoost的乳腺癌诊断模型[J]. 计算机与现代化, 2021, 0(04): 8-14.
[2]	牛道鸿1，马晓东1，吴雪冰1，王芳1,2 . 基于改进的Adaboost和LBP危险物品检测算法研究[J]. 计算机与现代化, 2020, 0(02): 122-.
[3]	缪思薇1，余文豪1，姚峰2，高婧3. 针对PLC访问控制的安全分析[J]. 计算机与现代化, 2019, 0(09): 41-.
[4]	邓佳佳，张育平，陈海燕. 基于SysML & AADL的IMA刹车控制系统实时性需求验证[J]. 计算机与现代化, 2017, 0(6): 40-44+49.
[5]	郑星，李宗祥. 基于改进MRII的Madaline网络学习算法[J]. 计算机与现代化, 2016, 0(2): 49-51,57.
[6]	程光洋1，廉彬2. 基于AdaBoost算法的养老信息筛选及应用[J]. 计算机与现代化, 2016, 0(12): 102-106,110.
[7]	闫博1，周在金1，李国和2,3，齐佳1. 基于ARMA和BP_AdaBoost的组合销售预测模型研究[J]. 计算机与现代化, 2015, 0(2): 14-.
[8]	邢逆舟，王立松. 基于模型驱动的航电系统安全性分析[J]. 计算机与现代化, 2015, 0(1): 21-26.
[9]	朱羿全，沈国华，康达周，廖莉莉. 结合本体和规则推理的SFMEA方法研究[J]. 计算机与现代化, 2015, 0(1): 15-20.
[10]	沈科磊1，杨正理2，欧阳广帅1. 基于特征裁剪的双阈值Adaboost人脸检测算法[J]. 计算机与现代化, 2014, 0(8): 50-53+95.
[11]	盖森1，孙朋2，周峰3，盖世豪4. 数据访问界面的自动生成方法[J]. 计算机与现代化, 2014, 0(3): 197-201.
[12]	马钧1，佘军2. 石化企业工业控制系统非网联接[J]. 计算机与现代化, 2014, 0(2): 205-208+234.
[13]	吕靖;舒礼莲. 基于AdaBoost的不完整数据的信息熵分类算法[J]. 计算机与现代化, 2013, 1(9): 31-34.
[14]	廖彬;谢振泽;钟尚平. 基于改进AdaBoostSVM的JPEG图像多特征融合隐写检测方法[J]. 计算机与现代化, 2013, 1(7): 120-122,.
[15]	李先锋;花小朋;赵峰;孔令东. 基于AdaBoost算法的人脸检测在嵌入式系统中的实现[J]. 计算机与现代化, 2010, 1(8): 143-146.