Interoperabilità tra dispositivi elettronici: specifica e validazione.

Tiziana Mastroti 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : 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
Type de document :
Rapport
[Intership report] A00-R-298 || mastroti00a, 2000, 136 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00099169
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:51:30
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05

Identifiants

  • HAL Id : inria-00099169, version 1

Collections

Citation

Tiziana Mastroti. Interoperabilità tra dispositivi elettronici: specifica e validazione.. [Intership report] A00-R-298 || mastroti00a, 2000, 136 p. 〈inria-00099169〉

Partager

Métriques

Consultations de la notice

150