Abstract
Reliability, availability, maintenance and safety (RAMS) analysis is essential in the evaluation of safety critical systems like nuclear power plants and the railway infrastructure. A widely used methodology within RAMS analysis are fault trees, representing failure propagations throughout a system. We present DFTCalc, a tool-set to conduct quantitative analysis on dynamic fault trees including the effect of a maintenance strategy on the system dependability.
Original language | Undefined |
---|---|
Title of host publication | Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM 2015) |
Editors | Michael Butler, Sylvain Conchon, Fatiha Zaïdi |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 304-311 |
Number of pages | 8 |
ISBN (Print) | 978-3-319-25422-7 |
DOIs | |
Publication status | Published - Nov 2015 |
Event | 17th International Conference on Formal Engineering Methods, ICFEM 2015 - Paris, France Duration: 3 Nov 2015 → 6 Nov 2015 Conference number: 17 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Verlag |
Volume | 9407 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 17th International Conference on Formal Engineering Methods, ICFEM 2015 |
---|---|
Abbreviated title | ICFEM |
Country/Territory | France |
City | Paris |
Period | 3/11/15 → 6/11/15 |
Keywords
- EWI-26146
- Reliability
- context-dependent reduction
- IR-98698
- Dynamic Fault Trees
- METIS-314920
- Maintenance