Abstract
We have surveyed methods applicable to the reliability analysis of digital instrumentation and control systems. Our specific field of application is the control systems of a nuclear power plant (NPP). This paper summarizes our findings, and outlines needs for future research work. Traditional fault tree/event tree methods have a limited scope of application, namely in the analysis of protection systems. Dynamic flowgraph methodology, Markov models and model checking hold promise for capturing the time dependent dynamic behaviours ubiquitous in the more general setting.
| Original language | English |
|---|---|
| Title of host publication | SIAS 2010 |
| Subtitle of host publication | The 6th International Conference on Safety of Industrial Automated Systems, Tampere, 14.-15.6.2010 |
| Place of Publication | Helsinki |
| Publisher | Suomen automaatioseura |
| ISBN (Print) | 978-952-5183-40-5 |
| Publication status | Published - 2010 |
| MoE publication type | D3 Professional conference proceedings |
| Event | 6th International Conference on Safety of Industrial Automation Systems, SIAS 2010 - Tampere, Finland Duration: 14 Jun 2010 → 15 Jun 2010 Conference number: 6 |
Conference
| Conference | 6th International Conference on Safety of Industrial Automation Systems, SIAS 2010 |
|---|---|
| Abbreviated title | SIAS 2010 |
| Country/Territory | Finland |
| City | Tampere |
| Period | 14/06/10 → 15/06/10 |
Keywords
- risk analysis
- digital instrumentation and control systems
- nuclear power plants