Verification of distributed control systems in intelligent manufacturing | Journal of Intelligent Manufacturing Skip to main content
Springer Nature Link
Log in

Verification of distributed control systems in intelligent manufacturing

  • Published:
Journal of Intelligent Manufacturing Aims and scope Submit manuscript

Abstract

This paper presents an application of formal methods for validation of flexible manufacturing systems controlled by distributed controllers. A software tool verification environment for distributed applications (VEDA) is developed for modeling and verification of distributed control systems. The tool provides an integrated environment for formal, model-based verification of the execution control of function blocks following the new international standard IEC61499. The modeling is performed in a closed-loop way using manually developed models of plants and automatically generated models of controllers.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (Japan)

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Christensen, J. H. (2000) Design patterns for system engineering with IEC 61499. Proceedings of Conference “Verteile Automatisierung” (Distributed Automation), Magdeburg, Germany, pp. 63-71.

  • 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.

    Google Scholar 

  • Function Blocks for Industrial Process Measurement and Control Systems (1998), Publicly Available Specification, International Electrotechnical Commission, Technical Communication 65, Working group 6, Geneva.

  • 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.

    Google Scholar 

  • 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.

  • 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.

  • 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.

  • IMS (Intelligent Manufacturing Systems) programme, project on Holonics, http://hms.ifw.uni-hannover.de/public/overview.html〉.

  • International Standard IEC1131-3 Programmable Controllers-Part 3 (1993) International Electrotechnical Commission, Geneva, Suisse.

  • 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.

    Google Scholar 

  • Lewis, R. (2001) Modeling Control Systems using IEC 61499, IEE, London.

    Google Scholar 

  • Ostroff, J. S. (1989) Temporal Logic for Real-Time Systems, Wiley, London.

    Google Scholar 

  • SESA-signal/net system analyzer. Humboldt UniversitÄt zu Berlin, Institut fÜr Informatik, http://www.informatik.hu-berlin.de/lehrstuehle/automaten/tools/〉

  • 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〉.

  • 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.

  • 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.

  • 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.

Download references

Author information

Authors and Affiliations

  1. Department of Engineering Science, Martin Luther University Halle-Wittenberg, D-06099, Halle, Germany

    Valeriy Vyatkin & Hans-Michael Hanisch

Authors
  1. Valeriy Vyatkin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hans-Michael Hanisch
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Vyatkin, V., Hanisch, HM. Verification of distributed control systems in intelligent manufacturing. Journal of Intelligent Manufacturing 14, 123–136 (2003). https://doi.org/10.1023/A:1022295414523

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1022295414523

Search

Navigation