Verification of distributed control systems in intelligent manufacturing

Journal of Intelligent Manufacturing

Volumn 14, Issue 1, 2003, Pages 123-136

  Vyatkin, Valeriy ^a   Hanisch, Hans Michael ^a  

^a MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

Distributed computer control systems; Modeling; Verification

Indexed keywords

CONTROL EQUIPMENT; FLEXIBLE MANUFACTURING SYSTEMS; INDUSTRIAL PLANTS; INTELLIGENT CONTROL; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

INTELLIGENT MANUFACTURING;

DISTRIBUTED PARAMETER CONTROL SYSTEMS;

EID: 0037296637     PISSN: 09565515     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1022295414523     Document Type: Conference Paper

References (17)

1. Christensen, J. H. (2000) Design patterns for system engineering with IEC 61499. Proceedings of Conference "Verteile Automatisierung" (Distributed Automation), Magdeburg, Germany, pp. 63-71.
2. Clarke, E., Emerson, E. A. and Sista, A. P. (1986) Automatic verification of finite state concurrent systems using temporal logic. ACM Trans. on Programming Languages and Systems, 8, 244-263.
3. Function Blocks for Industrial Process Measurement and Control Systems (1998), Publicly Available Specification, International Electrotechnical Commission, Technical Communication 65, Working group 6, Geneva.
4. Hanisch, H.-M., Lautenbach, K., Simon, C. and Thieme, J. (2001) Modeling and validation of hybrid systems using extended timestamp nets. Automatisierungstechnik, 2, 60-65.
5. Hanisch, H.-M., Pannier, T., Peter, D., Roch, S. and Starke, P. (2000) Modeling and verification of a modular lever crossing controller design. Automatisierungstechnik, 48.
6. Hanisch, H.-M. and Lüder, A. (1999) Modular modeling of closed-loop system. Proceedings of Colloquium on Petri Net Technologies for Modeling Communication Based Systems, Berlin, Germany, October, pp. 103-126.
7. Hanisch, H.-M., Thieme, J., Lüder, A. and Wienhold, O. (1997) Modeling of PLC behavior by means of timed net condition/event systems. International conference on Emerging Technologies and Factory Automation (ETFA'97), Los Angeles, USA, September.
8. IMS (Intelligent Manufacturing Systems) programme, project on Holonics, http://hms.ifw.uni-hannover.de/public/overview.html〉.
9. International Standard IEC1131-3 Programmable Controllers-Part 3 (1993) International Electrotechnical Commission, Geneva, Suisse.
10. Kowalewski, S., Herrmann, P., Engell, S., Huuk, R., Krumm, H., Lakhnech, Y., Lukoschus, B. and Treseler, H. (2001) Approaches to the formal verification of hybrid systems. Automatisierungstechnik, 2, 66-73.
11. Lewis, R. (2001) Modeling Control Systems using IEC 61499, IEE, London.
12. Ostroff, J. S. (1989) Temporal Logic for Real-Time Systems, Wiley, London.
13. SESA-signal/net system analyzer. Humboldt Universität zu Berlin, Institut für Informatik, http://www. informatik.hu-berlin.de/lehrstuehle/automaten/tools/〉
14. Starke, P., Roch, S., Schmidt, K., Hanisch, H.-M. and Lüder, A. (July 2000) Analysing signal-event systems. Technical report, Humboldt Universität zu Berlin, Institut für Informatik, http://www.informatik.hu-berlin.de/lehrstuehle/automaten/tools/asen.ps.gz〉.
15. Vyatkin, V. and Hanisch, H.-M. (1999) A modeling approach for verification of IEC1499 function blocks using net condition/event systems. Proceedings of ETFA'99 Workshop, Barcelona, Spain, pp. 261-270.
16. Vyatkin, V. and Hanisch, H.-M. (2000a) Development of adequate formalisms for verification of IEC1499 distributed applications. 39th Conference of Society of Instrument and Control Engineers (SICE) of Japan, Iizuka, Japan, July.
17. Vyatkin, V. and Hanisch, H.-M. (2000b) Modeling of IEC 61499 function blocks as a clue to their verification. Workshop on Supervising and Diagnostics of Machining Systems, Karpacz, Poland, March.