Interoperabilità tra dispositivi elettronici: specifica e validazione. - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2000

Interoperabilità tra dispositivi elettronici: specifica e validazione.

Abstract

Lo studio dell'interoperabilità fra dispositivi elettronici collegati su reti fieldbus é stato fatto con riferimento al progetto TIISSAD ma ha valenza ben più generale.Grazie al linguaggio SDL abbiamo progettato un modello del sistema che permette di verificare e validare lo scambio di messaggi fra i dispositivi. Per tener conto del diverso grado di importanza dei messaggi é stato progettato uno scheduler che permette di gestire due livelli di priorità: un primo livello, riservato ai messaggi d'allarme, viene gestito con politica FIFO(First In First Out), mentre il secondo, riservato agli altri scambi di informazione, viene gestito con politica EDF( Earliest Deadline First); é stato previsto inoltre un meccanismo di prelazione per i messaggi a priorità inferiore. || Titre : Interopérabilité entre dispositifs électroniques : spécification et validation. Nous avons étudié l'interoperabilité des dispositifs électroniques liés par un réseaux de terrain en se référant au projet TIISSAD bien que le travail puisse être ut
No file

Dates and versions

inria-00099169 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00099169 , version 1

Cite

Tiziana Mastroti. Interoperabilità tra dispositivi elettronici: specifica e validazione.. [Internship report] A00-R-298 || mastroti00a, 2000, 136 p. ⟨inria-00099169⟩
57 View
0 Download

Share

Gmail Facebook X LinkedIn More