Performance and Verification

Share/Save/Bookmark

Haverkort, Boudewijn R. and Katoen, Joost-Pieter (2005) Performance and Verification. ACM SIGMETRICS Performance Evaluation Review, 32 (4). p. 3. ISSN 0163-5999

[img]PDF
Restricted to UT campus only
: Request a copy
228Kb
Abstract:Some twentyfive years ago, the field of computer-communication system performance evaluation and the field of formal specification and verification were regarded as completely disjunct. The former field focussed on the quantitative aspects of system behaviour, expressed in measures such as delays, throughputs and loss probabilities, whereas the latter field focussed on the qualitative aspects of system behaviour, expressed in measures (or, properties) such as system liveness, deadlock freeness and safety. Over the years, however, this distinction has shown to be not always useful. In fact, we see a large variety of systems for which the qualitative behaviour cannot be decoupled from the quantitative aspect. Think for instance of communication protocols in an embedded system setting: the qualitative correctness of a protocol, without considering (absolute) timing aspects, is not enough for classifying a protocol as correct. Indeed, only when the protocol behaves as it should, and does so in a timely manner, the protocol can be regarded as correct. Observations of this kind have lead to a variety of integrated approaches toward performance evaluation and verification.

Item Type:Article
Copyright:© 2005 Association for Computing Machinery
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/53275
Official URL:http://dx.doi.org/10.1145/1059816.1059817
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 225814