Component-based design and analysis: A case study

被引：4

作者：

Jin, Y ^{[1
]}

Lakos, C ^{[1
]}

Esser, R ^{[1
]}

机构：

[1] Univ Adelaide, Sch Comp Sci, Adelaide, SA 5005, Australia

来源：

FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS | 2003年

关键词：

D O I：

10.1109/SEFM.2003.1236214

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In this paper we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to alleviate the state space explosion problem, a well-known obstacle to system verification. In addition, the approach is illustrated by application to a non-trivial case study: the production cell. It is shown that not only the basic consistency property viz. the freedom from unexpected reception and deadlock, but also other important safety properties in the design can be proved.

引用

页码：126 / 135

页数：10

共 19 条

[1] Reactive modules
Alur, R
Henzinger, TA
[J]. FORMAL METHODS IN SYSTEM DESIGN, 1999, 15 (01) : 7 - 48
[2] [Anonymous], 2000, P 7 SAS
[3] Berard B., 2001, SYSTEMS SOFTWARE VER
[4] Clarke Edmund, 2000, Computer Aided Verification, P154, DOI [10.1007/10722167_15, DOI 10.1007/10722167_15]
[5] de Alfaro L., 2001, Software Engineering Notes, V26, P109, DOI 10.1145/503271.503226
[6] ESSER R, 2001, S VISUAL MULTIMEDIA
[7] Graf S., 1996, Formal Aspects of Computing, V8, P607, DOI 10.1007/BF01211911
[8] A case study in design and verification of manufacturing system control software with hierarchical Petri nets
Heiner, M
Deussen, P
Spranger, J
[J]. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1999, 15 (02) : 139 - 152
[9] HEINER M, 1995, I08 BRAND TU
[10] Henzinger TA, 1998, LECT NOTES COMPUT SC, V1427, P440, DOI 10.1007/BFb0028765

← 1 2 →