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 signiﬁcant challenges the computing industry has to tackle. These challenges are involved in designing of certiﬁable 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.
Nagalakshmi K, Gomathi N
Avionics System, Mixed-Criticality, Multicore Processor, Safety-Critical
- Valavanis, K.P., “Advances in Unmanned Aerial Vehicles: State of the Art and the Road to Autonomy”, Springer Publishing Company, Incorporated, 2007
- Visiongain, "The Unmanned Aerial Vehicles (UAV) Market 2011-2021: Technologies for ISR and Counter-Insurgency," Vision gain, 2011
- Vriters, "UAV Market Exceeds Five Billion Dollars In 2010," Space Dally, London, 2010,
- Media, Market Research, "U.S. Military Unmanned Aerial Vehicles (UA V) Market Forecast 2010-2015," Market Research Media Ltd, 2011.
- Wong, "Survey of Regional Develoments : Civil Applications," University of Sydney, Sydney, 2001
- 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.
- 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
- parMERASA (2013), “Multi-core execution of parallelized hard real-time applications supporting analyzability”, Available [Online]:http://www.parmerasa.eu
- CERTAINTY (2013), “Certi?cation of real time applications designed for mixed criticality,” Available [Online]: http://www. certainty-project.eu.
- 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
- ARTEMIS, Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments, Available [Online]:http://www.artemis-emc2.eu
- 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
- 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
- of Automotive Engineers (SAE). Arp 4754: (aerospace recommended practice) - certi?cation considerations for highly integrated or complex aircraft systems, 2010
- ”do-254/ed-80 - design assurance guidance for airborne electronic hardware”. Technical report, RTCA, Inc, 19th April 2000
- do-178b/ed-12b - software considerations in air-borne systems and equipment certi?cation”. Technical report, RTCA, Inc, 1st December 1992
- Baruah, S.K., “Bipasa Chattopadhyay, Haohan Li, and Insik Shin. Mixed-criticality scheduling on multiprocessors. Real-Time Systems, 50(1):142–177, 2014
- 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
- John Rushby, “Partitioning for avionics architectures: Requirements, mechanisms, and assurance”, NASA Contractor Report CR-1999-209347, NASA Langley Research Center, June 1999
- Hermann Kopetz, “An integrated architecture for dependable embedded systems”, In Proceedings of the International Symposium on Reliable Distributed Systems, pages 160–161, 2004
- John Rushby, “Partitioning for avionics architectures: Requirements, mechanisms, and assurance”, NASA Contractor Report CR-1999-209347, NASA Langley Research Center, June 1999.
- Nowotsch and M. Paulitsch, “Leveraging multi-core computing architectures in avionics”, In Dependable Computing Conference (EDCC), 2012 Ninth European, pages 132–143, May 2012
- Kaiser, “The pikeos concept history and design”, sysgo, white paper, 2007
- 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
- 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
- Nowotsch, Jan, and Michael Paulitsch, “Leveraging multi-core computing architectures in avionics,” Dependable Computing Conference (EDCC), 2012 Ninth European. IEEE, 2012
- International Electro technical Commission, IEC 61508, "Functional safety of electrical/electronic/programmable electronic safety-related systems", Switzerland, 2005
- 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.
- RTCA and EUROCAE, DO-254 / ED-80, Design Assurance Guidance for Airborne Electronic Hardware, 2000
- QorIQ T2080 and T2081 communication processors, Available [Online]: http://cache.nxp. com/?les/32bit/doc/fact sheet/T2080FS.pdf
- 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.
- 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
- AS 6802. Time-Triggered Ethernet. SAE International, 2011
- AEEC, 1996. Avionics Application Software Standard Interface (ARINC-653). Airlines Electronic Eng. Committee.
- 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.
- 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.
- 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
- The P-SOCRATES Consortium, P-SOCRATES (Parallel Software Framework for Time-Critical Many-core Systems) Available [Online]: http://p-socrates.eu.
|Published in :
||Volume 2 | Issue 5 | September-October - 2016
|Date of Publication
Cite This Article
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.
URL : http://ijsrset.com/IJSRSET162599.php