{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T05:31:54Z","timestamp":1738387914190,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876977"},{"type":"electronic","value":"9783540876984"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87698-4_23","type":"book-chapter","created":{"date-parts":[[2008,9,19]],"date-time":"2008-09-19T19:53:29Z","timestamp":1221854009000},"page":"263-276","source":"Crossref","is-referenced-by-count":1,"title":["Applying Safety Goals to a New Intensive Care Workstation System"],"prefix":"10.1007","author":[{"given":"Uwe","family":"Becker","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Bishop, P., Bloomfield, R., Guerra, S.: The Future of Goal-Based Assurance Cases. In: Proc. Workshop on Assurance Cases, pp. 390\u2013395 (2004)"},{"key":"23_CR2","unstructured":"Bloomfield, R., Bishop, P., Jones, C., Froome, P.: ASCAD \u2013 Adelard Safety Case Development Manual, Adelard (1998)"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/1-84628-111-3_13","volume-title":"Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective","author":"R. Bloomfield","year":"2006","unstructured":"Bloomfield, R., Littlewood, B.: On the use of diverse arguments to increase confidence in dependability claims. In: Besnard, D., Gacek, C., Jones, C.B. (eds.) Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, pp. 254\u2013268. Springer, Heidelberg (2006)"},{"key":"23_CR4","unstructured":"Bridal, O., et al.: Deliverable D3.1 Part 1 Appendix E: Safety Case, Version1.1. Technical Report, EASIS Consortium (February 2006), http:\/\/www.easis-online.org"},{"key":"23_CR5","unstructured":"CENELEC EN 50129 \u2013 Railway Applications \u2013 Safety related electronic systems for signaling, CENELEC Brussels (2003)"},{"key":"23_CR6","unstructured":"Chinneck, P., Pumfrey, D., McDermid, J.: The HEAT\/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation. In: 9th Australian Workshop on Safety Related Programmable Systems (2004)"},{"key":"23_CR7","unstructured":"European Council: Council Directive 93\/42\/EEC of 14 June 1993 concerning medical devices. Official Journal L 169, 12\/07\/1993, pp. 0001 \u2013 0043 (1993)"},{"key":"23_CR8","unstructured":"Greenwell, W.S., Strunk, E.A., Knight, J.C.: Failure Analysis and the Safety-Case Lifecycle, Department of Computer Science, University of Virginia"},{"key":"23_CR9","unstructured":"IEC 60601-1 \u2013 Ed. 3.0 \u2013 Medical electrical equipment \u2013 Part 1: General requirements for basic safety and essential performance. IEC Geneva (2005)"},{"key":"23_CR10","unstructured":"IEC 60601-1-4 \u2013 Ed. 1.0 \u2013 Medical electrical equipment \u2013 Particular Requirement for the Safety of Programmable Medical Devices. IEC Geneva (2000)"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"IEC 62304 \u2013 Ed. 1.0 \u2013 Medical device software \u2013 Software life cycle processes. IEC Geneva (2006)","DOI":"10.1049\/ic:20060141"},{"key":"23_CR12","unstructured":"IEC 62366 \u2013 Ed. 1.0 \u2013 Medical devices \u2013 Application of usability engineering to medical devices. Draft. IEC Geneva (2006)"},{"key":"23_CR13","unstructured":"Intl. Electrotechnical Commission. IEC 61508: Functional Safety of Electrical\/ Electronic\/Programmable Electronic Safety-Related Systems. Technical Report (April 1999)"},{"key":"23_CR14","unstructured":"ISO 14971:2007 \u2013 Application of risk management to medical devices. ISO Geneva (2007)"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Karapetian, A.V., Some, R.R., Beahan, J.J.: Radiation Fault Modeling and Fault Rate Estimation for a COTS Based Space- Borne Supercomputer. In: Proc. IEEE Aerospace Conf., Mar. 2002, vol.\u00a05, pp. 5-2121\u20135-2131 (2002)","DOI":"10.1109\/AERO.2002.1035378"},{"key":"23_CR16","unstructured":"Kelly, T., McDermid, J., Weaver, R.: Goal-Based Safety Standards: Opportunities and Challenges. In: Proc. of the 23rd International System Safety Conference (2005)"},{"key":"23_CR17","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0951-8320(00)00079-X","volume":"71","author":"T. Kelly","year":"2001","unstructured":"Kelly, T., McDermid, J.: A Systematic Approach to Safety Case Maintenance. Reliability Engineering and System Safety\u00a071, 271\u2013284 (2001)","journal-title":"Reliability Engineering and System Safety"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Kelly, T.: A Systematic Approach to Safety Case Management. In: Kelly, T. (ed.) Proc. of SAE 2004 World Congress (2004)","DOI":"10.4271\/2004-01-1779"},{"key":"23_CR19","volume-title":"Proc. 11th Safety Critical Systems Symposium","author":"T. Kelly","year":"2003","unstructured":"Kelly, T.: Managing Complex Safety Cases. In: Proc. 11th Safety Critical Systems Symposium. Springer, Heidelberg (2003)"},{"key":"23_CR20","volume-title":"Proceedings of 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1997)","author":"T.P. Kelly","year":"1997","unstructured":"Kelly, T.P., McDermid, J.: Safety Case Construction and Reuse using Patterns. In: Proceedings of 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1997), September 1997. Springer, Heidelberg (1997)"},{"key":"23_CR21","unstructured":"Kelly, T.P.: Arguing Safety: A Systematic Approach to Managing Safety Cases. PhD Thesis, University of York, UK (September 1998)"},{"key":"23_CR22","volume-title":"Safeware: System Safety and Computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley, Boston (1995)"},{"issue":"2","key":"23_CR23","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/0951-8320(94)90057-4","volume":"43","author":"J. McDermid","year":"1994","unstructured":"McDermid, J.: Support for safety cases and safety argument using SAM. Reliability Engineering and System Safety\u00a043(2), 111\u2013127 (1994)","journal-title":"Reliability Engineering and System Safety"},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"Mukherjee, S.S., Emer, J., Reinhardt, S.K.: The Soft Error Problem: An Architectural Perspective. In: Proc. 11th Int\u2019l Symp. High-Performance Computer Architecture, pp. 243\u2013247 (Febuary 2005)","DOI":"10.1109\/HPCA.2005.37"},{"key":"23_CR25","doi-asserted-by":"crossref","unstructured":"Nicolescu, B., Velazco, R.: Detecting Soft Errors by a Purely Software Approach: Method, Tools and Experimental Results. In: Proc. Design, Automation and Test in Europe Conf. and Exhibition, pp. 57\u201362 (March 2003)","DOI":"10.1109\/DATE.2003.1253806"},{"key":"23_CR26","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-1-4471-0653-1_10","volume-title":"Current issues in security-critical systems","author":"O. Nordland","year":"2003","unstructured":"Nordland, O.: Safety Case Categories \u2013 Which One When? In: Redmill, F., Anderson, T. (eds.) Current issues in security-critical systems, pp. 163\u2013172. Springer, Heidelberg (2003)"},{"key":"23_CR27","volume-title":"Fault-Tolerant Computer System Design","author":"D.K. Pradhan","year":"1996","unstructured":"Pradhan, D.K.: Fault-Tolerant Computer System Design. Prentice Hall, Englewood Cliffs (1996)"},{"key":"23_CR28","unstructured":"Pullum, L.L.: Software Fault Tolerance Techniques and Implementation. Artech House (2001)"},{"key":"23_CR29","doi-asserted-by":"crossref","unstructured":"Ridderhof, W., Gross, H.-G., Doerr, H.: Establishing Evidence for Safety Cases in Automotive Systems \u2013 A Case Study. In: Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, pp. 1\u201313 (September 2007)","DOI":"10.1007\/978-3-540-75101-4_1"},{"key":"23_CR30","unstructured":"RVSM Pre-Implementation Safety Case, Eurocontrol (2001)"},{"issue":"3","key":"23_CR31","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1109\/24.914544","volume":"49","author":"P.P. Shirvani","year":"2000","unstructured":"Shirvani, P.P., Saxena, N.R., McCluskey, E.J.: Software- Implemented EDAC Protection against SEUs. IEEE Trans. Reliability\u00a049(3), 273\u2013284 (2000)","journal-title":"IEEE Trans. Reliability"},{"key":"23_CR32","volume-title":"Safety Critical Computer Systems","author":"N. Storey","year":"1996","unstructured":"Storey, N.: Safety Critical Computer Systems. Addison-Wesley, Reading (1996)"},{"key":"23_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11875567_17","volume-title":"Computer Safety, Reliability, and Security","author":"M. Sujan","year":"2006","unstructured":"Sujan, M., Harrison, M., Pearson, P., Steven, A., Vernon, S.: Demonstration of Safety in: Healthcare Organisations. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166. Springer, Heidelberg (2006)"},{"key":"23_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75101-4_2","volume-title":"Computer Safety, Reliability, and Security","author":"M.-A. Sujan","year":"2007","unstructured":"Sujan, M.-A., Koornneef, F., Voges, U.: Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol.\u00a04680, Springer, Heidelberg (2007)"},{"key":"23_CR35","doi-asserted-by":"crossref","unstructured":"Weaver, R., Despotou, G., Kelly, T., McDermid, J.: Combining Software Evidence: Arguments and Assurance. In: Proceedings of the 2005 workshop on Realising evidence-based software engineering, St. Louis, Missouri, pp. 1\u20137 (2005)","DOI":"10.1145\/1083174.1083182"},{"key":"23_CR36","unstructured":"Weaver, R.A.: The Safety of Software \u2013 Constructing and Assuring Arguments. DPhil Thesis, Department of Computer Science, University of York, UK (2003)"},{"issue":"11","key":"23_CR37","doi-asserted-by":"publisher","first-page":"1539","DOI":"10.1109\/TPDS.2007.1093","volume":"18","author":"Y. Zhou","year":"2007","unstructured":"Zhou, Y., Lakamraju, V., Koren, I., Krishna, C.M.: Software-Based Failure Detection and Recovery in Programmable Network Interfaces. IEEE Transactions on Parallel and Distributed Systems\u00a018(11), 1539\u20131550 (2007)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"issue":"1","key":"23_CR38","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1147\/rd.401.0003","volume":"40","author":"J.F. Ziegler","year":"1996","unstructured":"Ziegler, J.F., et al.: IBM Experiments in Soft Fails in Computer Electronics (1978-1994). IBM J. Research and Development\u00a040(1), 3\u201318 (1996)","journal-title":"IBM J. Research and Development"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87698-4_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T00:37:42Z","timestamp":1738370262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87698-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876977","9783540876984"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87698-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}