Component Design and Formal Validation of SFA Systems: A Case Study

  • Valeriy Vyatkin
  • Hans-Michael Hanisch
Part of the IFIP — The International Federation for Information Processing book series (IFIPAICT, volume 101)


In this paper we present a case study of component based automation system design using 1EC61499 accompanied by subsequent application of the formal modeling methods and the corresponding verification tools.


  1. 1.
    Function Blocks for Industrial Process Measurement and Control Systems. Publicly Available Specification, International Electrotechnical Commission, Tech. Comm. 65, Working group 6, Geneva, 1998.Google Scholar
  2. 2.
    R. Lewis: Modeling Control Systems using IEC 61499, IEE, London, 2001Google Scholar
  3. 3.
    M. Bonfe, C. Fantuzzi: Mechatronic Objects encapsulation in IEC 1131–3 Norm, Intl. Conf. on Control Applications, Anchorage, 2002Google Scholar
  4. 4.
    J.H. Christensen: Design patterns for system engineering with IEC 61459. Proc. Of Conference “Verteile Automatisierung” (Distributed Automation), pages 63–71, Magdeburg, Germany, 2000Google Scholar
  5. 5.
    S.Kowalewski, P.Herrmann, S.Engell, R.Huuk, H.Krumm, Y.Lakhnech, B.Lukoschus, and H.Treseler: Approaches to the formal verification of hybrid systems. Automatisierungstechnik, 2: 66–73, 2001.Google Scholar
  6. 6.
    Rausch, M., H.-M. Hanisch. Net condition/event systems with multiple condition outputs. In: Symposium on Emerging Technologies and Factory Automation, 1995. Vol.!., INRIA/IEEE. Paris, France. pp. 592–600.Google Scholar
  7. 7.
    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, to appear as No.1, 2003 Google Scholar

Copyright information

© Springer Science+Business Media New York 2002

Authors and Affiliations

  • Valeriy Vyatkin
    • 1
  • Hans-Michael Hanisch
    • 1
  1. 1.Martin Luther University of HalleWittenbergGermany

Personalised recommendations