Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

11^{th} international conference on innovative internet community services (I^{2}CS 2011) P-186, 182-192 (2011).

Gesellschaft für Informatik, Bonn

Copyright © Gesellschaft für Informatik, Bonn


Modeling interoperability channel using UPPAAL

Marwane Ayaida , Haytem El Mehraz , Lissan Afilal and Hacène Fouchal


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).

Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-280-2

Last changed 04.10.2013 18:35:56