Specification and Verification of Applications Based on Function Blocks

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.

[1]  Bo Yang,et al.  A test sequence selection method for protocol testing , 1991, IEEE Trans. Commun..

[2]  Peter Kopacek,et al.  Information control problems in manufacturing 2004 (INCOM 2004) : a proceedings volume from the 11th IFAC Symposium, Salvador, Brazil, 5-7 April 2004 , 2005 .

[3]  Deri Sheppard.  Introduction to Formal Specifications with Z and VDM , 1994 .

[4]  L. Nemes,et al.  Information control problems in manufacturing , 1988 .

[5]  Valeriy Vyatkin,et al.  Verification of distributed control systems in intelligent manufacturing , 2003, J. Intell. Manuf..

[6]  Fevzi Belli,et al.  Determining the reliability of prolog programs , 1994, Softw. Test. Verification Reliab..

[7]  Betty H. C. Cheng,et al.  Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling , 2002, IEEE Trans. Software Eng..

[8]  Hasan Ural.  Test sequence selection based on static data flow analysis , 1987, Comput. Commun..

[9]  Michael von der Beeck,et al.  Formalization of UML-Statecharts , 2001, UML.

[10]  Alan W. Brown,et al.  The Current State , 2016 .

[11]  Kleanthis Thramboulidis,et al.  Towards an implementation model for FB-based reconfigurable distributed control applications , 2004, Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings..

[12]  Ivica Crnkovic,et al.  Component-based software engineering: building systems from components at 9th IEEE conference and workshops on engineering of computer-based systems , 2002, SOEN.

[13]  K.C. Thramboulidis,et al.  Using UML in control and automation: a model driven approach , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.

[14]  O. Henniger,et al.  Transformation of Estelle modules aiming at test case generation , 1996 .

[15]  Doo-Hwan Bae,et al.  A test sequence selection method for statecharts , 2000 .

[16]  Hasan Ural,et al.  Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL , 1993, FORTE.

[17]  Ajantha Dahanayake,et al.  Methodology Evaluation Framework for Component-Based System Development , 2003, J. Database Manag..