Konferenzbeitrag
Modeling interoperability channel using UPPAAL
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
Zusatzinformation
Datum
2011
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
In modern vehicles, there are a lot of devices (GPS, Tachograph, GSM / GPRS. . . ) with different functions. These peripherals communicate with each other thanks to various media and protocols. The weakness of some protocols and standards obstructs the interoperability. They have to exchange useful information about the vehicle status and understand what is being shared. This paper aims to design and to model a smart channel of communication and interoperability between heterogeneous embedded systems on transportation vehicles. This channel identifies connected peripherals and allows them to exchange data automatically with any kind of device. Furthermore, the smart channel builds services which can be customized by the end-user. The model has been proposed and specified thanks to the toolbox UPPAAL. With this toolbox we perform a simulation and verification (we considered critical situations of the system).