Specification and Verification of Applications Based on Function Blocks

  • Wei Zhang
  • Wolfgang A. Halang
  • Christian Dietrich
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3778)

Abstract

The concept of Function Block origins in automation engineering. It is the standard IEC 61499 that makes a Function Block paradigm for developing automation applications. Due to the component-like features, hardware-oriented view and explicit abstraction-complexity handling provided by Function Block paradigm, a methodology for applying CBD to embedded systems is suggested in this chapter. The classic CBD methods are considered in the combination with Function Block method, which are organized in a development process (i.e., V-model). In the development process, specification and verification issues are especially emphasized in this chapter. UML is chosen to take the pivot role of specifying all artifacts in the process.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Brown, A., Wallnau, K.: The Current State of Component-Based Software engineering. IEEE Software 15(5), 37–46 (1998)CrossRefGoogle Scholar
  2. 2.
    Cheng, B.H., Wang, E.Y.: Formalizing and Integrating the Dynamic Model for Object- Oriented Modeling. IEEE Transactions on Software Engineering 28(8), 747–762 (2002)CrossRefMathSciNetGoogle Scholar
  3. 3.
    Christensen, J.: Design patterns for system engineering with IEC 61499. In: Conference Verteile Automatisieriung, Magdeburg, Germany, pp. 55–62 (2000)Google Scholar
  4. 4.
    Committe, IEC 61131-3: Plc programming language. Standard (1997)Google Scholar
  5. 5.
    Committe, IEC 61499 - function blocks for industrial-process measurement and control systems. Publicly Available Specification (2001)Google Scholar
  6. 6.
    Crnkovic, I., Larsson, S., Stafford, J.: Component-Based Software Engineering: Building systems from Components. ACM SIGSOFT Software Engineering Notes 27, (May 3) p.47(2002)Google Scholar
  7. 7.
    Diedrich, C., Hintze, E., Neumann, A.: Information Control Problems in Manufacturing. In: Pereira, C., Morel, G., Kopacek, P. (eds.) Proceedings of the 11th IFAC INCOM 2004 Symposium, Salvador da Bahia, Brazil, April 2004,Google Scholar
  8. 8.
    Henniger, O.: Testgenerierung aus Spezifikationen in Estelle und SDL. PhD thesis, Otto von Guericke Universitaet Magdeburg (May 2001)Google Scholar
  9. 9.
    Henniger, O., Ulrich, A., König, H.: Transformation of estelle modules aiming at test case generation. In: Cavalli, S.B.A. (ed.) Proc. of the 8th IFIP International Workshop on Protocol Test Systems, Chapman & Hall, Evry (1995)Google Scholar
  10. 10.
    Hong, H., Ural, H.: A test sequence selection method for statecharts. Software Testing, Verification, and Reliability 10 4, 203–227 (2000)CrossRefGoogle Scholar
  11. 11.
    Mcinnis, K.: Component-based development: The concepts, technology and methodology. White paper (2000), Castek Software Factory Inc. http://www.CBD-HQ.com
  12. 12.
    Rational. UML: Unified Modeling Language version 2.0 (2003)Google Scholar
  13. 13.
    Sheppard, D.: An Introduction To Formal Specification With Z and VDM. Mcgrawhill, New York (1994)Google Scholar
  14. 14.
    Stojanovic, Z., Dahanayake, A., Sol, H.: A Methodology Framework for Component-Based System Development Support. In: sixth EMMSAD 2001, Interlaken, Switzerland, pp. XIX–1 — XIX–14 (June 2001)Google Scholar
  15. 15.
    Thramboulidis, K., Doukas, G., Frantzis, A.: Towards an Implementation Model for FB-based Reconfigurable Distributed Control Applications. In: Proc. of 7th International Symposium on Object-oriented Real-time Distributed Computing, Vienna, Austria (2004)Google Scholar
  16. 16.
    Thramboulidis, K.C.: Using UML in Control and Automation: A Model Driven Approach. In: Proc. of 2nd IEEE intl. Conference on Industrial Informatics INDIN 2004, Berline, Germany, June 2004, pp. 587–593 (2004)Google Scholar
  17. 17.
    Ural, H.: Test Sequence Selection Based on Static Data Flow Analysis. Computer Communications 10(5), 234–242 (1987)CrossRefGoogle Scholar
  18. 18.
    Ural, H., Williams, A.: Test generation by exposing control and data dependencies within system specications in sdl. In: Proc. of IFIP 6th International Conference on Formal Description Techniques FORTE 1993, October 1993, pp. 339–354 (1993)Google Scholar
  19. 19.
    Ural, H., Yang, B.: A Test Sequence Selection Method for Protocol Testing. IEEE Transactions on Communications 39(4), 514–523 (1991)CrossRefGoogle Scholar
  20. 20.
    Von Der Beeck, M.: Formalization of uml-statecharts. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, p. 406. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  21. 21.
    Vyatkin, V., Hanisch, H.-M.: Practice of modeling and verification of distributed controllers using signal-net systems. In: Proceedings of the International Workshop on Concurrency, Specification and Programming, Humboldt University, Berlin, pp. 335–349 (2000)Google Scholar
  22. 22.
    Vyatkin, V., Hanisch, H.-M.: Verification of Distributed Control Systems in Intelligent Manufacturing. Journal of Intelligent Manufacturing, special issue on Internet Based Modelling in Intelligent Manufacturing 14, 123–136 (2003)Google Scholar
  23. 23.
    Vyatkin, V., Hanisch, H.-M., Starke, P., Roch, S.: Formalisms for verification of discrete control applications on example of IEC 1499 function blocks. In: Proc. of Conference Verteilte Automatisierung (Distributed Automation), Magdeburg, March 2000, pp. 72–79 (2000)Google Scholar
  24. 24.
    Zhang, W., Diedrich, C., Halang, W.: Comparison Between Function Blockoriented and Object-oriented Designs in Control Applications. In: Proc. 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming, pp. 85-90 (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Wei Zhang
    • 1
  • Wolfgang A. Halang
    • 1
  • Christian Dietrich
    • 2
  1. 1.Faculty of Electrical and Computer EngineeringFernUniversitätHagenGermany
  2. 2.Institut für Automation und Kommunikation e.V.BarlebenGermany

Personalised recommendations