Verification of Component Behavioral Compatibility

Craig, Donald C.; Zuberek, W.M.

doi:10.1109/depcos-relcomex.2007.53

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction2

Component Composition1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2008

2011

Publication Types

Select...

Other3

Article2

Relationship

Self Cite1

Independent4

Authors

Journals

Cited by 5 publications

(3 citation statements)

References 13 publications

(14 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The composition operation follows the CORD (compatible or deadlocked) composition proposed in [4], [5], [6] for the verification of component compatibility.…”

Section: Component Compositionmentioning

confidence: 99%

See 1 more Smart Citation

Performance Analysis of Component-Based Systems

Zuberek

Bluemke²

2008

2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX

View full text Add to dashboard Cite

show abstract

“…The composition operation follows the CORD (compatible or deadlocked) composition proposed in [4], [5], [6] for the verification of component compatibility.…”

Section: Component Compositionmentioning

confidence: 99%

“…Petri net models proposed earlier for the verification of component compatibility [5], [6], are extended by temporal characteristics of provided services. This makes it possible to study the performance aspects of modeled systems and to verify their time-critical behavior.…”

Section: Introductionmentioning

confidence: 99%

Performance Analysis of Component-Based Systems

Zuberek

Bluemke²

2008

2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX

View full text Add to dashboard Cite

show abstract

“…It is known that languages defined by (labelled) Petri nets include regular languages, some context-free and even context-sensitive languages (Murata, 1989). Therefore, they are significantly more general than languages defined by finite automata (Chaki et al, 2004); however, the verification of component compatibility is significantly more difficult than in the case of regular languages (Craig and Zuberek, 2007;Craig, 2006).…”

Section: Introductionmentioning

confidence: 99%

Modelling and performance analysis of component-based systems

Zuberek

Bluemke

Craig

2010

IJCCBS

Self Cite

View full text Add to dashboard Cite

Assessment of dependability of component-based systems must include verification of temporal and performance requirements as they can be of primary importance for many real-time and embedded systems. This paper uses labelled timed Petri nets as models of the behaviour of components at their interfaces. These component models are systematically composed into an integrated model of the system which is used for verification of temporal characteristics and performance analysis.

show abstract