{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T18:37:38Z","timestamp":1761935858147,"version":"build-2065373602"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,7,1]],"date-time":"1996-07-01T00:00:00Z","timestamp":836179200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[1996,7]]},"DOI":"10.1007\/bf00133303","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T13:58:24Z","timestamp":1099403904000},"page":"213-230","source":"Crossref","is-referenced-by-count":2,"title":["A survey on estimating the timing constraints of hard real-time systems"],"prefix":"10.1007","volume":"1","author":[{"given":"A. P.","family":"Magalh\ufffdes","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"H. Kopetz and K. Kim. Real-time objects and temporal uncertainties in distributed computer systems. Esprit Bra Project 3092: Predictably Dependable Computing Systems. Second Year Report, Volume 1, Chap. 3, Part I. May 1991."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1243\/PIME_PROC_1992_206_030_02","volume":"vol. 206","author":"P. Bennett","year":"1992","unstructured":"P. Bennett. Safety critical systems: so what... ? In Proc. Instn. Mech. Engrs., Part I: J. of Systems and Control Engineering, vol. 206, pages 197?205, IMechE, 1992.","journal-title":"Proc. Instn. Mech. Engrs., Part I: J. of Systems and Control Engineering"},{"key":"CR3","unstructured":"J. C. Laprie. Dependability concepts. In D. Powell, editor, Springer-Verlag Research Reports ESPRIT Series: Delta-4: A Generic Architecture for Dependable Distributed Computing. Springer-Verlag, 1991."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"D. Powell, P. Barrett, G. Bonn, M. Ch\u00e9r\u00e8que, D. Seaton, and P. Ver\u00edssimo. Overview of the architecture. In D. Powell, editor, Springer-Verlag Research Reports ESPRIT Series: Delta-4: A Generic Architecture for Dependable Distributed Computing. Springer-Verlag, 1991.","DOI":"10.1007\/978-3-642-84696-0_2"},{"key":"CR5","unstructured":"J. Stankovic and K. Ramamritham. Introduction. In J. Stankovic and K. Ramamritham, editors, IEEE Computer Society Press: Hard Real-Time Systems: Tutorial. IEEE, 1988."},{"key":"CR6","unstructured":"B. Johnson. Addison-Wesley Series in Electrical and Computer Engineering: Design and Analysis of Fault Tolerant Digital Systems. Addison-Wesley, 1989."},{"issue":"10","key":"CR7","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/2.7053","volume":"21","author":"J. Stankovic","year":"1988","unstructured":"J. Stankovic. Misconceptions about real-time computing. A serious problem for next-generation systems. IEEE Computer, 21(10):10?19, October 1988.","journal-title":"IEEE Computer"},{"key":"CR8","unstructured":"S-T. Levi and A. K. Agrawala. McGraw-Hill Computer Science Series: Real-Time System Design. McGraw-Hill International Editions, 1990."},{"issue":"1","key":"CR9","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/TSE.1985.231845","volume":"SE-11","author":"B. Dasarathy","year":"1985","unstructured":"B. Dasarathy. Timing constraints of real-time systems: constructs for expressing them, methods of validating them. IEEE Transactions on Software Engineering, SE-11(1):80?86, January 1985.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"CR10","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/2.76287","volume":"24","author":"J. Liu","year":"1991","unstructured":"J. Liu, K. Lin, W. Shin, A. Yu, J. Chung, and W. Zhao. Algorithms for scheduling imprecise computations. IEEE Computer, 24(5): 58?68, May 1991.","journal-title":"IEEE Computer"},{"issue":"4","key":"CR11","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1109\/TAC.1986.1104269","volume":"AC-31","author":"Z. Rekasius","year":"1986","unstructured":"Z. Rekasius. Stability of digital control with computer interruptions. IEEE Transactions on Automatic Control, AC-31(4):356?359, April 1986.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"4","key":"CR12","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1109\/TAC.1985.1103952","volume":"AC-30","author":"G. Shin","year":"1985","unstructured":"G. Shin, C. Krishna, and Y.-H. Lee. A unified method for evaluating real-time computer controllers and its application. IEEE Transactions on Automatic Control, AC-30(4):357?366, April 1985.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2","key":"CR13","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/7474.7528","volume":"8","author":"N. Leveson","year":"1986","unstructured":"N. Leveson. Software safety: why, what, and how. ACM Computing Surveys, 18(2):125?163, June 1986.","journal-title":"ACM Computing Surveys"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"A. Gheith and K. Schwan. CHAOSarc: support for real-time atomic transactions. In IEEE?19th International Symposium Fault-Tolerant Computing, pages 462?469, IEEE, 1989. Also in CHAOSarc: kernel support for multiweight objects, invocations, and atomicity in real-time multiprocessor applications. ACM Transactions on Computer Systems, 11(1):33?72, February 1993.","DOI":"10.1145\/151250.151252"},{"issue":"9","key":"CR15","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/TSE.1986.6313049","volume":"SE-12","author":"E. Kligerman","year":"1986","unstructured":"E. Kligerman and D. Stoyenko. Real-time euclid: a language for reliable real-time systems. IEEE Transactions on Software Engineering, SE-12(9):941?949, September 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"K. Ramamritham. Real-time databases. Distributed and Parallel Databases, vol. 1, pages 199?226. Kluwer Academic Press, January 1993.","DOI":"10.1007\/BF01264051"},{"key":"CR17","unstructured":"C. M. Krishna. On the Design and Analysis of Real-Time Computers. Ph.D. thesis, University of Michigan, September 1984."},{"key":"CR18","unstructured":"P. Laplante. IEEE Computer Society Press: Real-Time Systems Design and Analysis. IEEE, 1993."},{"key":"CR19","unstructured":"R. Clark. Scheduling Dependent Real-Time Activities. Ph.D. thesis, Carnegie Mellon University, August 1990."},{"key":"CR20","unstructured":"S. Bennet. Prentice Hall International Series in Systems and Control Engineering: Real-Time Computer Control: An Introduction. Prentice Hall, 1988."},{"key":"CR21","unstructured":"S.-C. Cheng, J. Stankovic and K. Ramamritham. Scheduling algorithms for hard real-time systems?a brief survey. In J. Stankovic and K. Ramamritham, editors, IEEE Computer Society Press: Hard Real-Time Systems: Tutorial. IEEE, 1988."},{"key":"CR22","series-title":"Internal Report 7-GTB","volume-title":"Analyzing a PreRun Time Scheduling Algorithm and Precedence Graphs","author":"G. Fohler","year":"1992","unstructured":"G. Fohler. Analyzing a PreRun Time Scheduling Algorithm and Precedence Graphs. Internal Report 7-GTB. Institut fur Technische Informatik, Technische Universit\u00e4t Wien, Austria, September 1992."},{"key":"CR23","unstructured":"C. Locke. Best Effort Decision Making for Real-Time Scheduling. Ph.D. thesis, Carnegie-Mellon University, May 1986."},{"key":"CR24","unstructured":"E. Jensen, C. Locke, and H. Tokuda. A time-driven scheduling model for real-time operating systems. 1985 Real-Time Systems Symposium, pages 212?222, IEEE, 1985."},{"key":"CR25","unstructured":"E. D. Jensen. Alpha: a non-proprietary realtime distributed operating system for mission management applications. In Conference Proceedings Echtzeit92, pages 205?212, Munchen, June 1992."},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"A. Burns. Scheduling hard real-time systems: a review. Software Engineering Journal, 116?128, May 1991.","DOI":"10.1049\/sej.1991.0015"},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"E. D. Jensen. Asynchronous decentralized realtime computers. Realtime Computer Systems, Digital Equipment Corp., March 1993.","DOI":"10.1007\/978-3-642-88049-0_17"},{"issue":"10","key":"CR28","first-page":"28","volume":"7","author":"E. D. Jensen","year":"1994","unstructured":"E. D. Jensen, Eliminating the hard\/soft real-time dichotomy. Embedded Systems Programming, 7(10):28?34, October 1994.","journal-title":"Embedded Systems Programming"},{"key":"CR29","unstructured":"P. Bond, D. Seaton, P. Ver\u00edssimo, and J. Waddington. Real-time concepts. In D. Powell, editor, Springer-Verlag Research Reports ESPRIT Series: Delta-4: a Generic Architecture for Dependable Distributed Computing. Springer-Verlag, 1991."},{"issue":"9","key":"CR30","doi-asserted-by":"crossref","first-page":"1156","DOI":"10.1109\/12.57057","volume":"39","author":"J.-Y. Chung","year":"1990","unstructured":"J.-Y. Chung, J. Liu, and K-J. Lin. Scheduling periodic jobs that allow imprecise results. IEEE Transactions on Computers, 39(9): 1156?1174, September 1990.","journal-title":"IEEE Transactions on Computers"},{"key":"CR31","unstructured":"K.-J. Lin and S. Natarajan. Expressing and maintaining timing constraints in FLEX. In Proc. Ninth IEEE Real-Time Systems Symposium, pages 96?105, IEEE, 1988."},{"key":"CR32","unstructured":"J. DAzzo and H. Houpis. McGraw-Hill Electrical and Electronic Engineering Series: Linear Control System Analysis and Design. McGraw-Hill International Student Edition, 1975."},{"key":"CR33","unstructured":"K. Ogata. Prentice-Hall Instrumentation and Control Series: Modern Control Engineering. Prentice-Hall Electrical Engineering Series, 1970."},{"key":"CR34","unstructured":"B. Kuo. Prentice-Hall International Editions: Automatic Control Systems. Prentice-Hall, sixth edition, 1991."},{"issue":"5","key":"CR35","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1109\/MM.1987.305014","volume":"7","author":"H. Kirrmann","year":"1987","unstructured":"H. Kirrmann. Fault tolerance in process control: an overview and examples of European products. IEEE Micro, 7(5):27?50, October 1987.","journal-title":"IEEE Micro"},{"key":"CR36","unstructured":"K. \u00c5str\u00f6m and B. Wittenmark. Prentice-Hall International Editions: Computer-Controlled Systems. Theory and Design. Prentice-Hall, second edition, 1990."},{"issue":"7","key":"CR37","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1016\/0141-9331(89)90142-7","volume":"13","author":"N. Burd","year":"1989","unstructured":"N. Burd. CSMA\/CD microcontroller communication network for low-level control. Microprocessors and Microssystems, 13(7): 427?436, September 1989.","journal-title":"Microprocessors and Microssystems"},{"issue":"Pt E(1)","key":"CR38","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1049\/ip-e.1987.0008","volume":"134","author":"D. Hutchison","year":"1987","unstructured":"D. Hutchison and M. Merabti. Ethernet for real-time applications. IEE Proceedings, 134(Pt E(1)):47?53, January 1987.","journal-title":"IEE Proceedings"},{"key":"CR39","series-title":"Lecture Notes in Computer Science, vol. 563","first-page":"87","volume-title":"Proc. Int. Workshop on Operating Systems of the 90s and Beyond","author":"H. Kopetz","year":"1991","unstructured":"H. Kopetz. Event-triggered versus time-triggered real-time systems. In A. Karshmer and J. Nehmer, editors, Proc. Int. Workshop on Operating Systems of the 90s and Beyond, Lecture Notes in Computer Science, vol. 563, pages 87?101, Berlin, Germany. Springer-Verlag, 1991."},{"key":"CR40","unstructured":"R. Middleton and G. Goodwin. Prentice-Hall International Editions: Digital Control and Estimation: A Unified Approach. Prentice-Hall, 1990."},{"issue":"6","key":"CR41","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1109\/TC.1980.1675609","volume":"C-29","author":"J. Meyer","year":"1980","unstructured":"J. Meyer, D. Furchtgott, and L. Wu. Performability evaluation of the SIFT computer. IEEE Transactions on Computers, C-29(6):501?509, June 1980.","journal-title":"IEEE Transactions on Computers"},{"issue":"8","key":"CR42","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1109\/TC.1980.1675654","volume":"C-29","author":"J. Meyer","year":"1980","unstructured":"J. Meyer. On evaluating the performability of degradable computing systems. IEEE Transactions on Computers, C-29(8):720?731, August 1980.","journal-title":"IEEE Transactions on Computers"},{"key":"CR43","unstructured":"C. M. Krishna and K. G. Shin. Performance measures for multiprocessor controllers. In A. K. Agrawala and S. K. Tripathi, editors, Performance '83. North-Holland Publishing Company, 1983, pp. 229?250."},{"issue":"1","key":"CR44","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/5.21065","volume":"77","author":"Y. Ho","year":"1989","unstructured":"Y. Ho. Dynamics of discrete event systems. In Proceedings of the IEEE, 77(1):3?6, January 1989.","journal-title":"Proceedings of the IEEE"},{"key":"CR45","unstructured":"J. Stankovic and K. Ramamritham. Introduction. In J. Stankovic and K. Ramamritham, editors, IEEE Computer Society Press: Advances in Real-Time Systems: Tutorial. IEEE, 1993."}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00133303.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00133303\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00133303","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T17:53:09Z","timestamp":1585936389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00133303"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,7]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,7]]}},"alternative-id":["BF00133303"],"URL":"https:\/\/doi.org\/10.1007\/bf00133303","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[1996,7]]}}}