| 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 |
http://www.vtt.fi/inf/pdf/workingpapers/2008/W93.pdf [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 Province | Finland |
| Subject(s) |
Machinery and tools
|
| Broad subject area(s) |
Fires, explosions and major hazards
|
| Browse category(ies) |
Power generation and distribution
|
