<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />

  TITLE: Analysis of Biphase Mark Protocols using Uppaal
<p>

  SPEAKER: Frits W. Vaandrager (Computing Science Department, University of Nijmegen)<p>

  DATE: Thursday, 28 October 1999<p>

  PLACE and TIME: Room E3-209 at 10:15. <p>

  ABSTRACT:
        The Biphase Mark Protocol is a convention for representing both a
string of bits
        and clock edges in a square wave.  The protocol is frequently used
for communication
        at the physical level of the ISO/OSI hierarchy, and is implemented
on commercially
        available microcontrollers such as the Intel 82530 Serial
Communications Controller.
        An important property of the protocol is that bit strings of
arbitrary length can be
        transmitted reliably, despite differences in the clock rates of
sender and receiver,
        and changes of the clock rates ("jitter").
        In this talk I will discuss how the protocol can be modelled
naturally in terms of
        timed automata, and how Uppaal can be used to derive the maximal
tolerances
        on the clock rates, for different instances of the protocol, and in
fact helps in
        doing a general parameter analysis.
        I will compare my results with earlier work by Moore, Dang Van
Hung, and
        Ivanov & Griffioen. <p>