|
Published Articles >> Table of Contents >> Abstract
First International Conference on Software Engineering and Formal Methods (SEFM'03)
p. 126
Component-Based Design and Analysis: A Case Study
Yan Jin, University of Adelaide
Charles Lakos, University of Adelaide
Robert Esser, University of Adelaide
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2003.1236214
Send link to a friend
| Abstract |
|
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.
|
 Additional Information
|
Citation:
Yan Jin, Charles Lakos, Robert Esser,
"Component-Based Design and Analysis: A Case Study,"
sefm,
p. 126,
First International Conference on Software Engineering and Formal Methods (SEFM'03),
2003
|
|
