Monitoring your Lego Mindstorms with Giotto

Sébastien Saudrais 1 Olivier Barais 1 Noël Plouzeau 1 Jean-Marc Jézéquel 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
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.
Type de document :
Communication dans un congrès
in Proceedings of ARTIST International Workshop on Tool Platforms for Modeling, Analysis and Validation of Embedded Systems, 2007, Berlin, Germany, Germany. 2007
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00477557
Contributeur : Didier Vojtisek <>
Soumis le : jeudi 29 avril 2010 - 16:43:29
Dernière modification le : mercredi 16 mai 2018 - 11:23:06
Document(s) archivé(s) le : jeudi 30 septembre 2010 - 16:22:00

Fichier

Saudrais07c.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00477557, version 1

Collections

INRIA | IRISA | IRISA-D4 | UR1-UFR-ISTIC | UNIV-RENNES

Citation

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. 2007. 〈inria-00477557〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

512

Téléchargements de fichiers

135

Contact


archive-ouverte@inria.fr