Reuse of components in formal modeling and verification of distributed control systems

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn 1 2 VOLS, Issue , 2005, Pages 129-134

  Vyatkin, Valeriy ^a   Hanisch, Hans Michael ^b  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

^b MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

HIERARCHICAL COMPLEX MODELS; MODULAR MODELING; SCIENTIFIC MODELING;

AUTOMATION; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; COMPUTER SOFTWARE REUSABILITY; MATHEMATICAL MODELS; STANDARDS;

FORMAL LOGIC;

EID: 33847290294     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. H.-M. Hanisch and V. Vyatkin: Modeling and Verification of Distributed Control Systems, International conference "Design, Analysis, and Simulation of Distributed Systems (DADS'2005)", Proceedings, San Diego, April, 2005
2. M Bonfe, C. Fantuzzi: Design and verification of mechatronic object-oriented models for industrial control systems, IEEE Conference on Emerging Technologies and Factory Automation (ETFA'03), Proceedings, vol. II, pp.253-260, Lisbon, September, 2003
3. H.-M. Hanisch, T. Pannier, D. Peter, S. Roch and P. Starke: Modeling and verification of a modular lever crossing controller design. Automatisierungstechnik, 2000
4. H.-M. Hanisch: Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering, 2004, in Abstract State Machines 2004, LNCS 3052
5. H.-M. Hanisch and A. Lüder: Modular Modelling of Closed-Loop Systems, Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin, Germany, October 21-22, 1999, Proceedings, pp. 103-126
6. H.-M. Hanisch und A. Lüder: A Signal Extension for Petri Nets and its Use in Controller Design, Fundamenta Informaticae. Nr.4, March 2000, pp. 415-431.
7. H.-M. Hanisch and V. Vyatkin: Achieving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Developer's View, The Industrial Information Technology Handbook, CRC Press, October 2004
8. http://www.holobloc.com - web site devoted to IEC61499
9. International Standard IEC 1131-3, Programmable Controllers - Part 3, International Electrotechnical Commission, 1993, Geneva, Switzerland
10. Function Blocks for Industrial Process Measurement and Control Systems, Publicly Available Specification, International Electrotechnical Commission, Part 1: Architecture, Tech. Comm. 65, Working group 6, Geneva, 2002
11. R. Lewis: Modeling Distributed Control Systems using IEC 61499, Institution of Electrical Engineers; London, 2001
12. A. Lobov, J. LM Lastra, R. Tuokko, V. Vyatkin: Modelling and Verification of PLC-based Systems Programmed with Ladder Diagrams, INCOM'2004, Proc., Salvador, Brazil, April, 2004
13. A. Lobov, J. L.M. Lastra, R. Tuokko, V. Vyatkin, "Methodology for Modeling Visual Flowchart Control Programs using Net Condition/Event Systems Formalism in Distributed Environments", IEEE Conference on Emerging Technologies and Factory Automation (ETFA'03), Proc., Lisbon, Portugal, September 2003
14. M. Stanica, H. Guéguen, "A Timed Automata Model of IEC 61499 Basic Function Blocks Semantic", ECRTS'03 Euromicro European Conference on Real-Time Systems, Porto, Portugal, July 2003
15. J. Thieme: Symbolische Erreichbarskeitanalyse und automatische Implementierung struktuirter, zeitbewerter Steuerungsmodelle, Dissertation zur Erlagung des Grades Dr.-Ing., Berlin: Logos Verl., 2002
16. st IEEE Conference on Industrial Informatics (INDIN'03), Proceedings, Banff, Canada, August 2003, ISBN 0780382005
17. V. Vyatkin, H.-M. Hanisch, G. Bouzon: Open Object-Oriented Validation Framework For Modular Industrial Automation Systems, INCOM'2004, Proceedings, Salvador, Brazil, April, 2004
18. V. Vyatkin, H.-M. Hanisch: Verification of Distributed Control Systems in Intelligent Manufacturing, Journal of Intelligent Manufacturing, vol.14, N.1, 2003, pp.123-136
19. H. Wurmus, B. Wagner,: «IEC 61499 konforme Beschreibung verteilter Steuerungen mit Petri-Netzen»; Conference Distributed Automation 2000 (Verteilte Automatisierung), Institut für Automation und Kommunikation e.V., Magdeburg 2000