ILO Home
Go to the home page
Site map | Contact us Franšais | Espa˝ol

CISDOC database

Document ID (ISN)108279
CIS number 08-922
ISBN(s) 978-951-38-7154-3
Year 2008
Convention or series no. VTT Working Papers 93
Author(s) Valkonen J., Pettersson V., Bj÷rkman K., Holmberg J.E., Koskimies M., Heljanko K., Niemelń I.
VTT Technical Research Centre of Finland
Title Model-based analysis of an arc protection and an emergency cooling system - MODSAFE 2007 work report
Bibliographic information VTT Information Service, P.O.Box 2000, 02044 VTT, Finland, 2008. 54p. Illus. 3 ref.
Internet access [in English]
Abstract This report describes model-checking techniques applied to an arc protection system and to an emergency nuclear reactor cooling system. Model checking tools consist typically of a modelling language for modelling the system to be verified, a specification language (or temporal logic) for expressing the properties to be verified and a set of analysis tools to check that the system satisfies the given properties. Using a state-of-the-art open source model checking system, it was possible to adequately model both systems, to formulate required safety properties in the specification language and to perform a full verification of the properties. This work shows that current model checking techniques are applicable in the analysis of safety instrumentation and control systems in nuclear power plants.
Descriptors (primary) safety engineering; computer applications; mathematical models; nuclear power stations
Descriptors (secondary) reactors; public OSH institutions; electric sparks; safety checks; reliability; research; Finland
Document type E - Books, reports, proceedings
Country / State or ProvinceFinland
Subject(s) Machinery and tools
Broad subject area(s) Fires, explosions and major hazards
Browse category(ies) Power generation and distribution