Modeling Interoperability Channel using UPPAAL.
Marwane Ayaida, Haytem El Mehraz, Lissan Afilal, Hacène Fouchal · 2011
Abstract: 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 au-tomatically 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 speci-fied thanks to the toolbox UPPAAL. With this toolbox we perform a simulation and verification (we considered critical situations of the system).