A Formalization of the FIP Protocol Using Estelle (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• A Formalization of the FIP Protocol Using Estelle (Contributo in atti di convegno) (literal)

Anno

• 1992-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1109/ETFA.1992.683278 (literal)

Alternative label

• R. Sisto; A. Valenzano (1992)
  A Formalization of the FIP Protocol Using Estelle
  in 1st IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA 1992), Melbourne, 11-14 Agosto 1992
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• R. Sisto; A. Valenzano (literal)

Pagina inizio

• 348 (literal)

Pagina fine

• 353 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=683278 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 6 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• R. Sisto: Dip. di Automatica e Informatica, Politecnico di Torino, Torino, Italy A. Valenzano: Centro di Studi per l'Elaborazione Numerale dei Segnali, CENS-CNR, Torino, Italy (literal)

Titolo

• A Formalization of the FIP Protocol Using Estelle (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 0-7803-0886-7 (literal)

Abstract

• In this paper we report on an ongoing project aimed at using Estelle, a standard formal description technique for protocols and distributed systems, to formalize and analyze the FIP field-bus protocol. At present, only the formalization part of the task has been completed, so the paper focuses on this aspect. The formalization part in itself is interesting especially because it is a means to describe in a precise, clear and unambiguous way the protocol, thus avoiding misunderstandings. Moreover, it is a basis for automatic correctness verification, performance evaluation and rapid prototyping. The paper first recalls the key aspects of field-buses in general and FIP in particular, then introduces the basic features of the Estelle formal description technique, and illustrates the formal specification of FIP in Estelle. (literal)

Editore

• The Institute of Electrical and Electronics Engineers (IEEE) (Editore)

Prodotto di

• Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni (IEIIT) (Istituto)

Autore CNR

• ADRIANO VALENZANO (Persona)

Insieme di parole chiave

• Parole chiave di "A Formalization of the FIP Protocol Using Estelle" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni (IEIIT) (Istituto)

Autore CNR di

• ADRIANO VALENZANO (Persona)

Editore di

• The Institute of Electrical and Electronics Engineers (IEEE) (Editore)

Insieme di parole chiave di

• Parole chiave di "A Formalization of the FIP Protocol Using Estelle" (Insieme di parole chiave)