{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T04:41:43Z","timestamp":1761972103971,"version":"build-2065373602"},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,7,1]],"date-time":"2012-07-01T00:00:00Z","timestamp":1341100800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s10009-012-0246-x","type":"journal-article","created":{"date-parts":[[2012,6,30]],"date-time":"2012-06-30T19:14:05Z","timestamp":1341083645000},"page":"189-209","source":"Crossref","is-referenced-by-count":3,"title":["Temporal isolation in real-time systems: the VBS approach"],"prefix":"10.1007","volume":"15","author":[{"given":"Silviu S.","family":"Craciunas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph M.","family":"Kirsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hannes","family":"Payer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harald","family":"R\u00f6ck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Sokolova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,7,1]]},"reference":[{"key":"246_CR1","doi-asserted-by":"crossref","unstructured":"Craciunas, S.S., Kirsch, C.M., Payer, H., R\u00f6ck, H., Sokolova, A.: Programmable temporal isolation through variable-bandwidth servers. In: Proceedings of SIES. IEEE, New York (2009)","DOI":"10.1109\/SIES.2009.5196213"},{"issue":"1","key":"246_CR2","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"},{"issue":"2","key":"246_CR3","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1023\/B:TIME.0000027934.77900.22","volume":"27","author":"L. Abeni","year":"2004","unstructured":"Abeni L., Buttazzo G.: Resource reservation in dynamic real-time systems. Real-Time Syst. 27(2), 123\u2013167 (2004)","journal-title":"Real-Time Syst."},{"key":"246_CR4","doi-asserted-by":"crossref","unstructured":"Cervin, A.: Improved scheduling of control tasks. In: Proceedings of ECRTS. IEEE, New York (1999)","DOI":"10.1109\/EMRTS.1999.777444"},{"key":"246_CR5","unstructured":"Craciunas, S.S., Kirsch, C.M., R\u00f6ck, H., Sokolova, A.: Real-time scheduling for workload-oriented programming. Department of Computer Sciences, University of Salzburg, Technical Report 2008-02, September (2008)"},{"key":"246_CR6","doi-asserted-by":"crossref","unstructured":"Craciunas, S.S., Kirsch, C.M., Sokolova, A.: Response time versus utilization in scheduler overhead accounting. In: Proceedings of RTAS. IEEE, New York (2010)","DOI":"10.1109\/RTAS.2010.14"},{"key":"246_CR7","doi-asserted-by":"crossref","unstructured":"Craciunas, S.S., Kirsch, C.M., Sokolova, A.: Power-aware temporal isolation with variable-bandwidth servers. In: Proceedings of EMSOFT. ACM, New York (2010)","DOI":"10.1145\/1879021.1879056"},{"key":"246_CR8","unstructured":"Shin, I., Lee, I.: Periodic resource model for compositional real-time guarantees. In: Proceedings of RTSS. IEEE, New York (2003)"},{"key":"246_CR9","unstructured":"Shin, I., Lee, I.: Compositional real-time scheduling framework. In: Proceedings of RTSS. IEEE, New York (2004)"},{"issue":"1","key":"246_CR10","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."},{"key":"246_CR11","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.P.: Aperiodic task scheduling for hard-real-time systems. Real-Time Syst. 1, 27\u201360 (1989)","journal-title":"Real-Time Syst."},{"key":"246_CR12","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1109\/12.368008","volume":"44","author":"J.K. Strosnider","year":"1995","unstructured":"Strosnider J.K., Lehoczky J.P., Sha L.: The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments. IEEE Trans. Comput. 44, 73\u201391 (1995)","journal-title":"IEEE Trans. Comput."},{"key":"246_CR13","volume-title":"Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications","author":"G. Buttazzo","year":"1997","unstructured":"Buttazzo G.: Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer, Norwell (1997)"},{"key":"246_CR14","unstructured":"Craciunas, S.S., Kirsch, C.M., Payer, H., R\u00f6ck, H., Sokolova, A., Stadler, H., Staudinger, R.: The Tiptoe system (2007). http:\/\/tiptoe.cs.uni-salzburg.at"},{"key":"246_CR15","unstructured":"Buttazzo, G., Gai, P.: Efficient implementation of an EDF scheduler for small embedded systems. In: Proceedings of OSPERT (2006)"},{"key":"246_CR16","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF00288683","volume":"1","author":"R. Bayer","year":"1972","unstructured":"Bayer R., McCreight E.M.: Organization and maintenance of large ordered indices. Acta Informatica 1, 173\u2013189 (1972)","journal-title":"Acta Informatica"},{"key":"246_CR17","doi-asserted-by":"crossref","unstructured":"Bacon, D.F., Cheng, P., Grove, D.: Tuningfork: a platform for visualization and analysis of complex real-time systems. In: Proceedings of Companion on OOPSLA. ACM, New York (2007)","DOI":"10.1145\/1297846.1297923"},{"key":"246_CR18","doi-asserted-by":"crossref","unstructured":"Burd, T.D., Brodersen, R.W.: Energy efficient CMOS microprocessor design. In: Proceedings of HICSS. IEEE, New York (1995)","DOI":"10.1109\/HICSS.1995.375385"},{"key":"246_CR19","doi-asserted-by":"crossref","unstructured":"Pillai, P., Shin, K.G.: Real-time dynamic voltage scaling for low-power embedded operating systems. In: Proceedings of SOSP. ACM, New York (2001)","DOI":"10.1145\/502034.502044"},{"key":"246_CR20","doi-asserted-by":"crossref","unstructured":"Aydin, H., Mej\u00eda-Alvarez, P., Moss\u00e9, D., Melhem, R.: Dynamic and aggressive scheduling techniques for power-aware real-time systems. In: Proceedings of RTSS. IEEE, New York (2001)","DOI":"10.1109\/REAL.2001.990600"},{"key":"246_CR21","doi-asserted-by":"crossref","unstructured":"Qadi, A., Goddard, S., Farritor, S.: A dynamic voltage scaling algorithm for sporadic tasks. In: Proceedings of RTSS. IEEE, New York (2003)","DOI":"10.1109\/REAL.2003.1253253"},{"key":"246_CR22","unstructured":"Shin, D., Kim, J.: Dynamic voltage scaling of periodic and aperiodic tasks in priority-driven systems. In: Proceedings of ASP-DAC. IEEE Press, New York (2004)"},{"key":"246_CR23","unstructured":"Lawitzky, M.P., Snowdon, D.C., Petters, S.M.: Integrating real time and power management in a real system. In: Proceedings of OSPERT (2008)"},{"key":"246_CR24","doi-asserted-by":"crossref","unstructured":"Scordino, C., Lipari, G.: Using resource reservation techniques for power-aware scheduling. In: Proceedings of EMSOFT. ACM, New York (2004)","DOI":"10.1145\/1017753.1017761"},{"issue":"4","key":"246_CR25","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1109\/TCOM.1987.1096782","volume":"35","author":"J. Nagle","year":"1987","unstructured":"Nagle J.: On packet switches with infinite storage. IEEE Trans. Commun. 35(4), 435\u2013438 (1987)","journal-title":"IEEE Trans. Commun."},{"key":"246_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/75247.75248","volume":"19","author":"A. Demers","year":"1989","unstructured":"Demers A., Keshav S., Shenker S.: Analysis and simulation of a fair queueing algorithm. SIGCOMM Comput. Commun. Rev. 19, 1\u201312 (1989)","journal-title":"SIGCOMM Comput. Commun. Rev."},{"key":"246_CR27","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1109\/90.234856","volume":"1","author":"A.K. Parekh","year":"1993","unstructured":"Parekh A.K., Gallager R.G.: A generalized processor sharing approach to flow control in integrated services networks: the single-node case. IEEE\/ACM Trans. Netw. 1, 344\u2013357 (1993)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"246_CR28","doi-asserted-by":"crossref","unstructured":"Jeffay, K., Smith, F.D., Moorthy, A., Anderson, J.: Proportional share scheduling of operating system services for real-time applications. In: Proceedings of RTSS. IEEE Computer Society, New York (1998)","DOI":"10.1109\/REAL.1998.739781"},{"key":"246_CR29","unstructured":"Stoica, I., Abdel-Wahab, H., Jeffay, K., Baruah, S.K., Gehrke, J.E., Plaxton, C.G.: A proportional share resource allocation algorithm for real-ti time-shared systems. In: Proceedings of RTSS. IEEE Computer Society, New York (1996)"},{"key":"246_CR30","doi-asserted-by":"crossref","unstructured":"Mercer, C.W., Savage, S., Tokuda, H.: Processor capacity reserves for multimedia operating systems. Carnegie Mellon University, Technical Report (1993)","DOI":"10.21236\/ADA266639"},{"key":"246_CR31","doi-asserted-by":"crossref","unstructured":"Mercer, C.W., Savage, S., Tokuda, H.: Processor capacity reserves: Operating system support for multimedia applications. In: Proceedings of ICMCS (1994)","DOI":"10.1109\/MMCS.1994.292439"},{"key":"246_CR32","doi-asserted-by":"crossref","unstructured":"Bruno, J., Gabber, E., \u00d6zden, B., Silberschatz, A.: Move-to-rear list scheduling: a new scheduling algorithm for providing QoS guarantees. In Proceedings of MULTIMEDIA. ACM, New York (1997)","DOI":"10.1145\/266180.266336"},{"key":"246_CR33","doi-asserted-by":"crossref","unstructured":"Jones, M., Leach, P., Draves, R., Barrera, J.: Modular real-time resource management in the Rialto operating system. In: Proceedings of HOTOS. IEEE, New York (1995)","DOI":"10.1109\/HOTOS.1995.513447"},{"key":"246_CR34","doi-asserted-by":"crossref","unstructured":"Jones, M.B., Ro\u015fu, D., Ro\u015fu, C.: CPU reservations and time constraints: efficient, predictable scheduling of independent activities. In: Proceedings of SOSP. ACM, New York (1997)","DOI":"10.1145\/268998.266689"},{"key":"246_CR35","doi-asserted-by":"crossref","unstructured":"Nieh, J., Lam, M.S.: The design, implementation and evaluation of SMART: a scheduler for multimedia applications. In: Proceedings of SOSP. ACM, New York (1997)","DOI":"10.1145\/268998.266677"},{"key":"246_CR36","unstructured":"Lehoczky, J.P., Sha, L., Strosnider, J.K.: Enhanced aperiodic responsiveness in hard real-time environments. In: Proceedings of RTSS. IEEE, New York (1987)"},{"key":"246_CR37","unstructured":"Deng, Z., Liu, J.W.-S., Sun, S.: Dynamic scheduling of hard real-time applications in open system environment. University of Illinois at Urbana-Champaign, Technical Report (1996)"},{"issue":"2","key":"246_CR38","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00360340","volume":"10","author":"M. Spuri","year":"1996","unstructured":"Spuri M., Buttazzo G.C.: Scheduling aperiodic tasks in dynamic priority systems. J. Real-Time Syst. 10(2), 179\u2013210 (1996)","journal-title":"J. Real-Time Syst."},{"issue":"2\u20133","key":"246_CR39","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1008094905565","volume":"16","author":"Z. Deng","year":"1999","unstructured":"Deng Z., Liu J.W.-S., Zhang L., Mouna S., Frei A.: An open environment for real-time applications. Real-Time Syst. 16(2\u20133), 155\u2013185 (1999)","journal-title":"Real-Time Syst."},{"key":"246_CR40","doi-asserted-by":"crossref","unstructured":"Cervin, A., Eker, J.: The Control Server: a computational model for real-time control tasks. In: Proceedings of ECRTS. IEEE, New York (2003)","DOI":"10.1109\/EMRTS.2003.1212734"},{"key":"246_CR41","doi-asserted-by":"crossref","unstructured":"Brandt, S.A., Banachowski, S., Lin, C., Bisson, T.: Dynamic integrated scheduling of hard real-time, soft real-time and non-real-time processes. In: Proceedings of RTSS. IEEE, New York (2003)","DOI":"10.1109\/REAL.2003.1253287"},{"key":"246_CR42","doi-asserted-by":"crossref","unstructured":"Goddard, S., Liu, X.: Scheduling aperiodic requests under the rate-based execution model. In: Proceedings of RTSS. IEEE, New York (2002)","DOI":"10.1109\/REAL.2002.1181558"},{"issue":"1\u20132","key":"246_CR43","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1015342318358","volume":"23","author":"G. Buttazzo","year":"2002","unstructured":"Buttazzo G., Abeni L.: Adaptive workload management through elastic scheduling. Real-Time Syst. 23(1\u20132), 7\u201324 (2002)","journal-title":"Real-Time Syst."},{"key":"246_CR44","doi-asserted-by":"crossref","unstructured":"Buttazzo, G.C., Lipari, G., Abeni, L.: Elastic task model for adaptive rate control. In: Proceedings of RTSS. IEEE, New York (1998)","DOI":"10.1109\/REAL.1998.739754"},{"key":"246_CR45","unstructured":"Simoes, M.A.C., Lima, G., Camponogara, E.: A GA-based approach to dynamic reconfiguration of real-time systems. In: Proceedings of APRES (2008)"},{"key":"246_CR46","doi-asserted-by":"crossref","unstructured":"Beccari, G., Reggiani, M., Zanichelli, F.: Rate modulation of soft real-time tasks in autonomous robot control systems. In: Proceedings of ECRTS (1999)","DOI":"10.1109\/EMRTS.1999.777446"},{"key":"246_CR47","doi-asserted-by":"crossref","unstructured":"Stoimenov, N., Thiele, L., Santinelli, L., Buttazzo, G.: Resource adaptations with servers for hard real-time systems. In: Proceedings of EMSOFT. ACM, New York (2010)","DOI":"10.1145\/1879021.1879057"},{"key":"246_CR48","doi-asserted-by":"crossref","unstructured":"Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., Warfield, A.: Xen and the art of virtualization. In: Proceedings of SOSP. ACM, New York (2003)","DOI":"10.1145\/945445.945462"},{"issue":"2","key":"246_CR49","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/1330555.1330556","volume":"35","author":"L. Cherkasova","year":"2007","unstructured":"Cherkasova L., Gupta D., Vahdat A.: Comparison of the three CPU schedulers in Xen. SIGMETRICS Perform. Eval. Rev. 35(2), 42\u201351 (2007)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"issue":"5","key":"246_CR50","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1145\/319344.319169","volume":"33","author":"K.J. Duda","year":"1999","unstructured":"Duda K.J., Cheriton D.R.: Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose scheduler. SIGOPS Oper. Syst. Rev. 33(5), 261\u2013276 (1999)","journal-title":"SIGOPS Oper. Syst. Rev."},{"issue":"7","key":"246_CR51","first-page":"1280","volume":"14","author":"I.M. Leslie","year":"1996","unstructured":"Leslie I.M., Mcauley D., Black R., Roscoe T., Barham P.T., Evers D., Fairbairns R., Hyden E.: The design and implementation of an operating system to support distributed multimedia applications. IEEE JSAC 14(7), 1280\u20131297 (1996)","journal-title":"IEEE JSAC"},{"key":"246_CR52","doi-asserted-by":"crossref","unstructured":"Govindan, S., Nath, A.R., Das, A., Urgaonkar, B., Sivasubramaniam, A.: Xen and co.: Communication-aware cpu scheduling for consolidated Xen-based hosting platforms. In: Proceedings of VEE. ACM, New York (2007)","DOI":"10.1145\/1254810.1254828"},{"key":"246_CR53","unstructured":"Kim, D., Lee, Y.-H., Younis, M.: SPIRIT-\u03bcKernel for strongly partitioned real-time systems. In: Proceedings of RTCSA. IEEE, New York (2000)"},{"issue":"4","key":"246_CR54","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1093\/comjnl\/45.4.395","volume":"45","author":"D. Kim","year":"2002","unstructured":"Kim D., Lee Y.-H.: Periodic and aperiodic task scheduling in strongly partitioned integrated real-time systems. Comput. J. 45(4), 395\u2013409 (2002)","journal-title":"Comput. J."},{"issue":"2","key":"246_CR55","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/EMC-2005-00019","volume":"1","author":"G. Lipari","year":"2005","unstructured":"Lipari G., Bini E.: A methodology for designing hierarchical scheduling systems. J. Embedded Comput. 1(2), 257\u2013269 (2005)","journal-title":"J. Embedded Comput."},{"key":"246_CR56","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1023\/B:TIME.0000016129.97430.c6","volume":"26","author":"J. Real","year":"2004","unstructured":"Real J., Crespo A.: Mode change protocols for real-time systems: a survey and a new proposal. Real-Time Syst. 26, 161\u2013197 (2004)","journal-title":"Real-Time Syst."},{"key":"246_CR57","doi-asserted-by":"crossref","unstructured":"Short, M.: Improved task management techniques for enforcing EDF scheduling on recurring tasks. In: Proceedings of RTAS. IEEE, New York (2010)","DOI":"10.1109\/RTAS.2010.22"},{"key":"246_CR58","volume-title":"Introduction To Algorithms","author":"C. Stein","year":"2001","unstructured":"Stein C., Cormen T., Rivest R., Leiserson C.: Introduction To Algorithms. MIT Press, Cambridge (2001)"},{"key":"246_CR59","unstructured":"Craciunas, S.S., Kirsch, C.M., Sokolova, A.: The power of isolation. Department of Computer Sciences, University of Salzburg, Technical Report 2011-02 July (2011)"},{"key":"246_CR60","doi-asserted-by":"crossref","unstructured":"Liu, X., Shenoy, P., Corner, M.: Chameleon: application level power management with performance isolation. In: Proceedings of MULTIMEDIA. ACM, New York (2005)","DOI":"10.1145\/1101149.1101332"},{"key":"246_CR61","doi-asserted-by":"crossref","unstructured":"Cao, Q., Fesehaye, D., Pham, N., Sarwar, Y., Abdelzaher, T.: Virtual battery: an energy reserve abstraction for embedded sensor networks. In: Proceedings of RTSS, pp. 123\u2013133. IEEE Computer Society, New York (2008)","DOI":"10.1109\/RTSS.2008.41"},{"key":"246_CR62","unstructured":"Craciunas, S.S., Haas, A., Kirsch, C.M., Payer, H., R\u00f6ck, H., Rottmann, A., Sokolova, A., Trummer, R., Love, J., Sengupta, R.: Information-acquisition-as-a-service for cyber-physical cloud computing. In: Proceedings of HotCloud. USENIX, Boston (2010)"},{"key":"246_CR63","unstructured":"Craciunas, S.S., Kirsch, C.M., Payer, H., Sokolova, A., Stadler, H., Staudinger, R.: A compacting real-time memory management system. In: Proceedings of USENIX ATC. USENIX, Boston (2008)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0246-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-012-0246-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0246-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T00:42:14Z","timestamp":1743640934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-012-0246-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,1]]},"references-count":63,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["246"],"URL":"https:\/\/doi.org\/10.1007\/s10009-012-0246-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2012,7,1]]}}}