计算机科学 ›› 2024, Vol. 51 ›› Issue (7): 10-21.doi: 10.11896/jsjkx.230600216
凌仕翔, 杨志斌, 周勇
LING Shixiang, YANG Zhibin, ZHOU Yong
摘要： 综合化航空电子系统(Integrated Modular Avionics,IMA)是一类典型的安全关键系统,具有分布式、异构、计算资源和物理资源强耦合等特征。随着IMA系统趋于复杂化和智能化,系统的功能越来越多地采用软件来实现,如何对这类复杂软件进行建模并自动生成代码成为一个重要挑战。文中提出了一种基于AADL(Architecture Analysis and Design Language)的综合化航空电子系统代码生成方法。首先,提出HMC4ARINC653(Heterogeneous Model Container for ARINC653)属性集扩展,使其具备描述IMA软件架构、异构功能行为和非功能属性的能力;其次,提出IMA模型到C代码及ARINC653系统配置文件的映射规则,并遵守MISRA C安全编码规范,生成的代码能够在ARINC653操作系统上部署并仿真执行;最后,设计并实现了相应的原型工具,以ARINC653操作系统和工业界实际案例,验证了所提方法和工具的有效性。
中图分类号:
| [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. |
|
||
首页