{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:27:09Z","timestamp":1740547629453,"version":"3.38.0"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T00:00:00Z","timestamp":1283558400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1007\/s10515-010-0074-8","type":"journal-article","created":{"date-parts":[[2010,9,3]],"date-time":"2010-09-03T15:06:12Z","timestamp":1283526372000},"page":"5-38","source":"Crossref","is-referenced-by-count":0,"title":["A model-based approach for multiple QoS in\u00a0scheduling: from models to implementation"],"prefix":"10.1007","volume":"18","author":[{"given":"Christos","family":"Kloukinas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio","family":"Yovine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,9,4]]},"reference":[{"issue":"1","key":"74_CR1","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1023\/A:1015346419267","volume":"23","author":"K. Altisen","year":"2002","unstructured":"Altisen, K., G\u00f6\u00dfler, G., Sifakis, J.: Scheduler modeling based on the controller synthesis paradigm. Real-Time Syst. 23(1), 55\u201384 (2002)","journal-title":"Real-Time Syst."},{"issue":"2","key":"74_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"74_CR3","series-title":"LNCS","first-page":"1","volume-title":"HS-II","author":"E. Asarin","year":"1995","unstructured":"Asarin, E., Maler, O., Pnueli, A.: Symbolic controller synthesis for discrete and timed systems. In: HS-II. LNCS, vol. 999, pp. 1\u201320. Springer, Berlin (1995)"},{"key":"74_CR4","series-title":"LNCS","first-page":"204","volume-title":"ICFEM\u201905","author":"I. Assayad","year":"2005","unstructured":"Assayad, I., Bertin, V., Defaut, F.-X., Gerner, Ph., Quevreux, O., Yovine, S.: Jahuel: A formal framework for software synthesis. In: ICFEM\u201905. LNCS, vol.\u00a03785, pp. 204\u2013218. Springer, Berlin (2005)"},{"issue":"2","key":"74_CR5","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/MM.2003.1196112","volume":"23","author":"L.A. Barroso","year":"2003","unstructured":"Barroso, L.A., Dean, J., H\u00f6lzle, U.: Web search for a planet: The Google cluster architecture. IEEE Micro 23(2), 22\u201328 (2003)","journal-title":"IEEE Micro"},{"key":"74_CR6","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF01995675","volume":"2","author":"S.K. Baruah","year":"1990","unstructured":"Baruah, S.K., Howell, R.R., Rosier, L.: Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. Real-Time Syst. 2, 301\u2013324 (1990)","journal-title":"Real-Time Syst."},{"key":"74_CR7","doi-asserted-by":"crossref","unstructured":"Bertin, V., Daveau, J.-M., Guillaume, P., Lepley, T., Pilat, D., Richard, C., Santana, M., Thery, T.: FlexCC2: An optimizing retargetable C compiler for DSP processors. In: EMSOFT\u201902, pp. 382\u2013398 (2002)","DOI":"10.1007\/3-540-45828-X_28"},{"key":"74_CR8","doi-asserted-by":"crossref","unstructured":"Bordin, M., Panunzio, M., Vardanega, T.: Fitting schedulability analysis theory into model-driven engineering. In: ECRTS\u201908, pp. 135\u2013144 (2008)","DOI":"10.1109\/ECRTS.2008.12"},{"key":"74_CR9","unstructured":"Bruno, E.: Java RTS real-time enables financial applications. (Online) www.devx.com\/Java\/Article\/35246\/ . 23 August 2007"},{"key":"74_CR10","unstructured":"Carr, N.: Avatars consume as much electricity as Brazilians. (Online) http:\/\/www.roughtype.com\/archives\/2006\/12\/avatars_consume.php . 5 December 2006"},{"key":"74_CR11","series-title":"LNCS","volume-title":"CAV\u201901","author":"E. Closse","year":"2001","unstructured":"Closse, E., Poize, M., Pulou, J., Sifakis, J., Venier, P., Weil, D., Yovine, S.: Taxys: a tool for the development and verification of real-time embedded systems. In: CAV\u201901. LNCS, vol. 2102. Springer, Berlin (2001)"},{"issue":"1","key":"74_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11241-008-9049-2","volume":"40","author":"J. Combaz","year":"2008","unstructured":"Combaz, J., Fernandez, J.-C., Sifakis, J., Strus, L.: Symbolic quality control for multimedia applications. Real-Time Syst. 40(1), 1\u201343 (2008)","journal-title":"Real-Time Syst."},{"issue":"6","key":"74_CR13","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/52.730836","volume":"15","author":"J. Coplien","year":"1998","unstructured":"Coplien, J., Hoffman, D., Weiss, D.: Commonality and variability in software engineering. IEEE Softw. 15(6), 37\u201345 (1998)","journal-title":"IEEE Softw."},{"key":"74_CR14","doi-asserted-by":"crossref","unstructured":"Dobrin, R., Fohler, G.: Reducing the number of preemptions in fixed priority scheduling. In: ECRTS\u201904, pp. 144\u2013152, June 2004","DOI":"10.1109\/EMRTS.2004.1311016"},{"issue":"1\/2","key":"74_CR15","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1013489610047","volume":"22","author":"G. Fohler","year":"2002","unstructured":"Fohler, G., Buttazzo, G.C.: Introduction to the special issue on flexible scheduling. Real-Time Syst. 22(1\/2), 5\u20137 (2002)","journal-title":"Real-Time Syst."},{"issue":"11","key":"74_CR16","doi-asserted-by":"crossref","first-page":"1203","DOI":"10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.0.CO;2-N","volume":"30","author":"E.R. Gansner","year":"2000","unstructured":"Gansner, E.R., North, S.C.: An open graph visualization system and its applications to software engineering. Softw. Pract. Exp. 30(11), 1203\u20131233 (2000)","journal-title":"Softw. Pract. Exp."},{"issue":"3","key":"74_CR17","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1137\/0206029","volume":"6","author":"M.R. Garey","year":"1977","unstructured":"Garey, M.R., Johnson, D.S.: Two-processor scheduling with start-times and deadlines. SIAM J. Comput. 6(3), 416\u2013426 (1977)","journal-title":"SIAM J. Comput."},{"key":"74_CR18","unstructured":"Gauthier, L., Richard-Foy, M.: Expresso RNTL project\u2014High Integrity Profile. www.irisa.fr\/rntl-expresso\/docs\/hip-api.pdf (2002)"},{"issue":"1","key":"74_CR19","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/32.263752","volume":"20","author":"M.G. Harbour","year":"1994","unstructured":"Harbour, M.G., Klein, M.H., Lehoczky, J.P.: Timing analysis for fixed-priority scheduling of hard real-time systems. IEEE Trans. Softw. Eng. 20(1), 13\u201328 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"10","key":"74_CR20","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/MC.2007.364","volume":"40","author":"T.A. Henzinger","year":"2007","unstructured":"Henzinger, T.A., Sifakis, J.: The discipline of embedded systems design. Computer 40(10), 32\u201340 (2007)","journal-title":"Computer"},{"key":"74_CR21","doi-asserted-by":"crossref","unstructured":"Hoffmann, G., Wong Toi, H.: The input-output control of real-time discrete event systems. In: CDC\u201991 (1991)","DOI":"10.21236\/ADA325997"},{"key":"74_CR22","unstructured":"IEEE. POSIX.1. IEEE Std 1003.1:2001: Standard for Information Technology\u2014Portable Operating System Interface (POSIX). IEEE (2001)"},{"key":"74_CR23","doi-asserted-by":"crossref","unstructured":"Isovi\u0107, D., Fohler, G.: Efficient scheduling of sporadic, aperiodic, and periodic tasks with complex constraints. In: RTSS\u201900, November 2000","DOI":"10.1109\/REAL.2000.896010"},{"key":"74_CR24","volume-title":"The Java Language Specification","author":"B. Joy","year":"2000","unstructured":"Joy, B., Steele, G., Gosling, J., Bracha, G.: The Java Language Specification, 2nd edn. Addison-Wesley, Reading (2000)","edition":"2"},{"key":"74_CR25","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1006\/inco.1998.2774","volume":"150","author":"Y. Kesten","year":"1999","unstructured":"Kesten, Y., Pnueli, A., Sifakis, J., Yovine, S.: Decidable integration graphs. Inf. Comput. 150, 209\u2013243 (1999)","journal-title":"Inf. Comput."},{"key":"74_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2796-1","volume-title":"A Practitioner\u2019s Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems","author":"M.H. Klein","year":"1993","unstructured":"Klein, M.H., Ralya, T., Pollak, B., Obenza, R., Harbour, M.G.: A Practitioner\u2019s Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic, Norwell (1993)"},{"key":"74_CR27","doi-asserted-by":"crossref","unstructured":"Kloukinas, C.: Data-mining synthesised schedulers for hard real-time systems. In: ASE\u201904, pp. 14\u201323, September 2004","DOI":"10.1109\/ASE.2004.1342720"},{"key":"74_CR28","doi-asserted-by":"crossref","unstructured":"Kloukinas, C., Yovine, S.: Synthesis of safe, QoS extendible, application specific schedulers for heterogeneous real-time systems. In: ECRTS\u201903, pp. 287\u2013294, July 2003","DOI":"10.1109\/EMRTS.2003.1212754"},{"key":"74_CR29","series-title":"LNCS","volume-title":"EMSOFT\u201903","author":"C. Kloukinas","year":"2003","unstructured":"Kloukinas, C., Nakhli, C., Yovine, S.: A methodology and tool support for generating scheduled native code for real-time Java applications. In: EMSOFT\u201903. LNCS, vol. 2855. Springer, Berlin (2003)"},{"key":"74_CR30","unstructured":"Kwak, H., Lee, I., Philippou, A., Choi, J., Sokolsky, O.: Symbolic schedulability analysis of real-time systems. In: RTSS\u201998, December 1998"},{"issue":"1","key":"74_CR31","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46\u201361 (1973)","journal-title":"J. ACM"},{"key":"74_CR32","unstructured":"Mok, A.K., Tsou, D.C., Rooij, R.C.M.: The MSP.RTL real-time scheduler synthesis tool. In: RTSS\u201996, December 1996"},{"key":"74_CR33","unstructured":"Real-Time for Java Expert Group: The real-time specification for Java. Tech. report, RTJ.org, December 2001"},{"key":"74_CR34","unstructured":"Reeves, G.E.: What really happened on mars? (Online) http:\/\/research.microsoft.com\/en-us\/um\/people\/mbj\/mars_pathfinder\/Authoritative_Account.html . December 1997"},{"issue":"2","key":"74_CR35","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D.C. Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: Model-driven engineering. Computer 39(2), 25\u201331 (2006)","journal-title":"Computer"},{"issue":"9","key":"74_CR36","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L. Sha","year":"1990","unstructured":"Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority inheritance protocols: An approach to real-time synchronization. IEEE Trans. Comput. 39(9), 1175\u20131185 (1990)","journal-title":"IEEE Trans. Comput."},{"key":"74_CR37","doi-asserted-by":"crossref","unstructured":"Tripakis, S.: Description and schedulability analysis of the software architecture of an automated vehicle control system. In: EMSOFT\u201902, October 2002","DOI":"10.1007\/3-540-45828-X_10"},{"key":"74_CR38","series-title":"LNCS","volume-title":"FM\u201999","author":"S. Tripakis","year":"1999","unstructured":"Tripakis, S., Altisen, K.: On-the-fly controller synthesis for discrete and dense-time systems. In: FM\u201999. LNCS, vol. 1708. Springer, Berlin (1999)"},{"key":"74_CR39","doi-asserted-by":"crossref","unstructured":"Tripakis, S., Yovine, S.: Timing analysis and code generation of vehicle control software using Taxys. In: RV\u201901. El. Notes in Th. Comp. Sci., vol. 55(2), pp. 277\u2013286 (2001)","DOI":"10.1016\/S1571-0661(04)00257-9"},{"issue":"3","key":"74_CR40","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R.J. Glabbeek van","year":"1996","unstructured":"van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. J. ACM 43(3), 555\u2013600 (1996)","journal-title":"J. ACM"},{"issue":"8","key":"74_CR41","doi-asserted-by":"crossref","first-page":"728","DOI":"10.1109\/32.940727","volume":"27","author":"E. Vicario","year":"2001","unstructured":"Vicario, E.: Static analysis and dynamic steering of time-dependent systems. IEEE Trans. Softw. Eng. 27(8), 728\u2013748 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"74_CR42","doi-asserted-by":"crossref","unstructured":"Wang, Y., Lafortune, S., Kelly, T., Kudlur, M., Mahlke, S.A.: The theory of deadlock avoidance via discrete control. In: POPL\u201909, pp.\u00a0252\u2013263, January 2009","DOI":"10.1145\/1594834.1480913"},{"key":"74_CR43","series-title":"LNCS","first-page":"119","volume-title":"LCTES\u201998","author":"M. Weiss","year":"1998","unstructured":"Weiss, M., de Ferri\u00e8re, F., Delsart, B., Fabre, C., Hirsch, F., Johnson, E.A., Joloboff, V., Roy, F., Siebert, F., Spengler, X.: TurboJ, a Java bytecode-to-native compiler. In: LCTES\u201998. LNCS, vol. 1474, pp.\u00a0119\u2013130. Springer, Berlin (1998)"},{"key":"74_CR44","doi-asserted-by":"crossref","unstructured":"Wong Toi, H.: The synthesis of controllers for linear hybrid automata. In: CDC\u201997, pp. 4607\u20134612 (1997)","DOI":"10.1109\/CDC.1997.649708"},{"issue":"3","key":"74_CR45","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"W.M. Wonham","year":"1987","unstructured":"Wonham, W.M., Ramadge, P.J.: On the supremal controllable sublanguage of a given language. SIAM J. Control Optim. 25(3), 637\u2013659 (1987)","journal-title":"SIAM J. Control Optim."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-010-0074-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-010-0074-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-010-0074-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T14:17:44Z","timestamp":1740493064000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-010-0074-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,4]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["74"],"URL":"https:\/\/doi.org\/10.1007\/s10515-010-0074-8","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2010,9,4]]}}}