{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:49Z","timestamp":1742617129324,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547426"},{"type":"electronic","value":"9783540464464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540547428_48","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:12:07Z","timestamp":1330211527000},"page":"166-188","source":"Crossref","is-referenced-by-count":7,"title":["An engineering approach to hard real-time system design"],"prefix":"10.1007","author":[{"given":"H.","family":"Kopetz","sequence":"first","affiliation":[]},{"given":"R.","family":"Zainlinger","sequence":"additional","affiliation":[]},{"given":"G.","family":"Fohler","sequence":"additional","affiliation":[]},{"given":"H.","family":"Kantz","sequence":"additional","affiliation":[]},{"given":"P.","family":"Puschner","sequence":"additional","affiliation":[]},{"given":"W.","family":"Sch\u00fctz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,2]]},"reference":[{"issue":"2","key":"10_CR1","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1145\/356876.356879","volume":"14","author":"W. R. Adrion","year":"1982","unstructured":"W. R. Adrion, M. A. Branstad, and J. C. Cherniavsky. Validation, Verification, and Testing of Computer Software. ACM Computing Surveys, 14(2):159\u2013192, June 1982.","journal-title":"ACM Computing Surveys"},{"issue":"4","key":"10_CR2","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MC.1985.1662863","volume":"18","author":"M. Alford","year":"1985","unstructured":"M. Alford. SREM at the Age of Eight; The Distributed Computing Design System. IEEE Computer, 18(4):36\u201346, Apr. 1985.","journal-title":"IEEE Computer"},{"key":"10_CR3","first-page":"311","volume-title":"Computer Networks and ISDN Systems 16","author":"F. Belina","year":"1988\/89","unstructured":"F. Belina and D. Hogrefe. The CCITT-Specification and Description Language SDL. In Computer Networks and ISDN Systems 16, pages 311\u2013341. Elsevier Science Publishers B.V. (North Holland), 1988\/89."},{"issue":"3","key":"10_CR4","first-page":"287","volume":"30","author":"M. Dowson","year":"1987","unstructured":"M. Dowson. ISTAR and the Contractual Approach. Communications of the ACM, 30(3):287\u2013288, Mar. 1987.","journal-title":"Communications of the ACM"},{"key":"10_CR5","volume-title":"Research Report 6\/89","author":"G. Fohler","year":"1989","unstructured":"G. Fohler and C. Koza. Heuristic Scheduling for Distributed Real-Time Systems. Research Report 6\/89, Institut f\u00fcr Technische Informatik, Technische Universit\u00e4t Wien, Vienna, Austria, April 1989."},{"issue":"7","key":"10_CR6","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/2.56852","volume":"23","author":"R. Geist","year":"1990","unstructured":"R. Geist and K. Trivedi. Reliability Estimation of Fault Tolerant Systems: Tools and Techniques. IEEE Computer, 23(7):52\u201361, July 1990.","journal-title":"IEEE Computer"},{"issue":"6","key":"10_CR7","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1145\/62959.62965","volume":"31","author":"D. Gelperin","year":"1988","unstructured":"D. Gelperin and B. Hetzel. The Growth of Software Testing. Communications of the ACM, 31(6):687\u2013695, June 1988.","journal-title":"Communications of the ACM"},{"issue":"7","key":"10_CR8","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1145\/6138.6150","volume":"29","author":"H. Gomaa","year":"1986","unstructured":"H. Gomaa. Software Development of Real-Time Systems. Communications of the ACM, 29(7):657\u2013668, July 1986.","journal-title":"Communications of the ACM"},{"key":"10_CR9","volume-title":"Software Engineering and Technology","author":"W. E. Howden","year":"1987","unstructured":"W. E. Howden. Functional Program Testing and Analysis. Software Engineering and Technology. McGraw-Hill, New York, 1987."},{"issue":"4","key":"10_CR10","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1145\/50020.50062","volume":"20","author":"A. M. Johnson","year":"1988","unstructured":"A. M. Johnson and M. Malek. Survey of Software Tools for Evaluating Reliability, Availability and Serviceability. ACM Computing Surveys, 20(4):227\u2013269, Dec. 1988.","journal-title":"ACM Computing Surveys"},{"doi-asserted-by":"crossref","unstructured":"H. Kantz and M. Mulazzani. Modeling of PMS \u2014 Structures in SHARPE. In IFAC Proceedings SAFECOMP 89, pages 97\u2013102, Vienna, Austria, Dec. 1989.","key":"10_CR11","DOI":"10.1016\/S1474-6670(17)52802-5"},{"doi-asserted-by":"crossref","unstructured":"H. Kantz. Integrating Dependability Analysis into the Design of Distributed Computer Systems. In IEEE CompEuro 91, pages 762\u2013766, Bologna, Italy, May 1991.","key":"10_CR12","DOI":"10.1109\/CMPEUR.1991.257486"},{"issue":"1","key":"10_CR13","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/40.16792","volume":"9","author":"H. Kopetz","year":"1989","unstructured":"H. Kopetz, A. Damm, Ch. Koza, M. Mulazzani, W. Schwabl, Ch. Senft, and R. Zainlinger. Distributed Fault-Tolerant Real-Time Systems: The MARS Approach. IEEE Micro, 9(1):25\u201340, Feb. 1989.","journal-title":"IEEE Micro"},{"doi-asserted-by":"crossref","unstructured":"H. Kopetz, H. Kantz, G. Gr\u00fcnsteidl, P. Puschner, and J. Reisinger. Tolerating Transient Faults in MARS. In Proc. 20th Int. Symposium on Fault-Tolerant Computing, pages 466\u2013473, Newcastle upon Tyne, UK, June 1990.","key":"10_CR14","DOI":"10.1109\/FTCS.1990.89384"},{"key":"10_CR15","doi-asserted-by":"crossref","first-page":"56\/1","DOI":"10.1016\/B978-0-7506-0813-8.50064-2","volume-title":"Software Engineer's Reference Book","author":"H. Kopetz","year":"1991","unstructured":"H. Kopetz. Real-Time Systems. In J.A. McDermid, Editor, Software Engineer's Reference Book, pages 56\/1\u201356\/9. Butterworth-Heinemann Ltd., Oxford, U.K., 1991."},{"issue":"3","key":"10_CR16","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(85)90084-0","volume":"27","author":"R. Korf","year":"1985","unstructured":"R. Korf. Depth-First Iterative-Deepening: An Optimal Admissable Tree Search. Artificial Intelligence, 27(3):97\u2013109, 1985.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"10_CR17","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1049\/sej.1989.0012","volume":"4","author":"J. Laski","year":"1989","unstructured":"J. Laski. Testing in the Program Development Cycle. IEE Software Engineering Journal, 4(2):95\u2013106, Mar. 1989.","journal-title":"IEE Software Engineering Journal"},{"key":"10_CR18","first-page":"645","volume":"II","author":"R. Lauber","year":"1989","unstructured":"R. Lauber. Forecasting Real-Time Behavior During Software Design using a CASE environment. In Proc. 22nd Annual Hawaii International Conference on System Sciences, Vol. II, pages 645\u2013653, Kailua-Kona, HI, USA, Jan. 1989.","journal-title":"Proc. 22nd Annual Hawaii International Conference on System Sciences"},{"issue":"1","key":"10_CR19","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. L. Liu","year":"1973","unstructured":"C. L. Liu and J. W. Layland. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. Journal of the ACM, 20(1):46\u201361, Jan. 1973.","journal-title":"Journal of the ACM"},{"unstructured":"A. K. Mok. Fundamental Design Problems of Distributed Systems for the Hard Real-Time Environment. PhD Thesis, Massachusetts Institute of Technology, 1983. Report MIT\/LCS\/TR-297.","key":"10_CR20"},{"doi-asserted-by":"crossref","unstructured":"M. Mulazzani and K. S. Trivedi. Dependability Prediction: Comparison of Tools and Techniques. In IFAC Proceedings SAFECOMP 86, pages 171\u2013178, Sarlat, France, Oct. 1986.","key":"10_CR21","DOI":"10.1016\/B978-0-08-034801-8.50032-5"},{"key":"10_CR22","volume-title":"PhD Thesis","author":"M. Mulazzani","year":"1988","unstructured":"M. Mulazzani. Generation of Dependability Models from Design Specifications of Distributed Real-Time Systems. PhD Thesis, Technisch Naturwissenschaftliche Fakult\u00e4t, Technische Universit\u00e4t Wien, Vienna, Austria, Apr. 1988."},{"unstructured":"D. Parnas, P. Clements, and D. Weiss. The Modular Structure of Complex Systems. In Proc. 7th IEEE Intern. Conference on Software Engineering, pages 408\u2013417, Orlando, Florida, Mar. 1984.","key":"10_CR23"},{"issue":"2","key":"10_CR24","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P. Puschner","year":"1989","unstructured":"P. Puschner and Ch. Koza. Calculating the Maximum Execution Time of Real-Time Programs. Real-Time Systems, 1(2):159\u2013176, Sep. 1989.","journal-title":"Real-Time Systems"},{"unstructured":"P. Puschner and R. Zainlinger. Developing Software with Predictable Timing Behavior. In Proc. 7th IEEE Workshop on Real-Time Operating Systems and Software, pages 70\u201376, Charlottesville, VA, May 1990.","key":"10_CR25"},{"issue":"2","key":"10_CR26","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1109\/TR.1987.5222336","volume":"36","author":"R. Sahner","year":"1987","unstructured":"R. Sahner and K. S. Trivedi. Reliability Modeling using SHARPE. IEEE Transactions on Reliability, 36(2):186\u2013193, June 1987.","journal-title":"IEEE Transactions on Reliability"},{"key":"10_CR27","first-page":"51","volume-title":"Proc. 1990 European Simulation Multiconference","author":"W. Sch\u00fctz","year":"1990","unstructured":"W. Sch\u00fctz. Real-Time Simulation in the Distributed Real-Time System MARS. In Proc. 1990 European Simulation Multiconference, pages 51\u201357, N\u00fcrnberg, FRG, June 1990. The Society for Computer Simulation International."},{"doi-asserted-by":"crossref","unstructured":"W. Sch\u00fctz. A Test Strategy for the Distributed Real-Time System MARS. In IEEE CompEuro 90, Computer Systems and Software Engineering, pages 20\u201327, Tel Aviv, Israel, May 1990.","key":"10_CR28","DOI":"10.1109\/CMPEUR.1990.113604"},{"doi-asserted-by":"crossref","unstructured":"Ch. Senft. A Computer-Aided Design Environment for Distributed Realtime Systems. In IEEE CompEuro 88, System Design: Concepts, Methods and Tools, pages 288\u2013297, Brussels, Belgium, Apr. 1988.","key":"10_CR29","DOI":"10.1109\/CMPEUR.1988.4961"},{"key":"10_CR30","first-page":"871","volume":"II","author":"C. Senft","year":"1989","unstructured":"Ch. Senft and R. Zainlinger. A Graphical Design Environment for Distributed Real-Time Systems. In Proc. 22nd Annual Hawaii International Conference on System Sciences, Vol. II, pages 871\u2013880, Kailua-Kona, HI, USA, Jan. 1989.","journal-title":"Proc. 22nd Annual Hawaii International Conference on System Sciences"},{"issue":"7","key":"10_CR31","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1109\/32.29487","volume":"SE-15","author":"A. C. Shaw","year":"1989","unstructured":"A. C. Shaw. Reasoning About Time in Higher-Level Language Software. IEEE Transactions on Software Engineering, SE-15(7):875\u2013889, July 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"10_CR32","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1049\/sej.1986.0018","volume":"1","author":"H. Simpson","year":"1986","unstructured":"H. Simpson. The MASCOT Method. IEE Software Engineering Journal, 1(3):103\u2013120, May 1986.","journal-title":"IEE Software Engineering Journal"},{"issue":"2","key":"10_CR33","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TSE.1986.6312936","volume":"12","author":"P. Ward","year":"1986","unstructured":"P. Ward. The Transformation Scheme: an Extension of the Data Flow Diagram to Represent Control and Timing. IEEE Transactions on Software Engineering, 12(2):198\u2013210, Feb. 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR34","volume-title":"Research Report 17\/89","author":"R. Zainlinger","year":"1989","unstructured":"R. Zainlinger. Data Objects in the MARS Design System. Research Report 17\/89, Institut f\u00fcr Technische Informatik, Technische Universit\u00e4t Wien, Vienna, Austria, Sep. 1989."},{"unstructured":"R. Zainlinger. Building Interfaces for CASE Environments: An Object Oriented Interaction Model and its Application. In Proc. of the IFIP International Conference on Human Factors in Information Systems Analysis and Design, pages 65\u201380, Sch\u00e4rding, Austria, June 1990.","key":"10_CR35"},{"unstructured":"R. Zainlinger and G. Pospischil. DIAMOND \u2014 An Object Oriented Graphics Library for Software Development Environments. In Proc. of the Autumn 1990 EUUG Conference, pages 157\u2013166, Nice, France, Oct. 1990.","key":"10_CR36"}],"container-title":["Lecture Notes in Computer Science","ESEC '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540547428_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:24:32Z","timestamp":1742592272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540547428_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547426","9783540464464"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3540547428_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}