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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Brown, A., Wallnau, K.: The Current State of Component-Based Software engineering. IEEE Software 15(5), 37–46 (1998)
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)
Christensen, J.: Design patterns for system engineering with IEC 61499. In: Conference Verteile Automatisieriung, Magdeburg, Germany, pp. 55–62 (2000)
Committe, IEC 61131-3: Plc programming language. Standard (1997)
Committe, IEC 61499 - function blocks for industrial-process measurement and control systems. Publicly Available Specification (2001)
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)
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,
Henniger, O.: Testgenerierung aus Spezifikationen in Estelle und SDL. PhD thesis, Otto von Guericke Universitaet Magdeburg (May 2001)
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)
Hong, H., Ural, H.: A test sequence selection method for statecharts. Software Testing, Verification, and Reliability 10 4, 203–227 (2000)
Mcinnis, K.: Component-based development: The concepts, technology and methodology. White paper (2000), Castek Software Factory Inc. http://www.CBD-HQ.com
Rational. UML: Unified Modeling Language version 2.0 (2003)
Sheppard, D.: An Introduction To Formal Specification With Z and VDM. Mcgrawhill, New York (1994)
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)
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)
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)
Ural, H.: Test Sequence Selection Based on Static Data Flow Analysis. Computer Communications 10(5), 234–242 (1987)
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)
Ural, H., Yang, B.: A Test Sequence Selection Method for Protocol Testing. IEEE Transactions on Communications 39(4), 514–523 (1991)
Von Der Beeck, M.: Formalization of uml-statecharts. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, p. 406. Springer, Heidelberg (2001)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Zhang, W., Halang, W.A., Dietrich, C. (2005). Specification and Verification of Applications Based on Function Blocks. In: Atkinson, C., Bunse, C., Gross, HG., Peper, C. (eds) Component-Based Software Development for Embedded Systems. Lecture Notes in Computer Science, vol 3778. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11591962_2
Download citation
DOI: https://doi.org/10.1007/11591962_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30644-3
Online ISBN: 978-3-540-31614-5
eBook Packages: Computer ScienceComputer Science (R0)