Computer Science

Computer Science ›› 2024, Vol. 51 ›› Issue (7): 10-21.doi: 10.11896/jsjkx.230600216

• Computer Software • Previous Articles     Next Articles

Integrated Avionics Software Code Automatic Generation Method for ARINC653 Operating System

LING Shixiang, YANG Zhibin, ZHOU Yong   

  1. School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China
    Key Laboratory of Safety-critical Software,Ministry of Industry and Information Technology,Nanjing 211106,China
  • Received:2023-06-29 Revised:2023-11-29 Online:2024-07-15 Published:2024-07-10
  • About author:LING Shixiang,born in 2000,postgra-duate.His main research interests include safety-critical system and formal verification.
    YANG Zhibin,born in 1982,Ph.D,professor,is a member of CCF(No.08632M).His main research interests include safety-critical system,formal verification and AI software engineering.
  • Supported by:
    National Natural Science Foundation of China(62072233),National Defense Basic Scientific Research Project(JCKY2020205C006),Aeronautical Science Foundation of China(201919052002) and Postgraduate Research & Practice Innovation Program of NUAA(xcxjh20221602).

PDF (PC)

565

Abstract: Integrated modular avionics(IMA) is a typical safety-critical system characterized by its distributed,heterogeneous nature and strong coupling of computing and physical resources.With the increasing complexity and intelligence of IMA systems,software is increasingly being used to implement system functionalities.Modeling and generating code for such complex software pose significant challenges.This paper presents a code generation approach for IMA systems based on the architecture analysis and design language(AADL).Firstly,an extension of the HMC4ARINC653(heterogeneous model container for ARINC653) attribute set is proposed to enable the description of IMA software architecture,heterogeneous functional behavior,and non-functional attributes.Secondly,mapping rules from the IMA model to C code and ARINC653 system configuration files are defined,adhering to the MISRA C safety coding guidelines.The generated code can be deployed and simulated on the ARINC653opera-ting system.Finally,the corresponding prototype tool is designed and implemented to validate the effectiveness of the methodology and tools proposed in this paper with the ARINC653 operating system and real cases from the industry.

Key words: Integrated avionics system, ARINC653 operating system, AADL, Automatic code generation

CLC Number: 

  • TP311
[1]GARSIDE R,PIGHETTI F J.Integrating modular avionics:A new role emerges[J].IEEE Aerospace and Electronic Systems Magazine,2009,24(3):31-34.
[2]Airlines Electronic Engineering Committee.AvionicsApplica-tion Software Standard Interface:ARINC Specification 653P1-2[M].Aeronautical Radio,2006:11-21.
[3]YANG Z B,YUAN S H,XIE J,et al.A synchronous language multithreaded code automatic generation tool[J].Journal of Software,2019,30(7):1980-2002.
[4]SINGH P,SINGH L K.Reliability and Safety Engineering for Safety Critical Systems:An Interview Study With Industry Practitioners[J].IEEE Transactions on Reliability,2021,70(2):643-653.
[5]RTCA DO-178C.Software Considerations in Airborne Systems and Equipment Certification [S].Washington,DC:RTCA,2011.
[6]DO-331,Model-based development and verification supplement to DO-178C and DO-278A[S].RTCA:Washington,DC,USA,2011.
[7]DO-333,Formal methods supplement to DO-178C and DO-278A[S].RTCA:Washington,DC,USA,2011.
[8]LE SERGENT T.SCADE:A comprehensive framework for cri-tical system and software engineering[C]//International SDL Forum.Berlin:Springer,2011:2-3.
[9]URSU C,BHAT R,DAMODARAN R.Simulink © modeling for vehicle simulator design[R].SAE Technical Paper,2011.
[10]FRIEDENTHAL S,MOORE A,STEINER R.OMG systemsmodeling language(OMG SysML) tutorial[C]//INCOSE Intl.Symp.2006:65-67.
[11]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.
[12]FONS-ALBERT B,USACH-MOLINA H,VILA-CARBÓ J,et al.Development of integrated modular avionics applications based on Simulink and XTRATUM[J].Data Systems in Aerospace,2013,720:1-15.
[13]DING R,YU Q H.Growth Framework of Autonomous Un-manned Systems Based on AADL[J].Computer Science,2020,47(12):87-92.
[14]LEE E A.Fundamental limits of cyber-physical systems mode-ling[J].ACM Transactions on Cyber-Physical Systems,2016,1(1):1-26.
[15]ZHAN H,LIN Q,WANG S,et al.Unified graphical co-mode-ling of cyber-physical systems using AADL and simulink/stateflow[C]//Unifying Theories of Programming:7th International Symposium(UTP 2019).Springer International Publishing,2019:109-129.
[16]YANG Z,BODEVEIX J P,FILALI M.Towards a simple andsafe Objective Caml compiling framework for the synchronous language SIGNAL[J].Frontiers of Computer Science,2019,13:715-734.
[17]PERROTIN M,GROCHOWSKI K,VERHOEF M,et al.TASTE in action[C]//8th European Congress on Embedded Real Time Software and Systems(ERTS 2016).2016:1-3.
[18]TAN S Y.Fast Design and Verification of Flight Control Law for Small Compound UAV[J].Computer Science,2020,47(S1):651-656.
[19]LASNIER G,ZALILA B,PAUTET L,et al.Ocarina:An Environment for AADL Models Analysis and Automatic Code Ge-neration for High Integrity Applications[J].Ada Europe,2009,5570:237-250.
[20]RAHMOUN S,MEHIAOUI-HAMITOU A,BORDE E,et al.Multi-objective exploration of architectural designs by composition of model transformations[J].Software & Systems Mode-ling,2019,18:107-127.
[21]RUAN W,ZHAI Z.Kernel-level design to support partitioning and hierarchical real-time scheduling of ARINC 653 for VxWorks[C]//2014 IEEE 12th International Conference on Dependable,Autonomic and Secure Computing.IEEE,2014:388-393.
[22]DISSAUX P,BODEVEIX J P,FILALI M,et al.AADL beha-vioral annex[C]//Proceedings of DASIA Conference.2006.
[23]LARSON B,HATCLIFF J,FOWLER K,et al.Illustrating the AADL error modeling annex(v.2) using a simple safety-critical medical device[J].ACM SIGAda Ada Letters,2013,33(3):65-84.
[24]CORRARO G,BOVE E,GARBARINO L,et al.A novel ap-proach for the development and coding of avionics functiona-lities for IMA architectures[C]//2018 IEEE/AIAA 37th Digital Avionics Systems Conference(DASC).IEEE,2018:1-8.
[25]HATCLIFF J,ROBBY B J,CARPENTER T,et al.HAMR:An AADL multi-platform code generation toolset[C]//Leveraging Applications of Formal Methods,Verification and Validation:10th International Symposium on Leveraging Applications of Formal Methods(ISoLA 2021).Springer International Publis-hing,2021:274-295.
[26]HU K,DUAN Z,WANG J,et al.Template-based AADL automatic code generation[J].Frontiers of Computer Science,2019,13:698-714.
[27]WANG Y,MA D,ZHAO Y,et al.Automatic RT-Java code ge-neration from AADL models for ARINC653-based avionics software[C]//2012 IEEE 36th Annual Computer Software and Applications Conference.IEEE,2012:670-679.
[28]LIU J,LI T,DING Z,et al.AADL+:a simulation-based me-thodology for cyber-physical systems[J].Frontiers of Computer Science,2019,13:516-538.
[29]WANG B,BAI X Y,HE F.Survey on Modeling and Verification Techniques of Composable Embedded Software[J].Journal of Software,2014,25(2):234-253.
[30]ZHE W,HUGUES J,CHAUDEMAR J C,et al.An integrated approach to model based engineering with SysML,AADL and FACE[R].SAE Technical Paper,2018.
[31]CONLIN R,ERICKSON K,ABBATE J,et al.Keras2c:A library for converting Keras neural networks to real-time compa-tible C[J].Engineering Applications of Artificial Intelligence,2021,100:104182.
[32]SILVA I D A,CARLE T,GAUFFRIAU A,et al.Automatic predictable C code generation of machine learning models for avionics systems[J/OL].https://etr2021.ensma.fr/files/01_phdstudents_session_iryna.pdf.
[1] ZHU Jian, HU Kai, WANG Jun, LI Jie, YE Yafei, SHI Xiyan. Reliable Smart Contract Automatic Generation Based on Event-B [J]. Computer Science, 2023, 50(10): 343-349.
[2] DING Rong, YU Qian-hui. Growth Framework of Autonomous Unmanned Systems Based on AADL [J]. Computer Science, 2020, 47(12): 87-92.
[3] LI Mi, ZHUANG Yi, HU Xin-wen. Embedded Software Reliability Model and Evaluation Method Combining AADL and Z [J]. Computer Science, 2019, 46(8): 217-223.
[4] LI Dong-min, LI Jing and LIN Hua-feng. Reliability Analysis Method of Embedded System AADL Model Based on Fault Tree Analysis [J]. Computer Science, 2017, 44(6): 182-188.
[5] SHEN Ning-min, LI Jing, BAI Hai-yang and ZHUANG Yi. Transformation and Verification Method of AADL Data Flows for Real-time System Using Uppaal [J]. Computer Science, 2016, 43(1): 211-217.
[6] XUAN Hang,DONG Yun-wei and SUN Bo. Design and Implementation of Simulation Engine for AADL Model Based Testing [J]. Computer Science, 2013, 40(Z11): 82-85.
[7] REN Fei,QIAO Ting-ting,LIU Jun-bo and SHAO Yang-feng. Application of AADL in Modeling Interrupt Control System [J]. Computer Science, 2013, 40(5): 51-53.
[8] LI Zhen-song GU Bin. Research on Verification Method of AADI. Behavior Model Based on I1ppaal [J]. Computer Science, 2012, 39(2): 162-169.
[9] MA Chun-yan,DONG Yun-wei, LU Wei,ZHU Xiao-yan. SystemC-based Simulation Code Generation for AADL Software Component [J]. Computer Science, 2011, 38(8): 161-164.
[10] LI Long，DONG Yun-wei，QIN Yang-sen，ZHANG Fan. Design and Implementation of Software Reconfiguration Tool Based on AADL [J]. Computer Science, 2011, 38(7): 121-125.
[11] CUI Xi-ning,HU Lin-ping,YE Hong,BAI Xiao-ying. Research on Software Interfaces of Integrated Avionics System [J]. Computer Science, 2011, 38(2): 122-126.
[12] WANG Geng,ZHOU Xing-she,ZHANG Fan,DONG Yun-wei. Research on Model-based Testing on AADL [J]. Computer Science, 2009, 36(11): 127-130.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
Add:18# Honghu West Rd., Yubei ,Chongqing,China    Post Code: 401121
Tel: 023-63500828/023-67039612/023-67039623
E-mail: jsjkx12@163.com
Powered by Beijing Magtech Co., Ltd.