{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T13:22:52Z","timestamp":1773235372168,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540411864","type":"print"},{"value":"9783540408918","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40891-6_33","type":"book-chapter","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T20:01:38Z","timestamp":1180209698000},"page":"382-394","source":"Crossref","is-referenced-by-count":18,"title":["Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components"],"prefix":"10.1007","author":[{"given":"Tadeusz","family":"Cichocki","sequence":"first","affiliation":[]},{"given":"Janusz","family":"G\u00f3rski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"Barbacci, B. R., Klein, M. H., Weinstock, C. B.: Principles for Evaluating the Quality Attributes of a Software Architecture, Software Engineering Institute, Carnegie Mellon University. Technical Report, CMU\/SEI-96-TR-036, March 1997","DOI":"10.21236\/ADA324233"},{"key":"33_CR2","unstructured":"Cichocki, T., G\u00f3rski, J.: Safety assessment of computerized railway signalling equipment. Proc. of CENELEC SC9XA\/WGA10 Workshop, M\u00fcnich (Germany), May 11, 1999"},{"key":"33_CR3","unstructured":"Cichocki, T., G\u00f3rski, J.: Safety assessment of computerized railway signalling equipment supported by formal techniques. Proc. of FMERail Workshop #5, Toulouse (France), September, 22\u201324, 1999"},{"key":"33_CR4","unstructured":"Defence Standard 00-55: Requirements for Safety Related Software in Defence Equipment (Part 1&2), Issue 1, UK Ministry of Defence, 1997"},{"key":"33_CR5","unstructured":"EN 50128: Railway applications. Software for Railway Control and Protection Systems, CENELEC, Final Draft version, July 1998"},{"key":"33_CR6","unstructured":"ENV 50129: Railway applications. Safety Related Electronic Systems for Signalling, CENELEC, May 1998"},{"issue":"1","key":"33_CR7","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/381766.381770","volume":"2","author":"P. Fenelon","year":"1994","unstructured":"Fenelon P., McDermid J. A., Nicholson M., Pumfrey D. J., Towards Integrated Safety Analysis and Design. ACM Applied Computing Review, 2(1), pp. 21\u201332, 1994","journal-title":"ACM Applied Computing Review"},{"key":"33_CR8","unstructured":"Fischer, C.: Combining CSP and Z, Univ. of Oldenburg. Technical Report, TRCF-97-1"},{"key":"33_CR9","unstructured":"Formal Systems (Europe) Ltd.: Failures-Divergence Refinement, FDR2 User Manual, 24 October 1997"},{"key":"33_CR10","volume-title":"Methodology and Machine Support for the Application of Formal Techniques in Software Engineering","author":"M. Heisel","year":"1997","unstructured":"Heisel, M.: Methodology and Machine Support for the Application of Formal Techniques in Software Engineering, Habilitation Thesis, Technische Universit\u00e4t Berlin, Berlin, 1997"},{"key":"33_CR11","unstructured":"IEC 812 (1985): Procedure for failure mode and effects analysis (FMEA), TC56"},{"key":"33_CR12","unstructured":"J-C. Laprie, B. Littlewood, Quantitative Assessment of Safety-Critical Software: Why and How? Predictably Dependable Computing Systems (PDCS) Technical Report no. 45, ESPRIT BRA Project 3092, February 1991"},{"key":"33_CR13","unstructured":"Lutz, R. R., Woodhouse, R. M.: Requirements Analysis Using Forward and Backward Search. (Annals of Software Engineering, 1997) JPL California Institute of Technology Technical Report, May 2, 1997"},{"key":"33_CR14","unstructured":"NASA-GB-A201, NASA Software Assurance Guidebook, September 1989"},{"key":"33_CR15","unstructured":"E. Noe-Gonzales, The Software Error Effect Analysis and the Synchronous Data Flow Approach to Safety Software: Method, Results, Operational Lessons. Proc. of SAFECOMP.94, pp. 163\u2013171"},{"key":"33_CR16","unstructured":"Papadopoulos Y., McDermid J., Sasse R., Heiner G., Analysis and Synthesis of the Behaviour of Complex Programmable Electronic Systems in conditions of Failure. Reliability Engineering and System Safety Journal (forthcoming, 2000), Elsevier Science Limited (an extension of SAFECOMP.99 paper)"},{"key":"33_CR17","unstructured":"Roscoe, A. W.: The Theory and Practice of Concurrency, Prentice Hall, 1998, ISBN 0-13-674409-5, pp. xv + 565"},{"key":"33_CR18","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object Oriented Modelling and Design, Prentice-Hall Int., 1991"},{"key":"33_CR19","unstructured":"D. Souza, D., Wills, A. C.: Objects, Components, and Frameworks with UML. The Catalysis Approach, Addison Wesley Longman, Inc. 1998"},{"key":"33_CR20","unstructured":"Spivey, J. M.: The Z Notation: A Reference Manual, First published by Prentice Hall International (UK) Ltd., 1992 (Second edition), ISBN 0-13-629312-3"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40891-6_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T07:03:32Z","timestamp":1556435012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40891-6_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411864","9783540408918"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-40891-6_33","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}