Skip to main content
SpringerLink
Log in

A Review on Key Technologies of the Distributed Integrated Modular Avionics System

  • Published:
International Journal of Wireless Information Networks Aims and scope Submit manuscript

Abstract

Distributed integrated modular avionics (DIMA) system design through the distributed integrated technology, mixed critical task scheduling, real-time fault tolerant scheduling and time triggered communication mechanism, greatly enhance the reliability, safety and real-time performance of integrated electronic system. The DIMA represents the development trend of future avionics systems. This paper studies and discusses the architecture characteristics of DIMA. Then it studies and analyzes the development of key technologies in DIMA system in detail. Finally, it looks into the development trend of DIMA technology.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3

References

  1. Huagang Xiong and Zhonghua Wang, Advanced Avionics Integration Techniques, National Defense Industry PressBerlin, 2009. pp. 1.

    Google Scholar 

  2. R. Fuchsen, IMA NextGen: A new technology for the Scarlett program, Aerospace and Electronic Systems Magazine, IEEE, Vol. 25, No. 10, pp. 10–16, 2010.

    Article  Google Scholar 

  3. R. Wolfig and M. Jakovlievic. Distributed IMA and DO-297: Architectural, Communication And Certification Attributes. In IEEE 27th DASC, 2008.

  4. G. Warden. Application of a Distributed Integrated Modular Avionics Test Bed to Sikorsky Aircraft. http://www.tttech.com, 2010.

  5. T. Rogalski, S. Samolej and A. Tomczyk. ARINC 653 Based Time-Critical Application for European SCARLETT Project. In AIAA guidance, navigation, and control conference, pages 8–11, 2011.

  6. T. Robati, A. Gherbi, A. E. Kouhen and J. Mullins, Design and simulation of distributed IMA architectures using TTEthernet: a model-driven approach, Journal of Ambient Intelligence & Humanized Computing, Vol. 8, No. 3, pp. 1–11, 2017.

    Article  Google Scholar 

  7. Q. Zhou, Z. Xiong, Z. Zhan, T. You and N. Jiang. The mapping mechanism between Distributed Integrated Modular Avionics and data distribution service. In International Conference on Fuzzy Systems & Knowledge Discovery, pages 2502–2507, 2016.

  8. D. de Niz, K. Lakshmanan and R. Rajkumar. On the Scheduling of Mixed-Criticality Real-Time Task Sets. In IEEE 30th International Conference on Real-Time Systems Symposium, pages 291–300, 2009.

  9. ARINC 653-1-2003. Avionics Application Software Standard Interface. ARINC Specification 653, 2003.

  10. S. Saewong, R. Rajkumar and J. Lehoczky. Analysis of Hierarchical Fixed Priority Scheduling. In Proceedings of the Euromicro Conference on Real-Time Systems. pages 173–181, NY, 2002. IEEE.

  11. L. Almeida and P. Pedreiras. Scheduling within temporal partitions: Response-time analysis and server design. In in the 4th ACM International Conference on Embedded Software, pages 9:95–103, Italy, 2004. Pisa

  12. R. I. Davis and A. Burns. Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems. In IEEE 27th International Conference on Real-Time Systems Symposium, Rio de Janeiro, Brazil, pages 257–270, 2006.

  13. K. Lakshmanan, D. De Niz and R. Rajkumar, et al. Resource allocation in distributed mixed-criticality cyber-physical systems. In IEEE 30th International Conference on Distributed Computing Systems (ICDCS), pages 169–178, 2010.

  14. K. Lakshmanan, D. de Niz and R. Rajkumar. Mixed-criticality task synchronization in zero-slack scheduling. In IEEE 17th Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 47–56, 2011.

  15. H. W. Jin and S. Han, Temporal partitioning for mixed-criticality systems, Emerging Technologies & Factory Automation, Vol. 19, No. 6, pp. 1–4, 2011.

    Google Scholar 

  16. D. Tamas-Selicean and P. Pop. Design Optimization of Mixed-Criticality Real-Time Applications on Cost-Constrained Partitioned Architectures. In IEEE 30th International Conference on Real-Time Systems Symposium, pages 24–33, 2011.

  17. D. Tamas-Selicean and P. Pop, Design Optimization of Mixed-Criticality Real-Time Embedded Systems, ACM Transactions on Embedded Computing Systems, Vol. 14, No. 3, pp. 1–8, 2015.

    Article  Google Scholar 

  18. Chuancai Gu, Nan Guan, Jinming Yu, et al. Partitioned Scheduling Policies on Multi-Processor Mixed-Criticality Systems. Journal of Software, pp. 284–297, 2014.

  19. Roman Trüb, Georgia Giannopoulou, Andreas Tretter and Lothar Thiele, Implementation of Partitioned Mixed-Criticality Scheduling on a Multi-Core Platform, ACM Transactions on Embedded Computing Systems (TECS), Vol. 16, No. 5, pp. 1–21, 2017.

    Article  Google Scholar 

  20. J. Barhorst, T. Belote, P. Binns, J. Hoffman, J. Paunicka, P. Sarathy, J. S. P. Stanfill, D. Stuart and R. Urzi. White paper: A research agenda for mixed-criticality systems. http://www.cse.wustl.edu/~cdgill/CPSWEEK0_MCAR, 2009.

  21. S. Vestal. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In IEEE Proceedings Real-Time Systems Symposium. pages 239–243, 2007.

  22. A. Mok. Fundamental design problems of distributed systems for the hard real-time environment. Cambridge, MA, USA, Tech. Rep., 1983.

  23. N. Audsley. Optimal Priority Assignment and Feasibility of Static Priority Tasks with Arbitrary Start Times. Technical Report YCS 164, University of York. 1991.

  24. F. Dorin, P. Richard, M. Richard, et al., Schedulability and sensitivity analysis of multiple criticality tasks with fixed-priorities, Real-Time Systems, Vol. 46, No. 3, pp. 305–331, 2010.

    Article  MATH  Google Scholar 

  25. S. Baruah and S. Vestal. Schedulability analysis of sporadic tasks with multiple criticality specifications. In Real-Time Systems, 2008. ECRTS’08. Euromicro Conference on. pages 147–155, 2008. IEEE.

  26. S. K. Baruah, A. Burns and R. I. Davis. Response-time analysis for mixed criticality systems. In Real-Time Systems Symposium (RTSS), 2011 IEEE 32nd. pages 34–43, 2011, IEEE.

  27. S. Baruah, V. Bonifaci, G. D’Angelo, et al., Scheduling real-time mixed-criticality jobs, Computers, IEEE Transactions on, Vol. 61, No. 8, pp. 1140–1152, 2012.

    Article  MathSciNet  MATH  Google Scholar 

  28. S. Baruah, H. Li and L. Stougie. Towards the design of certifiable mixed-criticality systems. In Real-Time and Embedded Technology and Applications Symposium (RTAS), 2010 16th IEEE. pages 13–22, 2010. IEEE.

  29. H. Li and S. Baruah. Load-based schedulability analysis of certifiable mixed-criticality systems. In Proceedings of the Tenth ACM International Conference on Embedded Software. pages 99–108, 2010, ACM.

  30. H. Li and S. Baruah. An algorithm for scheduling certifiable mixed-criticality sporadic task systems. In Real-Time Systems Symposium (RTSS), 2010 IEEE 31st. pages 183–192, 2010, IEEE.

  31. N. Guan, P. Ekberg, M. Stigge, et al. Effective and efficient scheduling of certifiable mixed-criticality sporadic task systems. In Real-Time Systems Symposium (RTSS), 2011 IEEE 32nd. pages 13–23, 2011, IEEE.

  32. S. Baruah and G. Fohler. Certification-cognizant time-triggered scheduling of mixed-criticality systems. In Real-Time Systems Symposium (RTSS), 2011 IEEE 32nd. pages 3–12, 2011, IEEE.

  33. S. K. Baruah, V. Bonifaci, G. D’Angelo, et al. Mixed-criticality scheduling of sporadic task systems. In Algorithms–ESA 2011. pages 555–566, Berlin, 2011, Springer.

  34. S. Baruah, V. Bonifaci, G. D’Angelo, et al. The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems. In Real-Time Systems (ECRTS), 2012 24th Euromicro Conference on. pages 145–154, 2012, IEEE.

  35. P. Ekberg and W. Yi. Outstanding Paper Award: Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks. In Real-Time Systems (ECRTS), 2012 24th Euromicro Conference on. pages 135–144, 2012, IEEE.

  36. A. K. Mok, X. Feng and D. Chen. Resource partition for real-time systems. In Real-Time Technology and Applications Symposium, 2001. Proceedings. Seventh IEEE. pages 75–84, 2001, IEEE.

  37. H. Li and S. Baruah. Global mixed-criticality scheduling on multiprocessors. In Real-Time Systems (ECRTS), 2012 24th Euromicro Conference on. pages 166–175, 2012, IEEE.

  38. R. M. Pathan. Schedulability analysis of mixed-criticality systems on multiprocessors. In Real-Time Systems (ECRTS), 2012 24th Euromicro Conference on. pages 309–320, 2012, IEEE.

  39. F. Santy, L. George, P. Thierry, et al. Relaxing mixed-criticality scheduling strictness for task sets scheduled with FP. In Real-Time Systems (ECRTS), 2012 24th Euromicro Conference on. pages 155–165, 2012, IEEE.

  40. J. Yao, J. Wu, Q. Liu, Z. Xiong and G. Zhu, System-Level Scheduling of Mixed-Criticality Traffics in Avionics Networks, IEEE Access, Vol. 4, pp. 5880–5888, 2017.

    Article  Google Scholar 

  41. M. Spuri. Holistic Analysis of Deadline Scheduled Real-Time Distributed Systems, RR-2873, INRIA, France, 1996.

  42. M. Klein, T. Ralya, B. Pollak, et al., A Practitioner’s Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems, Kluwer Academic PublisherNorwell, 1993.

    Book  Google Scholar 

  43. J. C. Palencia Gutiérrez, J. J. Gutiérrez García and M. González Harbour. On the schedulability analysis for distributed hard real-time systems. In Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on. pages 136–143, 1997, IEEE.

  44. O. Redell and M. Sanfridson. Exact best-case response time analysis of fixed priority scheduled tasks. In Real-Time Systems, 2002. Proceedings. 14th Euromicro Conference on. pages 165–172, 2002, IEEE.

  45. P. E. Hladik and A. M. Déplanche. Best-case response time analysis for precedence relations in hard real-time systems. In Real-Time Systems Symposium Work-in-Progress Session. 2003.

  46. J. J. G. García, J. C. P. Gutiérrez and M. G. Harbour. Schedulability analysis of distributed hard real-time systems with multiple-event synchronization. In Real-Time Systems, 2000. Euromicro RTS 2000. 12th Euromicro Conference on. pages 15–24, 2000, IEEE.

  47. J. C. Palencia and M. G. Harbour. Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE. pages 328–339, 1999, IEEE.

  48. K. Tindell. Adding time-offsets to schedulability analysis. Technical Report UCS 221, Department of Computer Science, University of York, 1994.

  49. J. C. Palencia and M. González Harbour. Schedulability analysis for tasks with static and dynamic offsets. In Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE. pages 26–37, 1998, IEEE.

  50. T. Pop. Scheduling and Optimisation of Heterogeneous Time/Event-Triggered Distributed Embedded Systems. Linköping, 2003.

  51. T. Pop. Analysis and Optimisation of Distributed Embedded Systems with Heterogeneous Scheduling Policies. Linköping, 2007.

  52. M. A. O. Yugang, Yongjun ZHANG, Shiyao JIN. An Improved Schedulability Analysis Algorithm of Hard Real-Time Distributed System, Journal of Software, Vol. 12, No. 2, pp. 298–302, 2001.

    Google Scholar 

  53. O. Redell and M. Torngren. Calculating exact worst case response times for static priority scheduled tasks with offsets and jitter. In Real-Time and Embedded Technology and Applications Symposium, 2002. Proceedings. Eighth IEEE. pages 164–172, 2002, IEEE.

  54. Yao Chen, Qiao Li, Jun Lu and Huagang Xiong. Improved schedulability analysis for multiprocessor mixed-criticality systems. Journal of Beijing University of Aeronautics and Astronautics, pp. 1918–1926, 2015.

  55. Hong Mu. Research and Implementation of Real-time System Schedulability Analysis and Simulation Tools, Master Thesis of University of Electronic Science and Technology, 2017.

  56. Pujie Han, Zhengjun Zhai, Brian Nielsen and Ulrik Nyman. A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems, In Proceedings of MARS/VPT, pages 150–168, 2018.

  57. X. L. Teng and H. Pham, A software-reliability growth model for N-version programming systems, IEEE Transactions on Reliability, Vol. 51, No. 3, pp. 311–321, 2002.

    Article  Google Scholar 

  58. X. Cai, M. R. Lyu and M. A. Vouk. An experimental evaluation on reliability features of N-version programming. In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE 2005), pages 161–170, 2005.

  59. H. Yamachi, Y. Tsujimura, Y. Kambayashi, et al., Multi-objective genetic algorithm for solving N-version program design problem, Reliability Engineering and System Safety, Vol. 91, No. 9, pp. 1083–1094, 2006.

    Article  Google Scholar 

  60. F. Vargas, R. D. R. Fagundes and D. J. Barros. Experimental results of a recovery block scheme to handle noise in speech recognition systems. In Proceedings of the 11th Asian Test Symposium (ATS’02), pages 224–229, 2002.

  61. W. L. Yeung and S. A. Schneider, Design and verification of distributed recovery blocks with CSP, Formal Methods in System Design, Vol. 22, No. 3, pp. 225–248, 2003.

    Article  MATH  Google Scholar 

  62. N. Navet, Y. Q. Song and F. Simonot, Worst-case deadline failure probability in real-time applications distributed over controller area network, Journal of Systems Architecture, Vol. 46, No. 7, pp. 607–617, 2000.

    Article  Google Scholar 

  63. R. Dobrin, H. Aysan and S. Punnekkat. Maximizing the fault tolerance capability of fixed priority schedules. In Embedded and Real-Time Computing Systems and Applications, 2008. RTCSA’08. 14th IEEE International Conference on. pages 337–346, 2008, IEEE.

  64. P. K. Saraswat, P. Pop and J. Madsen, Task migration for fault-tolerance in mixed-criticality embedded systems, ACM SIGBED Review, Vol. 6, No. 3, p. 6, 2009.

    Article  Google Scholar 

  65. H. Aysan, R. Dobrin and S. Punnekkat. Task-Level Probabilistic Scheduling Guarantees for Dependable Real-Time Systems-A Designer Centric Approach. In 2011 14th IEEE International Symposium on. pages 281–287, 2011, IEEE.

  66. Chongjie Dong and Yuqiang Chen. Real-Time Scheduling Algorithm of Dynamic with Fault-Tolerant in Heterogeneous Distributed Systems. Journal of System Simulation, pp. 1132–1140, 2017.

  67. Junlong Zhou, Min Yin, Zhifang Li, Kun Cao and Jianming Yan, Fault-Tolerant Task Scheduling for Mixed-Criticality Real-Time Systems, Journal of Circuits, Systems and Computers, Vol. 26, No. 1, pp. 1–17, 2017.

    Article  Google Scholar 

  68. H. Sariowan. A service curve approach to performance guarantees in integrated service networks. Ph.D. Dissertation, Univ Calif San Diego. 1996.

  69. D. Bertsekas and R. Gallager, Data Networks, vol. 2nd, Prentice HallUpper Saddle River, 1992.

    MATH  Google Scholar 

  70. Rene L. Cruz, A Calculus for Net work Delay, Part I: Network Elements in Isolation, IEEE Transaction on Information Theory, Vol. 37, No. 1, pp. 114–131, 1991.

    Article  MathSciNet  MATH  Google Scholar 

  71. Rene L. Cruz, A Calculus for Net work Delay, Part II: Network Analysis, IEEE Transaction on Information Theory, Vol. 37, No. 1, pp. 132–141, 1991.

    Article  MathSciNet  MATH  Google Scholar 

  72. C. S. Chang, Performance Guarantees in Communication Networks, Springer-VerlagNew York, 2000.

    Book  MATH  Google Scholar 

  73. J.-Y. Le Boudec and P. Thiran, Network Calculus. LNCS2050 ed., SpringerBerlin, 2004.

    Google Scholar 

  74. Y. Jiang, A basic stochastic network calculus, ACM SIGCOMM Computer Communication Review, Vol. 36, No. 4, pp. 123–134, 2006.

    Article  Google Scholar 

  75. Y. Jiang and Y. Liu, Stochastic Network Calculus, SpringerHeidelberg, 2008.

    MATH  Google Scholar 

  76. M. Fidler, Survey of deterministic and stochastic service curve models in the network calculus, Communications Surveys & Tutorials, IEEE, Vol. 12, No. 1, pp. 59–86, 2010.

    Article  Google Scholar 

  77. Luxi Zhao, Qiao Li, Wanqing Lin and Huagang Xiong, Stochastic network calculus for analysis of latency on TTEthernet network, Acta Aeronautica ET Astronautica Sinica, Vol. 37, No. 6, pp. 1953–1962, 2016.

    Google Scholar 

  78. Xuan Zhou, Feng He and Tong Wang. Using network calculus on worst-case latency analysis for TTEthernet in preemption transmission mode. In IEEE 10th International Conference on Signal Processing and Communication Systems (ICSPCS), pages 1–7, 2016.

  79. S. Martin and P. Minet. Schedulablility Analysis of Flows Scheduled with FIFO: Application to the EF Class. In Workshop on Parallel and Distributed Real-Time Systems, 2006.

  80. H. Bauer, J. L. Scharbarg and C. Fraboul. Applying and Optimizing Trajectroy Approach for Performance Evaluation of AFDX Avionics Network. In ETFA 2009.

  81. H. Bauer, J.-L. Scharbarg and C. Fraboul, Improving the Worst-Case Delay Analysis of an AFDX Network Using an Optimized Trajectory Approach, IEEE Transactions Industrial Informatics, Vol. 6, pp. 521–533, 2010.

    Article  Google Scholar 

  82. H. Bauer, J.-L. Scharbarg and C. Fraboul, Applying trajectory approach to AFDX avionics network. In Proceedings of the 14th International Conference Emerging Technology Factory Automation, Mallorca, pages 1–8, 2009.

  83. H. Bauer, J. L. Scharbarg and C. Fraboul, Improving the Worst-Case Delay Analysis of an AFDX Network Using an Optimized Trajectory Approach, IEEE Transaction Industrial Informatics, Vol. 6, pp. 521–533, 2010.

    Article  Google Scholar 

  84. M. Vojnovic and J. Le Boudec, Stochastic analysis of some expedited forwarding networks. In Proceedings of the Infocom, New York, 2002.

  85. H. Charara, J. L. Scharbarg, J. Ermont, et al. Methods for bounding end-to-end delays on an AFDX network. In IEEE 18th Euromicro Conference on Real-Time Systems, pages 197–202, 2006.

  86. J. L. Scharbarg and C. Fraboul, Methods and tools for the temporal analysis of avionic networks, INTECH Open Access PublisherQazvin, 2010.

    Book  Google Scholar 

  87. C. Canew and R. Guerra Global View of Methods for Evaluating End-To-End Delays on AFDX. In 5th Real-Time Systems Seminar. pages 6, 2011.

  88. H. Charara and C. Fraboul. Modelling and simulation of an avionics full duplex switched ethernet. In Telecommunications, 2005. advanced industrial conference on telecommunications/service assurance with partial and intermittent resources conference/e-learning on telecommunications workshop. aict/sapir/elete 2005. proceedings, pages 207–212, 2005, IEEE.

  89. J. L. Scharbarg and C. Fraboul. Simulation for end-to-end delays distribution on a switched ethernet. In 2010 IEEE Conference on Emerging Technologies and Factory Automation (ETFA), pages 1092–1099, 2007.

  90. M. Adnan, J. L. Scharbarg, J. Ermont, et al. Model for worst case delay analysis of an AFDX network using timed automata. In 2010 IEEE Conference on Emerging Technologies and Factory Automation (ETFA), pages 1–4, 2010.

  91. J. Ermont and C. Fraboul. Modeling a spacewire architecture using timed automata to compute worst-case end-to-end delays. In 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), pages 1–4, 2013.

Download references

Author information

Authors and Affiliations

  1. School of Computer Science and Technology, Xi Dian University, Xi’an, 710071, China

    Hongchun Wang & Wensheng Niu

  2. Institute of Flight Control, Tianjin Institute for Advanced Equipments of Tsinghua University, Beijing, 300300, China

    Hongchun Wang

  3. Aeronautical Computing Technique Research Institute, Xi’an, 710068, China

    Wensheng Niu

Authors
  1. Hongchun Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wensheng Niu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hongchun Wang.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wang, H., Niu, W. A Review on Key Technologies of the Distributed Integrated Modular Avionics System. Int J Wireless Inf Networks 25, 358–369 (2018). https://doi.org/10.1007/s10776-018-0412-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10776-018-0412-5

Keywords

Search

Navigation