*banner
 

Endlessly Circulating Messages in IEEE 1588-2088 Systems

Citation
"Endlessly Circulating Messages in IEEE 1588-2088 Systems". Broman, D. Derler, P., Desai, A., Eidson J.C., Seshia, S.A. (eds.), IEEE, September, 2014; Published in: Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS), 2014 IEEE International Symposium on.

Abstract
This paper studies conditions where messages endlessly circulate in a system of IEEE 1588-2008 clocks. The study is based on two independent analysis techniques. One uses a discrete event simulation environment for describing the operation of the best master clock (BMC) algorithm in IEEE 1588-2008. The second uses a model checking tool. We discuss several cases illustrating conditions under which circulating messages occur and the effectiveness of measures to squelch these messages. This paper demonstrates that one or more of the squelching mechanisms must be implemented.

Electronic downloads

Citation formats  
  • HTML
     <a
    href="http://chess.eecs.berkeley.edu/pubs/1085.html"
    ><i>Endlessly Circulating Messages in IEEE
    1588-2088 Systems</i></a>, Broman, D. Derler,
    P., Desai, A., Eidson J.C., Seshia, S.A. (eds.), IEEE,
    September, 2014; Published in:  Precision Clock
    Synchronization for Measurement, Control, and Communication
    (ISPCS), 2014 IEEE International Symposium on.
  • Plain text
     "Endlessly Circulating Messages in IEEE 1588-2088
    Systems". Broman, D. Derler, P., Desai, A., Eidson
    J.C., Seshia, S.A. (eds.), IEEE, September, 2014; Published
    in:  Precision Clock Synchronization for Measurement,
    Control, and Communication (ISPCS), 2014 IEEE International
    Symposium on.
  • BibTeX
    @proceedings{BromanDerlerPDesaiAJCSeshiaSA14_EndlesslyCirculatingMessagesInIEEE15882088Systems,
        title = {Endlessly Circulating Messages in IEEE 1588-2088
                  Systems},
        editor = {Broman, D. Derler, P., Desai, A., Eidson J.C.,
                  Seshia, S.A.},
        organization = {IEEE},
        month = {September},
        year = {2014},
        note = {Published in:  Precision Clock Synchronization for
                  Measurement, Control, and Communication (ISPCS),
                  2014 IEEE International Symposium on},
        abstract = {This paper studies conditions where messages
                  endlessly circulate in a system of IEEE 1588-2008
                  clocks. The study is based on two independent
                  analysis techniques. One uses a discrete event
                  simulation environment for describing the
                  operation of the best master clock (BMC) algorithm
                  in IEEE 1588-2008. The second uses a model
                  checking tool. We discuss several cases
                  illustrating conditions under which circulating
                  messages occur and the effectiveness of measures
                  to squelch these messages. This paper demonstrates
                  that one or more of the squelching mechanisms must
                  be implemented.},
        URL = {http://chess.eecs.berkeley.edu/pubs/1085.html}
    }
    

Posted by Mary Stewart on 30 Jan 2015.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess