SF_Equivalent

Astuce

La version du bloc fonctionnel telle que décrite ici correspond à la dernière version du bloc fonctionnel dans Liste des versions des blocs fonctionnels.

Normes de sécurité applicables

SF_Equivalent est un bloc fonctionnel PLCopen certifié. Pour des informations détaillées sur les normes appliquées, voir « PLCopen – Comité technique 5 – Logiciel de sécurité ».

Important

Les exigences énumérées dans les normes doivent être respectées par l’utilisateur.

Description de l'interface

Ce bloc fonctionnel relie deux équivalents SAFEBOOL entrées (les deux NO ou NC) à un SAFEBOOL Sortie sous surveillance de temps de discordance. Ce bloc fonction ne doit pas être utilisé de manière autonome car il n'a pas de verrouillage de redémarrage. Il est nécessaire de connecter la sortie à d'autres fonctionnalités liées à la sécurité.

Tableau 14. VAR_ENTRÉE

Nom	Type de données	Valeur initiale	Description, valeurs des paramètres
`Activate`	`BOOL`	`FALSE`	Paramètres d'entrée généraux
`S_ChannelA`	`SAFEBOOL`	`FALSE`	Variable Saisir `A` pour la connexion logique `FALSE`: Contact `A` ouvrir `TRUE`: Contact `A` fermé
`S_ChannelB`	`SAFEBOOL`	`FALSE`	Variable Saisir `B` pour la connexion logique `FALSE`: Contact `B` ouvrir `TRUE`: Contact `B` fermé
`DiscrepancyTime`	`TIME`	`T#0ms`	Constante Durée maximale de surveillance de l'état de discordance des deux entrées Le `DiscrepancyTime` une note de prudence doit être respectée.

Heure de divergence

Pour les développeurs du niveau étendu : Le DiscrepancyTime L'entrée doit être définie sur une valeur constante. Cela signifie que la valeur ne doit pas être modifiée pour les appels.

Tableau 15. VAR_OUTPUT

Nom	Type de données	Valeur initiale	Description, valeurs des paramètres
`Ready`	`BOOL`	`FALSE`	Paramètres de sortie généraux
`S_EquivalentOut`	`SAFEBOOL`	`FALSE`	Sortie liée à la sécurité `FALSE`:Au moins un signal d'entrée = "`FALSE`" ou changement d'état en dehors du temps de surveillance. `TRUE`:Les deux signaux d'entrée sont « actifs » et l'état change pendant le temps de surveillance
`Error`	`BOOL`	`FALSE`	Paramètres de sortie généraux

Figure 51. Bloc fonctionnel : SF_Equivalent

Description fonctionnelle

Ce bloc fonctionnel relie deux équivalents SAFEBOOL entrées (les deux NO ou NC) à un SAFEBOOL sortie sous surveillance de temps de divergence. Les deux A et B les canaux sont interdépendants. La sortie du bloc fonctionnel affiche le résultat de l'évaluation des deux canaux.

Si le signal du canal change de TRUE à FALSE, la sortie s'éteint immédiatement (FALSE) pour des raisons de sécurité.

Surveillance du temps de discordance : Le temps de discordance est la période maximale pendant laquelle les deux entrées peuvent avoir des états différents sans que le bloc fonction ne détecte d'erreur. La surveillance du temps de discordance démarre lorsque l'état d'une entrée change. Le bloc fonction détecte une erreur lorsque les deux entrées ont des états différents une fois le temps de discordance écoulé.

Les deux entrées doivent être commutées de manière symétrique. Cela signifie que la surveillance est effectuée pour les deux entrées pour la commutation de TRUE à FALSE ainsi que pour passer de FALSE à TRUE.

Tableau 16. Tableau logique des entrées/sorties

Entrées				Sorties
`Activate`	`S_ChannelNCS`	`S_ChannelNO`	`DiscrepancyTime`	`Ready`	`S_EquivalentOut`	`Error`	`DiagCode`
`FALSE`	`FALSE`	`TRUE`	Pas commencé	`FALSE`	`FALSE`	`FALSE`	`0000`
`TRUE`	`FALSE`	`FALSE`	Pas commencé	`TRUE`	`FALSE`	`FALSE`	`8001`
`TRUE`	`TRUE`	`FALSE`	Commencé	`TRUE`	`FALSE`	`FALSE`	`8004`
`TRUE`	`TRUE`	`FALSE -> TRUE`	Commencé	`TRUE`	`TRUE`	`FALSE`	`8000`
`TRUE`	`TRUE`	`TRUE`	Pas commencé	`TRUE`	`TRUE`	`FALSE`	`8000`
`TRUE`	`TRUE`	`TRUE -> FALSE`	Commencé	`TRUE`	`FALSE`	`FALSE`	`8005`
`TRUE`	`TRUE -> FALSE`	`FALSE`	Commencé	`TRUE`	`FALSE`	`FALSE`	`8001`
`TRUE`	`FALSE`	`FALSE -> TRUE`	Commencé	`TRUE`	`FALSE`	`FALSE`	`8014`
`TRUE`	`FALSE -> TRUE`	`TRUE`	Commencé	`TRUE`	`TRUE`	`FALSE`	`8000`

Astuce

Dans le tableau logique, une flèche (->) représente une transition. TRUE -> FALSE signifie que la valeur de la variable a changé de TRUE à FALSE.

Diagramme d'état

Figure 52. Diagramme d'état : SF_Equivalent

Astuce

Remarque : La transition d’un état à l’autre Idle État, initié par Activate = FALSE, n'est pas affiché. Dans tous les cas, ces transitions ont la priorité la plus élevée.

Figure 53. Diagramme temporel 1 : SF_Equivalent

Détection d'erreur

Le bloc fonctionnel surveille le temps de décalage entre le canal A et le canal B, lors du passage à TRUE ainsi que le passage à FALSE.

Comportement d'erreur

S_EquivalentOut est défini sur FALSE. Error est réglé sur TRUE. DiagCode affiche l'état d'erreur. Aucune réinitialisation n'est définie comme une entrée couplée à la réinitialisation d'une erreur. Dès qu'un ensemble de valeurs d'entrée avec la valeur correcte S_EquivalentOut est présent, Error est FALSE encore.

Codes d'erreur et d'état spécifiques à FB

Tableau 17. Codes d'erreur spécifiques à FB

`DiagCode`	Nom de la statue	Description de l'état et paramètre de sortie
`16#C001`	`Error 1`	Le délai de divergence dans le statut a expiré `8004` `Ready = TRUE` `S_EquivalentOut = FALSE` `Error = TRUE`
`16#C002`	`Error 2`	Le délai de divergence dans le statut a expiré `8014` `Ready = TRUE` `S_EquivalentOut = FALSE` `Error = TRUE`
`16#C003`	`Error 3`	Le délai de divergence dans le statut a expiré `8005` `Ready = TRUE` `S_EquivalentOut = FALSE` `Error = TRUE`

DiagCode

Nom de la statue

Description de l'état et paramètre de sortie

16#C001

Error 1

Le délai de divergence dans le statut a expiré 8004

Ready = TRUE

S_EquivalentOut = FALSE

Error = TRUE

16#C002

Error 2

Le délai de divergence dans le statut a expiré 8014

Ready = TRUE

S_EquivalentOut = FALSE

Error = TRUE

16#C003

Error 3

Le délai de divergence dans le statut a expiré 8005

Ready = TRUE

S_EquivalentOut = FALSE

Error = TRUE

Tableau 18. Codes d'état spécifiques à FB

`DiagCode`	Nom de la statue	Description de l'état et paramètre de sortie
`16#0000`	`Idle`	Le bloc fonctionnel n'est pas actif (état de base). `Ready = FALSE` `S_EquivalentOut =FALSE` `Error = FALSE`
`16#8001`	`Init`	Le blocage a été activé. `Ready = TRUE` `S_EquivalentOut = FALSE` `Error = FALSE`
`16#8000`	`Safety Output Enabled`	Les entrées sont commutées sur `TRUE` en mode équivalent `Ready = TRUE` `S_EquivalentOut = TRUE` `Error = FALSE`
`16#8004`	`Wait for Channel B`	Canal `A` a été commuté sur `TRUE`; attendre la chaîne `B`; le minuteur de divergence a démarré. `Ready = TRUE` `S_EquivalentOut = FALSE` `Error = FALSE`
`16#8014`	`Wait for Channel A`	Canal `B` a été commuté sur `TRUE`; attendre la chaîne `A`; le minuteur de divergence a démarré. `Ready = TRUE` `S_EquivalentOut = FALSE` `Error = FALSE`
`16#8005`	`From Active Wait`	Une chaîne a été commutée sur `FALSE`; attendez que l'autre chaîne soit commutée sur `FALSE`, le minuteur de divergence a démarré. `Ready = TRUE` `S_EquivalentOut = FALSE` `Error = FALSE`

Dans cette section:

SF_Equivalent

Astuce

Normes de sécurité applicables

Important

Description de l'interface

Heure de divergence

Description fonctionnelle

Astuce

Diagramme d'état

Astuce

Détection d'erreur

Comportement d'erreur

Codes d'erreur et d'état spécifiques à FB

Résultats de la recherche