Specification and verification of media constraints using UPPAAL

Contributo in Atti di convegno
Data di Pubblicazione:
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.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Model Checker; Temporal Logic; Media Object; Media Stream; Linear Time Temporal Logic
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/233872
Titolo del libro:
Design, Specification and Verification of Interactive Systems '98
Pubblicato in:
EUROGRAPHICS
Series