Verrouillages

L'historique durable de l'état mémorisé du verrouillage d'arrêt de chaque unité : déclenchements, retour de la source à une valeur sûre et réarmements manuels avec qui les a faits.

Afficher en Markdown

L'onglet Verrouillages de Événements (/events?view=interlocks) est la chronologie durable du verrouillage d'arrêt : le signal booléen qu'un modèle surveille par unité pour mettre fin à un essai quand la machine a été arrêtée de l'extérieur. Le voir demande Voir les événements; l'exporter demande Exporter/importer les historiques. Le verrouillage se configure sous Process > Définition > Automatisme et se réarme depuis le composant Verrouillage d'un tableau de bord ou depuis la vue de l'unité; cet onglet enregistre et ne change rien.

Il suit la conduite commune aux trois chronologies décrite sur Événements.

Les trois transitions

Le moniteur du verrouillage scrute la source configurée toutes les 100 ms, en ne lisant que la valeur et la qualité que Connector ou Logic publient déjà, sans expression et sans anti-rebond. L'état mémorisé d'une unité passe par Indisponible (aucune lecture valide encore), Normal, Déclenché et En attente de réarmement; trois de ses passages sont journalisés :

Transition	Quand elle est enregistrée	Message
Déclenché	La source, une fois armée par une première bonne lecture, rapporte la polarité de déclenchement configurée, ou perd sa qualité. L'état mémorisé est conservé, toute nouvelle exécution sur l'unité est refusée, ses sources inscriptibles sont bloquées, et un essai en cours se termine en Interrompu / Non conforme avec le motif StopInterlock. Une unité qui attendait un réarmement et qui se déclenche de nouveau enregistre un nouveau Déclenché.	« La source signale la valeur active configurée (Vrai). » (ou « (Faux) »), ou « La source est indisponible ou de mauvaise qualité depuis que le verrouillage s'est armé. »
Source saine	Pendant que l'état est mémorisé, la source revient à une bonne lecture de la valeur sûre. L'unité demeure bloquée tant que personne ne la réarme.	« La source est de nouveau sûre; un réarmement manuel est nécessaire. »
Réarmé	Une personne efface l'état mémorisé pendant que la source est bonne et sûre et que l'unité n'est pas occupée à finir son essai. Enregistré avec le nom de la personne.	« The interlock latch was manually rearmed. », gravé en anglais comme la preuve qu'il est.

Une transition observée pendant que le moniteur démarre ou reprend (quand il scrute sans publier) est conservée et écrite à la scrutation publiante suivante, ou au moment du réarmement qui la suit, de sorte qu'un réarmement n'est jamais enregistré avant le front sûr auquel il répond. Au sein d'une même unité, chaque instant enregistré est strictement postérieur au précédent, d'au moins une milliseconde, donc l'ordre des lignes n'est jamais ambigu.

Recherche et filtre

Contrôle	Valeurs	Ce qu'il fait
Recherche	Texte d'exemple « Rechercher un modèle, une unité, une source, un auteur ou un message »	Comparaison « contient » sur le nom du modèle, celui de l'unité, la clé et le nom de la source, l'auteur d'un réarmement et le message.
Transition	Toutes les transitions (par défaut), Déclenché, Source saine, Réarmé	Ne garde qu'un genre de transition.
Actualiser		Relit le journal; infobulle « Actualiser les événements de verrouillage ».
Exporter	Exporter en CSV…, Exporter en JSON…	Écrit les lignes actuellement listées. Dessiné seulement avec Exporter/importer les historiques; grisé tant que la liste est vide.

Les lignes

Partie de la ligne	Contenu
Heure	Date et heure de la transition.
Point	Critique pour Déclenché, prudence pour Source saine, neutre pour Réarmé.
Nom	Le nom de l'unité sur le coup.
Résumé	« Transition · Modèle / Unité · Source = valeur · qualité Correcte », par exemple « Déclenché · Presse 40 / Cellule A · EmergencyStop = Vrai · qualité Correcte ». La valeur se lit Vrai, Faux ou Indisponible; la qualité se lit Correcte ou Indisponible.
Niveau	Le mot de la transition : Déclenché, Source saine ou Réarmé.

Le volet de détail

Sélectionner une ligne ouvre le volet avec le badge de transition et le nom de l'unité, l'horodatage complet, la ligne de résumé, le message et trois cartes :

Carte	Champ	Contenu
ÉVÉNEMENT	Niveau	La transition.
ÉVÉNEMENT	ID d'événement	L'identité de cette transition dans le journal.
INSTANTANÉ DU VERROUILLAGE	Type de transition	Déclenché, Source saine ou Réarmé.
INSTANTANÉ DU VERROUILLAGE	Séquence du journal	Le numéro d'insertion de la ligne dans le journal.
INSTANTANÉ DU VERROUILLAGE	Modèle, ID de modèle	Le nom du modèle sur le coup et son identifiant stable.
INSTANTANÉ DU VERROUILLAGE	Unité, ID d'unité	Le nom de l'unité sur le coup et son identifiant stable.
SOURCE FIGÉE	Source	Le nom du tag ou de la variable surveillée sur le coup (« Unavailable source » quand elle n'a pas pu être lue; « Removed Variable » quand la variable n'existait plus, les deux gravés en anglais comme preuve).
SOURCE FIGÉE	Clé de la source	L'identité de la source indépendante du nom, `tag:<id>` ou `var:<id>`, pour qu'une source renommée corresponde encore à son historique; `unit:<id>` quand l'unité n'avait aucune source configurée.
SOURCE FIGÉE	Polarité de déclenchement	« Déclenche quand Vrai » ou « Déclenche quand Faux » : quelle lecture du booléen met fin à l'essai.
SOURCE FIGÉE	Valeur observée	Vrai, Faux ou Indisponible (la source n'a pas pu être lue ni convertie en booléen).
SOURCE FIGÉE	Qualité	Correcte, ou Indisponible.
SOURCE FIGÉE	Auteur	Pour Réarmé, le nom affiché de l'utilisateur dont la session était ouverte sur l'écran qui a réarmé (« Non connecté » quand il n'y en avait aucun; « Unknown operator », en anglais, quand aucun nom n'est parvenu). « Automatique » pour Déclenché et Source saine.

Colonnes de l'export

Le CSV et le JSON portent les mêmes champs, dans cet ordre : Timestamp (l'en-tête du CSV y ajoute la référence de temps, « Timestamp (UTC-03:00) »), JournalSequence, Transition (écrite avec le nom brut SourceSafe), Model, ModelId, Unit, UnitId, SourceKey, SourceName, TripWhenTrue, QualityGood, ObservedValue (vide quand elle est indisponible), Author (vide pour une transition automatique), Message et EventId. Le JSON est une enveloppe avec TimeZone et Events. Les noms de fichiers sont interlock-history-<yyyyMMdd-HHmmss>.csv et .json. Le CSV suit la préférence de séparateur décimal de la station comme tous les autres exports : avec le point décimal, le séparateur de liste est ,; avec la virgule décimale, c'est ;. Une cellule qui commence par =, +, - ou @ est préfixée d'une apostrophe pour qu'un tableur la lise comme du texte.

Où une transition est enregistrée par ailleurs

Chaque transition laisse aussi une ligne de Console sous le domaine Process : « Interlock tripped: … » en avertissement, « Interlock source returned safe: … » et « Interlock rearmed: … » en information, chacune avec le modèle, l'unité, la source, la polarité, la qualité et la valeur. L'essai auquel un déclenchement a mis fin garde son propre dossier dans Historiques avec le motif StopInterlock. L'état mémorisé conservé est, lui, une ligne distincte que le moniteur garde jusqu'au réarmement; elle n'est pas montrée dans cet onglet.

États vides et ligne d'état

« Rien encore dans les événements de verrouillage » avec « Les déclenchements de verrouillage, les retours de source saine et les réarmements manuels apparaîtront ici. »
« Rien dans les événements de verrouillage ne correspond à ces filtres » avec « Ajustez le type de transition ou les termes de recherche pour élargir cet historique. »
La ligne d'état indique « N affichés · page 1 », puis « · filtré » quand une recherche, une transition ou une période est en vigueur; à droite, « 1 sélectionné » et « Mise à jour hh:mm:ss ».

Ce que l'onglet Verrouillages ne fait pas

Il n'active pas le verrouillage, ne choisit ni sa source ni sa polarité, et ne détache pas une unité du réglage par défaut du modèle (Process > Définition > Automatisme).
Il ne réarme pas : la commande Réarmer vit sur le composant Verrouillage et sur la vue de l'unité, et demande une source bonne et sûre ainsi qu'une unité qui n'est plus en train de finir son essai.
Il ne montre pas l'état en direct d'un état mémorisé (Indisponible, Normal, Déclenché, En attente de réarmement); cela revient au volet de l'unité et au composant Verrouillage. Une unité qui attend encore un réarmement se reconnaît ici seulement à une ligne Source sûre sans ligne Réarmé plus tard.
L'état Indisponible qui précède la première bonne lecture n'est pas une transition et ne laisse aucune ligne.
Il n'a ni filtre d'unité ni filtre de date; cherchez par le nom de l'unité ou du modèle.