Title :
Synchronous definition of GRAFCET with SIGNAL
Author :
Le Parc, Philippe ; Marcé, Lionel
Author_Institution :
Dept. Inf., Univ. de Bretagne Occidentale, Brest, France
Abstract :
GRAFCET is both a specification method and a programming language used in factories for the control of industrial processes. Based on the step/transition concept, it allows one to express sequentiality, multiple choice, parallelism and synchronization constructors. It also provides functional and hierarchical design. Its graphical aspect and its expressive power make it attractive as a programming language for complex reactive applications. Its semantic has not yet been completely defined and thus, problems such as simulation or verification may not be really solved. In this paper we show that synchronous languages, and specially SIGNAL, are well designed tools to express the different interpretations of GRAFCET, to develop simulation and proof tools
Keywords :
computational linguistics; formal languages; formal specification; programming languages; simulation languages; synchronisation; GRAFCET; SIGNAL; digital simulation; parallelism; programming language; semantic; specification method; step/transition concept; synchronization constructors; synchronous languages; Clocks; Communication system control; Computational modeling; Computer languages; Control systems; Electronic mail; Equations; Process control; Production facilities; Signal processing;
Conference_Titel :
Systems, Man and Cybernetics, 1993. 'Systems Engineering in the Service of Humans', Conference Proceedings., International Conference on
Conference_Location :
Le Touquet
Print_ISBN :
0-7803-0911-1
DOI :
10.1109/ICSMC.1993.384953
