Design optimization of mixed-criticality real-time embedded systems

ACM Transactions on Embedded Computing Systems

Volumn 14, Issue 3, 2015, Pages

  Təmaş Selicean, Domiţian ^a   Pop, Paul ^a   Steiner, W ^b  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^b TTTech North America   (Austria)

Author keywords

Design optimization

Indexed keywords

CRITICALITY (NUCLEAR FISSION); EMBEDDED SYSTEMS; INTEGRATED CIRCUIT DESIGN; OPTIMIZATION; SAFETY ENGINEERING; SCHEDULING; SEPARATION; TABU SEARCH;

CERTIFICATION STANDARDS; DESIGN OPTIMIZATION; DISTRIBUTED ARCHITECTURE; OPTIMIZATION PROBLEMS; REAL-TIME EMBEDDED SYSTEMS; SAFETY INTEGRITY LEVELS; STATIC CYCLIC SCHEDULING; TABU SEARCH BASED APPROACHES;

REAL TIME SYSTEMS;

EID: 84929147058     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/2700103     Document Type: Article

References (65)

1. L. Abeni and G. Buttazzo. 1998. Integrating multimedia applications in hard real-time systems. In Proceedings of Real-Time Systems Symposium. 4-13.
2. T. L. Adam, K. M. Chandy, and J. R. Dickson. 1974. A comparison of list schedules for parallel processing systems. Commun. ACM 17, 12 (Dec. 1974), 685-690. DOI: http://dx.doi.org/10.1145/361604.361619
3. ARINC. 1997. ARINC 651-1: Design Guidance for Integrated Modular Avionics. ARINC (Aeronautical Radio, Inc).
4. ARINC. 2013. ARINC 653P0: Avionics Application Software Standard Interface, Part 0, Overview of ARINC 653. ARINC (Aeronautical Radio, Inc).
5. AS 6802. 2011. Time-triggered ethernet. SAE International.
6. N. Audsley, K. Tindell, and A. Burns. 1993. The end of the line for static cyclic scheduling. In Proceedings of Euromicro Workshop on Real-Time Systems. 36-41.
7. L. S. Azevedo, D. Parker, M. Walker, Y. Papadopoulos, and R. E. Araujo. 2013. Automatic decomposition of safety integrity levels: Optimization by tabu search. In Proceedings of the Workshop on Critical Automotive applications: Robustness and Safety.
8. J. Barhorst, T. Belote, P. Binns, J. Hoffman, J. Paunicka, P. Sarathy, J. Scoredos, P. Stanfill, D. Stuart, and R. Urzi. 2009. A research agenda for mixed-criticality systems. In Cyber-Physical Systems Week.
9. S. K. Baruah. 2004a. Optimal utilization bounds for the fixed-priority scheduling of periodic task systems on identical multiprocessors. IEEE Transactions on Computers 53, 6 (2004), 781-784.
10. S. Baruah. 2004b. Task partitioning upon heterogeneous multiprocessor platforms. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium. 536-543.
11. S. Baruah and N. Fisher. 2008. Hybrid-priority scheduling of resource-sharing sporadic task systems. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium. 248-257.
12. S. Baruah and G. Fohler. 2011. Certification-cognizant time-triggered scheduling of mixed-criticality systems. In Proceedings of the Real-Time Systems Symposium. 3-12.
13. S. Baruah, H. Li, and L. Stougie. 2010. Towards the design of certifiable mixed-criticality systems. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium. 13-22.
14. S. Baruah and S. Vestal. 2008. Schedulability analysis of sporadic tasks with multiple criticality specifications. In Proceedings of the Euromicro Conference on Real-Time Systems. 147-155.
15. S. K. Baruah, V. Bonifaci, G. D'Angelo, A. Marchetti-Spaccamela, S. van der Ster, and L. Stougie. 2011a. Mixed-criticality scheduling of sporadic task systems. In Proceedings of the Annual European Symposium on Algorithms. 555-566.
16. S. K. Baruah, A. Burns, and R. I. Davis. 2011b. Response-time analysis for mixed criticality systems. In Proceedings of the Real-Time Systems Symposium. 34-43.
17. P. Binns. 2001. A robust high-performance time partitioning algorithm: The digital engine operating system (DEOS) approach. In Proceedings of the Conference on Digital Avionics Systems, Vol. 1. 1B6/1-1B6/12.
18. B. Boehm, C. Abts, and S. Chulani. 2000a. Software development cost estimation approaches - A survey. Annals of Software Engineering 10, 1 (2000), 177-205.
19. B. W. Boehm, Clark, Horowitz, Brown, Reifer, Chulani, Ray Madachy, and Bert Steece. 2000b. Software Cost Estimation with Cocomo II (1st ed.). Prentice Hall PTR, Upper Saddle River, NJ.
20. T. D. Braun, H. J. Siegel, N. Beck, L. L. Blni, M. Maheswaran, A. I. Reuther, J. P. Robertson, M. D. Theys, B. Yao, D. Hensgen, and R. F. Freund. 2001. A comparison of eleven static heuristics for mapping a class of independent tasks onto heterogeneous distributed computing systems. J. Parallel Distrib. Comput. 61, 6 (2001), 810-837.
21. G. Buttazzo. 1997. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer Academic, Boston.
22. L. A. Cortés, P. Eles, and Z. Peng. 2004. Quasi-static scheduling for real-time systems with hard and soft tasks. In Proceedings of the Conference on Design, Automation and Test in Europe. 21176-21181.
23. D. de Niz, K. Lakshmanan, and R. Rajkumar. 2009. On the scheduling of mixed-criticality real-time task sets. In Proceedings of the Real-Time Systems Symposium. 291-300.
24. J. A. Debardelaben, V. K. Madisetti, and A. J. Gadient. 1997. Incorporating cost modeling in embedded-system design. IEEE Design and Test of Computers 14, 3 (July 1997), 24-35.
25. R. Dick. 2005. Embedded System Synthesis Benchmarks Suite. Retrieved from http://ziyang.eecs.umich.edu/~dickrp/e3s/.
26. Rolf Ernst. 2010. Certification of trusted MPSoC platforms. In Proceedings of the 10th International Forum on Embedded MPSoC and Multicore.
27. M. Gendreau. 2002. An Introduction to Tabu Search. Centre for Research on Transportation.
28. G. Giannopoulou, N. Stoimenov, P. Huang, and L. Thiele. 2013. Scheduling of mixed-criticality applications on resource-sharing multicore systems. In International Conference on Embedded Software (EMSOFT'13). Montreal, 17:1-17:15.
29. G. Giannopoulou, N. Stoimenov, P. Huang, and L. Thiele. 2014. Mapping mixed-criticality applications on multi-core architectures. In Proceedings of the Design, Automation and Test in Europe Conference an Exhibition (DATE), Hot-Topic Session on Predictable Multicore Computing. IEEE, 1-6.
30. F. Glover and M. Laguna. 1997. Tabu Search. Kluwer Academic, Norwell, MA.
31. K. Hoyme and K. Driscoll. 1993. SAFEbus. IEEE Aerospace Electronic Systems Magazine 8 (1993), 34-39.
32. IBM. 2010. DO-178B Compliance: Turn an Overhead Expense into a Competitive Advantage. White paper, IBM Rational. Retrieved from ftp://public.dhe.ibm.com/common/ssi/ecm/en/raw14249usen/RAW14249USEN.PDF.
33. IEC 61508. 2010. IEC 61508: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems. International Electrotechnical Commission.
34. ISO 26262. 2009. ISO 26262 - Road Vehicles Functional Safety. International Organization for Standardization/Technical Committee 22 (ISO/TC 22).
35. ISO 9001. 2008. Quality Management Systems - Requirements. International Organization for Standardization.
36. V. Izosimov, P. Pop, P. Eles, and Z. Peng. 2008. Scheduling of fault-tolerant embedded systems with soft and hard timing constraints. In Proceedings of the Conference on Design, Automation and Test in Europe. 915-920.
37. M. Jorgensen and M. Shepperd. 2007. A systematic review of software development cost estimation studies. IEEE Transactions on Software Engineering 33, 1 (2007), 33-53.
38. H. Kopetz. 2011. Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer.
39. Yann-Hang Lee, Daeyoung Kim, M. Younis, J. Zhou, and J. McElroy. 2000. Resource scheduling in dependable integrated modular avionics. In Proceedings of Dependable Systems and Networks. 14-23.
40. B. Leiner, M. Schlager, R. Obermaisser, and B. Huber. 2007. A comparison of partitioning operating systems for integrated systems. Computer Safety, Reliability, and Security (2007), 342-355.
41. H. Li and S. Baruah. 2010. An algorithm for scheduling certifiable mixed-criticality sporadic task systems. In Proceedings of the Real-Time Systems Symposium. 183-192.
42. H. Li and S. Baruah. 2012. Global mixed-criticality scheduling on multiprocessors. In Euromicro Conference on Real-Time Systems. 166-175.
43. M. S. Mollison, J. P. Erickson, J. H. Anderson, S. K. Baruah, and J. A. Scoredos. 2010. Mixed-criticality realtime scheduling for multicore systems. In Proceedings of the Conference on Computer and Information Technology. 1864-1871.
44. Y. Papadopoulos, M. Walker, M.-O. Reiser, M. Weber, D. Chen, M. Törngren, D. Servat, A. Abele, F. Stappert, H. Lonn, L. Berntsson, R. Johansson, F. Tagliabo, S. Torchiaro, and A. Sandberg. 2010. Automatic allocation of safety integrity levels. In Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness and Safety. 7-10.
45. D. Parker, M. Walker, L. S. Azevedo, Y. Papadopoulos, and R. E. Arajo. 2013. Automatic decomposition and allocation of safety integrity levels using a penalty-based genetic algorithm. In Recent Trends in Applied Artificial Intelligence, M. Ali, T. Bosse, K. V. Hindriks, M. Hoogendoorn, C. M. Jonker, and J. Treur (Eds.). Lecture Notes in Computer Science, Vol. 7906. Springer, Berlin, 449-459. DOI: http://dx.doi.org/10.1007/978-3-642-38577-3-46
46. P. Pop, P. Eles, and Z. Peng. 1999. Scheduling with optimized communication for time-triggered embedded systems. In Proceedings of the International Workshop on Hardware/Software Codesign. 178-182.
47. P. Pop, P. Eles, and Z. Peng. 2004. Analysis and Synthesis of Communication-Intensive Heterogeneous RealTime Systems. Kluwer Academic Publishers.
48. P. Pop, P. Eles, Z. Peng, V. Izosimov, M. Hellring, and O. Bridal. 2004. Design optimization of multi-cluster embedded systems for real-time applications. In Proceedings of the Conference on Design, Automation and Test in Europe. 21028-21033.
49. P. Pop, P. Eles, Z. Peng, and T. Pop. 2006. Analysis and optimization of distributed real-time embedded systems. ACM Transactions on Design Automation of Electronic Systems 11, 3 (2006), 593-625.
50. P. Pop, V. Izosimov, P. Eles, and Zebo Peng. 2009. Design optimization of time- and cost-constrained fault-tolerant embedded systems with checkpointing and replication. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 17, 3 (2009), 389-402.
51. P. Pop, L. Tsiopoulos, S. Voss, O. Slotosch, C. Ficek, U. Nyman, and A. R. Lopez. 2013. Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: The RECOMP approach. In Proceedings of the Workshop on Industry-Driven Approaches for Cost-Effective Certification of Safety-Critical, Mixed-Criticality Systems.
52. T. Pop, P. Pop, P. Eles, and Z. Peng. 2008a. Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems. International Journal of Parallel Programming 36, 1 (2008), 37-67.
53. T. Pop, P. Pop, P. Eles, Z. Peng, and A. Andrei. 2008b. Timing analysis of the FlexRay communication protocol. Real-Time Systems 39, 1-3 (2008), 205-235.
54. Rockwell-Collins. 2009. Certification Cost Estimates for Future Communication Radio Platforms (1.1 ed.). Technical Report. Rockwell-Collins.
55. RTCA DO-178B. 1992. Software considerations in airborne systems and equipment certification. Radio Technical Commission for Aeronautics (RTCA).
56. J. Rushby. 1999. Partitioning for Avionics Architectures: Requirements, Mechanisms, and Assurance. NASA Contractor Report CR-1999-209347. NASA Langley Research Center.
57. P. K. Saraswat, P. Pop, and J. Madsen. 2010. Task mapping and bandwidth reservation for mixed hard/soft fault-tolerant embedded systems. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium. 89-98.
58. O. Sinnen. 2006. Fundamental heuristics. In Task Scheduling for Parallel Systems. John Wiley and Sons, Hoboken, NJ.
59. N. R. Storey. 1996. Safety Critical Computer Systems. Addison-Wesley Longman, Boston, MA.
60. D. Təmaş-Selicean, P. Pop, and J. Madsen. 2014. Design of Mixed-Criticality Applications on Distributed Real-Time Systems. Technical University of Denmark.
61. D. Təmaş-Selicean and P. Pop. 2011. Optimization of time-partitions for mixed-criticality real-time distributed embedded systems. In IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. 1-10.
62. D. Təmaş-Selicean, P. Pop, and W. Steiner. 2012. Synthesis of communication schedules for TTEthernet-based mixed-criticality systems. In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis. 473-482.
63. J. D. Ullman. 1975. NP-complete scheduling problems. J. Comput. Syst. Sci. 10, 3 (1975), 384-393.
64. S. Vestal. 2007. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In Proceedings of the Real-Time Systems Symposium. 239-243.
65. J. Xu and D. L. Parnas. 1993. On satisfying timing constraints in hard-real-time systems. IEEE Trans. Softw. Eng. 19, 1 (1993), 70-84.