ID (ISN) del documento | 108279 |
Número CIS |
08-922 |
ISBN(s) |
978-951-38-7154-3 |
Año |
2008 |
Número de serie |
VTT Working Papers 93
|
Autor(es) |
Valkonen J., Pettersson V., Björkman K., Holmberg J.E., Koskimies M., Heljanko K., Niemelä I. VTT Technical Research Centre of Finland |
Título |
Model-based analysis of an arc protection and an emergency cooling system - MODSAFE 2007 work report |
Información bibliográfica |
VTT Information Service, P.O.Box 2000, 02044 VTT, Finland, 2008. 54p. Illus. 3 ref. |
Acceso Internet |
http://www.vtt.fi/inf/pdf/workingpapers/2008/W93.pdf [en inglés]
|
Resumen |
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. |
Descriptores (primarios) |
técnicas de seguridad; aplicaciones de ordenador; modelos matemáticos; centrales nucleares |
Descriptores (secundarios) |
reactores nucleares; instituciones publicas de prevencion; chispas eléctricas; verificaciones de seguridad; fiabilidad; investigación; Finlandia |
Tipo de documento |
E - Libros, informes, actas |
País / Estado o Provincia | Finlandia |
Tema(s) |
Máquinas, utillaje
|
Broad subject area(s) |
Incendios, explosiones y riesgos mayores
|
Navegación por categoria(s) |
Power generation and distribution
|