Citation
Ankush Desai, Sanjit Seshia, David Broman, John Eidson. "Modelling and Analysis Of IEEE 1588". Talk or presentation, 5, November, 2013.

Abstract
Many applications in factory automation, test and measurement; and telecommunications re- quire very close time synchronization. IEEE 1588 Precision Time Protocol (PTP) is a distributed protocol used to synchronize the time between dierent nodes on an Ethernet network. IEEE 1588 is becoming popular as it can provide accuracy in the order of microseconds and is adapted across domains where real-time/precise timing guarantees are required. We are not aware of any work which does modeling and analysis or systematic testing of the IEEE 1588 protocol. The main focus of this project is to model the Best Clock Algorithm which forms the core part of the protocol and perform systematic testing using model checker. Develop new tools and verification techniques which can scale for distributed protocols.

Electronic downloads

• Modelling_And_Analysis_Of_IEEE_1588.pdf · application/pdf · 838 kbytes
• Presentation.pptx · application/vnd.openxmlformats-officedocument.presentationml.pre · 189 kbytes. (90 Second Introductory Presentation)

• HTML

  Ankush Desai, Sanjit Seshia, David Broman, John Eidson.
  <a
  href="http://www.terraswarm.org/pubs/160.html"
  ><i>Modelling and Analysis Of IEEE
  1588</i></a>, Talk or presentation,  5,
  November, 2013.

• Plain text

  Ankush Desai, Sanjit Seshia, David Broman, John Eidson.
  "Modelling and Analysis Of IEEE 1588". Talk or
  presentation,  5, November, 2013.

• BibTeX

  @presentation{DesaiSeshiaBromanEidson13_ModellingAnalysisOfIEEE1588,
      author = {Ankush Desai and Sanjit Seshia and David Broman
                and John Eidson},
      title = {Modelling and Analysis Of IEEE 1588},
      day = {5},
      month = {November},
      year = {2013},
      abstract = {Many applications in factory automation, test and
                measurement; and telecommunications re- quire very
                close time synchronization. IEEE 1588 Precision
                Time Protocol (PTP) is a distributed protocol used
                to synchronize the time between dierent nodes on
                an Ethernet network. IEEE 1588 is becoming popular
                as it can provide accuracy in the order of
                microseconds and is adapted across domains where
                real-time/precise timing guarantees are required.
                We are not aware of any work which does modeling
                and analysis or systematic testing of the IEEE
                1588 protocol. The main focus of this project is
                to model the Best Clock Algorithm which forms the
                core part of the protocol and perform systematic
                testing using model checker. Develop new tools and
                verification techniques which can scale for
                distributed protocols.},
      URL = {http://terraswarm.org/pubs/160.html}
  }
  

Posted by Ankush Desai on 2 Nov 2013.
Groups: tools