Hierarchical distributed controllers - Design and verification

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2007, Pages 657-664

  Missal, Dirk ^b   Hirsch, Martin ^b   Hanisch, Hans Michael ^a,b  

^a IEEE

^b MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AND VERIFICATIONS; AUTOMATION INDUSTRIES; CONTROL ARCHITECTURES; CONTROL DESIGNS; DISTRIBUTED CONTROLLERS; FORMAL APPROACHES; HIERARCHICAL CONTROLS; IEC 61499 STANDARDS; LAYERED ARCHITECTURES; LAYERED COMPOSITIONS; RESEARCH GROUPS;

ARCHITECTURAL DESIGN; FACTORY AUTOMATION; REUSABILITY; SEMICONDUCTOR QUANTUM DOTS; SYSTEMS ANALYSIS;

AUTOMATION;

EID: 47849091267     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EFTA.2007.4416832     Document Type: Conference Paper

References (13)

1. V. Vyatkin, H.-M. Hanisch, S. Karras, T. Pfeiffer and V. Dubinin: "Rapid engineering and re-configuration of automation objects aided by formal modelling and verification", International Journal of Manufacturing Research 2006 - Vol. 1, No.4, pp. 382 - 404.
2. V. Vyatkin, M. Hirsch and H.-M. Hanisch: "Systematic Design and Implementation of Distributed Controllers in Industrial Automation", Emerging Technologies and Factory Automation (ETFA'2006), Proceedings pp. 633-640, Prague 2006.
3. J. Padberg and U. Küssel: "A component-based verification approach based on Petri net components", In Proc. FORMS/FORMAT 2007 - "Formal Methods for Automation and Safety in Railway and Automotive Systems", pages 40-50. GZBV, 2007.
4. M. Hirsch, C. Gerber, H.-M. Hanisch and V. Vyatkin: "Design and Implementation of Heterogeneous Distributed Controllers - A Case Study", International Conference on Industrial Informatics (INDIN'07), Vienna 2007 (Accepted).
5. S. Panjaitan, G. Frey: "Functional Design for IEC 61499 Distributed Control Systems using UML Activity Diagrams", proceedings of the 2005 International Conference on Instrumentation, Communications and Information Technology ICICI 2005, Bandung, Indonesia, pp.64-70, 2005.
6. V. Vyatkin: "IEC 61499 Function Blocks for for Embedded and Distributed Control Systems Design", 03NEIDA - Instrumentation Society of America, 2007.
7. V. Vyatkin and H.-M. Hanisch: "Verification of Distributed Control Systems in Intelligent Manufacturing", Journal of Intelligent Manufacturing 1/2003, February 2003, pp. 123-136.
8. S. Roch: "Extended Computation Tree Logic", in Proceedings of the CS&P 2000 Workshop, number 140 in Informatik-Berichte, pages 225-234, Berlin, Germany, October 2000. Humboldt-Universität zu Berlin.
9. M. B. Dwyer, G. S. Avrunin and J. C. Corbett: "Patterns in property specifications for finite-state verification", Proceedings of the 21st international conference on Software engineering (ICSE '99), Los Angeles, United States, 1999.
10. S. Arabestani, F. Bitsch and J. Gayen: "Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements", Lecture Notes in Computer Science, Vol. 3147/2004.
11. P. H. Starke and S. Roch: "Analysing Signal-Net Systems", Technical report, number 162 in Informatik-Berichte, Humboldt-Universität zu Berlin, Berlin, Germany, September 2002.
12. J. Desel, G. Juhás, R. Lorenz: "Process semantics and process equivalence of NCEM", 7th Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Koblenz-Landau, 2000.
13. J. Desel, G. Juhás, R. Lorenz: "Input/Output Equivalence of Petri Modules", Proceedings of the 6th Biennal World Conference on Integrated Design and Process Technology (IDPT), Pasadena, California, 2002.