© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Specification and verification of media constraints using UPPAAL
H. Bowman, G. Faconti, and M. Massink
In 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98, Eurographics Series. Springer-Verlag, August 1998.Abstract
We present the formal specification and verification of a multimedia stream. The stream is described in a timed automata notation. We verify that the stream satisfies certain quality of service properties, in particular, throughput and end-to-end latency. The verification tool used is the real-time model checker UPPAAL.
Download publication 202 kbytes (PostScript)Bibtex Record
@inproceedings{576,
author = {H. Bowman and G. Faconti and M. Massink},
title = {Specification and Verification of Media Constraints using {UPPAAL}},
month = {August},
year = {1998},
pages = {},
keywords = {Verification, Multimedia, Real-time, Model Checking},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/576},
booktitle = {5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98},
publisher = {Springer-Verlag},
refereed = {yes},
series = {Eurographics Series},
}