@prefix prodottidellaricerca: . @prefix istituto: . @prefix prodotto: . istituto:CDS029 prodottidellaricerca:prodotto prodotto:ID187857 . @prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . unitaDiPersonaleInterno:MATRICOLA22059 pubblicazioni:autoreCNRDi prodotto:ID187857 . unitaDiPersonaleInterno:MATRICOLA9335 pubblicazioni:autoreCNRDi prodotto:ID187857 . @prefix rdf: . @prefix retescientifica: . prodotto:ID187857 rdf:type retescientifica:ProdottoDellaRicerca , prodotto:TIPO1301 . @prefix rdfs: . prodotto:ID187857 rdfs:label "Formal Specification and Verification of the Real-Time Scheduler in FIP (Contributo in atti di convegno)"@en . @prefix xsd: . prodotto:ID187857 pubblicazioni:anno "1995-01-01T00:00:00+01:00"^^xsd:gYear ; pubblicazioni:doi "10.1109/WFCS.1995.482655"^^xsd:string . @prefix skos: . prodotto:ID187857 skos:altLabel "
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
"^^rdf:HTML ; pubblicazioni:autori "L. Durante; R. Sisto; A. Valenzano"^^xsd:string ; pubblicazioni:paginaInizio "99"^^xsd:string ; pubblicazioni:paginaFine "106"^^xsd:string ; pubblicazioni:url "http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=482655"^^xsd:string ; pubblicazioni:pagineTotali "8"^^xsd:string ; pubblicazioni:affiliazioni "L. Durante, R. SIsto: Dip. di Automatica e Informatica, Politecnico di Torino, Torino, Italy \nA. Valenzano: Centro di Studi per l'Elaborazione Numerale dei Segnali, CENS-CNR, Torino.Italy"^^xsd:string ; pubblicazioni:titolo "Formal Specification and Verification of the Real-Time Scheduler in FIP"^^xsd:string ; pubblicazioni:isbn "0-7803-3059-5"^^xsd:string ; prodottidellaricerca: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"@en . @prefix ns10: . prodotto:ID187857 pubblicazioni:editore ns10:ID12758 ; prodottidellaricerca:prodottoDi istituto:CDS029 ; pubblicazioni:autoreCNR unitaDiPersonaleInterno:MATRICOLA9335 , unitaDiPersonaleInterno:MATRICOLA22059 . @prefix parolechiave: . prodotto:ID187857 parolechiave:insiemeDiParoleChiave . ns10:ID12758 pubblicazioni:editoreDi prodotto:ID187857 . parolechiave:insiemeDiParoleChiaveDi prodotto:ID187857 .