{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T07:21:54Z","timestamp":1778743314387,"version":"3.51.4"},"reference-count":63,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2015,4,30]],"date-time":"2015-04-30T00:00:00Z","timestamp":1430352000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Advanced Research & Technology for Embedded Intelligence and Systems (ARTEMIS) within the project &ldquo;RECOMP,&rdquo; support code 01IS10001A, agreement no. 100202"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2015,5,21]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/2700103","type":"journal-article","created":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T17:49:08Z","timestamp":1430502548000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["Design Optimization of Mixed-Criticality Real-Time Embedded Systems"],"prefix":"10.1145","volume":"14","author":[{"given":"Domi\u0163ian","family":"T\u0103ma\u015f-Selicean","sequence":"first","affiliation":[{"name":"Technical University of Denmark, Kongens Lyngby, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Pop","sequence":"additional","affiliation":[{"name":"Technical University of Denmark, Kongens Lyngby, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,4,30]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proceedings of Real-Time Systems Symposium. 4--13","author":"Abeni L."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/361604.361619"},{"key":"e_1_2_1_3_1","unstructured":"ARINC. 1997. ARINC 651-1: Design Guidance for Integrated Modular Avionics. ARINC (Aeronautical Radio Inc).  ARINC. 1997. ARINC 651-1: Design Guidance for Integrated Modular Avionics. ARINC (Aeronautical Radio Inc)."},{"key":"e_1_2_1_4_1","unstructured":"ARINC. 2013. ARINC 653P0: Avionics Application Software Standard Interface Part 0 Overview of ARINC 653. ARINC (Aeronautical Radio Inc).  ARINC. 2013. ARINC 653P0: Avionics Application Software Standard Interface Part 0 Overview of ARINC 653. ARINC (Aeronautical Radio Inc)."},{"key":"e_1_2_1_5_1","unstructured":"AS 6802. 2011. Time-triggered ethernet. SAE International.  AS 6802. 2011. Time-triggered ethernet. SAE International."},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of Euromicro Workshop on Real-Time Systems. 36--41","author":"Audsley N."},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the Workshop on Critical Automotive applications: Robustness and Safety.","author":"Azevedo L. S."},{"key":"e_1_2_1_8_1","unstructured":"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.  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."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.16"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/998685.1007004"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.7"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2120959.2121115"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.10"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2008.26"},{"key":"e_1_2_1_15_1","volume-title":"Proceedings of the Annual European Symposium on Algorithms. 555--566","author":"Baruah S. K."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.12"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2001.963309"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018991717352"},{"key":"e_1_2_1_19_1","unstructured":"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.   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."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.2000.1714"},{"key":"e_1_2_1_21_1","unstructured":"G. Buttazzo. 1997. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer Academic Boston.   G. Buttazzo. 1997. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer Academic Boston."},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe. 21176--21181","author":"Cort\u00e9s L. A."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.46"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.605989"},{"key":"e_1_2_1_25_1","unstructured":"R. Dick. 2005. Embedded System Synthesis Benchmarks Suite. Retrieved from http:\/\/ziyang.eecs.umich.edu\/&sim;dickrp\/e3s\/.  R. Dick. 2005. Embedded System Synthesis Benchmarks Suite. Retrieved from http:\/\/ziyang.eecs.umich.edu\/&sim;dickrp\/e3s\/."},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the 10th International Forum on Embedded MPSoC and Multicore.","author":"Ernst Rolf","year":"2010"},{"key":"e_1_2_1_27_1","unstructured":"M. Gendreau. 2002. An Introduction to Tabu Search. Centre for Research on Transportation.  M. Gendreau. 2002. An Introduction to Tabu Search. Centre for Research on Transportation."},{"key":"e_1_2_1_28_1","first-page":"1","article-title":"Scheduling of mixed-criticality applications on resource-sharing multicore systems. In International Conference on Embedded Software (EMSOFT\u201913)","volume":"17","author":"Giannopoulou G.","year":"2013","journal-title":"Montreal"},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the Design, Automation and Test in Europe Conference an Exhibition (DATE), Hot-Topic Session on Predictable Multicore Computing. IEEE, 1--6.","author":"Giannopoulou G."},{"key":"e_1_2_1_30_1","doi-asserted-by":"crossref","unstructured":"F. Glover and M. Laguna. 1997. Tabu Search. Kluwer Academic Norwell MA.   F. Glover and M. Laguna. 1997. Tabu Search. Kluwer Academic Norwell MA.","DOI":"10.1007\/978-1-4615-6089-0"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/62.199819"},{"key":"e_1_2_1_32_1","unstructured":"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.  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."},{"key":"e_1_2_1_33_1","unstructured":"IEC 61508. 2010. IEC 61508: Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems. International Electrotechnical Commission.  IEC 61508. 2010. IEC 61508: Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems. International Electrotechnical Commission."},{"key":"e_1_2_1_34_1","unstructured":"ISO 26262. 2009. ISO 26262\u2014Road Vehicles Functional Safety. International Organization for Standardization\/Technical Committee 22 (ISO\/TC 22).  ISO 26262. 2009. ISO 26262\u2014Road Vehicles Functional Safety. International Organization for Standardization\/Technical Committee 22 (ISO\/TC 22)."},{"key":"e_1_2_1_35_1","unstructured":"ISO 9001. 2008. Quality Management Systems\u2014Requirements. International Organization for Standardization.  ISO 9001. 2008. Quality Management Systems\u2014Requirements. International Organization for Standardization."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403596"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.3"},{"key":"e_1_2_1_38_1","doi-asserted-by":"crossref","unstructured":"H. Kopetz. 2011. Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer.   H. Kopetz. 2011. Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer.","DOI":"10.1007\/978-1-4419-8237-7_11"},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of Dependable Systems and Networks. 14--23","author":"Lee Yann-Hang"},{"key":"e_1_2_1_40_1","doi-asserted-by":"crossref","unstructured":"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.   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.","DOI":"10.1007\/978-3-540-75101-4_33"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.18"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.41"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2010.320"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772643.1772646"},{"key":"e_1_2_1_45_1","doi-asserted-by":"crossref","unstructured":"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&lowbar;46  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&lowbar;46","DOI":"10.1007\/978-3-642-38577-3"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/301177.303812"},{"key":"e_1_2_1_47_1","unstructured":"P. Pop P. Eles and Z. Peng. 2004. Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems. Kluwer Academic Publishers.  P. Pop P. Eles and Z. Peng. 2004. Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems. Kluwer Academic Publishers."},{"key":"e_1_2_1_48_1","volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe. 21028--21033","author":"Pop P."},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142980.1142984"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2008.2003166"},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the Workshop on Industry-Driven Approaches for Cost-Effective Certification of Safety-Critical, Mixed-Criticality Systems.","author":"Pop P."},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/s 10766-007-0059-9"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9040-3"},{"key":"e_1_2_1_55_1","unstructured":"RTCA DO-178B. 1992. Software considerations in airborne systems and equipment certification. Radio Technical Commission for Aeronautics (RTCA).  RTCA DO-178B. 1992. Software considerations in airborne systems and equipment certification. Radio Technical Commission for Aeronautics (RTCA)."},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.31"},{"key":"e_1_2_1_58_1","doi-asserted-by":"crossref","volume-title":"Task Scheduling for Parallel Systems","author":"Sinnen O.","DOI":"10.1002\/0470121173"},{"key":"e_1_2_1_59_1","unstructured":"N. R. Storey. 1996. Safety Critical Computer Systems. Addison-Wesley Longman Boston MA.   N. R. Storey. 1996. Safety Critical Computer Systems. Addison-Wesley Longman Boston MA."},{"key":"e_1_2_1_60_1","unstructured":"D. T\u0103ma\u015f-Selicean P. Pop and J. Madsen. 2014. Design of Mixed-Criticality Applications on Distributed Real-Time Systems. Technical University of Denmark.  D. T\u0103ma\u015f-Selicean P. Pop and J. Madsen. 2014. Design of Mixed-Criticality Applications on Distributed Real-Time Systems. Technical University of Denmark."},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORCW.2011.11"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380445.2380518"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(75)80008-0"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.35"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.210308"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2700103","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2700103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:17:00Z","timestamp":1750227420000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2700103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,30]]},"references-count":63,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,5,21]]}},"alternative-id":["10.1145\/2700103"],"URL":"https:\/\/doi.org\/10.1145\/2700103","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,30]]},"assertion":[{"value":"2014-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-11-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-04-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}