ILO Home
Volver a la página de entrada
Site map | Contact us English | Français

Base de datos CISDOC

ID (ISN) del documento108279
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 ProvinciaFinlandia
Tema(s) Máquinas, utillaje
Broad subject area(s) Incendios, explosiones y riesgos mayores
Navegación por categoria(s) Power generation and distribution