{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:28:11Z","timestamp":1725863291962},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319449524"},{"type":"electronic","value":"9783319449531"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-44953-1_35","type":"book-chapter","created":{"date-parts":[[2016,8,22]],"date-time":"2016-08-22T11:12:23Z","timestamp":1471864343000},"page":"556-574","source":"Crossref","is-referenced-by-count":2,"title":["Optimal Performance Tuning in Real-Time Systems Using Multi-objective Constrained Optimization"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Di Alesio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,23]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking for real-time systems. In: Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, LICS 1990, pp. 414\u2013425. IEEE (1990)","DOI":"10.1109\/LICS.1990.113766"},{"issue":"1","key":"35_CR2","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s10479-005-3968-2","volume":"140","author":"A Atamt\u00fcrk","year":"2005","unstructured":"Atamt\u00fcrk, A., Savelsbergh, M.W.: Integer-programming software systems. Ann. Oper. Res. 140(1), 67\u2013124 (2005)","journal-title":"Ann. Oper. Res."},{"issue":"1\u20132","key":"35_CR3","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/S11241-005-4686-1","volume":"32","author":"TP Baker","year":"2006","unstructured":"Baker, T.P.: An analysis of fixed-priority schedulability on a multiprocessor. Real-Time Syst. 32(1\u20132), 49\u201371 (2006)","journal-title":"Real-Time Syst."},{"key":"35_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-1479-4","volume-title":"Constraint-Based Scheduling: Applying Constraint Programming to Scheduling Problems","author":"P Baptiste","year":"2001","unstructured":"Baptiste, P., Le Pape, C., Nuijten, W.: Constraint-Based Scheduling: Applying Constraint Programming to Scheduling Problems, vol. 39. Springer, New York (2001)"},{"key":"35_CR5","unstructured":"Beizer, B.: Software Testing Techniques. Dreamtech Press (2002)"},{"issue":"2","key":"35_CR6","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/s10710-006-9003-9","volume":"7","author":"LC Briand","year":"2006","unstructured":"Briand, L.C., Labiche, Y., Shousha, M.: Using genetic algorithms for early schedulability analysis and stress testing in real-time systems. Genet. Program. Evolvable Mach. 7(2), 145\u2013170 (2006)","journal-title":"Genet. Program. Evolvable Mach."},{"key":"35_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-30201-8_14","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"H Cambazard","year":"2004","unstructured":"Cambazard, H., Hladik, P.-E., D\u00e9planche, A.-M., Jussien, N., Trinquet, Y.: Decomposition and learning for a hard real time task allocation problem. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 153\u2013167. Springer, Heidelberg (2004)"},{"key":"35_CR8","unstructured":"Caseau, Y., Laburthe, F.: Improved CLP scheduling with task intervals. In: ICLP, pp. 369\u2013383. Citeseer (1994)"},{"key":"35_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-35746-6_1","volume-title":"Tools for Practical Software Verification","author":"EM Clarke","year":"2012","unstructured":"Clarke, E.M., Klieber, W., Nov\u00e1\u010dek, M., Zuliani, P.: Model checking and the state explosion problem. In: Meyer, B., Nordio, M. (eds.) LASER 2011. LNCS, vol. 7682, pp. 1\u201330. Springer, Heidelberg (2012)"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"David, A., Illum, J., Larsen, K., Skou, A.: Model-based framework for schedulability analysis using UPPAAL 4.1. In: Model-Based Design for Embedded Systems, p. 93 (2010)","DOI":"10.1201\/9781420067859-c4"},{"issue":"4","key":"35_CR11","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/1978802.1978814","volume":"43","author":"RI Davis","year":"2011","unstructured":"Davis, R.I., Burns, A.: A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv. (CSUR) 43(4), 35 (2011)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"Di Alesio, S., Briand, L., Nejati, S., Gotlieb, A.: Combining genetic algorithms and constraint programming to support stress testing of task deadlines. ACM Trans. Softw. Eng. Method. (2015)","DOI":"10.1145\/2818640"},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"Di Alesio, S., Gotlieb, A., Nejati, S., Briand, L.: Testing deadline misses for real-time systems using constraint optimization techniques. In: 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), pp. 764\u2013769. IEEE (2012)","DOI":"10.1109\/ICST.2012.171"},{"key":"35_CR14","doi-asserted-by":"crossref","unstructured":"Di Alesio, S., Nejati, S., Briand, L., Gotlieb, A.: Stress testing of task deadlines: a constraint programming approach. In: 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE), pp. 158\u2013167. IEEE (2013)","DOI":"10.1109\/ISSRE.2013.6698915"},{"key":"35_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"813","DOI":"10.1007\/978-3-319-10428-7_58","volume-title":"Principles and Practice of Constraint Programming","author":"S Alesio Di","year":"2014","unstructured":"Di Alesio, S., Nejati, S., Briand, L., Gotlieb, A.: Worst-case scheduling of software tasks. In: O\u2019Sullivan, B. (ed.) CP 2014. LNCS, vol. 8656, pp. 813\u2013830. Springer, Heidelberg (2014)"},{"key":"35_CR16","doi-asserted-by":"crossref","DOI":"10.1201\/9781420013122","volume-title":"Software Sizing, Estimation, And Risk Management: When Performance is Measured Performance Improves","author":"DD Galorath","year":"2006","unstructured":"Galorath, D.D., Evans, M.W.: Software Sizing, Estimation, And Risk Management: When Performance is Measured Performance Improves. CRC Press, Boca Raton (2006)"},{"key":"35_CR17","doi-asserted-by":"crossref","unstructured":"Gomaa, H.: Designing concurrent, distributed, and real-time applications with UML. In: Proceedings of the 28th International Conference on Software Engineering, pp. 1059\u20131060. ACM (2006)","DOI":"10.1145\/1134285.1134504"},{"key":"35_CR18","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"FM 2006: Formal Methods","author":"TA Henzinger","year":"2006","unstructured":"Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 1\u201315. Springer, Heidelberg (2006)"},{"issue":"1","key":"35_CR19","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1016\/j.jss.2007.02.032","volume":"81","author":"PE Hladik","year":"2008","unstructured":"Hladik, P.E., Cambazard, H., D\u00e9planche, A.M., Jussien, N.: Solving a real-time allocation problem with constraint programming. J. Syst. Softw. 81(1), 132\u2013149 (2008)","journal-title":"J. Syst. Softw."},{"issue":"3","key":"35_CR20","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0378-7788(97)00008-X","volume":"26","author":"W Huang","year":"1997","unstructured":"Huang, W., Lam, H.: Using genetic algorithms to optimize controller parameters for HVAC systems. Energy Build. 26(3), 277\u2013282 (1997)","journal-title":"Energy Build."},{"key":"35_CR21","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint logic programming: a survey. J. Logic Program. 19, 503\u2013581 (1994)","journal-title":"J. Logic Program."},{"key":"35_CR22","volume-title":"The Art of Computer Systems Performance Analysis","author":"R Jain","year":"2008","unstructured":"Jain, R.: The Art of Computer Systems Performance Analysis. Wiley, New York (2008)"},{"key":"35_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8237-7","volume-title":"Real-Time Systems: Design Principles for Distributed Embedded Applications","author":"H Kopetz","year":"2011","unstructured":"Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer, New York (2011)"},{"key":"35_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/978-3-642-01929-6_12","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"P Laborie","year":"2009","unstructured":"Laborie, P.: IBM ILOG CP optimizer for detailed scheduling illustrated on three problems. In: van Hoeve, W.-J., Hooker, J.N. (eds.) CPAIOR 2009. LNCS, vol. 5547, pp. 148\u2013162. Springer, Heidelberg (2009)"},{"issue":"1","key":"35_CR25","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/5.259424","volume":"82","author":"JH Lala","year":"1994","unstructured":"Lala, J.H., Harper, R.E.: Architectural principles for safety-critical real-time applications. Proc. IEEE 82(1), 25\u201340 (1994)","journal-title":"Proc. IEEE"},{"key":"35_CR26","unstructured":"Le Pape, C., Baptiste, P.: An experimental comparison of constraint-based algorithms for the preemptive job shop scheduling problem. In: CP 1997 Workshop on Industrial Constraint-Directed Scheduling. Citeseer (1997)"},{"key":"35_CR27","unstructured":"Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems: A Cyber-physical Systems Approach. Lee & Seshia (2011)"},{"issue":"2","key":"35_CR28","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1287\/ijoc.1100.0446","volume":"24","author":"A Malapert","year":"2012","unstructured":"Malapert, A., Cambazard, H., Gu\u00e9ret, C., Jussien, N., Langevin, A., Rousseau, L.M.: An optimal constraint programming approach to the open-shop problem. INFORMS J. Comput. 24(2), 228\u2013244 (2012)","journal-title":"INFORMS J. Comput."},{"key":"35_CR29","doi-asserted-by":"crossref","unstructured":"Nejati, S., Adedjouma, M., Briand, L.C., Hellebaut, J., Begey, J., Clement, Y.: Minimizing CPU time shortage risks in integrated embedded software. In: 2013 IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 529\u2013539. IEEE (2013)","DOI":"10.1109\/ASE.2013.6693110"},{"key":"35_CR30","doi-asserted-by":"crossref","unstructured":"Nejati, S., Briand, L.C.: 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, pp. 351\u2013361. ACM (2014)","DOI":"10.1145\/2610384.2610396"},{"key":"35_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"759","DOI":"10.1007\/978-3-642-33666-9_48","volume-title":"Model Driven Engineering Languages and Systems","author":"S Nejati","year":"2012","unstructured":"Nejati, S., Di Alesio, S., Sabetzadeh, M., Briand, L.: Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 759\u2013775. Springer, Heidelberg (2012)"},{"issue":"14","key":"35_CR32","doi-asserted-by":"crossref","first-page":"2895","DOI":"10.1080\/0020754050056417","volume":"43","author":"S Reza Hejazi","year":"2005","unstructured":"Reza Hejazi, S., Saghafian, S.: Flowshop-scheduling problems with makespan criterion: a review. Int. J. Prod. Res. 43(14), 2895\u20132929 (2005)","journal-title":"Int. J. Prod. Res."},{"key":"35_CR33","volume-title":"Identifying Malicious Code Through Reverse Engineering","author":"A Singh","year":"2009","unstructured":"Singh, A.: Identifying Malicious Code Through Reverse Engineering. Springer, New York (2009)"},{"issue":"1","key":"35_CR34","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF02341920","volume":"1","author":"B Sprunt","year":"1989","unstructured":"Sprunt, B., Sha, L., Lehoczky, J.: Aperiodic task scheduling for hard-real-time systems. Real-Time Syst. 1(1), 27\u201360 (1989)","journal-title":"Real-Time Syst."},{"key":"35_CR35","volume-title":"Safety Critical Computer Systems","author":"NR Storey","year":"1996","unstructured":"Storey, N.R.: Safety Critical Computer Systems. Addison-Wesley Longman Publishing Co., Inc., Boston (1996)"},{"key":"35_CR36","unstructured":"Tanenbaum, A.S.: Modern Operating Systems. Pearson Education (2009)"},{"issue":"2","key":"35_CR37","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"K Tindell","year":"1994","unstructured":"Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram. 40(2), 117\u2013134 (1994)","journal-title":"Microprocess. Microprogram."},{"key":"35_CR38","volume-title":"The OPL Optimization Programming Language","author":"P Hentenryck Van","year":"1999","unstructured":"Van Hentenryck, P.: The OPL Optimization Programming Language. MIT Press, Cambridge (1999)"},{"issue":"5","key":"35_CR39","doi-asserted-by":"crossref","first-page":"1330","DOI":"10.1109\/21.260663","volume":"23","author":"A Var\u0161ek","year":"1993","unstructured":"Var\u0161ek, A., Urban\u010di\u010d, T., Filipi\u010d, B.: Genetic algorithms in controller design and tuning. IEEE Trans. Syst. Man Cybern. 23(5), 1330\u20131339 (1993)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"issue":"12","key":"35_CR40","doi-asserted-by":"crossref","first-page":"1147","DOI":"10.1109\/32.888628","volume":"26","author":"EJ Weyuker","year":"2000","unstructured":"Weyuker, E.J., Vokolos, F.I.: Experience with performance testing of software systems: issues, an approach, and case study. IEEE Trans. Softw. Eng. 26(12), 1147\u20131156 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"35_CR41","first-page":"36","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., et al.: The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. (TECS) 7(3), 36 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst. (TECS)"},{"key":"35_CR42","doi-asserted-by":"crossref","unstructured":"Woodside, M., Franks, G., Petriu, D.C.: The future of software performance engineering. In: Future of Software Engineering, FOSE 2007, pp. 171\u2013187. IEEE (2007)","DOI":"10.1109\/FOSE.2007.32"},{"issue":"1","key":"35_CR43","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/S0360-8352(02)00065-7","volume":"43","author":"YS Yun","year":"2002","unstructured":"Yun, Y.S., Gen, M.: Advanced scheduling problem using constraint programming techniques in SCM environment. Comput. Ind. Eng. 43(1), 213\u2013229 (2002)","journal-title":"Comput. Ind. Eng."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-44953-1_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T17:13:03Z","timestamp":1568308383000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-44953-1_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319449524","9783319449531"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-44953-1_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}