{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T04:12:14Z","timestamp":1741839134707,"version":"3.38.0"},"publisher-location":"London","reference-count":28,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540761914"},{"type":"electronic","value":"9781447109976"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-1-4471-0997-6_3","type":"book-chapter","created":{"date-parts":[[2011,9,30]],"date-time":"2011-09-30T16:07:46Z","timestamp":1317398866000},"page":"25-36","source":"Crossref","is-referenced-by-count":2,"title":["Safe and Reliable Computer Control Systems an Overview"],"prefix":"10.1007","author":[{"given":"Henrik","family":"Thane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"L Barroca and J McDermid. Formal Methods: Use and Relevance for Development of Safety-Critical Systems. The Computer Journal, Vol. 35, No. 6, 1992.","DOI":"10.1093\/comjnl\/35.6.579"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"J Bowen and V Stavridou. Safety-Critical Systems, Formal Methods and Standards. Software Engineering Journal, 1992.","DOI":"10.1049\/sej.1993.0025"},{"key":"3_CR3","unstructured":"T DeMarco. Structured Analysis and System Specification. Yourdon Press 1978. ISBN 0-917072-07-3"},{"key":"3_CR4","first-page":"2","volume-title":"Achieving Safety in Complex Control Systems","author":"A Ellis","year":"1995","unstructured":"A. Ellis. Achieving Safety in Complex Control Systems. Proceedings of the Safety-Critical Systems Symposium. Pp. 2\u201314. Brighton, England, 1995. Springer-Verlag. ISBN 3-540-19922-5"},{"key":"3_CR5","isbn-type":"print","first-page":"217","volume-title":"The Role of Measurement in Software Safety Assessment","author":"NE Fenton","year":"1995","unstructured":"N E Fenton. The Role of Measurement in Software Safety Assessment. 12th Annual CSR Workshop, Bruges 12\u201315 September 1995. Proceedings, pp. 217\u2013248. Springer. ISBN 3-540-76034-2.","ISBN":"https:\/\/id.crossref.org\/isbn\/3540760342"},{"key":"3_CR6","isbn-type":"print","first-page":"251","volume-title":"Unexpected (and sometimes unpleasant) Lessons from Data in Real Software Systems","author":"NE Fenton","year":"1995","unstructured":"L.Hatton. Unexpected (and sometimes unpleasant) Lessons from Data in Real Software Systems. 12th Annual CSR Workshop, Bruges 12\u201315 September 1995. Proceedings, pp. 251\u2013259. Springer. ISBN 3-540-76034-2.","ISBN":"https:\/\/id.crossref.org\/isbn\/3540760342"},{"key":"3_CR7","first-page":"31","volume-title":"Real-Time Computing","author":"NE Fenton","year":"1995","unstructured":"K.H. Kim. Design of Real-Time Fault-Tolerant Computing Stations. Real-Time Computing ,Edt W. Halang A. Stoyenko, Springer Verlag, Nato ASI series, volume 127, page 31\u201346."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Knight J. C. and N. G.Leveson. An experimental evaluation of the assumptions of independence in multi-version programming. IEEE Transactions on Software Engineering, page 96\u2013109, January 1986.","DOI":"10.1109\/TSE.1986.6312924"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/382294.382710","volume":"15","author":"JC Knight","year":"1990","unstructured":"Knight J. C. and N. G. Leveson. A reply to the criticism of the Knight and Leveson experiment. ACM SIGSOFT Software engineering Notes, 15, p. 25\u201335, January 1990.","journal-title":"ACM SIGSOFT Software engineering Notes"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"J.C. Laprie. Dependability: Basic Concepts and Associated Terminology. Dependable Computing and Fault-Tolerant Systems, vol. 5, Springer Verlag, 1992.","DOI":"10.1007\/978-3-7091-9170-5"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"N. G.Leveson. Software safety: What, why and How. Computing surveys, 18(2),1986","DOI":"10.1145\/7474.7528"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"N. G.Leveson. High Pressure Steam Engines and Computer Software. The Int. Conference on software engineering, Melbourne, Australia, May 1992.","DOI":"10.1109\/ICSE.1992.753485"},{"key":"3_CR13","unstructured":"N. G. Leveson. Safeware System, Safety and Computers. Addison Wesley 1995. ISBN 0-201-11972-2."},{"key":"3_CR14","first-page":"332","volume":"22","author":"B Littlewood","year":"1973","unstructured":"B Littlewood et.al. A Bayesian Reliability Growth Model For Computer Software. Journal of the Royal Statistical Society, Series C, No. 22, p 332\u2013 346, 1973","journal-title":"Journal of the Royal Statistical Society"},{"key":"3_CR15","unstructured":"R. R.Lutz. Analyzing software requirements errors in safety-critical, embedded systems. In software requirements conference, IEEE, January 1992."},{"key":"3_CR16","volume-title":"Computer Related Risks","author":"PG Neuman","year":"1995","unstructured":"P G Neuman. Computer Related Risks. ACM Press, Adison-Wesley, 1995. ISBN 0-201-55805-x."},{"issue":"12","key":"3_CR17","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"D.L. Parnas. On the Criterion To Be Used in Decomposing Systems into Modules. The Communications of the ACM. Pp. 1053\u20131058. Vol. 15, no. 12. 1972","journal-title":"The Communications of the ACM"},{"key":"3_CR18","unstructured":"D Parnas. Connecting theory with practice. Communication Research Laboratory, Software engineering group. McMaster University, Canada, November 4,1995."},{"issue":"2","key":"3_CR19","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P Puschner","year":"1989","unstructured":"P. Puschner, C. Koza. Calculating the maximum execution time of realtime programs. Journal of Real time systems 1(2), Pp. 159\u2013176, September, 1989.","journal-title":"Journal of Real time systems"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"K.Ramamritham. Allocation and scheduling of complex periodic tasks. In 10th international conference on distributed computing systems. Pp. 108\u2013 115. 1995.","DOI":"10.1109\/ICDCS.1990.89256"},{"key":"3_CR21","unstructured":"J Rushby. Formal Specification and Verification for Critical systems: Tools, Achievements, and prospects. Advances in Ultra-Dependable Distributed Systems. IEEE Computer Society Press. 1995. ISBN 0-8186- 6287-5."},{"key":"3_CR22","unstructured":"J Rushby. Formal methods and their Role in the Certification of Critical Systems. 12th Annual CSR Workshop, Bruges 12\u201315 September 1995. Proceedings, pp. 2\u201342. Springer. ISBN 3-540-76034-2."},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"N.Shankar. Unifying Verification Paradigms. At the 4th international symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. Uppsala, Sweden, September 1996. Lecture Notes in Computer Science, no. 1135. Springer. ISBN 3-540-61648-9","DOI":"10.1007\/3-540-61648-9_32"},{"key":"3_CR24","unstructured":"H. Thane. Safe and Reliable Computer Control Systems - Concepts and Methods. Research Report TRITA-MMK 1996:13, ISSN 1400-1179, ISRN KTH\/MMK\/R-96\/13-SE. Mechatronics Laboratory\/Department of Machine Design, the Royal Institute of Technology, S-100 44 Stockholm, Sweden, 1996."},{"issue":"42","key":"3_CR25","first-page":"23","volume":"2","author":"AM Turing","year":"1936","unstructured":"A. M. Turing. On Computable Numbers with an Application to the entscheidungs problem. Proceedings London Mat. Society, 2:42, pp. 23\u2013 265,1936.","journal-title":"Proceedings London Mat. Society"},{"key":"3_CR26","unstructured":"M. Torngren. Fundamentals of Implementing Real-Time Control Applications in Distributed Computer Systems. To appear in the Journal of Real-Time Systems, Kluwer,1996."},{"key":"3_CR27","unstructured":"J M Voas, et.al. Software Assessment: Reliability, Safety, testability. Wiley Interscience, 1995. ISBN 0-471-01009-x."},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"J. Xu, D. Parnas. Scheduling process with release times, deadlines, precedence and exclusion relations. IEEE transactions on software engineering, vol. 16, no. 3, March 1990.","DOI":"10.1109\/32.48943"}],"container-title":["Safe Comp 97"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0997-6_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T07:50:12Z","timestamp":1741765812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0997-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540761914","9781447109976"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0997-6_3","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}