Modeling
and Validation of
Industrial Automation Systems
1. Formalism of Net Condition/Event Systems [ETFA'97]
1.1. Basic concepts
1.2. More formal definitions [ASEN]
1.3. Object-oriented hierarchical NCES (OOH NCES)
2. Semantic of Signal/Event Nets
2.1. Discrete state Signal/Event nets
3. Modeling of automation systems
3.1.
Closed-loop modeling of plant-controller
systems
3.2. Modeling of physical objects and processes
3.2.1. Basic elements of plant
3.2.2. Model of a basic process - linear drive
3.2.3. Aggregated models
3.2.4. Modeling of sensors [CSP'2000]
3.3. Modeling of controllers
3.3.1. Modeling of data and control logic [ETFA'97],[CDMS'2000]
3.3.2. System routines
3.4. Co-existence of synchronous/asynchronous behavior [CSP'2000]
3.5. Distributed control systems [CSP'2000]
4. Tools for model creation and editing
4.1. Editor
4.2. Creation of interconnected modules in FBDK [IEC61499]
4.3. XML format for NCES (typed object version)
4.3.1 Document type definition
4.3.2 Basic module
4.3.1.2 Basic module example
4.3.2.2 Interconnected module example
5. Validation tools
5.1. Model-checker SESA [SESA]
5.2. Integrated Model Assembler/Translator/CHecker (MATCH) for OOH NCES
5.3 Specifications
5.3.1 Computational Tree Logic (CTL)
6. Distributed Control in Automation
6.1. New international standard IEC61499
6.2 Learning IEC61499
6.2.1. Install Function Block Development Kit (FBDK)
6.2.2 Recommended examples:
6.2.2.1 Simple X2Y2 (src/student/TEST_X2Y2.sys, src/student/TESTD_X2Y2.sys, src/student/TESTD2_X2Y2.sys)
6.2.2.2 FLASHER (src/ita/FLASHER_TEST.sys , src/ita/FLASHER_TESTD.sys, ...)
6.2.2.3 Model/View/Control engineering pattern (src/mach/DRILL_MVL.sys ... )
6.2.2.4 Continuous processes (src/PID_TANK.sys ...)
6.2.2.5 Peg/ring assembly testbed (src/ita/testbed/TESTBED_*.sys )
6.2.2.6 FESTO modular testbed
6.2.2.5.1 Distribution station (src/festo_model ) [FESTO]
6.2.2.5.2 Check station (src/test_station ) [FESTO]
6.2.2.5.3 Processing station
6.2.2.5.3.1 Working program (src/station3, uses src/sys_f1, src/festo1 )
6.2.2.5.3.2 "Agent-based" design (src/st3_adp) [ETFA'03]
6.3 Engineering methodologies (using IEC61499)
© 2006 This document authored, composed and maintained by: Valeriy V. Vyatkin All rights reserved