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

  • Hongchun WangEmail author
  • Wensheng Niu


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.


Distributed integrated modular avionics Mixed-critical task schedule Real-time fault tolerant schedule Time triggered communication Latency analysis 


  1. 1.
    Huagang Xiong and Zhonghua Wang, Advanced Avionics Integration Techniques, National Defense Industry PressBerlin, 2009. pp. 1.Google Scholar
  2. 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.CrossRefGoogle Scholar
  3. 3.
    R. Wolfig and M. Jakovlievic. Distributed IMA and DO-297: Architectural, Communication And Certification Attributes. In IEEE 27th DASC, 2008.Google Scholar
  4. 4.
    G. Warden. Application of a Distributed Integrated Modular Avionics Test Bed to Sikorsky Aircraft., 2010.
  5. 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.Google Scholar
  6. 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.CrossRefGoogle Scholar
  7. 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.Google Scholar
  8. 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.Google Scholar
  9. 9.
    ARINC 653-1-2003. Avionics Application Software Standard Interface. ARINC Specification 653, 2003.Google Scholar
  10. 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.Google Scholar
  11. 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. PisaGoogle Scholar
  12. 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.Google Scholar
  13. 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.Google Scholar
  14. 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.Google Scholar
  15. 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. 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.Google Scholar
  17. 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.CrossRefGoogle Scholar
  18. 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.Google Scholar
  19. 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.CrossRefGoogle Scholar
  20. 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., 2009.
  21. 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.Google Scholar
  22. 22.
    A. Mok. Fundamental design problems of distributed systems for the hard real-time environment. Cambridge, MA, USA, Tech. Rep., 1983.Google Scholar
  23. 23.
    N. Audsley. Optimal Priority Assignment and Feasibility of Static Priority Tasks with Arbitrary Start Times. Technical Report YCS 164, University of York. 1991.Google Scholar
  24. 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.CrossRefzbMATHGoogle Scholar
  25. 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.Google Scholar
  26. 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.Google Scholar
  27. 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.MathSciNetCrossRefzbMATHGoogle Scholar
  28. 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.Google Scholar
  29. 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.Google Scholar
  30. 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.Google Scholar
  31. 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.Google Scholar
  32. 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.Google Scholar
  33. 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.Google Scholar
  34. 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.Google Scholar
  35. 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.Google Scholar
  36. 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.Google Scholar
  37. 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.Google Scholar
  38. 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.Google Scholar
  39. 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.Google Scholar
  40. 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.CrossRefGoogle Scholar
  41. 41.
    M. Spuri. Holistic Analysis of Deadline Scheduled Real-Time Distributed Systems, RR-2873, INRIA, France, 1996.Google Scholar
  42. 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.CrossRefGoogle Scholar
  43. 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.Google Scholar
  44. 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.Google Scholar
  45. 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.Google Scholar
  46. 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.Google Scholar
  47. 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.Google Scholar
  48. 48.
    K. Tindell. Adding time-offsets to schedulability analysis. Technical Report UCS 221, Department of Computer Science, University of York, 1994.Google Scholar
  49. 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.Google Scholar
  50. 50.
    T. Pop. Scheduling and Optimisation of Heterogeneous Time/Event-Triggered Distributed Embedded Systems. Linköping, 2003.Google Scholar
  51. 51.
    T. Pop. Analysis and Optimisation of Distributed Embedded Systems with Heterogeneous Scheduling Policies. Linköping, 2007.Google Scholar
  52. 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. 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.Google Scholar
  54. 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.Google Scholar
  55. 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.Google Scholar
  56. 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.Google Scholar
  57. 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.CrossRefGoogle Scholar
  58. 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.Google Scholar
  59. 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.CrossRefGoogle Scholar
  60. 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.Google Scholar
  61. 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.CrossRefzbMATHGoogle Scholar
  62. 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.CrossRefGoogle Scholar
  63. 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.Google Scholar
  64. 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.CrossRefGoogle Scholar
  65. 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.Google Scholar
  66. 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.Google Scholar
  67. 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.CrossRefGoogle Scholar
  68. 68.
    H. Sariowan. A service curve approach to performance guarantees in integrated service networks. Ph.D. Dissertation, Univ Calif San Diego. 1996.Google Scholar
  69. 69.
    D. Bertsekas and R. Gallager, Data Networks, vol. 2nd, Prentice HallUpper Saddle River, 1992.zbMATHGoogle Scholar
  70. 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.MathSciNetCrossRefzbMATHGoogle Scholar
  71. 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.MathSciNetCrossRefzbMATHGoogle Scholar
  72. 72.
    C. S. Chang, Performance Guarantees in Communication Networks, Springer-VerlagNew York, 2000.CrossRefzbMATHGoogle Scholar
  73. 73.
    J.-Y. Le Boudec and P. Thiran, Network Calculus. LNCS2050 ed., SpringerBerlin, 2004.Google Scholar
  74. 74.
    Y. Jiang, A basic stochastic network calculus, ACM SIGCOMM Computer Communication Review, Vol. 36, No. 4, pp. 123–134, 2006.CrossRefGoogle Scholar
  75. 75.
    Y. Jiang and Y. Liu, Stochastic Network Calculus, SpringerHeidelberg, 2008.zbMATHGoogle Scholar
  76. 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.CrossRefGoogle Scholar
  77. 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. 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.Google Scholar
  79. 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.Google Scholar
  80. 80.
    H. Bauer, J. L. Scharbarg and C. Fraboul. Applying and Optimizing Trajectroy Approach for Performance Evaluation of AFDX Avionics Network. In ETFA 2009.Google Scholar
  81. 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.CrossRefGoogle Scholar
  82. 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.Google Scholar
  83. 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.CrossRefGoogle Scholar
  84. 84.
    M. Vojnovic and J. Le Boudec, Stochastic analysis of some expedited forwarding networks. In Proceedings of the Infocom, New York, 2002.Google Scholar
  85. 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.Google Scholar
  86. 86.
    J. L. Scharbarg and C. Fraboul, Methods and tools for the temporal analysis of avionic networks, INTECH Open Access PublisherQazvin, 2010.CrossRefGoogle Scholar
  87. 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.Google Scholar
  88. 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.Google Scholar
  89. 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.Google Scholar
  90. 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.Google Scholar
  91. 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.Google Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.School of Computer Science and TechnologyXi Dian UniversityXi’anChina
  2. 2.Institute of Flight Control, Tianjin Institute for Advanced Equipments of Tsinghua UniversityBeijingChina
  3. 3.Aeronautical Computing Technique Research InstituteXi’anChina

Personalised recommendations