|Document ID (ISN)||108279|
|Convention or series no.
||VTT Working Papers 93
||Valkonen J., Pettersson V., Bj÷rkman K., Holmberg J.E., Koskimies M., Heljanko K., Niemelń I.
VTT Technical Research Centre of Finland
||Model-based analysis of an arc protection and an emergency cooling system - MODSAFE 2007 work report
||VTT Information Service, P.O.Box 2000, 02044 VTT, Finland, 2008. 54p. Illus. 3 ref.
||http://www.vtt.fi/inf/pdf/workingpapers/2008/W93.pdf [in English]
||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.
||safety engineering; computer applications; mathematical models; nuclear power stations
||reactors; public OSH institutions; electric sparks; safety checks; reliability; research; Finland
||E - Books, reports, proceedings
|Country / State or Province||Finland|
||Machinery and tools
|Broad subject area(s)
||Fires, explosions and major hazards
||Power generation and distribution