Towards an approach for the verification of downtimeless system evolution

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2006, Pages 1133-1136

  Sünder, Christoph ^a   Favre Bulle, Bernard ^a   Vyatkin, Valeriy ^b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATIONS.; AUTOMATION SYSTEMS; BASIC CONCEPTS; CONTROL LOGICS; DYNAMIC RE-CONFIGURATION; DYNAMIC SYSTEMS; DYNAMIC TRANSFORMATIONS; EMERGING TECHNOLOGIES; HARDWARE AND SOFTWARE; IEC 61499; INDUSTRIAL AUTOMATION SYSTEMS; RUN-TIME; SYSTEM EVOLUTION; TOTAL LIFE;

AUTOMATION; BASIC (PROGRAMMING LANGUAGE); DYNAMIC MODELS; ENTERPRISE RESOURCE PLANNING; FACTORY AUTOMATION; LIFE CYCLE; SEMICONDUCTOR QUANTUM DOTS; SYSTEMS ANALYSIS; TECHNOLOGY;

INDUSTRIAL ENGINEERING;

EID: 37749041095     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2006.355229     Document Type: Conference Paper

References (13)

1. lacooca Institute, "21. Century Manufacturing Enterprise Strategy. An Industry-Led View", Volumes 1 & 2, Technical report, Iacooca Institute, Bethlehem, PA, 1991
2. B. Favre-Bulle and G. Zeichen, "Zukunft der Forschung in den Produktionswissenschaften", Verein zur Förderung der Modernisierung der Produktionstechnologien in Österreich - VPTÖ, Steyr-Gleink, Technical Report, 2006
3. T. Strasser, A. Zoitl, F. Auinger, C. Sünder: "Towards Engineering Methods for Reconfiguration of Distributed Real-time Control Systems based on the Reference Model of IEC 61499", Proceedings of 2nd International Conference on Applications of Holonic and Mufti -Agent Systems (HoloMAS'05), Copenhagen, Denmark, 2005
4. O. Hummer, C. Sünder, A. Zoitl, T. Strasser, M.N. Rooker, G. Ebenhofer, "Towards Zero-downtime Evolution of Distributed Control Applications via Evolution Control based on IEC 61499", to be presented at IEEE Int. Conference on Emerging Technologies in Factory Automation (ETFA'06), Prague, Sept. 2006
5. D. Abel (Hrsg): "Theorie ereignisdiskreter Systeme", Tutorium des GMA-Fachausschusses 1.8-Methoden der Steuerungstechnik, Ouldenburg, München, 1998, ISBN 3-486-24525-2
6. C. Sünder, A. Zoitl, B. Favre-Bulle, T. Strasser, H. Steininger, S. Thomas, "Towards Reconfiguration Applications as basis for Control System Evolution in Zero-downtime Automation Systems", Proceedings of 2nd I*PROMS Virtual Conference on Intelligent Production Machines and Systems, 2006
7. International Electrotechnical Commission, "IEC 61499-1: Function Blocks - Part 1 Architecture", International Standard, First Edition, Geneva, 2005-01
8. The εCEDAC Project, www.ecedac.org.
9. H.-M. Hanisch, A. Lobov, J.L. Martinez Lastra, R. Tuokko, V. Vyatkin, "Formal validation of intelligent-automated production systems: towards industrial applications", Int. Journal Manufacturing Technology and Management, Vol. 8, No. 1/2/3, 2006
10. M. Stanica, "Behavioral Modeling of IEC 61499 Control Applications", PhD report, Universite de Rennes, 2005
11. C. Schnakenbourg, J.-M. Faure, J.-J.Lesage, "Towards IEC 61499 function blocks diagrams verification", Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, vol. 3, 2002
12. A. Lüder, C. Schwab, M. Tangermann, J. Pescke, "Formal models for the verification of IEC 61499 function block based control applications", Proceedings of IEEE Int. Conference on Emerging Technologies in Factory Automation (ETFA'05), pp. 105-112, 2005
13. Vyatkin V., Hanisch H.-M., "Verification of Distributed Control Systems in Intelligent Manufacturing", Journal of Intelligent Manufacturing, special issue on Internet Based Modeling in Intelligent Manufacturing, vol.14, N.1, 2003, pp. 123-136