Bowman, H. and Faconti, G. and Massink, M. (1998) Specification and Verification of Media Constraints using UPPAAL. In: 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98, Jun 03-05, 1998, Abington, England, .
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.
|Item Type:||Conference or workshop item (Paper)|
|Uncontrolled keywords:||Verification, Multimedia, Real-time, Model Checking|
|Subjects:||Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,|
|Divisions:||Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
|Depositing User:||Mark Wheadon|
|Date Deposited:||22 Aug 2009 22:47|
|Last Modified:||06 Sep 2011 04:00|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/21613 (The current URI for this page, for reference purposes)|
- Depositors only (login required):