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.
Specification and verification of media constraints using UPPAAL
Faconti G;Massink M
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_190560-doc_55695.pdf
solo utenti autorizzati
Descrizione: Specification and verification of media constraints using UPPAAL
Tipologia:
Versione Editoriale (PDF)
Dimensione
10.68 MB
Formato
Adobe PDF
|
10.68 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
