Tietokoneohjattujen järjestelmien luotettavuuden arviointi

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