skip to main content
research-article

Design Optimization of Mixed-Criticality Real-Time Embedded Systems

Published:30 April 2015Publication History
Skip Abstract Section

Abstract

In this article, we are interested in implementing mixed-criticality real-time embedded applications on a given heterogeneous distributed architecture. Applications have different criticality levels, captured by their Safety-Integrity Level (SIL), and are scheduled using static-cyclic scheduling. According to certification standards, mixed-criticality tasks can be integrated onto the same architecture only if there is enough spatial and temporal separation among them. We consider that the separation is provided by partitioning, such that applications run in separate partitions, and each partition is allocated several time slots on a processor. Tasks of different SILs can share a partition only if they are all elevated to the highest SIL among them. Such elevation leads to increased development costs, which increase dramatically with each SIL. Tasks of higher SILs can be decomposed into redundant structures of lower SIL tasks. We are interested to determine (i) the mapping of tasks to processors, (ii) the assignment of tasks to partitions, (iii) the decomposition of tasks into redundant lower SIL tasks, (iv) the sequence and size of the partition time slots on each processor, and (v) the schedule tables, such that all the applications are schedulable and the development costs are minimized. We have proposed a Tabu Search-based approach to solve this optimization problem. The proposed algorithm has been evaluated using several synthetic and real-life benchmarks.

References

  1. L. Abeni and G. Buttazzo. 1998. Integrating multimedia applications in hard real-time systems. In Proceedings of Real-Time Systems Symposium. 4--13. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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 Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. ARINC. 1997. ARINC 651-1: Design Guidance for Integrated Modular Avionics. ARINC (Aeronautical Radio, Inc).Google ScholarGoogle Scholar
  4. ARINC. 2013. ARINC 653P0: Avionics Application Software Standard Interface, Part 0, Overview of ARINC 653. ARINC (Aeronautical Radio, Inc).Google ScholarGoogle Scholar
  5. AS 6802. 2011. Time-triggered ethernet. SAE International.Google ScholarGoogle Scholar
  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.Google ScholarGoogle Scholar
  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.Google ScholarGoogle Scholar
  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.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. S. Baruah. 2004b. Task partitioning upon heterogeneous multiprocessor platforms. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium. 536--543. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle ScholarCross RefCross Ref
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. G. Buttazzo. 1997. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer Academic, Boston. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. R. Dick. 2005. Embedded System Synthesis Benchmarks Suite. Retrieved from http://ziyang.eecs.umich.edu/∼dickrp/e3s/.Google ScholarGoogle Scholar
  26. Rolf Ernst. 2010. Certification of trusted MPSoC platforms. In Proceedings of the 10th International Forum on Embedded MPSoC and Multicore.Google ScholarGoogle Scholar
  27. M. Gendreau. 2002. An Introduction to Tabu Search. Centre for Research on Transportation.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. F. Glover and M. Laguna. 1997. Tabu Search. Kluwer Academic, Norwell, MA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. K. Hoyme and K. Driscoll. 1993. SAFEbus. IEEE Aerospace Electronic Systems Magazine 8 (1993), 34--39.Google ScholarGoogle ScholarCross RefCross Ref
  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.Google ScholarGoogle Scholar
  33. IEC 61508. 2010. IEC 61508: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems. International Electrotechnical Commission.Google ScholarGoogle Scholar
  34. ISO 26262. 2009. ISO 26262—Road Vehicles Functional Safety. International Organization for Standardization/Technical Committee 22 (ISO/TC 22).Google ScholarGoogle Scholar
  35. ISO 9001. 2008. Quality Management Systems—Requirements. International Organization for Standardization.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  38. H. Kopetz. 2011. Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  42. H. Li and S. Baruah. 2012. Global mixed-criticality scheduling on multiprocessors. In Euromicro Conference on Real-Time Systems. 166--175. Google ScholarGoogle ScholarDigital LibraryDigital Library
  43. M. S. Mollison, J. P. Erickson, J. H. Anderson, S. K. Baruah, and J. A. Scoredos. 2010. Mixed-criticality real-time scheduling for multicore systems. In Proceedings of the Conference on Computer and Information Technology. 1864--1871. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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_46Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  47. P. Pop, P. Eles, and Z. Peng. 2004. Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems. Kluwer Academic Publishers.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  54. Rockwell-Collins. 2009. Certification Cost Estimates for Future Communication Radio Platforms (1.1 ed.). Technical Report. Rockwell-Collins.Google ScholarGoogle Scholar
  55. RTCA DO-178B. 1992. Software considerations in airborne systems and equipment certification. Radio Technical Commission for Aeronautics (RTCA).Google ScholarGoogle Scholar
  56. J. Rushby. 1999. Partitioning for Avionics Architectures: Requirements, Mechanisms, and Assurance. NASA Contractor Report CR-1999-209347. NASA Langley Research Center.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  58. O. Sinnen. 2006. Fundamental heuristics. In Task Scheduling for Parallel Systems. John Wiley and Sons, Hoboken, NJ.Google ScholarGoogle ScholarDigital LibraryDigital Library
  59. N. R. Storey. 1996. Safety Critical Computer Systems. Addison-Wesley Longman, Boston, MA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  63. J. D. Ullman. 1975. NP-complete scheduling problems. J. Comput. Syst. Sci. 10, 3 (1975), 384--393. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Design Optimization of Mixed-Criticality Real-Time Embedded Systems

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            cover image ACM Transactions on Embedded Computing Systems
            ACM Transactions on Embedded Computing Systems  Volume 14, Issue 3
            Special Issue on Embedded Platforms for Crypto and Regular Papers
            May 2015
            515 pages
            ISSN:1539-9087
            EISSN:1558-3465
            DOI:10.1145/2764962
            Issue’s Table of Contents

            Copyright © 2015 ACM

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 30 April 2015
            • Accepted: 1 November 2014
            • Revised: 1 September 2014
            • Received: 1 May 2014
            Published in tecs Volume 14, Issue 3

            Permissions

            Request permissions about this article.

            Request Permissions

            Check for updates

            Qualifiers

            • research-article
            • Research
            • Refereed

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!