Monitoring your Lego Mindstorms with Giotto - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2007

Monitoring your Lego Mindstorms with Giotto

Résumé

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.
Fichier principal
Vignette du fichier
Saudrais07c.pdf (61.06 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00477557 , version 1 (29-04-2010)

Identifiants

  • HAL Id : inria-00477557 , version 1

Citer

Sébastien Saudrais, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel. Monitoring your Lego Mindstorms with Giotto. in Proceedings of ARTIST International Workshop on Tool Platforms for Modeling, Analysis and Validation of Embedded Systems, 2007, Berlin, Germany, Germany. ⟨inria-00477557⟩
289 Consultations
86 Téléchargements

Partager

More