{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:10Z","timestamp":1742598610799,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584681"},{"type":"electronic","value":"9783540489849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58468-4_181","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:15:11Z","timestamp":1330272911000},"page":"511-528","source":"Crossref","is-referenced-by-count":1,"title":["Scheduling in critical real-time systems: a manifesto"],"prefix":"10.1007","author":[{"given":"G\u00e9rard","family":"Lann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Lamport, \u00abAn old-fashioned recipe for real-time\u00bb, DEC-SRC Research Report 91, Oct. 1992, 67 p.","DOI":"10.1007\/BFb0031985"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"H. Attiya, N.A. Lynch, \u00abTime bounds for real-time process control in the presence of timing uncertainty\u00bb, IEEE Real-Time Systems Symposium, Santa Monica (USA), 1989, 268\u2013284.","DOI":"10.21236\/ADA213791"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"S. Baruah et al., \u00abOn-line scheduling in the presence of overload\u00bb, 32 nd Symposium on Foundations of Computer Science, 1991, 100\u2013110.","DOI":"10.1109\/SFCS.1991.185354"},{"key":"25_CR4","unstructured":"P.A. Berstein, V. Hadzilacos, N. Goodman, \u00abConcurrency control and recovery in database systems\u00bb, (Addison-Wesley pub.), 1987, 370 p."},{"issue":"n\u21341","key":"25_CR5","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K.M. Chandy","year":"1985","unstructured":"K.M. Chandy, L. Lamport, \u00abDistributed snapshots: determining global states of distributed systems\u00bb, ACM Transactions on Computer Systems, vol. 3, n\u2134 1, Feb. 1985, 63\u201375.","journal-title":"ACM Transactions on Computer Systems"},{"key":"25_CR6","first-page":"350","volume-title":"12th IFIP Congress","author":"X. Deng","year":"1992","unstructured":"X. Deng, C.H. Papadimitriou. \u00abCompetitive distributed decision-making\u00bb, 12 th IFIP Congress (Elsevier North-Holland pub.), Madrid (Spain), 1992, vol. 1, 350\u2013355."},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"K. Jeffay, D.F. Stanat, C.U. Martel, \u00abOn non-preemptive scheduling of periodic and sporadic tasks\u00bb, IEEE Real-Time Systems Symposium, San Antonio (USA), 1991, 129\u2013139.","DOI":"10.1109\/REAL.1991.160366"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"M. Joseph, A, Goswami, \u00abWhat's \u00abreal\u00bb about real-time systems ?\u00bb, IEEE Real-Time Systems Symposium, Hunstville (USA), 1988, 78\u201385.","DOI":"10.1109\/REAL.1988.51103"},{"key":"25_CR9","first-page":"416","volume-title":"12thIFIP Congress","author":"R.M. Karp","year":"1992","unstructured":"R.M. Karp, \u00abOn-line algorithms versus off-line algorithms: how much is it worth to know the future ?\u00bb, 12th IFIP Congress (Elsevier North-Holland pub.), Madrid (Spain), 1992, vol. 1, 416\u2013429."},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"H. Kopetz, G. Gr\u00fcnsteild, \u00abTTP \u2014 a protocol for fault-tolerant real-time systems\u00bb, IEEE Computer, Jan. 1994, 14\u201323.","DOI":"10.1109\/2.248873"},{"key":"25_CR11","unstructured":"H. Kopetz, P. Verissimo, \u00abReal-time and dependability concepts\u00bb, in \u00abDistributed Systems\u00bb (Chapter 16), Sape Mullender Ed. (Addison-Wesley pub.), 1993."},{"issue":"7","key":"25_CR12","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport, \u00abTime, clocks and the ordering of events in a distributed system\u00bb, Communications of the ACM, Vol. 21, 7, July 1978, 558\u2013565.","journal-title":"Communications of the ACM"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"J.C. Laprie (Ed), \u00abDependabilty: Basic conceps and terminology\u00bb, vol. 5 of Dependable Computing and Fault-Tolerant Systems, Springer-Verlag, 1991.","DOI":"10.1007\/978-3-7091-9170-5"},{"issue":"1","key":"25_CR14","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"C.L. Liu, J.W. Layland, \u00abScheduling algorithms for multiprogramming in a hard real-time environment\u00bb, Journal of the ACM, Vol. 20, 1, Jan. 1973, 46\u201361.","journal-title":"Journal of the ACM"},{"key":"25_CR15","first-page":"155","volume-title":"6th IFIP Congress","author":"G. Lann Le","year":"1977","unstructured":"G. Le Lann, \u00abDistributed systems \u2014 Towards a formal approach\u00bb, 6th IFIP Congress (North-Holland pub.), Toronto (Canada), 1977, 155\u2013160."},{"key":"25_CR16","volume-title":"13th IFIP Congress","author":"G. Lann Le","year":"1994","unstructured":"G. Le Lann, \u00abCertifiable critical complex computing systems\u00bb, 13th IFIP Congress (Elsevier Science pub.)., Hamburg (Germany), Aug.\u2013Sept. 1994."},{"key":"25_CR17","unstructured":"G. Le Lann, N. Rivierre, \u00abReal-time communications over broadcast networks: the CSMA-DCR and the DOD\/CSMA-CD protocols\u00bb, INRIA Research Report n\u2134 1863, March 1993, 35 p."},{"issue":"2\u20133","key":"25_CR18","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1016\/S0019-9958(84)80033-9","volume":"62","author":"J. Lundelius","year":"1984","unstructured":"J. Lundelius, N.A. Lynch, \u00abAn upper and lower bound for clock synchronization\u00bb, Information and Control, vol. 62, 2\u20133, Aug.\/Sept. 1984, 190\u2013204.","journal-title":"Information and Control"},{"key":"25_CR19","first-page":"684","volume-title":"12th IFIP Congress","author":"A.J. Martin","year":"1992","unstructured":"A.J. Martin, \u00abTomorrow's digital hardware will be asynchronous and verified\u00bb, 12th IFIP Congress (Elsevier North-Holland pub.), Madrid (Spain), 1992, 684\u2013695."},{"key":"25_CR20","unstructured":"P. Muhlethaler, N. Rivierre, L. George, \u00abOptimality and non-preemptive scheduling revisited\u00bb, INRIA Research Report, to appear in 1994."},{"key":"25_CR21","volume-title":"The theory of concurrency control","author":"C.H. Papadimitriou","year":"1986","unstructured":"C.H. Papadimitriou, \u00abThe theory of concurrency control\u00bb, Computer Science Press, Rockville (USA), 1986."},{"key":"25_CR22","unstructured":"J. Rushby, \u00abFormal methods and the certification of critical systems\u00bb, SRI Technical Report, SRI-CSL-93-07, Nov. 1993, 308 p."},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"L. Sha, S.S. Sathaye, \u00abA systematic approach to designing distributed real-time systems\u00bb, IEEE Computer, Sept. 1993, 68\u201378.","DOI":"10.1109\/2.231276"},{"key":"25_CR24","doi-asserted-by":"crossref","unstructured":"K.W. Tindell, A. Burns, A.J. Wellings, \u00abAn extendible approach for analyzing fixed priority hard real-time tasks\u00bb, Journal of Real-Time Systems, vol. 6, (Kl\u00fcwer Academic pub.), 1994, 133\u2013151.","DOI":"10.1007\/BF01088593"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58468-4_181.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:31:22Z","timestamp":1742596282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58468-4_181"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584681","9783540489849"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-58468-4_181","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}