{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T20:40:58Z","timestamp":1769114458485,"version":"3.49.0"},"reference-count":91,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2022,8,6]],"date-time":"2022-08-06T00:00:00Z","timestamp":1659744000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,8,6]],"date-time":"2022-08-06T00:00:00Z","timestamp":1659744000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["694277"],"award-info":[{"award-number":["694277"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2022,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In real-time systems, priorities assigned to real-time tasks determine the order of task executions, by relying on an underlying task scheduling policy. Assigning optimal priority values to tasks is critical to allow the tasks to complete their executions while maximizing safety margins from their specified deadlines. This enables real-time systems to tolerate unexpected overheads in task executions and still meet their deadlines. In practice, priority assignments result from an interactive process between the development and testing teams. In this article, we propose an automated method that aims to identify the best possible priority assignments in real-time systems, accounting for multiple objectives regarding safety margins and engineering constraints. Our approach is based on a multi-objective, competitive coevolutionary algorithm mimicking the interactive priority assignment process between the development and testing teams. We evaluate our approach by applying it to six industrial systems from different domains and several synthetic systems. The results indicate that our approach significantly outperforms both our baselines, i.e., random search and sequential search, and solutions defined by practitioners. Our approach scales to complex industrial systems as an offline analysis method that attempts to find near-optimal solutions within acceptable time, i.e., less than 16 hours.<\/jats:p>","DOI":"10.1007\/s10664-022-10170-1","type":"journal-article","created":{"date-parts":[[2022,8,6]],"date-time":"2022-08-06T07:14:24Z","timestamp":1659770064000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Optimal priority assignment for real-time systems: a coevolution-based approach"],"prefix":"10.1007","volume":"27","author":[{"given":"Jaekwon","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9025-7173","authenticated-orcid":false,"given":"Seung Yeob","family":"Shin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,8,6]]},"reference":[{"key":"10170_CR1","doi-asserted-by":"crossref","unstructured":"Abdessalem RB, Panichella A, Nejati S, Briand LC, Stifter T (2020) Automated repair of feature interaction failures in automated driving systems. In: Proceedings of the 29th ACM SIGSOFT international symposium on software testing and analysis (ISSTA\u201920), pp 88\u2013100","DOI":"10.1145\/3395363.3397386"},{"key":"10170_CR2","doi-asserted-by":"crossref","unstructured":"Andrade SS, Mac\u00eado RJdA (2013) A search-based approach for architectural design of feedback control concerns in self-adaptive systems. In: Proceedings of the 2013 IEEE 7th international conference on self-adaptive and self-organizing systems (SASO\u201913), pp 61\u201370","DOI":"10.1109\/SASO.2013.42"},{"key":"10170_CR3","doi-asserted-by":"crossref","unstructured":"Anssi S, Tucci-Piergiovanni S, Kuntz S, G\u00e9rard S, Terrier F (2011) Enabling scheduling analysis for AUTOSAR systems. In: Proceedings of the 14th IEEE international symposium on Object\/Component\/Service-Oriented real-time distributed computing (ISORC\u201911), pp 152\u2013159","DOI":"10.1109\/ISORC.2011.28"},{"issue":"3","key":"10170_CR4","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/stvr.1486","volume":"24","author":"A Arcuri","year":"2014","unstructured":"Arcuri A, Briand LC (2014) A hitchhiker\u2019s guide to statistical tests for assessing randomized algorithms in software engineering. Software Testing, Verification and Reliability 24(3):219\u2013250","journal-title":"Software Testing, Verification and Reliability"},{"key":"10170_CR5","doi-asserted-by":"crossref","unstructured":"Arcuri A, Fraser G (2011) On parameter tuning in search based software engineering. In: Proceedings of the 3th international symposium on search based software engineering (SSBSE\u201911), pp 33\u201347","DOI":"10.1007\/978-3-642-23716-4_6"},{"key":"10170_CR6","doi-asserted-by":"crossref","unstructured":"Arcuri A, Iqbal MZ, Briand LC (2010) Black-box system testing of real-time embedded systems using random and search-based testing. In: Proceedings of the IFIP international conference on testing software and systems (ICTSS\u201910), vol 6435, pp 95\u2013110","DOI":"10.1007\/978-3-642-16573-3_8"},{"key":"10170_CR7","unstructured":"Arpaci-Dusseau RH, Arpaci-Dusseau AC (2018) Operating Systems: Three Easy Pieces, 1st edn., Arpaci-Dusseau Books"},{"key":"10170_CR8","unstructured":"Audsley NC (1991) Optimal priority assignment and feasibility of static priority tasks with arbitrary start times. Tech. rep. Dept. Computer Science, University of York"},{"issue":"1","key":"10170_CR9","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0020-0190(00)00165-4","volume":"79","author":"NC Audsley","year":"2001","unstructured":"Audsley NC (2001) On priority assignment in fixed priority scheduling. Inform Process Lett 79(1):39\u201344","journal-title":"Inform Process Lett"},{"key":"10170_CR10","doi-asserted-by":"crossref","unstructured":"Baruah SK, Burns A, Davis RI (2011) Response-time analysis for mixed criticality systems. In: Proceedings of the 2011 IEEE 32nd real-time systems symposium (RTSS\u201911), pp 34\u201343","DOI":"10.1109\/RTSS.2011.12"},{"key":"10170_CR11","doi-asserted-by":"crossref","unstructured":"Behrmann G, David A, Larsen KG (2004) A tutorial on UPPAAL. In: Formal methods for the design of real-time systems: international school on formal methods for the design of computer, communication, and software systems, pp 200\u2013236","DOI":"10.1007\/978-3-540-30080-9_7"},{"issue":"4","key":"10170_CR12","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/12.919277","volume":"50","author":"G Bernat","year":"2001","unstructured":"Bernat G, Burns A (2001) Weakly hard real-time systems. IEEE Trans Comput 50(4):308\u2013321","journal-title":"IEEE Trans Comput"},{"key":"10170_CR13","doi-asserted-by":"crossref","unstructured":"Boussaa M, Kessentini W, Kessentini M, Bechikh S, Ben Chikha S (2013) Competitive coevolutionary code-smells detection. In: Proceedings of the 5th international symposium on search based software engineering (SSBSE\u201913), pp 50\u201365","DOI":"10.1007\/978-3-642-39742-4_6"},{"key":"10170_CR14","doi-asserted-by":"crossref","unstructured":"Briand LC, Labiche Y, Shousha M (2005) Stress testing real-time systems with genetic algorithms. In: Proceedings of the 7th annual conference on genetic and evolutionary computation (GECCO\u201905), pp 1021\u20131028","DOI":"10.1145\/1068009.1068183"},{"issue":"2","key":"10170_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3204459","volume":"27","author":"T Chen","year":"2018","unstructured":"Chen T, Li K, Bahsoon R, Yao X (2018) FEMOSAA: Feature-guided and knee-driven multi-objective optimization for self-adaptive software. ACM Transactions on Software Engineering and Methodology 27(2):1\u201350","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"1","key":"10170_CR16","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.jss.2009.02.022","volume":"83","author":"TY Chen","year":"2010","unstructured":"Chen TY, Kuo FC, Merkel RG, Tse TH (2010) Adaptive Random Testing: The ART of test case diversity. Journal of Systems and Software 83(1):60\u201366","journal-title":"Journal of Systems and Software"},{"issue":"3","key":"10170_CR17","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s11241-008-9058-1","volume":"40","author":"Y Chu","year":"2008","unstructured":"Chu Y, Burns A (2008) Flexible hard real-time scheduling for deliberative AI systems. Real-Time Systems 40(3):241\u2013263","journal-title":"Real-Time Systems"},{"key":"10170_CR18","doi-asserted-by":"crossref","unstructured":"Davis RI, Bertogna M (2012) Optimal fixed priority scheduling with deferred pre-emption. In: Proceedings of the 2012 IEEE 33rd real-time systems symposium (RTSS\u201912), pp 39\u201350","DOI":"10.1109\/RTSS.2012.57"},{"key":"10170_CR19","doi-asserted-by":"crossref","unstructured":"Davis RI, Burns A (2007) Robust priority assignment for fixed priority real-time systems. In: Proceedings of the 28th IEEE international real-time systems symposium (RTSS\u201907), pp 3\u201314","DOI":"10.1109\/RTSS.2007.11"},{"issue":"2","key":"10170_CR20","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/s11241-008-9065-2","volume":"41","author":"RI Davis","year":"2009","unstructured":"Davis RI, Burns A (2009) Robust priority assignment for messages on Controller Area Network (CAN). Real-Time Systems 41(2):152\u2013180","journal-title":"Real-Time Systems"},{"issue":"1","key":"10170_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11241-010-9106-5","volume":"47","author":"RI Davis","year":"2011","unstructured":"Davis RI, Burns A (2011) Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. Real-Time Systems 47(1):1\u201340","journal-title":"Real-Time Systems"},{"issue":"9","key":"10170_CR22","doi-asserted-by":"publisher","first-page":"1261","DOI":"10.1109\/TC.2008.66","volume":"57","author":"RI Davis","year":"2008","unstructured":"Davis RI, Zabos A, Burns A (2008) Efficient exact schedulability tests for fixed priority real-time systems. IEEE Trans Comput 57(9):1261\u20131276","journal-title":"IEEE Trans Comput"},{"key":"10170_CR23","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.sysarc.2016.04.002","volume":"65","author":"RI Davis","year":"2016","unstructured":"Davis RI, Cucu-Grosjean L, Bertogna M, Burns A (2016) A review of priority assignment in real-time systems. Journal of Systems Architecture 65:64\u201382","journal-title":"Journal of Systems Architecture"},{"issue":"2","key":"10170_CR24","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1109\/4235.996017","volume":"6","author":"K Deb","year":"2002","unstructured":"Deb K, Pratap A, Agarwal S, Meyarivan T (2002) A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Transactions on Evolutionary Computation 6(2):182\u2013197","journal-title":"IEEE Transactions on Evolutionary Computation"},{"key":"10170_CR25","doi-asserted-by":"crossref","unstructured":"Di Alesio S, Gotlieb A, Nejati S, Briand LC (2012) Testing deadline misses for real-time systems using constraint optimization techniques. In: Proceedings of the 2012 IEEE 5th international conference on software testing, verification and validation (ICST\u201912), pp 764\u2013769","DOI":"10.1109\/ICST.2012.171"},{"key":"10170_CR26","doi-asserted-by":"crossref","unstructured":"Di Alesio S, Nejati S, Briand LC, Gotlieb A (2013) Stress testing of task deadlines: A constraint programming approach. In: Proceedings of the IEEE 24th international symposium on software reliability engineering (ISSRE\u201913), pp 158\u2013167","DOI":"10.1109\/ISSRE.2013.6698915"},{"issue":"1","key":"10170_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2818640","volume":"25","author":"S Di Alesio","year":"2015","unstructured":"Di Alesio S, Briand LC, Nejati S, Gotlieb A (2015) Combining genetic algorithms and constraint programming to support stress testing of task deadlines. ACM Transactions on Software Engineering and Methodology 25(1):1\u201337","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"10","key":"10170_CR28","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1016\/j.advengsoft.2011.05.014","volume":"42","author":"JJ Durillo","year":"2011","unstructured":"Durillo JJ, Nebro AJ (2011) JMetal: A java framework for multi-objective optimization. Advances in Engineering Software 42(10):760\u2013771","journal-title":"Advances in Engineering Software"},{"issue":"5s","key":"10170_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3358181","volume":"18","author":"M Du\u0307rr","year":"2019","unstructured":"Du\u0307rr M, Bru\u0307ggen G V D, Chen KH, Chen JJ (2019) End-to-end timing analysis of sporadic cause-effect chains in distributed systems. ACM Transactions on Embedded Computing Systems 18(5s):1\u201324","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"10170_CR30","unstructured":"Emberson P, Stafford R, Davis RI (2010) Techniques for the synthesis of multiprocessor tasksets. In: Proceedings of the 1st international workshop on analysis tools and methodologies for embedded and real-time systems (WATERS\u201910), pp 6\u201311"},{"key":"10170_CR31","unstructured":"Ficici SG (2004) Solution concepts in coevolutionary algorithms. Ph.d. thesis, Brandeis University, Department of Computer Science, Waltham, MA"},{"key":"10170_CR32","doi-asserted-by":"crossref","unstructured":"Fineberg MS, Serlin O (1967) Multiprogramming for hybrid computation. In: Proceedings of the AFIPS fall joint computing conference (AFIPS\u201967), pp 1\u201313","DOI":"10.1145\/1465611.1465613"},{"key":"10170_CR33","doi-asserted-by":"crossref","unstructured":"Gendreau M, Potvin JY (2010) Handbook of Metaheuristics. Springer","DOI":"10.1007\/978-1-4419-1665-5"},{"key":"10170_CR34","unstructured":"George L, Rivierre N, Spuri M (1996) Preemptive and non-preemptive real-time uniprocessor scheduling. Research Report RR-2966, INRIA, projet REFLECS"},{"key":"10170_CR35","unstructured":"Goldberg DE, Lingle R (1985) Alleleslociand the traveling salesman problem. In: Proceedings of the 1st international conference on genetic algorithms, pp 154\u2013159"},{"issue":"1","key":"10170_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11241-017-9282-7","volume":"54","author":"W Grass","year":"2018","unstructured":"Grass W, Nguyen THC (2018) Improved response-time bounds in fixed priority scheduling with arbitrary deadlines. Real-Time Systems 54(1):1\u201330","journal-title":"Real-Time Systems"},{"key":"10170_CR37","doi-asserted-by":"crossref","unstructured":"Guan N, Stigge M, Yi W, Yu G (2009) New response time bounds for fixed priority multiprocessor scheduling. In: Proceedings of the 2009 30th IEEE international real-time systems symposium (RTSS\u201909), pp 387\u2013397","DOI":"10.1109\/RTSS.2009.11"},{"issue":"1","key":"10170_CR38","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/3199610.3199616","volume":"15","author":"L Hatvani","year":"2018","unstructured":"Hatvani L, Afshar S, Bril RJ (2018) Optimal priority and threshold assignment for fixed-priority preemption threshold scheduling. ACM SIGBED Review 15(1):43\u201349","journal-title":"ACM SIGBED Review"},{"issue":"1","key":"10170_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2430536.2430540","volume":"22","author":"H Hemmati","year":"2013","unstructured":"Hemmati H, Arcuri A, Briand LC (2013) Achieving scalable model-based testing through test case diversity. ACM Transactions on Software Engineering and Methodology 22(1):1\u201342","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10170_CR40","doi-asserted-by":"crossref","unstructured":"Ishibuchi H, Masuda H, Tanigaki Y, Nojima Y (2015) Modified distance calculation in generational distance and inverted generational distance. In: Proceedings of the 8th international conference on evolutionary multi-criterion optimization (EMO\u201915), pp 110\u2013125","DOI":"10.1007\/978-3-319-15892-1_8"},{"key":"10170_CR41","doi-asserted-by":"crossref","unstructured":"Islam MM, Marchetto A, Susi A, Scanniello G (2012) A multi-objective technique to prioritize test cases based on latent semantic indexing. In: Proceedings of the 2012 16th European conference on software maintenance and reengineering (CSMR\u201912), pp 21\u201330","DOI":"10.1109\/CSMR.2012.13"},{"issue":"2","key":"10170_CR42","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1162\/106365600568167","volume":"8","author":"JD Knowles","year":"2000","unstructured":"Knowles JD, Corne DW (2000) Approximating the nondominated front using the pareto archived evolution strategy. Evolutionary Computation 8(2):149\u2013172","journal-title":"Evolutionary Computation"},{"key":"10170_CR43","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1002\/wics.1314","volume":"6","author":"DP Kroese","year":"2014","unstructured":"Kroese DP, Brereton TJ, Taimre T, Botev ZI (2014) Why the Monte Carlo method is so important today. Wiley Interdisciplinary Reviews: Computational Statistics 6:386\u2013392","journal-title":"Wiley Interdisciplinary Reviews: Computational Statistics"},{"key":"10170_CR44","doi-asserted-by":"crossref","unstructured":"Kwiatkowska M, Norman G, Parker D (2011) PRISM 4.0: Verification of probabilistic real-time systems. In: Proceedings of the 23rd international conference on computer aided verification (CAV\u201911), pp 585\u2013591","DOI":"10.1007\/978-3-642-22110-1_47"},{"issue":"12","key":"10170_CR45","doi-asserted-by":"publisher","first-page":"2416","DOI":"10.1016\/j.jss.2010.07.027","volume":"83","author":"WB Langdon","year":"2010","unstructured":"Langdon WB, Harman M, Jia Y (2010) Efficient multi-objective higher order mutation testing with genetic programming. Journal of Systems and Software 83(12):2416\u20132430","journal-title":"Journal of Systems and Software"},{"key":"10170_CR46","doi-asserted-by":"publisher","first-page":"185570","DOI":"10.1109\/ACCESS.2020.3029040","volume":"8","author":"H Lee","year":"2020","unstructured":"Lee H, Lee J, Yeom I, Woo H (2020a) Panda: Reinforcement learning-based priority assignment for multi-processor real-time scheduling. IEEE Access 8:185570\u2013185583","journal-title":"IEEE Access"},{"key":"10170_CR47","unstructured":"Lee J, Shin SY, Nejati S, Briand LC, Parache YI (2020b) Schedulability analysis of real-time systems with uncertain worst-case execution times. arXiv:abs\/2007.10490"},{"key":"10170_CR48","unstructured":"Lee J, Shin SY, Nejati S, Briand LC (2021) [Evaluation package] Optimal priority assignment method for real-time systems. https:\/\/github.com\/SNTSVV\/OPAM"},{"key":"10170_CR49","doi-asserted-by":"crossref","unstructured":"Legay A, Delahaye B, Bensalem S (2010) Statistical model checking: An overview. In: Proceedings of the international conference on runtime verification (RV\u201910), pp 122\u2013135","DOI":"10.1007\/978-3-642-16612-9_11"},{"issue":"4","key":"10170_CR50","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0166-5316(82)90024-4","volume":"2","author":"JYT Leung","year":"1982","unstructured":"Leung JYT, Whitehead J (1982) On the complexity of fixed-priority scheduling of periodic, real-time tasks. Performance Evaluation 2(4):237\u2013250","journal-title":"Performance Evaluation"},{"key":"10170_CR51","unstructured":"Li M, Chen T, Yao X (2020) How to evaluate solutions in Pareto-based search-based software engineering? A critical review and methodological guidance. IEEE Transactions on Software Engineering"},{"issue":"1","key":"10170_CR52","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/TII.2009.2014055","volume":"5","author":"M Lin","year":"2009","unstructured":"Lin M, Xu L, Yang LT, Qin X, Zheng N, Wu Z, Qiu M (2009) Static security optimization for real-time systems. IEEE Transactions on Industrial Informatics 5(1):22\u201337","journal-title":"IEEE Transactions on Industrial Informatics"},{"issue":"1","key":"10170_CR53","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu CL, Layland JW (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM 20(1):46\u201361","journal-title":"Journal of the ACM"},{"key":"10170_CR54","unstructured":"Liu JWS (2000) Real-Time Systems, 1st edn. Prentice Hall PTR"},{"key":"10170_CR55","unstructured":"Locke CD, Vogel DR, Lucas L, Goodenough JB (1990) Generic avionics software specification. Tech. rep., DTIC Document"},{"key":"10170_CR56","unstructured":"Luke S (2013) Essentials of Metaheuristics. 2nd edn, Lulu, available for free at http:\/\/cs.gmu.edu\/~sean\/book\/metaheuristics\/"},{"key":"10170_CR57","unstructured":"LuxSpace (2021) ESAIL. https:\/\/luxspace.lu\/triton-2\/"},{"issue":"1","key":"10170_CR58","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1214\/aoms\/1177730491","volume":"18","author":"HB Mann","year":"1947","unstructured":"Mann HB, Whitney DR (1947) On a test of whether one of two random variables is stochastically larger than the other. Annals of Mathematical Statistics 18(1):50\u201360","journal-title":"Annals of Mathematical Statistics"},{"issue":"10","key":"10170_CR59","doi-asserted-by":"publisher","first-page":"918","DOI":"10.1109\/TSE.2015.2510633","volume":"42","author":"A Marchetto","year":"2016","unstructured":"Marchetto A, Islam MM, Asghar W, Susi A, Scanniello G (2016) A multi-objective technique to prioritize test cases. IEEE Transactions on Software Engineering 42(10):918\u2013940","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10170_CR60","doi-asserted-by":"crossref","unstructured":"Meneghini IR, Guimar\u00e3es F G, Gaspar-Cunha A (2016) Competitive coevolutionary algorithm for robust multi-objective optimization: The worst case minimization. In: Proceedings of the 2016 IEEE congress on evolutionary computation (CEC\u201916), pp 586\u2013593","DOI":"10.1109\/CEC.2016.7743846"},{"key":"10170_CR61","doi-asserted-by":"crossref","unstructured":"Miku\u010dionis M, Larsen KG, Rasmussen JI, Nielsen B, Skou A, Palm SU, Pedersen JS, Hougaard P (2010) Schedulability analysis using UPPAAL: Herschel-Planck case study. In: Proceedings of the international symposium on leveraging applications of formal methods, verification and validation (ISoLA\u201910), pp 175\u2013190","DOI":"10.1007\/978-3-642-16561-0_21"},{"key":"10170_CR62","doi-asserted-by":"crossref","unstructured":"Nejati S, Briand LC (2014) Identifying optimal trade-offs between CPU time usage and temporal constraints using search. In: Proceedings of the 2014 international symposium on software testing and analysis (ISSTA\u201914), pp 351\u2013361","DOI":"10.1145\/2610384.2610396"},{"key":"10170_CR63","doi-asserted-by":"crossref","unstructured":"Nejati S, Di Alesio S, Sabetzadeh M, Briand LC (2012) Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing. In: Proceedings of the 15th international conference of model driven engineering languages and systems (MODELS\u201912), vol 7590, pp 759\u2013775","DOI":"10.1007\/978-3-642-33666-9_48"},{"key":"10170_CR64","doi-asserted-by":"crossref","unstructured":"Nejati S, Adedjouma M, Briand LC, Hellebaut J, Begey J, Clement Y (2013) Minimizing CPU time shortage risks in integrated embedded software. In: Proceedings of the 28th IEEE\/ACM international conference on automated software engineering (ASE\u201913), pp 529\u2013539","DOI":"10.1109\/ASE.2013.6693110"},{"issue":"12","key":"10170_CR65","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1109\/32.637388","volume":"23","author":"D Peng","year":"1997","unstructured":"Peng D, Shin KG, Abdelzaher TF (1997) Assignment and scheduling communicating periodic tasks in distributed real-time systems. IEEE Transactions on Software Engineering 23(12):745\u2013758","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10170_CR66","unstructured":"Peraldi-Frati MA, Sorel Y (2008) From high-level modelling of time in MARTE to real-time scheduling analysis. In: Proceedings of the MODELS\u201908 workshop on model based architecting and construction of embedded systems (ACES-MB), vol 503, pp 129\u2013144"},{"key":"10170_CR67","doi-asserted-by":"crossref","unstructured":"Popovici E, Bucci A, Wiegand RP, De Jong ED (2012) Coevolutionary principles. In: Handbook of natural computing. Springer, pp 987\u20131033","DOI":"10.1007\/978-3-540-92910-9_31"},{"key":"10170_CR68","unstructured":"Ralph P, bin Ali N, Baltes S, Bianculli D, Diaz J, Dittrich Y, Ernst N, Felderer M, Feldt R, Filieri A, de Fran\u00e7a BBN, Furia CA, Gay G, Gold N, Graziotin D, He P, Hoda R, Juristo N, Kitchenham B, Lenarduzzi V, Mart\u00ednez J, Melegati J, Mendez D, Menzies T, Molleri J, Pfahl D, Robbes R, Russo D, Saarim\u00e4ki N, Sarro F, Taibi D, Siegmund J, Spinellis D, Staron M, Stol K, Storey MA, Taibi D, Tamburri D, Torchiano M, Treude C, Turhan B, Wang X, Vegas S (2020) Empirical standards for software engineering research. 2010.03525"},{"key":"10170_CR69","doi-asserted-by":"crossref","unstructured":"Sayyad AS, Goseva-Popstojanova K, Menzies T, Ammar H (2013) On parameter tuning in search based software engineering: A replicated empirical study. In: Proceedings of the 2013 3rd international workshop on replication in empirical software engineering research (RESER\u201913), pp 84\u201390","DOI":"10.1109\/RESER.2013.6"},{"key":"10170_CR70","doi-asserted-by":"crossref","unstructured":"Shin SY, Nejati S, Sabetzadeh M, Briand LC, Zimmer F (2018) Test case prioritization for acceptance testing of cyber physical systems: A multi-objective search-based approach. In: Proceedings of the 27th ACM SIGSOFT international symposium on software testing and analysis (ISSTA\u201918), pp 49\u201360","DOI":"10.1145\/3213846.3213852"},{"key":"10170_CR71","doi-asserted-by":"crossref","unstructured":"Shin SY, Nejati S, Sabetzadeh M, Briand LC, Arora C, Zimmer F (2020) Dynamic adaptation of software-defined networks for IoT systems: A search-based approach. In: Proceedings of the IEEE\/ACM 15th international symposium on software engineering for adaptive and self-managing systems (SEAMS\u201920), pp 137\u2013148","DOI":"10.1145\/3387939.3391603"},{"key":"10170_CR72","volume-title":"Introduction to Genetic Algorithms","author":"SN Sivanandam","year":"2008","unstructured":"Sivanandam SN, Deepa SN (2008) Introduction to Genetic Algorithms, 1st edn. Springer, Berlin","edition":"1st edn."},{"key":"10170_CR73","doi-asserted-by":"crossref","unstructured":"Tan SH, Yoshida H, Prasad MR, Roychoudhury A (2016) Anti-patterns in search-based program repair. In: Proceedings of the 2016 24th ACM SIGSOFT international symposium on foundations of software engineering (FSE\u201916), pp 727\u2013738","DOI":"10.1145\/2950290.2950295"},{"issue":"2","key":"10170_CR74","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF01088593","volume":"6","author":"KW Tindell","year":"1994","unstructured":"Tindell KW, Burns RA, Wellings A (1994) An extendible approach for analyzing fixed priority hard real-time tasks. Real-Time Systems 6(2):133\u2013151","journal-title":"Real-Time Systems"},{"key":"10170_CR75","doi-asserted-by":"crossref","unstructured":"Traore K, Grolleau E, Cottet F (2006) Simpler analysis of serial transactions using reverse transactions. In: Proceedings of the international conference on autonomic and autonomous systems (ICAS\u201906), p 11","DOI":"10.1109\/ICAS.2006.53"},{"issue":"2","key":"10170_CR76","first-page":"101","volume":"25","author":"A Vargha","year":"2000","unstructured":"Vargha A, Delaney H (2000) A critique and improvement of the \u201cCL\u201d common language effect size statistics of McGraw and Wong. Journal of Educational and Behavioral Statistics 25(2):101\u2013132","journal-title":"Journal of Educational and Behavioral Statistics"},{"key":"10170_CR77","doi-asserted-by":"crossref","unstructured":"Varrette S, Bouvry P, Cartiaux H, Georgatos F (2014) Management of an academic HPC cluster: The UL experience. In: Proceedings of the 2014 international conference on high performance computing & simulation (HPCS\u201914), pp 959\u2013967","DOI":"10.1109\/HPCSim.2014.6903792"},{"key":"10170_CR78","unstructured":"Veldhuizen DAV, Lamont GB (1998) Multiobjective evolutionary algorithm research : A history and analysis. Tech. RepTR\u201398\u201303, Air Force Institute of Technology, Wright-Patterson AFB"},{"issue":"5","key":"10170_CR79","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/cpe.5464","volume":"32","author":"P Wang","year":"2020","unstructured":"Wang P, Huang J, Cui Z, Xie L, Chen J (2020) A gaussian error correction multi-objective positioning model with NSGA\u2013II. Concurrency and Computation: Practice and Experience 32(5):1\u201316","journal-title":"Concurrency and Computation: Practice and Experience"},{"issue":"3","key":"10170_CR80","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1008096431840","volume":"15","author":"J Wegener","year":"1998","unstructured":"Wegener J, Grochtmann M (1998) Verifying timing constraints of real-time systems by means of evolutionary testing. Real-Time Systems 15(3):275\u2013298","journal-title":"Real-Time Systems"},{"issue":"2","key":"10170_CR81","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1023\/A:1018551716639","volume":"6","author":"J Wegener","year":"1997","unstructured":"Wegener J, Sthamer H, Jones BF, Eyres DE (1997) Testing real-time systems using genetic algorithms. Software Quality Journal 6(2):127\u2013135","journal-title":"Software Quality Journal"},{"key":"10170_CR82","doi-asserted-by":"crossref","unstructured":"Weimer W, Nguyen T, Le Goues C, Forrest S (2009) Automatically finding patches using genetic programming. In: Proceedings of the 31st international conference on software engineering (ICSE\u201909), pp 364\u2013374","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"10170_CR83","unstructured":"Whitley D, Kauth J (1988) GENITOR: A different genetic algorithm. In: Proceedings of the 1988 rocky mountain conference on artificial intelligence, pp 118\u2013130"},{"key":"10170_CR84","doi-asserted-by":"crossref","unstructured":"Wilkerson JL, Tauritz D (2010) Coevolutionary automated software correction. In: Proceedings of the 12th annual conference on genetic and evolutionary computation (GECCO\u201910), pp 1391\u20131392","DOI":"10.1145\/1830483.1830739"},{"key":"10170_CR85","doi-asserted-by":"crossref","unstructured":"Wilkerson JL, Tauritz DR, Bridges JM (2012) Multi-objective coevolutionary automated software correction. In: Proceedings of the 14th annual conference on genetic and evolutionary computation (GECCO\u201912), pp 1229\u20131236","DOI":"10.1145\/2330163.2330333"},{"key":"10170_CR86","doi-asserted-by":"crossref","unstructured":"Yalcinkaya B, Nasri M, Brandenburg BB (2019) An exact schedulability test for non-preemptive self-suspending real-time tasks. In: Proceedings of the 2019 design, automation & test in europe conference & exhibition (DATE\u201919), pp 1228\u20131233","DOI":"10.23919\/DATE.2019.8715111"},{"key":"10170_CR87","unstructured":"Yu F, Li G, Xiong N (2010) Schedulability analysis of multi-processor real-time systems using UPPAAL. In: Proceedings of the 2nd international conference on information science and engineering (ICISE\u201910), pp 1\u20136"},{"issue":"5s","key":"10170_CR88","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2632160","volume":"13","author":"H Zeng","year":"2014","unstructured":"Zeng H, Natale MD, Zhu Q (2014) Minimizing stack and communication memory usage in real-time embedded applications. ACM Transactions on Embedded Computing Systems 13(5s):1\u201325","journal-title":"ACM Transactions on Embedded Computing Systems"},{"issue":"9","key":"10170_CR89","doi-asserted-by":"publisher","first-page":"1250","DOI":"10.1109\/TC.2009.58","volume":"58","author":"F Zhang","year":"2009","unstructured":"Zhang F, Burns A (2009) Schedulability analysis for real-time systems with EDF scheduling. IEEE Trans Comput 58(9):1250\u20131258","journal-title":"IEEE Trans Comput"},{"key":"10170_CR90","doi-asserted-by":"crossref","unstructured":"Zhao Y, Zeng H (2017) The virtual deadline based optimization algorithm for priority assignment in fixed-priority scheduling. In: Proceedings of the 2017 IEEE real-time systems symposium (RTSS\u201917), pp 116\u2013127","DOI":"10.1109\/RTSS.2017.00018"},{"issue":"4","key":"10170_CR91","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1109\/4235.797969","volume":"3","author":"E Zitzler","year":"1999","unstructured":"Zitzler E, Thiele L (1999) Multiobjective evolutionary algorithms: A comparative case study and the strength pareto approach. IEEE Transactions on Evolutionary Computation 3(4):257\u2013271","journal-title":"IEEE Transactions on Evolutionary Computation"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-022-10170-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10664-022-10170-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-022-10170-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,14]],"date-time":"2022-10-14T23:04:09Z","timestamp":1665788649000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10664-022-10170-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,6]]},"references-count":91,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2022,11]]}},"alternative-id":["10170"],"URL":"https:\/\/doi.org\/10.1007\/s10664-022-10170-1","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,8,6]]},"assertion":[{"value":"12 April 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 August 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"142"}}