A formal system for specifying real-time checkers of discrete process

Un formalisme pour la spécification des contrôleurs temps-réel de procédés discrets

Claudio Walter (1)

1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble

A presentation of the formal system and the concept of an observer. Application of the formal system to the checking of processes. Analysis of languages and systems in the spirit of the formal system. Algorithms and sequence automata. Syntax of the CSL language. Proposal for a CSL interpreter. Application to a facility where electric lights are packaged and stored

Présentation du formalisme, notion d'observateur. Application du formalisme au contrôle des procédés. Analyse des langages et systèmes dans l'esprit du formalisme. Algorithmes et automates de séquence. Syntaxe du langage CSL. Proposition d'un interpréteur CSL. Application à une installation d'emballage et de stockage de lampes électriques

Mots clés: processus; commandes; temps-réel; formalisme; fidélité; programmation; programmes

Domaines: Modélisation et simulation

Claudio Walter. Un formalisme pour la spécification des contrôleurs temps-réel de procédés discrets. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1981. Français. ⟨NNT : ⟩. ⟨tel-00294214⟩