Change search
ReferencesLink to record
Permanent link

Direct link
Model-Based Analysis of an Arc Protection and an Emergency Cooling System
VTT Technical Research Centre of Finland.
Show others and affiliations
2008 (English)Report (Other academic)
Abstract [en]

Instrumentation and control (I&C) systems play a crucial role in the operation of nuclearpower plants and other safety critical processes. An important change that will be going on inthe near future is the replacement of the old analogue I&C systems by new digitalised ones.The programmable digital logic controllers enable more complicated control tasks than the oldanalogue systems and thus the verification of the control logic designs against safetyrequirements has become more important. In order to diminish the subjective component ofthe evaluation, there is a need to develop new formal verification methods.This report summarizes the work done in the MODSAFE 2007 project on two case studieswhere model checking techniques have been used to study an arc protection system and anemergency cooling system. Model checking tools offer typically a finite state machine basedmodelling language for modelling the system to be verified, a specification language(temporal logic) for expressing the properties to be verified and a set of analysis tools to checkthat the system satisfies the given properties. A state of the art open source model checkingsystem NuSMV was employed and using a reasonable effort it was possible to (i) model bothsystems on an adequate level, (ii) to formulate required safety properties in the specificationlanguage, and (iii) to perform a full verification of the properties using the NuSMV system.This indicates that current model checking techniques are applicable in the analysis of safetyI&C systems in NPPs.

Place, publisher, year, edition, pages
2008. , 51 p.
, VTT Working Papers, ISSN 1459-7683 ; 93
Keyword [en]
nuclear power plants, safety critical processes, instrumentation, control systems, programmable digital logic controllers, control logic design, safety requirements, formal verification methods, arc protection system, emergency cooling system, open source model checking systems, SAFIR 2010
National Category
URN: urn:nbn:se:kth:diva-90783OAI: diva2:506538
QC 20120507Available from: 2012-02-28 Created: 2012-02-28 Last updated: 2012-05-07Bibliographically approved

Open Access in DiVA

No full text

Other links

Search in DiVA

By author/editor
Holmberg, Jan-Erik

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 9 hits
ReferencesLink to record
Permanent link

Direct link