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