| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Monitoring your Lego Mindstorms with Giotto
Abstract : In the domain of soft real-time application design, the gap between component-specification models and their implementations often implies that the implementations cannot fully take advantage of the specification models. The component's time behaviour is not always used during the implementation process by the targeted programming languages because they cannot deal easily with time. In this presentation we propose a complete model transformation chain to generate monitors from time specification. We demonstrate the applicability of this approach for monitoring a Lego MindstormsTM application with Giotto platform.
Cited literature [5 references]
https://hal.inria.fr/inria-00477557
Contributor : Didier Vojtisek <>
Submitted on : Thursday, April 29, 2010 - 4:43:29 PM
Last modification on : Friday, March 1, 2019 - 4:30:07 PM
Document(s) archivé(s) le : Thursday, September 30, 2010 - 4:22:00 PM
Contributor : Didier Vojtisek <>
Submitted on : Thursday, April 29, 2010 - 4:43:29 PM
Last modification on : Friday, March 1, 2019 - 4:30:07 PM
Document(s) archivé(s) le : Thursday, September 30, 2010 - 4:22:00 PM
File
Saudrais07c.pdf
Files produced by the author(s)