1 / 4

Modelling And Analysis of IEEE 1588 ( Precision Time Protocol)

Modelling And Analysis of IEEE 1588 ( Precision Time Protocol). Ankush Desai, Sanjit Seshia, David Broman and John Eidson. TerraSwarm Annual Meeting November 5 & 6, 2013. University Of California, Berkeley. Motivation.

declan
Download Presentation

Modelling And Analysis of IEEE 1588 ( Precision Time Protocol)

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Modelling And Analysis of IEEE 1588 (Precision Time Protocol) Ankush Desai, Sanjit Seshia, David Broman and John Eidson TerraSwarm Annual Meeting November 5 & 6, 2013 University Of California, Berkeley

  2. Motivation • Extending the state-of-the-art in verification of distributed protocols, with a special focus on protocols for time synchronization which is fundamental to TerraSwarmsystems. • IEEE 1588 is now getting adopted across domains, like industrial automation, telecommunication, etc. • First to do Formal Analysis of IEEE 1588. TerraSwarm Research Center

  3. Modelling And Analysis of IEEE 15888 Heisenbugs due to asynchrony and concurrency are difficult to detect, diagnose, and fix! Model Based Design approach. Model the protocol using state machine based language for event driven program. Systematic testing of these models using Explicit state model checker. Efficient Bounding techniques. TerraSwarm Research Center

  4. Poster • Results ! • Proved correctness for system configurations with small number of nodes. • Do visit our poster !! TerraSwarm Research Center

More Related