# Le modèle de Grafcet: réflexion et intégration dans une plate-forme multiformalisme synchrone

Abstract : From modeling to validation, the synchronous approch is well-suited to design reactive real-time computer-based systems. On the other hand, in the field of production system, the graphical and synchronous model GRAFCET is widely used. However, compared to GRAFCET, synchronous languages are endowed with a more formal semantics. In order to make the best of both approches, we advocate integrating GRAFCET and synchronous languages into a common platform. This is the main objective of this thesis. First, we revisite the GRAFCET model and we give it a new semantics consistent with those of synchronous languages. The new model in named S-GRAFCET'' (for Synchonous GRAFCET). We then, turn to compilation problems. Two methods are introduced : the first one is a systematic rewriting of S-GRAFCET into ESTEREL programs; the second is a direct implementation of the formal semantics given to S-GRAFCET. Both compilers are operational. They are inputs to the synchronous software environment (code generators, simulators, model checkers). The full control of the compilation line allows generation of additional code that makes the verification process easier and more adequate to the application domains. The GRAFCET model itself can be used as a language for expressing properties.
Keywords :
Document type :
Theses
Domain :

Cited literature [96 references]

https://hal.archives-ouvertes.fr/tel-02514876
Contributor : Sophie Gaffé-Clément <>
Submitted on : Monday, March 23, 2020 - 9:23:56 AM
Last modification on : Friday, March 27, 2020 - 4:57:49 PM

### File

thèse_gaffé.pdf
Files produced by the author(s)

### Identifiers

• HAL Id : tel-02514876, version 1

### Citation

Daniel Gaffé. Le modèle de Grafcet: réflexion et intégration dans une plate-forme multiformalisme synchrone. Automatique / Robotique. Université de Nice Sophia-Antipolis (UNS), 1996. Français. ⟨NNT : 1996NICE4935⟩. ⟨tel-02514876⟩

Record views