An Irreversible Transition towards Multicore Platform in Safety-critical Domain for the Aviation Industries

Authors

  • Nagalakshmi K  Computer Science and Engineering, Hindusthan Institute of Technology, Coimbatore, Tamilnadu, India
  • Gomathi N  Computer Science and Engineering, Vel Tech Dr.RR & Dr.SR Technical University, Chennai, Tamilnadu, India

Keywords:

Avionics System, Mixed-Criticality, Multicore Processor, Safety-Critical

Abstract

In modern safety-related application domains, the shift from unicore to multicore processors is becoming inevitable to keep pace with the growing importance of computational capacity and to satisfy the functional consolidation trend while decreasing energy consumption and thermal hotspots. Nevertheless, typical multicore processors are mostly intended to enhance the system performance, whereas safety-critical systems (SCS) have very different demands in terms of safety, reliability, quality of service, predictability and timing correctness. Hence, the move towards multicore processors imposes many significant challenges the computing industry has to tackle. These challenges are involved in designing of certifiable multicore architectures, the organization of common resources and assimilation of concurrent software. Hence, these are encountered at all phases of the specification, design, development, testing, and certification processes. Hence, both multicore industrialists and the real-time community have to fill the gap to meet the requirements enforced by SCS. The objective of this paper is to initiate such a discussion as an effort to fill the gap between the two domains and to substantially increase the cognizance of the obstacles and issues that need to be handled in the safety-critical domain.

References

  1. Valavanis, K.P., “Advances in Unmanned Aerial Vehicles: State of the Art and the Road to Autonomy”, Springer Publishing Company, Incorporated, 2007
  2. Visiongain, "The Unmanned Aerial Vehicles (UAV) Market 2011-2021: Technologies for ISR and Counter-Insurgency," Vision gain, 2011
  3. Vriters, "UAV Market Exceeds Five Billion Dollars In 2010," Space Dally, London, 2010,
  4. Media, Market Research, "U.S. Military Unmanned Aerial Vehicles (UA V) Market Forecast 2010-2015," Market Research Media Ltd, 2011.
  5. Wong, "Survey of Regional Develoments : Civil Applications," University of Sydney, Sydney, 2001
  6. Durrieu, G., Faug`ere, M., Girbal, S., Gracia P˜arez, D.,  Pagetti, C.,   and Puf?tsch, W., “Predictable ?ight management system implementation on a multicore processor”, In Embedded Real Time Software and Systems, ERTS ’14, 2014.
  7. Richard West, Ye Li and Eric Missimer, “A Virtualized Separation Kernel for Mixed-Criticality Systems”, ACM Transactions on Computer Systems (TOCS), Vol.34(3), September 2016, Article No. 8
  8. parMERASA (2013), “Multi-core execution of parallelized hard real-time applications supporting analyzability”, Available [Online]:http://www.parmerasa.eu
  9. CERTAINTY (2013), “Certi?cation of real time applications designed for mixed criticality,” Available [Online]: http://www. certainty-project.eu.
  10. Luis Miguel Pinho, Eduardo Quiñones, Marko Bertogna, Modena, Jorge Pereira Carlos, “P-SOCRATES: A Parallel Software Framework for Time-Critical Many-Core Systems” in 17th Euromicro Conference on Digital System Design (DSD), 2014
  11. ARTEMIS, Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments, Available [Online]:http://www.artemis-emc2.eu
  12. European Organization for Civil Aviation Equipment (1992), “DO-178B, Software Consideration in Airborne Systems and Equipment Certification. EUROCAE”, Available: [Online] https://en.wikipedia.org/wiki/DO-178B
  13. Guan, N., Ekberg, P., Stigge, M., & Yi, W. (2011), “Effective and efficient scheduling of certifiable mixed-criticality sporadic task systems”, 32nd IEEE Real-Time Systems Symposium, pp.13 – 23. doi: 10.1109/RTSS.2011.10
  14. of Automotive Engineers (SAE). Arp 4754: (aerospace recommended practice) - certi?cation considerations for highly integrated or complex aircraft systems, 2010
  15. ”do-254/ed-80 - design assurance guidance for airborne electronic hardware”. Technical report, RTCA, Inc, 19th April 2000
  16. do-178b/ed-12b - software considerations in air-borne systems and equipment certi?cation”. Technical report, RTCA, Inc, 1st December 1992
  17. Baruah, S.K., “Bipasa Chattopadhyay, Haohan Li, and Insik Shin. Mixed-criticality scheduling on multiprocessors. Real-Time Systems, 50(1):142–177, 2014
  18. Boniol, F., “New challenges for future avionic architectures”, In Modelling Approaches and Algorithms for Advanced Computer Applications, volume 488 of Studies in Computational Intelligence, page 1. Springer, 2013
  19. John Rushby, “Partitioning for avionics architectures: Requirements, mechanisms, and assurance”, NASA Contractor Report CR-1999-209347, NASA Langley Research Center, June 1999
  20. Hermann Kopetz, “An integrated architecture for dependable embedded systems”, In Proceedings of the International Symposium on Reliable Distributed Systems, pages 160–161, 2004
  21. John Rushby, “Partitioning for avionics architectures: Requirements, mechanisms, and assurance”, NASA Contractor Report CR-1999-209347, NASA Langley Research Center, June 1999.
  22. Nowotsch and M. Paulitsch, “Leveraging multi-core computing architectures in avionics”, In Dependable Computing Conference (EDCC), 2012 Ninth European, pages 132–143, May 2012
  23. Kaiser, “The pikeos concept history and design”, sysgo, white paper, 2007
  24. De Dinechin, B. D., van Amstel, D., Poulhi`es, M., and Lager, G., “Time critical computing on a single-chip massively parallel processor”, In Proceedings of the Conference on Design, Automation & Test in Europe, DATE ’14, pages 97:1–97:6, 3001 Leuven, Belgium, Belgium, 2014. European Design and Automation Association
  25. Ungerer et al., “Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability”, in IEEE Micro, vol. 30, no. 5, pp. 66-75, Sept.-Oct. 2010
  26. Nowotsch, Jan, and Michael Paulitsch, “Leveraging multi-core computing architectures in avionics,” Dependable Computing Conference (EDCC), 2012 Ninth European. IEEE, 2012
  27. [http://www.windriver.com/products/hypervisor/]
  28. International Electro technical Commission, IEC 61508, "Functional safety of electrical/electronic/programmable electronic safety-related systems", Switzerland, 2005
  29. Watkins, C. and Walter, R. “Transitioning from federated avionics architectures to integrated modular avionics”, In Digital Avionics Systems Conference, 2007. DASC’07, pp. 2.A.1–1–2.A.1–10, Oct 2007.
  30. RTCA and EUROCAE, DO-254 / ED-80, Design Assurance Guidance for Airborne Electronic Hardware, 2000
  31. QorIQ T2080 and T2081 communication processors, Available [Online]: http://cache.nxp. com/?les/32bit/doc/fact sheet/T2080FS.pdf
  32. Certi?cation memorandum - development assurance of airborne electronic hardware. In Software and Complex Electronic Hardware section, chapter 9. European Aviation Safety Agency, 11th Aug 2011.
  33. Certi?cation Authorities Software Team (CAST). Position paper cast-32, multi-core processors, May 2014. Available [Online]: http://www.faa.gov/aircraft/air_cert#/design_approvals/air_software/cast/ cast_papers/media/ cast-32.pdf
  34. AS 6802. Time-Triggered Ethernet. SAE International, 2011
  35. AEEC, 1996. Avionics Application Software Standard Interface (ARINC-653). Airlines Electronic Eng. Committee.
  36. Trujillo, A. Crespo, A. Alonso, and J. P´erez., “Multipartes: Multicore partitioning and virtualization for easing the certi?cation of mixed-criticality systems”, Microprocessors and Microsystems - Embedded Hardware Design, 38(8):921–932, 2014.
  37. Sandstrom, A. Vulgarakis, M. Lindgren, and T. Nolte. “Virtualization technologies in embedded real-time systems”, In Emerging Technologies Factory Automation (ETFA), 2013 IEEE 18th Conference on, pages 1–8, Sept 2013.
  38. R.Engler, M.F.Kaashoek, and J.O’Toole, Jr., “Exokernel: An operating system architecture for application-level resource management”, In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, SOSP ’95, 1995
  39. The P-SOCRATES Consortium, P-SOCRATES (Parallel Software Framework for Time-Critical Many-core Systems) Available [Online]: http://p-socrates.eu.

International Journal of Scientific Research in Science, Engineering and Technology

Downloads

Published

2016-10-30

Issue

Volume 2, Issue 5, September-October-2016

Section

Research Articles

License

Copyright (c) IJSRSET

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How to Cite

[1]
Nagalakshmi K, Gomathi N, " An Irreversible Transition towards Multicore Platform in Safety-critical Domain for the Aviation Industries, International Journal of Scientific Research in Science, Engineering and Technology(IJSRSET), Print ISSN : 2395-1990, Online ISSN : 2394-4099, Volume 2, Issue 5, pp.345-359, September-October-2016.