Grafcet revisited with a synchronous data-flow language

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 29, Issue 3, 1999, Pages 284-293

  Le Parc, Philippe ^b   L'Her, Dominique ^b   Scharbarg, Jean Luc ^b   Marcé, Lionel ^a,b  

^a IEEE   (France)

^b UNIVERSITÉ DE BRETAGNE OCCIDENTALE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SEQUENTIAL FUNCTION CHARTS; SOFTWARE PACKAGE GRAFCET; SYNCHRONOUS LANGUAGES;

COMMAND AND CONTROL SYSTEMS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER GRAPHICS; COMPUTER SIMULATION; DATA FLOW ANALYSIS; INDUSTRIAL APPLICATIONS; PROGRAMMABLE LOGIC CONTROLLERS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0032687882     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/3468.759279     Document Type: Article

References (22)

1. F. Boussinot and R. De Simone, "The Esterel language," Proc. IEEE, vol. 79, Sept. 1991.
2. R. David, "Grafcet: A powerful tool for specification of logic controllers," IEEE Trans. Softw. Eng., vol. 3, pp. 253-268, Sept. 1995.
3. B. Dutertre, "Spécification et preuve de syst́mes dynamiques," Ph.D. dissertation, Univ. of Rennes 1, France, May 1993.
4. D. Gaffé and C. André, "Proving properties of Grafcet with synchronous tools," in IEEE-SMC Symp. Discrete Events Manufacturing Systems, Lille, France, July 1996, pp. 777-782.
5. N. Halbwachs, Synchronous Programming of Reactive Systems. Norwell, MA: Kluwer, 1993.
6. N. Halbwachs, F. Lagnier, and C. Ratel, "Programming and verifying real-time system by means of the synchronous data-flow language Lustre," IEEE Trans. Softw. Eng., vol. 18, pp. 785-793, Sept. 1992.
7. N. Halbwachs, "Delay analysis in synchronous programs," in 5th Conf. Computer-Aided Verilication CAV'93, LNCS 697, Elounda, Greece, July 1996.
8. IEC International Electrotechnical Commission, "IEC 848 - Preparation of function charts for control systems," 1988.
9. _, "IEC 1131 - Standard for programmable controllers part 3: Programming languages," 1993.
10. M. Le Borgne, B. Dutertre, A. Benveniste, and P. Le Guernic, "Dynamical systems over Galois fields," in Eur. Control Conf., Grooningen, Germany, 1993.
11. P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Maire, "Programming real time applications with SIGNAL," Proc. IEEE, vol. 79, Sept. 1991.
12. P. Le Parc, "Apport de la méthodologie synchrone pour la definition et l'utilisation du langage Grafcet," Ph.D dissertation, Univ. Rennes I, France, Jan. 1994.
13. D. L'Her and L. Marcé, "Modeling and verification of a production cell with Grafcet," in Synchronous Seminar, Dagstuhl, Germany, Dec. 1996.
14. T. Lindner, "Task description," Formal Development of Reactive Systems, LNCS 891, pp. 7-19, 1995.
15. F. Maraninchi, "Argos: Un langage graphique pour la conception. La description et la validation des systěmes reactifs," Ph.D. dissertation, Univ. of Grenoble, France, Jan. 1990.
16. L. Marcé, D. L'Her, and P. Le Parc, "Modeling and verification of temporized GRAFCET," in IEEE-SMC Symp. Discrete Events Manufacturing Systems, Lille, France, July 1996, pp. 783-788.
17. X. Nicollin, J. Sifakis, and S. Yovine, "Compiling real-time specifications into extended automata," IEEE Trans. Softw. Eng., vol. 18, pp. 794-804, Sept. 1992.
18. J. P. Paris, "SYNCHRON project, common formats of synchronous languages," Tech. Rep. RT-0157, INRIA, July 1993.
19. "Another look at real time programming - Special section," Proc. IEEE, vol. 79, Sept. 1991.
20. J. L. Scharbarg, J. Battut, and L. Marcé, "Un automate programmable fondé sur l'approche synchrone du GRAFCET," in Modélisation des Systěmes Réactifs, Brest, France, Mar. 1996.
21. Y. Sorel, "Massively parallel computing systems with real-time constraints, the algorithm architecture adequation methodology," in Proc. Massively Parallel Computing Systems, Challenges General-Purpose Special-Purpose Computing, Ischia, Italy, May 1994.
22. "VXWORKS programmer's guide - Version 5.1," 1993.