Mixed Criticality Systems-A History of Misconceptions?

IEEE Design and Test

Volumn 33, Issue 5, 2016, Pages 65-74

  Ernst, Rolf ^a   Di Natale, Marco ^b  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

^b SCUOLA SUPERIORE SANT ANNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CRITICALITY (NUCLEAR FISSION); PRODUCT DESIGN;

INDUSTRIAL PRACTICES; MIXED-CRITICALITY SYSTEMS; RESEARCH COMMUNITIES; RESEARCH TRENDS;

INDUSTRIAL RESEARCH;

EID: 84983756968     PISSN: 21682356     EISSN: None     Source Type: Journal    
DOI: 10.1109/MDAT.2016.2594790     Document Type: Review

References (46)

1. A. Avizienis et al., "Basic concepts and taxonomy of dependable and secure computing" IEEE Trans. Depend. Secure Comput., vol. 1, no. 1, pp. 11-33, 2004.
2. AUTOSAR, "Overview of functional safety measures: AUTOSAR telease 4.2.2."
3. S. K. Baruah and A. Burns, "Implementing mixed criticality systems in Ada" in Proc. Reliable Softw. Technol. Ada-Europe, 2011, pp. 174-188.
4. S. K. Baruah, "Certification-cognizant scheduling of tasks with pessimistic frequency specification" in Proc. 7th IEEE Int. Symp. Ind. Embedded Syst., 2012, pp. 31-38.
5. A. Burns and S. Baruah, "Timing faults and mixed criticality systems" in Dependable and Historic Computing, ser. Lecture Notes in Computer Science, vol. 6875. Berlin, Germany: Springer-Verlag, 2011, pp. 147-166.
6. A. Burns and S. Baruah, "Towards a more practical model for mixed criticality systems, " in Proc. 1st Workshop Mixed Criticality Syst., 2013, pp. 1-6.
7. A. Burns, and R. I. Davis, "Mixed criticality systems-A review, " Univ. York Internal Rep., 7th ed., Jan. 2016.
8. G. Durrieu et al., "Predictable flight management system implementation on a multicore processor, " in Proc. Embedded Real-Time Softw. Syst., Toulouse, France, 2014.
9. A. Esper, G. Nelissen, V. Nélis, and E. Tovar, "How realistic is the mixed-criticality real-Time system model?" in Proc. 23rd Int. Conf. Real Time Netw. Syst., 2015, pp. 139-148.
10. EVITA, "Deliverable D3.1: Security and trust model. EU FP7 Project no. 224275, E-Safety Vehicle Intrusion Protected Applications, " Nov. 24 2009. [Online]. Available: www.evita-project.org
11. G. Farrall, C. Stellwag, J. Diemer, and R. Ernst, "Hardware and software support for mixed-criticality multicore systems, " presented at the Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems, WICERT, Grenoble, France, 2013. [Online]. Available: http://atcproyectos.ugr.es/wicert/.
12. K. Goossens et al., "Virtual execution platforms for mixed-Time-criticality systems: The compsoc architecture and design flow, " SIGBED Rev., vol. 10, no. 3, pp. 23-34, 2013.
13. J. Henkel et al., "Reliable on-chip systems in the nano-era: Lessons learnt and future trends, " in Proc. 50th Annu. Design Autom. Conf., 2013, pp. 99:1-99:10.
14. M. G. Hill and T. W. Lake, "Non-interference analysis for mixed criticality code in avionics systems, " in Proc. 15th IEEE Int. Conf. Autom. Softw. Eng., 2000, pp. 257-260.
15. P. Huang, G. Giannopoulou, N. Stoimenov, and L. Thiele, "Service adaptions for mixed-criticality systems, " in Proc. 19th Asia South Pacific Design Autom. Conf., Singapore, 2014, pp. 125-130.
16. M. Jan, L. Zaourar, and M. Pitel, "Maximizing the execution rate of low criticality tasks in mixed criticality system, " in Proc. 1st WMC, 2013, pp. 43-48.
17. R. Kaiser, "The PikeOS concept history and design, " Tech. Rep. white paper, SYSGO, 2007.
18. Y.-S. Kim and H.-W. Jin, "Towards a practical implementation of criticality mode change in RTOS, " Tech. Rep., Konkuk Univ., South Korea, 2014.
19. A. Kostrzewa, S. Saidi, and R. Ernst, "Dynamic control for mixed-critical networks-on-chip, " in Proc. IEEE Int. Real-Time Syst. Symp., 2015, pp. 317-326.
20. Y. Li, R. West, and E. Missimer, "The quest-v separation kernel for mixed criticality systems, " in Proc. 1st WMC, 2013, pp. 31-36.
21. G. Macher, H. Sporer, R. Berlach, E. Armengaud, and C. Kreiner, "SAHARA: A security-Aware hazard and risk analysis method, " in Proc. Conf. Design Autom. Test Eur. Conf. Exhibit., 2015, pp. 621-624.
22. M. Möstl, D. Thiele, and R. Ernst, "Towards fail-operational Ethernet based in-vehicle networks, " in Proc. 53rd Annu. Design Autom. Conf., 2016, pp. 53:1-53:6.
23. B. Motruk, J. Diemer, R. Buchty, R. Ernst, and M. Berekovic, "Idamc: A manycore platform with run-Time monitoring for mixed-criticality, " in Proc. 9th IEEE Int. Symp. High-Assurance Syst. Eng., 2012, pp. 24-31.
24. MultiPARTES, "Multi-cores partitioning for trusted embedded systems, " EU Project FP7, [Online]. Available: www.multipartes.eu
25. M. Neukirchner, S. Stein, H. Schrom, J. Schlatow, and R. Ernst, "Contract-based dynamic task management for mixed-criticality systems, " IEEE SIES Conf., pp. 18-27, 2011.
26. M. Neukirchner, P. Axer, T. Michaels, and R. Ernst, "Monitoring of workload arrival functions for mixed-criticality systems, " in Proc. IEEE 34th Real-Time Syst. Symp., 2013, pp. 88-96.
27. M. Neukirchner, S. Quinton, and K. Lampka, "Multi-mode monitoring for mixedcriticality real-Time systems, " in Proc. Int. Conf. Hardware/Softw. Codesign Syst. Synthesis, 2013, pp. 1-10.
28. Nowotsch, Jan, and M. Paulitsch, "Leveraging multi-core computing architectures in avionics, " in Proc. 9th IEEE Int. Depend. Comput. Conf., 2012, pp. 132-143.
29. R. Pellizzoni et al., "A predictable execution model for COTS-based embedded systems, " in Proc. 17th IEEE Real-Time Embedded Technol. Appl. Symp., 2011, pp. 269-279.
30. S. Saidi et al. "The shift to multicores in real-Time and safety-critical systems, " in Proc. IEEE Int. Conf. Hardware/Softw. Codesign Syst. Synthesis., Oct. 2015, pp. 220-229
31. SAFE. ITEA 2 Project, Safe Automotive soFtware architEcture, 2011-2014. [Online]. Available: www.safe-project.eu
32. Safure: SAFety and Security by Design for Interconnected Mixed-Critical Cyberphysical Systems, EU Project H2020-ICT-2014-1.
33. H. Su and D. Zhu, "An elastic mixed-criticality task model and its scheduling algorithm, " in Proc. Conf. Design Autom. Test Eur., 2013, pp. 147-152.
34. S. Vestal, "Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance, " in Proc. IEEE Real-Time Syst. Symp., 2007, pp. 239-243.
35. A. Wasicek, C. El-Salloum, and H. Kopetz, "A system-on-A-chip platform for mixed-criticality applications, " in Proc. 3th IEEE Int. Symp. Object/Component/Service-Oriented Real-Time Distrib. Comput., 2010, pp. 210-216.
36. R. Wilhelm et al., "The worst-case execution-Time problem-Overview of methods and survey of tools, " Trans. Embedded Comput. Syst., vol. 7, no. 3, pp. 36:1-36:53, Apr., 2008.
37. Aeronautical Radio Inc. "ARINC specification 653. Avionics application software standard interface." [Online]. Available: http://www.aviation-ia.com/
38. Aeronautical Radio Inc., "ARINC 664: Aircraft data network, " [Online]. Available: http://www.aviation-ia.com/
39. AUTomotive Open System Architecture v4.2. [Online]. Available: www.autosar.org
40. Radio Technical Commission for Aeronautics (RTCA) and EURopean Organisation for Civil Aviation Equipment (EUROCAE), 41: Software Considerations in Airborne Systems and Equipment Certification, 2011.
41. Radio Technical Commission for Aeronautics (RTCA) and EURopean Organisation for Civil Aviation Equipment (EUROCAE), DO-254: Design Assurance Guidance for Airborne Electronic Hardware, 2000.
42. International Electrotechnical Commission (IEC): IEC 61508:2010 Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems, 2010.
43. International Electrotechnical Commission (IEC): 44:2006 Analysis Techniques for System Reliability-Procedure for Failure Mode and Effects Analysis (FMEA), 2006.
44. International Electrotechnical Commission (IEC): IEC 61025:2006 Fault Tree Analysis (FTA), 2006.
45. International Organization for Standardization (ISO): 46: 2011 Road Vehicles-Functional Safety, 2011.
46. The Object Management Group, "OMG systems modeling language" The Official OMG SysML web site. [Online]. Available: http://www.omgsysml.org/