IJSER Home >> Journal >> IJSER
International Journal of Scientific and Engineering Research
ISSN Online 2229-5518
ISSN Print: 2229-5518 9    
Website: http://www.ijser.org
scirp IJSER >> Volume 2, Issue 9, September 2011
A Dynamic Construction Algorithm and Verification of the Grafcet
Full Text(PDF, 3000)  PP.  
Author(s)
Marcellin Nkenlifack, Emmanuel Tanyi and Janvier Nzeutchap
KEYWORDS
Hybrid Dynamic Systems, Algorithms, Verification, Simulation, Sequential Systems, Grafcet, Validation, Human-Computer Interface
ABSTRACT
This article proposes an approach of interactive construction of Grafcets. We especially studied the problem of the research of a verification method and of holds it of the consistency, and we arrived to formulas and an algorithmic method of interactive construction and progressive checking of this characteristic that we present. This algorithm has been implemented and has been examined on convenient examples. The developed environment includes in more, a module of description and a module of simulation. The object approach and the UML language have been put to profit during the process. We illustrate functionalities of the simulator to specifics systems
References
[1] J. Zaytoon, Systèmes Dynamiques Hybrides, Traité Systèmes automatisés, Information Commande et Communication, Hermes, Paris, 2001.

[2] M. Nkenlifack, ""Modélisation objet et développement d’un atelier de simulation des automatismes industriels hybrides"", Thèse de Doctorat de l’Ecole Polytechnique (Université de Yaoundé 1), Cameroun, 2004.

[3] E. Tanyi and D. Linkens, “A G2 based Hybrid Modeling and simulation strategy and its Application to a Rolling Mill”, Control Engineering Practice, London, 1998.

[4] E. Tanyi and M. Nkenlifack, ""Une Adaptation d’UML à la Modélisation des Systèmes Hybrides"", Revue des Sciences et Technologies de l’Automatique, Volume 7, N°2 - 2ème semestre 2010, pp 46-57, ISSN 1954-3522.

[5] M. Nkenlifack, E. Tanyi and F. Fokou, “Amelioration of the HAD Metamodel for the Modelling of Complex Hybrid Systems”, International Journal of Advances Research in Computer Science, Volume 2, No. 1, Jan-Feb 2011, pp 370-380, available online at http://www.ijarcs.info, ISSN 0976 - 5697.

[6] M. Nkenlifack, E. Tanyi and F. Fokou, “Establishing bridges between UML, HAD and GRAFCET Metamodels for the Modelling of Dynamic Systems”, International Journal of Scientific and Engineering Research, Volume 2, Issue 3, March 2011, pp 1 - 12, available online at http://www.ijser.org, ISSN 2229-5518.

[7] E. Tanyi and M. Nkenlifack, ""Modélisation Unifiée Hybride et Simulation des Systèmes de Contrôle"", Revue des Sciences et Technologies de l’Automatique, Volume 8, N°1 - Premier semestre 2011, pp 31-43, ISSN 1954-3522

[8] H. Brenier, Les spécifications fonctionnelles : automatismes industriels et temps réel, Dunod, France, 2001.

[9] M. Nkenlifack and E. Tanyi, “HAD: Extending UML for the Modeling of Hybrid Control Systems”, Poster in ECOOP, 17th European Conference on Object-Oriented Programming, July 21-25, 2003, Darmstadt University of Technology, Germany, http://www.st.informatik.tudarmstadt. de:8080/ecoop/posters/index.phtml

[10] E. Tanyi and M. Nkenlifack, ""An object oriented simulation platform for hybrid control systems"", Analysis and Design of Hybrid Systems (ADHS), 2003, Elsevier IFAC Publications, Edited by S. Engell, H. Gueguen & J. Zaytoon, ISBN 0-08-044094-0.

[11] E. Tanyi, T. Noulamo, M. Nkenlifack and J. Tsochounie, ""A Multi- Agent Design and Implementation of An Internet Based Platform for the Remote Monitoring and Control of the Cameroon Power Network"", Special Issue on Advances in Information Engineering, Engineering Letters, 13:2_18, ISSN: 1816-0948 (online version), 2006 http://www.engineeringletters.com/issues_v13/issue_2/index.htm l.

[12] E. Tanyi and M. Nkenlifack, ""An extended UML for the modeling of hybrid control systems"", in Burnham K. J., Haas O. C. L. (Editors), Proc. of the sixteenth International Conference on Systems Engineering (ICSE2003), Coventry, UK, 9-11 September 2003, Vol. 2, pp. 681 - 686, ISBN 0-905949-91.

[13] F. Ayres, Théorie et applications du calcul différentiel et intégral, série Schaum, McGraw-Hill Inc., New York, 1979.

[14] H. Gueguen and M. Lefebvre, ""A comparison of mixed specification formalisms"", 4ème Conférence Internationale sur l’Automatisation des Processus Mixtes (ADPM’00), 2000, Dortmund, Allemagne.

[15] R. David and H. Alla, Du Grafcet aux réseaux de Pétri, Paris, Hermès, France, 1997.

[16] CEI-IEC (Commission Electrotechnique Internationale), ""Grafcet specification language for sequential function charts"", Norme Internationale IEC 60848, 2002.

[17] J. Zaytoon and V. Carré-Ménétrier, ""Grafcet et graphe d’états : comportement, raffinement, vérification et validation"", JESA Vol. 33 N° 7, PP 751-782, 1999.

[18] A. Manuel, P. Remelhe and S. Engell, ""Structuring Discrete-Event Models in Modelica"", 4ème Conférence Internationale sur l’Automatisation des Processus Mixtes (ADPM’00), 2000, Dortmund, Allemagne.

[19] OMG-Web, www.omg.org, Site de l’OMG contenant le manuel de référence UML 2.0, consulté en 2008.

[20] C. Delannoy, Programmer en Java, Eyrolles, France, 2001.

[21] M. Nkenlifack, ""Spécifications orientées objets de circuits électroniques"", Mémoire de fin de DEA, ENSP, Université de Yaoundé I, Cameroun, 1999.

[22] S. Schach, Practical Software Engineering, IRWIN, Boston, 1992.

[23] M. Otter, Qualité des logiciels, Les techniques de l’ingénieur, Doc H4028.

[24] P. Mosterman, « An Overview of Hybrid Simulation phenomena and their support by Simulation Packages », F.W. Vaandrager & J. H. van Schuppen (Eds.), Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 1569, pp 165-177, 1999.

Untitled Page