Commentaires sur : Les méthodes formelles dans le processus de SdF http://www.surete-fonctionnement.clearsy.com/2009/02/les-methodes-formelles-dans-le-processus-de-surete-de-fonctionnement/ Blog de la société ClearSy. Présentation de la sûreté de fonctionnement et ses enjeux. Découvrez le quotidien de notre métier et profitez de nos conseils. Tue, 29 Mar 2011 05:45:37 +0000 hourly 1 http://wordpress.org/?v=3.0.5 Par : boulangerjl http://www.surete-fonctionnement.clearsy.com/2009/02/les-methodes-formelles-dans-le-processus-de-surete-de-fonctionnement/comment-page-1/#comment-16 boulangerjl Thu, 29 Jul 2010 05:40:03 +0000 http://www.surete-fonctionnement.clearsy.com/?p=172#comment-16 Attention car la norme 61508 fait une grosse différence entre un SIL3 et un SIL4 alors que pour le CENELEC SSIL3 et SSIL4 sont la même chose (même niveau de pratique). A noter qu'il y a tres peu de SIL4 61508 et juste des SIL3 61508 .... JLB Attention car la norme 61508 fait une grosse différence entre un SIL3 et un SIL4 alors que pour le CENELEC SSIL3 et SSIL4 sont la même chose (même niveau de pratique).
A noter qu’il y a tres peu de SIL4 61508 et juste des SIL3 61508 ….
JLB

]]> Par : Marc Vigneras http://www.surete-fonctionnement.clearsy.com/2009/02/les-methodes-formelles-dans-le-processus-de-surete-de-fonctionnement/comment-page-1/#comment-7 Marc Vigneras Fri, 17 Jul 2009 13:04:16 +0000 http://www.surete-fonctionnement.clearsy.com/?p=172#comment-7 Petite précision: L'utilisation des méthodes formelles est hautement recommandée (HR) pour la spécification des prescriptions de sécurité d'un logiciel SIL4 selon la norme EN 61508. Petite précision:

L’utilisation des méthodes formelles est hautement recommandée (HR) pour la spécification des prescriptions de sécurité d’un logiciel SIL4 selon la norme EN 61508.

]]> Par : boulangerjl http://www.surete-fonctionnement.clearsy.com/2009/02/les-methodes-formelles-dans-le-processus-de-surete-de-fonctionnement/comment-page-1/#comment-5 boulangerjl Sat, 11 Jul 2009 22:51:16 +0000 http://www.surete-fonctionnement.clearsy.com/?p=172#comment-5 les méthodes formelles ne sont pas HR pour la norme IEC 61508 mais seulement R les méthodes formelles ne sont pas HR pour la norme IEC 61508 mais seulement R

]]>