Formal Specification and Verification of the Real-Time Scheduler in FIP (Contributo in atti di convegno)

Type

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

Label

• Formal Specification and Verification of the Real-Time Scheduler in FIP (Contributo in atti di convegno) (literal)

Anno

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

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

• 10.1109/WFCS.1995.482655 (literal)

Alternative label

• L. Durante; R. Sisto; A. Valenzano (1995)
  Formal Specification and Verification of the Real-Time Scheduler in FIP
  in 1st IEEE International Workshop on Factory Communication Systems (WFCS 1995), Leysin, 4-6 Ottobre 1995
  (literal)

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

• L. Durante; R. Sisto; A. Valenzano (literal)

Pagina inizio

• 99 (literal)

Pagina fine

• 106 (literal)

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

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

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

• 8 (literal)

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

• L. Durante, 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

• Formal Specification and Verification of the Real-Time Scheduler in FIP (literal)

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

• 0-7803-3059-5 (literal)

Abstract

• ET-LOTOS is a timed and probabilistic extension of the standard specification language LOTOS. In this paper, it is shown how such an extension can be used to model the behaviour of the real time scheduler of the FIP protocol. Since ET-LOTOS has been designed specifically to enable direct performance evaluation from formal specifications, the possibility of analyzing the performance and the correctness of FIP real time scheduler directly from the specification is also discussed (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)
• LUCA DURANTE (Unità di personale interno)

Insieme di parole chiave

• Parole chiave di "Formal Specification and Verification of the Real-Time Scheduler in FIP" (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)
• LUCA DURANTE (Unità di personale interno)

Editore di

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

Insieme di parole chiave di

• Parole chiave di "Formal Specification and Verification of the Real-Time Scheduler in FIP" (Insieme di parole chiave)