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   
[1] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75 .
[2] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[3] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[4] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[5] SHI Wen-jun, WU Ji-gang and LUO Yu-chun. Fast and Efficient Scheduling Algorithms for Mobile Cloud Offloading[J]. Computer Science, 2018, 45(4): 94 -99 .
[6] ZHOU Yan-ping and YE Qiao-lin. L1-norm Distance Based Least Squares Twin Support Vector Machine[J]. Computer Science, 2018, 45(4): 100 -105 .
[7] LIU Bo-yi, TANG Xiang-yan and CHENG Jie-ren. Recognition Method for Corn Borer Based on Templates Matching in Muliple Growth Periods[J]. Computer Science, 2018, 45(4): 106 -111 .
[8] GENG Hai-jun, SHI Xin-gang, WANG Zhi-liang, YIN Xia and YIN Shao-ping. Energy-efficient Intra-domain Routing Algorithm Based on Directed Acyclic Graph[J]. Computer Science, 2018, 45(4): 112 -116 .
[9] CUI Qiong, LI Jian-hua, WANG Hong and NAN Ming-li. Resilience Analysis Model of Networked Command Information System Based on Node Repairability[J]. Computer Science, 2018, 45(4): 117 -121 .
[10] WANG Zhen-chao, HOU Huan-huan and LIAN Rui. Path Optimization Scheme for Restraining Degree of Disorder in CMT[J]. Computer Science, 2018, 45(4): 122 -125 .