SF_Antivalent

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_Antivalent 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 antivalents SAFEBOOL entrées (NO/NC paire) à 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 19. VAR_ENTRÉE

Nom	Type de données	Valeur initiale	Description, valeurs des paramètres
`Activate`	`BOOL`	`FALSE`	Voir Règles générales pour les blocs fonctionnels relatifs à la sécurité
`S_ChannelNC`	`SAFEBOOL`	`FALSE`	Variable `NC` moyens `Normally Closed`. Entrée pour `NC` connexion `FALSE`: Contact `NC` ouvrir `TRUE`: Contact `NC` fermé
`S_ChannelNO`	`SAFEBOOL`	`TRUE`	Variable `NO` moyens `Normally Open`. Entrée pour `NO` connexion `FALSE`: Contact `NO` ouvrir `TRUE`: Contact `NO` 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 20. 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_AntivalentOut`	`SAFEBOOL`	`FALSE`	Sortie liée à la sécurité `FALSE`:Au moins un signal d'entrée est « non actif » ou le statut change 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
`DiagCode`	`WORD`	`16#0000`	Codes de diagnostic

Astuce

« Antivalent » signifie que pendant le fonctionnement normal, les deux entrées sont dans des états opposés en même temps. On parle parfois de « complémentaire » ou de « non équivalent ».

Figure 54. Bloc fonctionnel : SF_Antivalent

Description fonctionnelle

Ce bloc fonctionnel traite deux antivalents SAFEBOOL entrées dans un SAFEBOOL Sortie sous surveillance de temps de discordance. Les deux entrées sont interdépendantes. La sortie du bloc fonctionnel affiche le résultat de l'évaluation des deux canaux.

Si S_AntivalentOut = TRUE et l'une des entrées orientées sécurité change, alors la sortie passe immédiatement à FALSE.

Surveillance du temps de discordance : Le temps de discordance est la durée maximale pendant laquelle les deux entrées peuvent avoir le même état (cela signifie que les deux entrées sont TRUE ou les deux sont FALSE) sans que le bloc fonctionnel ne détecte d'erreur. La surveillance du temps de discordance démarre dès que l'état d'une entrée change. Le bloc fonctionnel détecte une erreur lorsque les deux entrées ont les mêmes valeurs une fois le temps de discordance écoulé.

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

Tableau 21. Tableau logique des entrées/sorties

Entrées				Sorties
`Activate`	`S_ChannelNC`	`S_ChannelNO`	`DiscrepancyTime`	`Ready`	`S_AntivalentOut`	`Error`	`DiagCode`
`FALSE`	`FALSE`	`TRUE`	Pas commencé	`FALSE`	`FALSE`	`FALSE`	`16#0000`
`TRUE`	`FALSE`	`TRUE`	Pas commencé	`TRUE`	`FALSE`	`FALSE`	`16#8001`
`TRUE`	`FALSE -> TRUE`	`TRUE`	Commencé	`TRUE`	`FALSE`	`FALSE`	`16#8004`
`TRUE`	`TRUE`	`TRUE -> FALSE`	Commencé	`TRUE`	`TRUE`	`FALSE`	`16#8000`
`TRUE`	`TRUE`	`FALSE`	Pas commencé	`TRUE`	`TRUE`	`FALSE`	`16#8000`
`TRUE`	`TRUE`	`FALSE -> TRUE`	Commencé	`TRUE`	`FALSE`	`FALSE`	`16#800165`
`TRUE`	`TRUE -> FALSE`	`TRUE`	Commencé	`TRUE`	`FALSE`	`FALSE`	`16#8001`
`TRUE`	`FALSE`	`TRUE`	Pas commencé	`TRUE`	`FALSE`	`FALSE`	`16#8001`
`TRUE`	`FALSE`	`TRUE -> FALSE`	Commencé	`TRUE`	`FALSE`	`FALSE`	`16#8014`
`TRUE`	`FALSE -> TRUE`	`FALSE`	Commencé	`TRUE`	`TRUE`	`FALSE`	`16#8000`
`TRUE`	`TRUE -> FALSE`	`FALSE`	Commencé	`TRUE`	`FALSE`	`FALSE`	`16#8005`
`TRUE`	`FALSE`	`FALSE -> TRUE`	Commencé	`TRUE`	`FALSE`	`FALSE`	`16#8001`

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 55. Diagramme d'état : SF_Antivalent

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.

Diagrammes de temps typiques

Figure 56. Graphique temporel 1 : SF_Antivalent.png

Figure 57. Graphique temporel 2 : SF_Antivalent.png

Détection d'erreur

Le bloc fonctionnel surveille le temps de divergence entre le canal NO et le canal NC.

Comportement d'erreur

Le S_AntivalentOut la sortie est réglée sur FALSE. Error est réglé sur TRUE. DiagCode affiche les états 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 les valeurs correctes S_AntivalentOut est présent, Error est FALSE encore.

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

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

Code de diagnostic	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é `16#8004` `Ready = TRUE` `S_AntivalentOut = FALSE` `Error = TRUE`
`16#C002`	`Error 2`	Le délai de divergence dans le statut a expiré `16#8014` `Ready = TRUE` `S_AntivalentOut = FALSE` `Error = TRUE`
`16#C003`	`Error 3`	Le délai de divergence dans le statut a expiré `16#8005` `Ready = TRUE` `S_AntivalentOut = FALSE` `Error = TRUE`

Code de diagnostic

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é 16#8004

Ready = TRUE

S_AntivalentOut = FALSE

Error = TRUE

16#C002

Error 2

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

Ready = TRUE

S_AntivalentOut = FALSE

Error = TRUE

16#C003

Error 3

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

Ready = TRUE

S_AntivalentOut = FALSE

Error = TRUE

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

Code de diagnostic	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_AntivalentOut =FALSE` `Error = FALSE`
`16#8001`	`Init`	Une activation a été détectée par le bloc et le bloc est maintenant activé. `Ready = TRUE` `S_AntivalentOut = FALSE` `Error = FALSE`
`16#8000`	`Safety Output Enabled`	Les entrées sont commutées en mode actif en mode antivalent. `Ready = TRUE` `S_AntivalentOut = TRUE` `Error = FALSE`
`16#8004`	`Wait for NO`	`ChannelNC` a été commuté sur `TRUE`; attendre jusqu'à `ChannelNO` est commuté sur `FALSE`; le minuteur de divergence a démarré. `Ready = TRUE` `S_AntivalentOut = FALSE` `Error = FALSE`
`16#8014`	`Wait for NC`	`ChannelNO` a été commuté sur `FALSE`; attendre jusqu'à `ChannelNC` est commuté sur `TRUE`; le minuteur de divergence a démarré. `Ready = TRUE` `S_AntivalentOut = FALSE` `Error = FALSE`
`16#8005`	`From Active Wait`	Un canal est devenu inactif ; attendez que le deuxième canal soit également devenu inactif. `Ready = TRUE` `S_AntivalentOut = FALSE` `Error = FALSE`

Dans cette section:

SF_Antivalent

Astuce

Normes de sécurité applicables

Important

Description de l'interface

Heure de divergence

Astuce

Description fonctionnelle

Astuce

Diagramme d'état

Astuce

Diagrammes de temps typiques

Détection d'erreur

Comportement d'erreur

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

Résultats de la recherche