Formal support for fault modelling and analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2187, Issue , 2001, Pages 190-199

  Cichocki, Tadeusz ^a   Górski, Janusz ^b  

^a BOMBARDIER TRANSPORTATION   (Sweden)

^b GDANSK UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

ASSOCIATED TOOL; FAULT IDENTIFICATIONS; FAULT INJECTION; FOLLOW UP; INDUSTRIAL CASE STUDY; MODELLING AND ANALYSIS; RAILWAY SIGNALLING SYSTEMS; SOFTWARE INTENSIVE SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 84957032045     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45416-0_19     Document Type: Conference Paper

References (6)

1. Cichocki, T., Górski, J.: Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components. In: Koornneef, F., van der Meulen, M. (eds): Computer Safety, Reliability and Security. Springer Lecture Notes in Computer Science, Vol. 1943. Springer-Verlag Berlin (2000) 382-394
2. Formal Systems (Europe) Ltd., Failures-Divergence Refinement. FDR2 User Manual. 24 October 1997
3. Leveson, N. G.: Safeware: System Safety and Computers. Addison-Wesley Publishing Company, 1995, ISBN 0-201-11972-2
4. Reese, J. D.: Software Deviation Analysis. University of California, Irvine, PhD Thesis (1996)
5. Roscoe, A. W.: The Theory and Practice of Concurrency. Prentice-Hall, 1998, ISBN 0-13-674409-5
6. OMG Unified Modeling Language Specification. Version 1.3, June 1999