Verification of an Audio Control Protocol

  title={Verification of an Audio Control Protocol},
  author={Doeko Bosscher and Indra Polak and Frits W. Vaandrager},
In this paper we present a case-study in which the tool Uppaal is extended and applied to verify an Audio-Control Protocol developed by Philips. The size of the protocol studied in this paper is signi cantly larger than case studies, including various abstract versions of the same protocol without bus-collision handling, reported previously in the community of real-time veri cation. We have checked that the protocol will function correctly if the timing error of its components is bound to 5… CONTINUE READING
Highly Cited
This paper has 55 citations. REVIEW CITATIONS


Publications citing this paper.

55 Citations

Citations per Year
Semantic Scholar estimates that this publication has 55 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 19 references

The Temporal Logic of Actions

ACM Trans. Program. Lang. Syst. • 1994
View 4 Excerpts
Highly Influenced


R. Gawlick, R. Segala
S gaard-Andersen, and N.A. Lynch. Liveness in timed and un timed systems. Technical Report MIT/LCS/TR-587, Laboratory for Computer Science, MIT, Cambridge, MA, December • 1993
View 6 Excerpts
Highly Influenced

Forward and Backward Simulations for Timing-Based Systems

REX Workshop • 1991
View 10 Excerpts
Highly Influenced

Automata for modeling real-time systems

ICALP • 1990
View 4 Excerpts
Highly Influenced


W.O.D. Gr
Analysis of an Audio Control Protocol with Bus Collision. Master thesis, Programming Research Group, University of Amsterdam, • 1994

A comparison of additivity axioms in timed transition systems. Report CS-R9366

A.S.A. Je rey, S. A. Schneider, F. W. Vaandrager
View 1 Excerpt