{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:23:16Z","timestamp":1755220996144,"version":"3.43.0"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Systems"],"published-print":{"date-parts":[[1999,7]]},"DOI":"10.1023\/a:1008089513108","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T07:45:23Z","timestamp":1040543123000},"page":"65-86","source":"Crossref","is-referenced-by-count":1,"title":["Stabilizing Pre-Run-Time Schedules With the Help of Grace Time"],"prefix":"10.1007","volume":"17","author":[{"given":"Antonio Pessoa","family":"Magalh\u00e3es","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o Gabriel","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Astrom, K., and Wittenmark, B. 1990. Computer-Controlled Systems.Theory and Design. 2nd Edn. Prentice-Hall International Editions.","key":"208225_CR1"},{"key":"208225_CR2","series-title":"Tech. Report YCS","volume-title":"Real-Time Scheduling","author":"N. Audsley","year":"1992","unstructured":"Audsley, N., and Burns, A. 1992. Real-Time Scheduling. Department of Computer Science, University of York, U.K. Tech. Report YCS 134."},{"issue":"4","key":"208225_CR3","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/2.585154","volume":"30","author":"A. Avizienis","year":"1997","unstructured":"Avizienis, A. 1997. Toward systematic design of fault-tolerant systems. IEEE Computer 30(4): 51\u201358.","journal-title":"IEEE Computer"},{"unstructured":"Bond, P., Seaton, D., Verissimo, P., and Waddington, J. 1991. Real-time concepts. In D. Powell (ed.), Springer-Verlag Research Reports ESPRIT Series: Delta-4: a Generic Architecture for Dependable Distributed Computing. Springer-Verlag.","key":"208225_CR4"},{"doi-asserted-by":"crossref","unstructured":"Burns, A. 1991. Scheduling hard real-time systems: a review. Software Eng.J., pp. 116\u2013128.","key":"208225_CR5","DOI":"10.1049\/sej.1991.0015"},{"unstructured":"Burns, A., and Fohler, G. 1991. Incorporating flexibility into offline scheduling for hard real-time systems. Esprit Bra Project 3092: Predictably Dependable Computing Systems. Second Year Report, Vol. 1, Chap. 3, Pt II.","key":"208225_CR6"},{"doi-asserted-by":"crossref","unstructured":"Buttazzo, G., Spuri, M, and Sensini, F. 1995. Value vs. deadline scheduling in overload conditions. Proc.of the IEEE Real-Time Systems Symp., pp. 90\u201399.","key":"208225_CR7","DOI":"10.1109\/REAL.1995.495199"},{"issue":"9","key":"208225_CR8","doi-asserted-by":"crossref","first-page":"926","DOI":"10.1145\/358234.358258","volume":"27","author":"G. Carlow","year":"1984","unstructured":"Carlow, G. 1984. Architecture of the space shuttle primary avionics software system. Comm.ACM 27(9): 926\u2013936.","journal-title":"Comm. ACM"},{"doi-asserted-by":"crossref","unstructured":"Carpenter, T, Driscoll, K., Hoyme, K., and Carciofini, J. 1994. ARINC 659 scheduling: problem definition. Proc. of the IEEE Real-Time Systems Symp, pp. 165\u2013169.","key":"208225_CR9","DOI":"10.1109\/REAL.1994.342719"},{"unstructured":"Cheng, S-C, Stankovic, J., and Ramamritham, K. 1987. Scheduling algorithms for hard-real time systems: a brief survey. In J. Stankovic and K. Ramamritham (eds.), Hard Real-Time Systems. IEEE Computer Society Press, pp. 150\u2013173.","key":"208225_CR10"},{"doi-asserted-by":"crossref","unstructured":"Driscoll, K., and Hoyme, K. 1992. The airplane information system: an integrated real-time flight-deck control system. Proc.of the IEEE Real-Time Systems Symp., pp. 267\u2013270.","key":"208225_CR11","DOI":"10.1109\/REAL.1992.242654"},{"issue":"1","key":"208225_CR12","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/151250.151252","volume":"11","author":"A. Gheith","year":"1993","unstructured":"Gheith, A., and Schwan, K. 1993. CHAOSarc: kernel support for multiweight objects, invocations, and atomicity in real-time multiprocessor applications. ACM Trans.on Computer Systems 11(1): 33\u201372.","journal-title":"ACM Trans. on Computer Systems"},{"key":"208225_CR13","volume-title":"Advances in Distributed Sensor Technology","author":"S. Iyengar","year":"1995","unstructured":"Iyengar, S., Prasad L., and Min, H. 1995. Advances in Distributed Sensor Technology. New Jersey: Prentice Hall PTR."},{"unstructured":"Jensen, E., Locke, C., and Tokuda, H. 1985. A time-driven scheduling model for real-time operating systems. Proc.of the 1995 IEEE Real-Time Systems Symp., pp. 112\u2013122.","key":"208225_CR14"},{"doi-asserted-by":"crossref","unstructured":"Jensen, E.D. 1993. Asynchronous decentralized realtime computers. Realtime Computer Systems, Digital Equipment Corp.","key":"208225_CR15","DOI":"10.1007\/978-3-642-88049-0_17"},{"issue":"10","key":"208225_CR16","first-page":"28","volume":"7","author":"E. D. Jensen","year":"1994","unstructured":"Jensen, E. D. 1994. Eliminating the hard\/soft real-time dichotomy. Embedded Systems Programming 7(10): 28\u201334.","journal-title":"Embedded Systems Programming"},{"issue":"5","key":"208225_CR17","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1109\/MM.1987.305014","volume":"7","author":"H. Kirrmann","year":"1987","unstructured":"Kirrmann, H. 1987. Fault tolerance in process control: an overview and examples of European products. IEEE Micro 7(5): 27\u201350.","journal-title":"IEEE Micro"},{"issue":"9","key":"208225_CR18","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/TSE.1986.6313049","volume":"SE-12","author":"E. Kligerman","year":"1986","unstructured":"Kligerman, E., and Stoyenko, D. 1986. Real-time Euclid: a language for reliable real-time systems. IEEE Trans. on Software Eng. SE-12(9): 941\u2013949.","journal-title":"IEEE Trans. on Software Eng"},{"doi-asserted-by":"crossref","unstructured":"Kopetz, H. et al. 1989.Distributed fault-tolerant real-time systems: the mars approach. IEEE Micro, pp. 25\u201340.","key":"208225_CR19","DOI":"10.1109\/40.16792"},{"key":"208225_CR20","first-page":"87","volume-title":"Proc.Int.Workshop on Operating Systems of the 90s and Beyond","author":"H. Kopetz","year":"1991","unstructured":"Kopetz, H. 1991. Event-triggered versus time-triggered real-time systems. Proc.Int.Workshop on Operating Systems of the 90s and Beyond. In A. Karshmer and J. Nehmer (eds.), Springer-Verlag Lecture Notes in Computer Science, Berlin, Germany, 563: 87\u2013101."},{"doi-asserted-by":"crossref","unstructured":"Kopetz, H. 1995. Why time-triggered architectures will succeed in large hard real-time systems. Proc.of the 5th IEEE Computer Society Workshop on Future Trends of Distributed Computer Systems, pp. 2\u20139.","key":"208225_CR21","DOI":"10.1109\/FTDCS.1995.524962"},{"unstructured":"Kopetz, H., and Verissimo, P. 1993. Real time and dependability concepts. In Sape Mullender (ed), ACM Press Frontier Series: Distributed Systems, 2nd edition. Addison-Wesley, ACM Press.","key":"208225_CR22"},{"unstructured":"Laplante, P. 1993. Real-Time Systems Design and Analysis. IEEE Computer Society Press.","key":"208225_CR23"},{"unstructured":"Laprie, J-C. 1991. Dependability concepts. In D. Powell (ed.), Springer-Verlag Research Reports ESPRIT Series:Delta-4: A Generic Architecture for Dependable Distributed Computing. Springer-Verlag.","key":"208225_CR24"},{"doi-asserted-by":"crossref","unstructured":"Laprie, J., Arlat, J., Beounes, C., and Kanoun, K. 1990. Definition and Analysis of Hardware-and Software-Fault-Tolerant Architectures. IEEE Computer, July, pp. 39\u201351.","key":"208225_CR25","DOI":"10.1109\/2.56851"},{"doi-asserted-by":"crossref","unstructured":"Lehoczky and Ramos-Thuel. 1992. An optimal algorithm for scheduling soft-aperiodic tasks in fixed-priority preemptive systems. Proc.of the IEEE Real-Time Systems Symp., pp. 110\u2013123.","key":"208225_CR26","DOI":"10.1109\/REAL.1992.242671"},{"issue":"2","key":"208225_CR27","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/7474.7528","volume":"18","author":"N. Leveson","year":"1986","unstructured":"Leveson, N. 1986. Software safety: why, what, and how. ACM Computing Surveys 18(2): 125\u2013163.","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"208225_CR28","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. Liu","year":"1973","unstructured":"Liu, C., and Layland, J. 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"},{"unstructured":"Locke, C. 1986. Best Effort Decision Making for Real-Time Scheduling. PhD. Thesis. Carnegie-Mellon University.","key":"208225_CR29"},{"issue":"1","key":"208225_CR30","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/BF00365463","volume":"4","author":"C. Locke","year":"1992","unstructured":"Locke, C. 1992. Software architectures for hard real-time applications. Real-Time Systems 4(1): 37\u201353.","journal-title":"Real-Time Systems"},{"unstructured":"Magalhaes, A. 1995. Estabiliza\u00b8cao dos Controladores de Tempo-Real Atraves da Complacencia Temporal dos Objectos Controlados. PhD Thesis. Faculty of Engineering, University of Porto, Portugal. (In Portuguese).","key":"208225_CR31"},{"issue":"2","key":"208225_CR32","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0141-9331(95)01068-8","volume":"20","author":"A. Magalhaes","year":"1996","unstructured":"Magalhaes, A., Rela, M., and Silva, J. 1996. On the nature of deadlines. Microprocessors and Microsystems 20(2): 79\u201388.","journal-title":"Microprocessors and Microsystems"},{"issue":"3","key":"208225_CR33","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF00133303","volume":"1","author":"A. P. Magalhaes","year":"1996","unstructured":"Magalhaes, A. P. 1996. A survey on estimating the timing constraints of hard real-time systems. Design Automation for Embedded Systems 1(3): 213\u2013230.","journal-title":"Design Automation for Embedded Systems"},{"unstructured":"Middleton, R., and Goodwin, G. 1990. Digital Control and stimation: A Unified Approach. Prentice-Hall International Editions.","key":"208225_CR34"},{"unstructured":"Mok, A. 1984. The design of real-time programming systems based on process models. Proc.of the IEEE Real-Time Systems Symp., pp. 5\u201316.","key":"208225_CR35"},{"unstructured":"Nelson, V., and Carroll, B. 1987. Tutorial: Fault-Tolerant Computing. IEEE Computer Society Press.","key":"208225_CR36"},{"key":"208225_CR37","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/BF01264051","volume":"1","author":"K. Ramamritham","year":"1993","unstructured":"Ramamritham, K. 1993. Real-time databases. Distributed and Parallel Databases 1: 199\u2013226.","journal-title":"Distributed and Parallel Databases"},{"doi-asserted-by":"crossref","unstructured":"Ramos-Thuel and Lehoczky. 1993. On-line scheduling of hard deadline aperiodic tasks in fixed-priority systems. Proc.of the IEEE Real-Time Systems Symp., pp. 160\u2013171.","key":"208225_CR38","DOI":"10.1109\/REAL.1993.393504"},{"issue":"2","key":"208225_CR39","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","volume":"SE-1","author":"B. Randell","year":"1975","unstructured":"Randell, B. 1975. System Structure for Software Fault Tolerance. IEEE Trans.on Software Eng. SE-1(2): 220\u2013232.","journal-title":"IEEE Trans. on Software Eng"},{"issue":"12","key":"208225_CR40","doi-asserted-by":"crossref","first-page":"1116","DOI":"10.1109\/TC.1984.1676390","volume":"C-33","author":"D. Rennels","year":"1984","unstructured":"Rennels, D. 1984. Fault-tolerant computing\u2014concepts and examples. IEEE Trans.on Computers C-33(12): 1116\u20131129.","journal-title":"IEEE Trans. on Computers"},{"unstructured":"Sha, L. Lehoczky, J., and Rajkumar, R. 1986. Solutions for some practical problems in prioritized preemptive scheduling. Proc.of the IEEE Real-Time Systems Symp., pp. 181\u2013191.","key":"208225_CR41"},{"issue":"7","key":"208225_CR42","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1109\/32.83903","volume":"17","author":"T. Shepard","year":"1991","unstructured":"Shepard, T., and Gagne, J. 1991. A pre-run-time scheduling algorithm for hard real-time systems. IEEE Trans. on Software Eng. 17(7): 669\u2013677.","journal-title":"IEEE Trans. on Software Eng"},{"issue":"4","key":"208225_CR43","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1109\/TAC.1985.1103952","volume":"AC-30","author":"G. Shin","year":"1985","unstructured":"Shin, G., Krishna, C., and Lee, Y.-H. 1985. A unified method for evaluating real-time computer controllers and its application. IEEE Trans.on Automatic Control AC-30(4): 357\u2013366.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"4","key":"208225_CR44","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/MC.1997.585153","volume":"30","author":"A. Somani","year":"1997","unstructured":"Somani, A., and Vaidya, N. 1997. Understanding fault-tolerant and reliability. IEEE Computer 30(4): 45\u201350.","journal-title":"IEEE Computer"},{"unstructured":"Stankovic, J., and Ramamritham, K. 1993. Advances in Real-Time Systems. IEEE Computer Society Press.","key":"208225_CR45"},{"issue":"6","key":"208225_CR46","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/2.386982","volume":"28","author":"J. Stankovic","year":"1995","unstructured":"Stankovic, J., Spuri, M., Di Natale, M., and Buttazzo, G. 1995. Implications of classical scheduling results for real-time systems. IEEE Computer 28(6): 16\u201325.","journal-title":"IEEE Computer"},{"issue":"3","key":"208225_CR47","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1109\/32.48943","volume":"16","author":"J. Xu","year":"1990","unstructured":"Xu, J., and Parnas, D. 1990. Scheduling processes with release times, deadlines, precedence, and exclusion relations. IEEE Trans.on Software Eng. 16(3): 360\u2013369.","journal-title":"IEEE Trans. on Software Eng"},{"doi-asserted-by":"crossref","unstructured":"Xu, J., and Parnas, D. 1991. On satisfying timing constraints in hard-real-time systems. Proc.of the ACM SIGSOFT '91 Conference on Software for Critical Systems. New Orleans, Louisiana, pp. 132\u2013146.","key":"208225_CR48","DOI":"10.1145\/125083.123066"},{"issue":"9","key":"208225_CR49","doi-asserted-by":"crossref","first-page":"976","DOI":"10.1109\/12.620479","volume":"46","author":"A. Ziv","year":"1997","unstructured":"Ziv, A., and Bruck, J. 1997. An on-line algorithm for checkpoint placement. IEEE Trans.on Computers 46(9): 976\u2013985.","journal-title":"IEEE Trans. on Computers"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008089513108.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008089513108\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008089513108.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T07:11:29Z","timestamp":1754637089000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008089513108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,7]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,7]]}},"alternative-id":["208225"],"URL":"https:\/\/doi.org\/10.1023\/a:1008089513108","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[1999,7]]}}}