| ID du document (ISN) | 108279 |
| Numéro CIS |
08-922 |
| ISBN(s) |
978-951-38-7154-3 |
| Année |
2008 |
| Numéro de convention ou de série |
VTT Working Papers 93
|
| Auteur(s) |
Valkonen J., Pettersson V., Björkman K., Holmberg J.E., Koskimies M., Heljanko K., Niemelä I.
VTT Technical Research Centre of Finland |
| Titre
|
Analyse basée sur des modèles de la protection contre les arcs et d'un système de refroidissement d'urgence - Rapport d'activité MODESAFE 2007 |
| Titre original |
Model-based analysis of an arc protection and an emergency cooling system - MODSAFE 2007 work report [en anglais] |
| Informations bibliographiques |
VTT Information Service, P.O.Box 2000, 02044 VTT, Finlande, 2008. 54p. Illus. 3 réf. |
| Accès internet |
http://www.vtt.fi/inf/pdf/workingpapers/2008/W93.pdf [en anglais]
|
| Résumé
|
Ce rapport décrit les techniques de vérification par modélisation appliquées à un système de protection contre les arcs électriques et à un système de refroidissement de réacteurs nucléaires en cas d'urgence. Les outils de vérification par modélisation comprennent typiquement un langage de modélisation pour la modélisation du système à évaluer, un langage de spécification (ou logique temporelle) pour exprimer les propriétés à vérifier et un ensemble d'outils analytiques pour vérifier que le système satisfait aux propriétés spécifiées. En utilisant un système de vérification par modélisation basé sur un logiciel de pointe libre, on a pu modéliser les deux systèmes de manière adéquate, définir les exigences en matière de propriétés de sécurité dans le langage de spécification et effectuer une vérification complète des propriétés. Ces travaux ont permis de démontrer que les techniques de modélisation actuelles peuvent être appliquées à l'analyse de l'instrumentation et des systèmes de contrôle dans les centrales nucléaires. |
| Descripteurs (primaires) |
techniques de sécurité; applications de l'ordinateur; modèles mathématiques; centrales nucléaires |
| Descripteurs (secondaires) |
réacteurs nucléaires; institutions publiques de prévention; étincelles électriques; vérifications de sécurité; fiabilité; recherche; Finlande |
| Type de document |
E - Livres, rapports, comptes rendus |
| Pays / Etat ou Province | Finlande |
| Sujet(s) |
Machines, outillage
|
| Domaine(s) thématique(s)
|
Incendies, explosions et risques majeurs
|
| Catégorie(s) de recherche
|
Production et distribution d'électricité
|
