Specification and verification of media constraints using UPPAAL

Conference Paper
Publication Date:
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.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Model Checker; Temporal Logic; Media Object; Media Stream; Linear Time Temporal Logic
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/233872
Book title:
Design, Specification and Verification of Interactive Systems '98
Published in:
EUROGRAPHICS
Series