Synchronous definition of GRAFCET with SIGNAL

Author

Le Parc, Philippe ; Marcé, Lionel

Author_Institution

Dept. Inf., Univ. de Bretagne Occidentale, Brest, France

fYear

1993

fDate

17-20 Oct 1993

Firstpage

675

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICSMC.1993.384953

Filename

384953