{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T13:16:59Z","timestamp":1773407819847,"version":"3.50.1"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1994,1]]},"DOI":"10.1007\/bf01245300","type":"journal-article","created":{"date-parts":[[2005,2,26]],"date-time":"2005-02-26T13:44:59Z","timestamp":1109425499000},"page":"73-114","source":"Crossref","is-referenced-by-count":104,"title":["HRT-HOOD: A structured design method for hard real-time systems"],"prefix":"10.1007","volume":"6","author":[{"given":"A.","family":"Burns","sequence":"first","affiliation":[]},{"given":"A. J.","family":"Wellings","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Agency, European Space. 1989 HOOD Reference Manual Issue 3.0. WME\/89-173\/JB."},{"key":"CR2","unstructured":"Agency, European Space. 1989 HOOD User Manual Issue 3.0. WME\/89-353\/JB."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Audsley, N.C., Tindell, K., Burns, A., Richardson, M.F. and Wellings, A.J. 1991. The DrTee architecture for distributed hard real-time systems.Proceedings 10th IFAC Workshop on Distributed Control Systems. Semmering, Austria.","DOI":"10.1016\/B978-0-08-041708-0.50016-7"},{"key":"CR4","unstructured":"Audsley, N.C., Burns, A., Richardson, M.F. and Wellings, A.J. 1991. STRESS: A Simulator for Hard Real-Time Systems. RTRG 106, Department of Computer Science, University of York."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0967-0661(93)92105-D","volume":"1","author":"N.C. Audsley","year":"1993","unstructured":"Audsley, N.C., Burns, A. and Wellings, A.J. 1993. Deadline monotonic scheduling theory and application.Control Engineering Practice 1:71?78.","journal-title":"Control Engineering Practice"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/BF01257086","volume":"20","author":"J.A. Bannister","year":"1983","unstructured":"Bannister, J.A. and Trivedi, K.S. 1983. Task allocation in fault-tolerant distributed systems.Acta Informatica 20:261?281.","journal-title":"Acta Informatica"},{"key":"CR7","unstructured":"Barrett, P.A., Hilborne, A.M. Verissimo, P., Rodrigues, L., Bond, P.G., Seaton, D.T. and Speirs, N.A. 1990. The delta-4 extra performance architecture (XPA).Digest of Papers, The Twentieth Annual International Symposium on Fault-Tolerant Computing, Newcaslte, pp. 481?488."},{"key":"CR8","volume-title":"Operating System Principles","author":"P. Brinch-Hansen","year":"1973","unstructured":"Brinch-Hansen, P. 1973.Operating System Principles. New Jersey: Prentice-Hall."},{"key":"CR9","volume-title":"System Design with Ada","author":"R.J.A. Buhr","year":"1984","unstructured":"Buhr, R.J.A. 1984.System Design with Ada. New Jersey: Prentice-Hall International."},{"key":"CR10","unstructured":"Burns, A. and Lister, A.M. 1990. An Architectural Framework for Timely and Reliable Distributed Information Systems (TARDIS): Description and Case Study. YCS.140, Department of Computer Science, University of York."},{"key":"CR11","volume-title":"Real-Time Systems and Their Programming Languages","author":"A. Burns","year":"1990","unstructured":"Burns, A. and Wellings, A.J. 1990.Real-Time Systems and Their Programming Languages, Reading, MA: Addison Wesley."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1049\/sej.1991.0015","volume":"6","author":"A. Burns","year":"1991","unstructured":"Burns, A. 1991. Scheduling hard real-time systems: a review.Software Engineering Journal 6:116?128.","journal-title":"Software Engineering Journal"},{"key":"CR13","unstructured":"Burns, A. and Wellings, A.J. 1991. Development of a Design Methodology. Task 3 Deliverable on ESTEC Contract 9198\/90\/NL\/SF, Department of Computer Science, University of York."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1093\/comjnl\/34.2.173","volume":"34","author":"A. Burns","year":"1991","unstructured":"Burns, A. and Lister, A.M. 1991. A framework for building dependable systems.Computer Journal 34:173?181.","journal-title":"Computer Journal"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Burns, A. and Wellings, A.J. 1992. Hard Real-time HOOD: A design method for hard real-time Ada 9X systems. Towards Ada 9X,Proceedings of 1991 Ada UK International Conference, IOS Press.","DOI":"10.1007\/3-540-55585-4_11"},{"key":"CR16","volume-title":"Ada sans frontieres Proceedings of the 12th Ada-Europe Conference. Lecture Notes in Computer Science","author":"A. Burns","year":"1993","unstructured":"Burns, A., Wellings, A.J., Bailey, C.M. and Fyfe, E. 1993. The Olympus attitude and orbital control system: a case study in hard real-time system design and implementation.Ada sans frontieres Proceedings of the 12th Ada-Europe Conference. Lecture Notes in Computer Science. Berlin\/Heidelberg: Springer-Verlag."},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Burns, A., Wellings, A.J., Bailey, C.M. and Fyfe, E. 1993. The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-time System Design and Implementation. YCS 190, Department of Computer Science, University of York.","DOI":"10.1007\/3-540-56802-6_3"},{"key":"CR18","volume-title":"Ada sans frontieres Proceedings of the 12th Ada-Europe Conference, Lecture Notes in Computer Science","author":"A. Burns","year":"1993","unstructured":"Burns, A., Wellings, A.J. and Hutcheon, A.D. 1993. The Impact of an Ada Run-time System's Performance Characteristics on Scheduling Models.Ada sans frontieres Proceedings of the 12th Ada-Europe Conference, Lecture Notes in Computer Science, Berlin\/Heidelberg: Springer-Verlag."},{"key":"CR19","volume-title":"Embedded Real-time Systems: A Specification and Design Methodology","author":"J.P. Calvez","year":"1993","unstructured":"Calvez, J.P. 1993.Embedded Real-time Systems: A Specification and Design Methodology, NY, NY: Wiley."},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Chen, G. and Yur, J. 1990. A Branch-and-Bound-with-Underestimates Algorithm for the Task Assignment Problem with Precedence Constraint.10th International Conference on Distributed Computing Systems, pp. 494?501.","DOI":"10.1109\/ICDCS.1990.89319"},{"key":"CR21","unstructured":"Cherry, G.W. 1986.Pamela Designers Handbook, Thought Tools Incorporated."},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Cooling, J.E. 1991.Software Design for Real-Time Systems. Chapman and Hall.","DOI":"10.1007\/978-1-4899-2957-0"},{"key":"CR23","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1145\/71021.71029","volume":"23","author":"A. Damm","year":"1989","unstructured":"Damm, A., Reisinger, J., Schwabl, W. and Kopetz, H. 1989. The real-time operating system of MARS.ACM Operating Systems Review 23:141?157.","journal-title":"ACM Operating Systems Review"},{"key":"CR24","unstructured":"Davari, S. and Dhall, S.K. 1986. An on-line algorithm for real-time task allocation. pp. 194?200.Proceedings 7th IEEE Real-Time Systems Symposium."},{"key":"CR25","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1287\/opre.26.1.127","volume":"26","author":"S.K. Dhall","year":"1978","unstructured":"Dhall, S.K. and Liu, C.L. 1978. On a real-time scheduling problem.Operations Research 26:127?140.","journal-title":"Operations Research"},{"key":"CR26","unstructured":"Dobson, J.E. and McDermid, J.A. 1990. An Investigation into Modelling and Categorisation of Non-Functional Requirements. YCS.141, Department of Computer Science, University of York."},{"key":"CR27","volume-title":"Heuristic Scheduling for Distributed Real-time Systems. Nr 6\/89","author":"G. Fohler","year":"1989","unstructured":"Fohler, G. and Koza, C. 1989. Heuristic Scheduling for Distributed Real-time Systems. Nr 6\/89, Institute f\u00fcr Technische Informatik, Technische Universit\u00e4t Wien, Austria."},{"key":"CR28","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"Hoare, C.A.R. 1974. Monitors?an operating system structuring concept.CACM 17:549?557.","journal-title":"CACM"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1093\/comjnl\/34.2.164","volume":"34","author":"M.E.C. Hull","year":"1991","unstructured":"Hull, M.E.C., O'Donoghue, P.G. and Hagan, B.J. 1991. Development methods for real-time systems.Computer Journal 34:164?72. Comput. J. (UK).","journal-title":"Computer Journal"},{"key":"CR30","unstructured":"Intermetrics. 1991. Draft Ada 9X Mapping Document, Volume II, Mapping Specification. Ada 9X Project Report."},{"key":"CR31","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/TSE.1986.6313049","volume":"12","author":"E. Kligerman","year":"1986","unstructured":"Kligerman, E. and Stoyenko, A.D. 1986. Real-time Euclid: a language for reliable real-time systems.IEEE Transactions on Software Engineering SE-12:941?949.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR32","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1049\/sej.1991.0011","volume":"6","author":"H. Kopetz","year":"1991","unstructured":"Kopetz, H., Zainlinger, R., Fohler, G., Kantz, H., Puschner, P. and Schutz, W. 1991. The design of real-time systems: from specification to implementation and verification.Software Engineering Journal 6:72?82. Softw. Eng. J. (UK).","journal-title":"Software Engineering Journal"},{"key":"CR33","first-page":"1","volume":"180","author":"J. Kramer","year":"1983","unstructured":"Kramer, J., Magee, J., Sloman, M.S. and Lister, A.M. 1983. CONIC: an integrated approach to distributed computer control systems.IEE Proceedings (Part E) 180:1?10.","journal-title":"IEE Proceedings (Part E)"},{"key":"CR34","doi-asserted-by":"crossref","unstructured":"Kramer, J. and Magee, J. 1988. A model for change management.Proceedings of the IEEE distributed Computing Systems in the '90s Conference.","DOI":"10.1109\/FTDCS.1988.26709"},{"key":"CR35","first-page":"1","volume-title":"Resilient Computer Systems.","author":"J.C. Laprie","year":"1989","unstructured":"Laprie, J.C. 1989. Dependability: A Unified Concept for Reliable Computing and Fault Tolerance. pp. 1?28 inResilient Computer Systems., ed. Anderson, T., Collins and NY, NY: Wiley."},{"key":"CR36","unstructured":"Lauber (Ed), R.J. 1990. EPOS Overview: Short Account of the Main Features. GPP Gesellschaft f\u00fcr Proze-Brechnerprogrammierung mbH, Kolpingring 18a, D-8024 Oberhaching bei M\u00fcchen."},{"key":"CR37","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF02341921","volume":"1","author":"R.J. Lauber","year":"1989","unstructured":"Lauber, R.J. 1989. Forecasting real-time behavior during software design using a CASE environment.The Journal of Real-Time Systems 1:61?76.","journal-title":"The Journal of Real-Time Systems"},{"key":"CR38","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0166-5316(82)90024-4","volume":"2","author":"J.Y.T. Leung","year":"1982","unstructured":"Leung, J.Y.T. and Whitehead, J. 1982. On the complexity of fixed-priority scheduling of periodic, real-time tasks.Performance Evaluation (Netherlands) 2:237?250.","journal-title":"Performance Evaluation (Netherlands)"},{"key":"CR39","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"Liu, C.L. and Layland, J.W. 1973. Scheduling algorithms for multiprogramming in a hard real-time environment.JACM 20:46?61.","journal-title":"JACM"},{"key":"CR40","unstructured":"Rajkumar, R., Sha, L. and Lehoczky, J.P. 1989. An experimental investigation of synchronization protocols.Proceedings 6th IEEE Workshop on Real-Time Operating Systems and Software. pp. 11?17."},{"key":"CR41","doi-asserted-by":"crossref","unstructured":"Ramamritham, K. 1990. Allocation and Scheduling of Complex Periodic Tasks. 10th International Conference on Distributed Computing Systems, pp. 108?115.","DOI":"10.1109\/ICDCS.1990.89256"},{"key":"CR42","volume-title":"Hierarchical Object-Oriented Design","author":"P. Robinson","year":"1992","unstructured":"Robinson, P. 1992.Hierarchical Object-Oriented Design. Englewood Cliffs, NJ: Prentice Hall."},{"key":"CR43","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L. Sha","year":"1990","unstructured":"Sha, L., Rajkumar, R. and Lehoczky, J.P. 1990. Priority inheritance protocols: an approach to real-time synchronization.IEEE Transactions on Computers 39:1175?1185.","journal-title":"IEEE Transactions on Computers"},{"key":"CR44","first-page":"19","volume-title":"Lecture Notes in Computer Science","author":"S.K. Shrivastava","year":"1987","unstructured":"Shrivastava, S.K., Mancini, L. and Randell, B. 1987. On The Duality of Fault Tolerant Structures. pp. 19?37 inLecture Notes in Computer Science. Berlin\/Heidelberg: Springer-Verlag."},{"key":"CR45","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1049\/sej.1986.0018","volume":"1","author":"H.R. Simpson","year":"1986","unstructured":"Simpson, H.R. 1986. The mascot method.Software Engineering Journal 1:103?120.","journal-title":"Software Engineering Journal"},{"key":"CR46","volume-title":"Distributed Systems and Computer Networks","author":"M. Sloman","year":"1987","unstructured":"Sloman, M. and Kramer, J.Distributed Systems and Computer Networks. Englewood Cliffs, NJ: Prentice-Hall (1987)."},{"key":"CR47","unstructured":"Technologies, Cadre,Teamwork, 222 Richmond Street, Providence, RI 02903, USA (1990)."},{"key":"CR48","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF00365407","volume":"4","author":"K. Tindell","year":"1992","unstructured":"Tindell, K., Burns, A. and Wellings, A.J. 1992. Allocating real-time tasks (an NP-hard problem made easy).Real-Time Systems 4:145?165.","journal-title":"Real-Time Systems"},{"key":"CR49","volume-title":"Algorithms and Complexity","author":"H.S. Wilf","year":"1986","unstructured":"Wilf, H.S. 1986.Algorithms and Complexity. Englewood Cliffs, NJ: Prentice-Hall International."},{"key":"CR50","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1109\/32.48943","volume":"SE-16","author":"J. Xu","year":"1990","unstructured":"Xu, J. and Parnas, D.L. 1990. Scheduling processes with release times, deadlines, precedence, and exclusion relations.IEEE Transactions on Software Engineering SE-16:360?369.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR51","doi-asserted-by":"crossref","first-page":"949","DOI":"10.1109\/TC.1987.5009518","volume":"36","author":"W. Zhao","year":"1987","unstructured":"Zhao, W., Ramamritham, K. and Stankovic, J.A. 1987. Preemptive scheduling under time and resource constraints.IEEE Transactions on Computers 36:949?960.","journal-title":"IEEE Transactions on Computers"}],"container-title":["Real-time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01245300.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01245300\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01245300","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T21:05:25Z","timestamp":1706043925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01245300"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,1]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,1]]}},"alternative-id":["BF01245300"],"URL":"https:\/\/doi.org\/10.1007\/bf01245300","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,1]]}}}