• DocumentCode
    2550375
  • Title

    Model checking a fault-tolerant self-stabilizing synchronization stabilizing synchronization stabilizing synchronization stabilizing synchronization stabilizing synchronization protocol for arbitrary digraphs

  • Author

    Malekpour, M.R.

  • fYear
    2012
  • fDate
    14-18 Oct. 2012
  • Firstpage
    1
  • Lastpage
    25
  • Abstract
    Local oscillators/hardware clocks operate at slightly different rates, thus, they drift apart over time. Local logical clocks, i.e., timers/counters, may start at different initial values. The synchronization problem is to adjust the values of the local logical clocks so that nodes achieve synchronization and remain synchronized despite the drift of their local oscillators.
  • Keywords
    clocks; directed graphs; fault tolerance; formal verification; oscillators; synchronisation; arbitrary digraphs; fault-tolerant self-stabilizing synchronization protocol; hardware clocks; local oscillators; model checking;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st
  • Conference_Location
    Williamsburg, VA
  • ISSN
    2155-7195
  • Print_ISBN
    978-1-4673-1699-6
  • Type

    conf

  • DOI
    10.1109/DASC.2012.6383128
  • Filename
    6383128
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2550375