Specification and verification of applications based on function blocks

Authors:
Wei Zhang;Wolfgang A. Halang;Christian Dietrich
Affiliations:
Faculty of Electrical and Computer Engineering, FernUniversität, Hagen, Germany;Faculty of Electrical and Computer Engineering, FernUniversität, Hagen, Germany;Institut für Automation und Kommunikation e.V., Barleben, Germany
Venue:
Component-Based Software Development for Embedded Systems
Year:
2005

Citing 7
Cited 1

Test sequence selection based on static data flow analysis

Computer Communications
Introduction to Formal Specifications with Z and VDM

Introduction to Formal Specifications with Z and VDM
The Current State of CBSE

IEEE Software
Formalizing and integrating the dynamic model for object-oriented modeling

IEEE Transactions on Software Engineering
Component-based software engineering: building systems from components at 9th IEEE conference and workshops on engineering of computer-based systems

ACM SIGSOFT Software Engineering Notes
Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL

FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
Formalization of UML-Statecharts

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools

Automation component aspects for efficient unit testing

ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation

Quantified Score

Hi-index	0.00

Visualization

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.