Object-oriented modular place/transition formalism for systematic modeling and validation of industrial automation systems

IEEE International Conference on Industrial Informatics (INDIN)

Volumn 2003-January, Issue , 2003, Pages 224-232

  Vyatkin, V ^a   Hanisch, H M ^a   Pfeiffer, T ^a  

^a MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SCIENCE;

AUTOMATION SYSTEMS; CONTROL ENGINEERS; INDUSTRIAL AUTOMATION SYSTEM; MODELING FORMALISMS; NET CONDITION/EVENT SYSTEMS; POTENTIAL FAULTS; RELIABILITY AND ROBUSTNESS; SYSTEMATIC MODELING;

AUTOMATION;

EID: 84944677736     PISSN: 19354576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2003.1300273     Document Type: Conference Paper

References (19)

1. Rausch M. and Hanisch H.-M.: Net conditiodevent systems with multiple condition outputs. In Proceedings of the Symposium on Emerging Technologies and Factory Automation, Paris, France, October 1995, Vol.1, pp. 592-600, INRA/IEEE
2. H.-M. Hanisch and A. Luder: Modular Modeling of Closed-Loop Systems, Colloquium on Petri Net Technologies for Modeling Communication Based Systems, Berlin, Germany, October 21-22, 1999, Proceedings, pp. 103-126
3. H.-M. Hanisch, K. Lautenbach, C. Simon, and J. Thieme: Modeling and validation of hybrid systems using extended timestamp nets. Automatisierungstechnik, 2:60-65,2001.
4. H.-M. Hanisch, T. Pannier, D. Peter, S. Roch, and P. Starke: Modeling and verification of a modular lever crossing controller design, Automatisierungstechnik, 48,2000.
5. J. Thieme: Symbolische Erreichbarskeitanalyse und automatische Implementierung struktuirter, zeitbewerter Steuerungsmodelle, Dissertation zur Erlagung des Grades Dr.-Ing., Berlin: Logos Verl., 2002
6. Function Blocks for Industrial Process Measurement and Control Systems. Publicly Available Specification, International Electrotechnical Commission, Tech. Comm. 65, Working group 6, Geneva, 1998.
7. PROFInet project of Profibus User Organization, URL: http://www.profibus.com
8. Interface for Distributed Automation: www.idagroup.org
9. 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
10. V. Vyatkin, H.-M. Hanisch: A modeling approach for verijkation of IEC1499 function blocks using Net Condition/Event Systems, IEEE conference on Emerging Technologies in Factory Automation (ETFA'99), Proceedings, pp. 261-270, Barcelona, Spain, September, 1999
11. V. Vyatkin, H.-M. Hanisch, P. Starke, and S. Roch: Formalisms for verification of discrete control applications on example of IECI499 function blocks, Conference "Verteilte Automatisierung" (Distributed Automation), Proceedings, pp. 72-79, Magdeburg, Germany, March 2000
12. P. Starke, S. Roch, K. Schmidt, H.-M. Hanisch, A. Luder: Analysing signal-event systems, Technical report, Humboldt Universitat zu Berlin, Institut fir Informatik, http://www.informatik.huberlin.de/lehrstuehle/automaten/tools/,J uly, 1999
13. M. Bone and C. Fantuzzi: Design and Verification of Industrial Logic Controllers with UML and Statecharts, submitted to the IEEE Conference on Control Application 2003, June 23-35, Istanbul, Turkey
14. K. Thramboulidis: Using UML for the Development of Distributed Industrial Process Measurement and Control Systems, IEEE Conference on Control Applications (CCA), September 2001, Mexico.
15. Vyatkin V.: Intelligent Mechatronic Components: Control System Engineering using an Open Distributed Architecture, IEEE Conference on Emerging Technologies in Factory Automation (ETFA'03), Proceedings, Lisbon, September, 2003
16. K. Takatsuka and S. Tomita: On modeling and an algorithm for verifying behavior of discrete parallel production system, PSE2002ASIA
17. K. Thramboulidis: Development of Distributed Industrial Control Applications: The CORFU Framework, 4th IEEE International Workshop on Factory Communication Systems, August 2002, Vasteras, Sweden
18. Function Block Development Kit at www.holobloc.org
19. A. Lobov, J. L. Martinez Lastra, R. Tuokko, V. Vyatkin: Methodology for Modeling Visual Flowchart Control Programs using Net ConditionEvent Systems Formalism in Distributed Environments, IEEE Conference on Emerging Technologies in Factory Automation (ETFA'03), Proceedings, Lisbon, September, 2003