Formal Verification of a Distributed Master Election Protocol (Contributo in atti di convegno)

Type
Label
  • Formal Verification of a Distributed Master Election Protocol (Contributo in atti di convegno) (literal)
Anno
  • 2012-01-01T00:00:00+01:00 (literal)
Alternative label
  • G. Cena; I. Cibrario Bertolotti; T. Hu (2012)
    Formal Verification of a Distributed Master Election Protocol
    in 9th IEEE International Workshop on factory Communication Systems (WFCS 2012), Lemgo/Detmold, 21-24 Maggio 2012
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • G. Cena; I. Cibrario Bertolotti; T. Hu (literal)
Pagina inizio
  • 245 (literal)
Pagina fine
  • 254 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 10 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-IEIIT, Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni, Torino, Italy Politecnico di Torino, Dipartimento di Automatica e Informatica (literal)
Titolo
  • Formal Verification of a Distributed Master Election Protocol (literal)
Abstract
  • Although the basic MODBUS protocol is based on the master-slave communication paradigm with a single master, along the years it has been extended in various ways, in order to provide additional features such as, for instance, the coexistence of multiple masters on the same TIA/EIA-485 fieldbus segment. The design of a master election protocol in this environment is seemingly straightforward and the designer may believe that its correctness can be assessed satisfactorily by intuition and testing. However, in this paper is it shown how formal verification can help to identify and fix subtle and low-probability issues, which seldom occur in practice, and therefore, may be extremely difficult to detect during pre-production testing. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Editore di
Insieme di parole chiave di
data.CNR.it