Specification and verification of applications based on function blocks

被引：0

作者：

Zhang, Wei ^{[1
]}

Halang, Wolfgang A. ^{[1
]}

Dietrich, Christian ^{[2
]}

机构：

[1] Faculty of Electrical and Computer Engineering, FernUniversität

[2] Institut für Automation und Kommunikation e.V.

来源：

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2005年 / 3778 LNCS卷

关键词：

Embedded systems;

D O I：

10.1007/11591962_2

中图分类号：

学科分类号：

摘要：

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. © Springer-Verlag Berlin Heidelberg 2005.

引用

页码：8 / 34

页数：26

共 18 条

[1]

BROWN A., WALLNAU K., The Current State of Component-Based Software engineering, IEEE Software, 15, 5, pp. 37-46, (1998)

[2]

CHENG B.H., WANG E.Y., Formalizing and Integrating the Dynamic Model for Object- Oriented Modeling, IEEE Transactions on Software Engineering, 28, 8, pp. 747-762, (2002)

[3]

CHRISTENSEN J., Design patterns for system engineering with IEC 61499, Conference Verteile Automatisieriung, pp. 55-62, (2000)

[4]

CRNKOVIC I., LARSSON S., STAFFORD J., Component-Based Software Engineering: Building systems from Components, ACM SIGSOFT Software Engineering Notes, 27, 3, (2002)

[5]

HENNIGER O., Testgenerierung aus Spezifikationen in Estelle und SDL, (2001)

[6]

HENNIGER O., ULRICH A., KONIG H., Transformation of estelle modules aiming at test case generation, Proc. of the 8th IFIP International Workshop on Protocol Test Systems, (1995)

[7]

HONG H., URAL H., A test sequence selection method for Statecharts, Software Testing, Verification, and Reliability, 10, 4, pp. 203-227, (2000)

[8]

MCINNIS K., Component-based development: The concepts, technology and methodology

[9]

SHEPPARD D., An Introduction To Formal Specification With Z and VDM, (1994)

[10]

THRAMBOULIDIS K., DOUKAS G., FRANTZIS A., Towards an Implementation Model for FB-based Reconfigurable Distributed Control Applications, Proc. of 7th International Symposium on Object-oriented Real-time Distributed Computing, (2004)

← 1 2 →