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.
- L. Abeni and G. Buttazzo. 1998. Integrating multimedia applications in hard real-time systems. In Proceedings of Real-Time Systems Symposium. 4--13. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- ARINC. 1997. ARINC 651-1: Design Guidance for Integrated Modular Avionics. ARINC (Aeronautical Radio, Inc).Google Scholar
- ARINC. 2013. ARINC 653P0: Avionics Application Software Standard Interface, Part 0, Overview of ARINC 653. ARINC (Aeronautical Radio, Inc).Google Scholar
- AS 6802. 2011. Time-triggered ethernet. SAE International.Google Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- S. Baruah. 2004b. Task partitioning upon heterogeneous multiprocessor platforms. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium. 536--543. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- G. Buttazzo. 1997. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer Academic, Boston. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- R. Dick. 2005. Embedded System Synthesis Benchmarks Suite. Retrieved from http://ziyang.eecs.umich.edu/∼dickrp/e3s/.Google Scholar
- Rolf Ernst. 2010. Certification of trusted MPSoC platforms. In Proceedings of the 10th International Forum on Embedded MPSoC and Multicore.Google Scholar
- M. Gendreau. 2002. An Introduction to Tabu Search. Centre for Research on Transportation.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- F. Glover and M. Laguna. 1997. Tabu Search. Kluwer Academic, Norwell, MA. Google Scholar
Digital Library
- K. Hoyme and K. Driscoll. 1993. SAFEbus. IEEE Aerospace Electronic Systems Magazine 8 (1993), 34--39.Google Scholar
Cross Ref
- 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 Scholar
- IEC 61508. 2010. IEC 61508: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems. International Electrotechnical Commission.Google Scholar
- ISO 26262. 2009. ISO 26262—Road Vehicles Functional Safety. International Organization for Standardization/Technical Committee 22 (ISO/TC 22).Google Scholar
- ISO 9001. 2008. Quality Management Systems—Requirements. International Organization for Standardization.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- H. Kopetz. 2011. Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- H. Li and S. Baruah. 2012. Global mixed-criticality scheduling on multiprocessors. In Euromicro Conference on Real-Time Systems. 166--175. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- P. Pop, P. Eles, and Z. Peng. 2004. Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems. Kluwer Academic Publishers.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Rockwell-Collins. 2009. Certification Cost Estimates for Future Communication Radio Platforms (1.1 ed.). Technical Report. Rockwell-Collins.Google Scholar
- RTCA DO-178B. 1992. Software considerations in airborne systems and equipment certification. Radio Technical Commission for Aeronautics (RTCA).Google Scholar
- J. Rushby. 1999. Partitioning for Avionics Architectures: Requirements, Mechanisms, and Assurance. NASA Contractor Report CR-1999-209347. NASA Langley Research Center.Google Scholar
- 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 Scholar
Digital Library
- O. Sinnen. 2006. Fundamental heuristics. In Task Scheduling for Parallel Systems. John Wiley and Sons, Hoboken, NJ.Google Scholar
Digital Library
- N. R. Storey. 1996. Safety Critical Computer Systems. Addison-Wesley Longman, Boston, MA. Google Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- J. D. Ullman. 1975. NP-complete scheduling problems. J. Comput. Syst. Sci. 10, 3 (1975), 384--393. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
Index Terms
Design Optimization of Mixed-Criticality Real-Time Embedded Systems
Recommendations
Optimization of Time-Partitions for Mixed-Criticality Real-Time Distributed Embedded Systems
ISORCW '11: Proceedings of the 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing WorkshopsIn this paper we are interested in mixed-criticality embedded real-time applications mapped on distributed heterogeneous architectures. The architecture provides both spatial and temporal partitioning, thus enforcing enough separation for the critical ...
Mixed-criticality scheduling in real-time multiprocessor systems
FRUCT '18: Proceedings of the 18th Conference of Open Innovations Association FRUCTThe relevance and popularity of mixed-criticality real-time systems precipitously increase in many industrial domains. Today, mixed-criticality systems are increasingly being implemented on multicore platforms. So, one of the most actual and important ...






Comments