Types de données
Dans CODESYS Safety Extension, une distinction est faite entre les données non orientées vers la sécurité (les types de données standard IEC) et les données orientées vers la sécurité (avec le préfixe SAFE). Lors du mappage des canaux d'entrée et de sortie, ceux des appareils de terrain sûrs ont toujours le type SAFExxx et ceux des appareils de terrain non sécurisés ont toujours une valeur nonSAFE type. La vérification des règles de liaison PLCopen pour SAFEBOOL données et règles de liaison analogues pour les autres SAFEXXX Les types de données font partie de la vérification des conditions d'erreur dans le système de programmation.
Type de données | Longueur du bit | Plage de valeurs | Description |
|---|---|---|---|
|
|
|
|
|
|
| |
|
|
| |
|
|
| Durée |
|
|
( |
Astuce
Le BYTE, DWORD, SAFEBYTE, et SAFEDWORD les types de données ne peuvent apparaître que dans le E/S logiques et peut être utilisé dans les programmes de niveau étendu comme variables de canal (catégorie : variables globales, déclaration comme VAR_EXTERNAL).
Type de données | Longueur du bit | Plage de valeurs | Description |
|---|---|---|---|
|
|
|
|
|
|
| |
|
|
| |
|
|
| |
|
|
( |
Astuce
Le REAL Le type de données n'est pas autorisé dans la programmation de sécurité. S'il est néanmoins utilisé, cela provoque une erreur de traduction.
Types de données définis par l'utilisateur
Le Types définis par l'utilisateur La catégorie de type de données contient les blocs fonctionnels de l'application de sécurité et les bibliothèques. Cette catégorie peut être sélectionnée dans l'assistant de saisie, qui s'ouvre dans l' Insérer une déclaration de variable dialogue en cliquant sur le 
bouton. Dans le cas de variables déjà déclarées, l'assistant de saisie du type de données s'ouvre comme suit :
Dans la fenêtre de déclaration, sélectionnez la cellule de type de la variable correspondante.
Dans la liste déroulante, cliquez sur le bouton ... symbole.
Règles générales de typification
Polymorphisme INT
Une valeur du type INT ou SAFEINT a toujours le type DINT ou SAFEDINT ainsi que. Le lien de INT et DINT conduit à un DINT valeur (int + dint a le type DINT).
Polymorphisme SAFE
Une valeur du type SAFEXXX a toujours le type XXX ainsi ; c'est-à-dire qu'une valeur d'intégrité élevée peut toujours également être utilisée comme valeur d'intégrité faible. Cela signifie que la fonction de conversion SAFEBOOL_TO_BOOL mentionné dans PLCopen est implicite dans CODESYS Safety Extension et n'est pas explicitement écrit.
Constantes SAFE
Les constantes sont toujours des valeurs de la plus haute intégrité (c'est-à-dire SAFEXXX). En raison de la SAFE polymorphisme elles peuvent toujours servir de valeurs normales. On évite ainsi d'avoir deux types de valeurs différents (safebool#1 ainsi que bool#1).bool#1 est SAFEBOOL (et BOOL); la même chose s'applique aux autres constantes littérales.
Rétrogradation SAFE
La règle générale pour lier des valeurs est la suivante : si et seulement si tous les opérandes ont un SAFE tapez, alors le résultat a un SAFE taper.
Exception: SAFEBOOL AND BOOL a la valeur SAFEBOOL.