Computer Science ›› 2015, Vol. 42 ›› Issue (12): 95-97.

Previous Articles     Next Articles

Simulation and Real-time Analysis for Embedded Software Design Model with Consideration of Integrated Modular Avionics Platform

SUN Lei, YANG Hai-yan and WU Ji   

  • Online:2018-11-14 Published:2018-11-14

Abstract: How to ensure an avionics software satisfies its real-time requirement is always a hot research problem.According to the results reported in industry,the earlier the defects found,the less cost to fix them to improve the chances of not missing deadlines.For avionics software running on integrated modular avionics (IMA) which is standardized by the ARINC653,people can use` the following method.The design model (in UML) of avionics software is transformed into simulation model (in Simulink),and the potential real time problems are investigated by executing the simulated models in the platform of Simulink.Since avionics software may have plenty of interactions with IMA platform (i.e.,interface layer and operating system layer) to apply resources to use,or to communicate with other applications,a respective simulation module was designed to simulate the behavior of IMA platform.An industrial case study was used to demonstrate the effectiveness of the proposed approach.

Key words: Avionics software,Real-time,IMA,Model transformation,Simulink simulation

[1] Airlines Electronic Engineering Committee[S].Avionics Application Software Standard Interface.Aeronautical Radio,1997
[2] Wilson A,Preyssler T.Incremental Certification and Integrated Modular Avionics[J].Aerospace and Electronic Systems Magazine,IEEE,2009,24(11):10-15
[3] Parkinson P,Kinnan L.Safety-critical software development for integrated modular avionics[J].Embedded System Engineering,2003,11(7):40-41
[4] Jouault F,Allilaire F,Bézivin J,et al.ATL:a QVT-like transformation language[C]∥Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems,languages,and applications.ACM,2006:719-720
[5] 罗国庆.VxWorks与嵌入式开发[M].北京:中国机械工业出版社,2003
[6] http://www.windriver.com/products/platforms/safety_critical_arinc_653/index.html
[7] OMG.QVT Query/views/Transformations RFP,OMG Docu-ment ad.http://www.omg.org/cgi-bin/doc?ad/2002-4-10
[8] Van Amstel M,Bosems S,Kurtev I,et al.Performance in model transformations:experiments with ATL and QVT[M]∥Theory and Practice of Model Transformations.Springer Berlin Heidelberg,2011:198-212
[9] OMG.Unified Modeling Language Specification,Version 2.0,OMG Document formal.http://www.omg.org/spec/UML/2.0
[10] Vanderperren Y,Dehaene W.From UML/SysML to Matlab/Simulink:current state and future perspectives[C]∥Procee-dings of the Conference on Design,Automation and Test in Europe(DATE 2006).Munich,Germany,2006:93-93
[11] 耿素云,屈婉玲.离散数学[M].北京:清华大学出版社,2004

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!