Modeling interoperability channel using UPPAAL
| dc.contributor.author | Ayaida, Marwane | |
| dc.contributor.author | El Mehraz, Haytem | |
| dc.contributor.author | Afilal, Lissan | |
| dc.contributor.author | Fouchal, Hacène | |
| dc.contributor.editor | Eichler, Gerald | |
| dc.contributor.editor | Küpper, Axel | |
| dc.contributor.editor | Schau, Volkmar | |
| dc.contributor.editor | Fouchal, Hacène | |
| dc.contributor.editor | Unger, Herwig | |
| dc.contributor.editor | Eichler, Gerald | |
| dc.contributor.editor | Küpper, Axel | |
| dc.contributor.editor | Schau, Volkmar | |
| dc.contributor.editor | Fouchal, Hacène | |
| dc.contributor.editor | Unger, Herwig | |
| dc.date.accessioned | 2019-01-11T09:29:04Z | |
| dc.date.available | 2019-01-11T09:29:04Z | |
| dc.date.issued | 2011 | |
| dc.description.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 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). | en |
| dc.identifier.isbn | 978-3-88579-280-2 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/18987 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | 11th International Conference on Innovative Internet Community Systems (I2CS 2011) | |
| dc.relation.ispartof | 11th International Conference on Innovative Internet Community Systems (I2CS 2011) | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-186 | |
| dc.title | Modeling interoperability channel using UPPAAL | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 192 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 182 | |
| gi.conference.date | June 15-17, 2011 | |
| gi.conference.location | Berlin | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1