Predictive analysis of mission critical systems dependability

Proceedings - 16th Euromicro Conference on Digital System Design, DSD 2013

Volumn , Issue , 2013, Pages 561-566

  Daňhel, Martin ^a,b   Kubátová, Hana ^a   Dobiáš, Radek ^a,b  

^a CZECH TECHNICAL UNIVERSITY IN PRAGUE   (Czech Republic)

^b A D Praha Ltd   (Czech Republic)

Author keywords

Dependebility computation; FMEA FMECA; Hierarchical model; Predictive analysis; Railway signalling equipment; SHAMAP

Indexed keywords

FMEA/FMECA; HIERARCHICAL MODEL; PREDICTIVE ANALYSIS; RAILWAY SIGNALLING EQUIPMENT; SHAMAP;

HIERARCHICAL SYSTEMS; INTERLOCKING SIGNALS; SYSTEMS ANALYSIS;

RELIABILITY ANALYSIS;

EID: 84890013884     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSD.2013.66     Document Type: Conference Paper

References (13)

1. Z. Vintr-D. Valis-M. Vintr-J. Hlinka, "Analysis of Reliability and Safety in Practice", CSJ Brno, 2009 (in Czech)
2. N. Storey, "Safety-Critical Computer Systems", Prentice Hall ptr, New Jersey, page 453, 1996
3. EN 50126: Railway Applications-"The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS)", CENELEC, 2001
4. IEC 812, Standard: "Procedure for Failure Mode and Effects Analysis (FMEA)"
5. MIL-STD-1629, Military Standards: "Procedures for Performing a Failure Mode, Effects and Criticality Analysis Notice 3", 1998
6. I. Koren-C.M. Krishna, "Fault-Tolerant Systems", 2007
7. MIL-HDBK-217F Military Handbook: "Reliability Prediction of Electronic Equipment Notice 2", 1995
8. Presentation FIDES, https://cct.cnes.fr/system/files/cnes-cct/459-mce/ public/07-FidesEurocalce.pdf, 2007
9. S. Klapka, "The Markov Modeling of the Safety", Dissertation Thesis, MFF UK Prague, pages 12-24, 2002
10. M. Danhel, "Hierarchical Block Diagrams in the Program SHAMAP, Poster 2011", 15th International Student Conference on Electrical Engineering, Prague, Czech Republic, May 2011.
11. M. Danhel-H. Kubatova, "Methods of Hierarchical Reliability Block Diagrams in the program SHAMAP", DSD 2011, 14th Euromicro Conference on Digital System Design, pages 31-32, August-September 2011, Oulu, Finland.
12. M. Danhel, "Use of the MAPLE System for Calculate Reliability Parameters", Diploma Thesis, CTU in Prague, 2011 (in Czech)
13. OMG (February 2009). "OMG Unified Modeling Language (OMG UML), Superstructure Version 2.2", http://www.omg.org/spec/UML/2.2/ Superstructure/PDF, 2009.