Using the DiaSpec design language and compiler to develop robotics systems

Abstract : A Sense/Compute/Control (SCC) application is one that interacts with the physical environment. Such applications are pervasive in domains such as building automation, assisted living, and autonomic computing. Developing an SCC application is complex because: (1) the implementation must address both the interaction with the environment and the application logic; (2) any evolution in the environment must be reflected in the implementation of the application; (3) correctness is essential, as effects on the physical environment can have irreversible consequences. The SCC architectural pattern and the DiaSpec domain-specific design language propose a framework to guide the design of such applications. From a design description in DiaSpec, the DiaSpec compiler is capable of generating a programming framework that guides the developer in implementing the design and that provides runtime support. In this paper, we report on an experiment using DiaSpec (both the design language and compiler) to develop a standard robotics application. We discuss the benefits and problems of using DiaSpec in a robotics setting and present some changes that would make DiaSpec a better framework in this setting.
Type de document :
Communication dans un congrès
DSLRob'11: Domain-Specific Languages and models for ROBotic systems, Sep 2011, San Francisco, United States. 2011
Liste complète des métadonnées

https://hal.inria.fr/inria-00623007
Contributeur : Damien Cassou <>
Soumis le : mardi 13 septembre 2011 - 11:58:44
Dernière modification le : mardi 5 juin 2018 - 10:14:42
Document(s) archivé(s) le : mardi 13 novembre 2012 - 10:41:37

Fichiers

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

Identifiants

  • HAL Id : inria-00623007, version 1
  • ARXIV : 1109.2806

Citation

Damien Cassou, Serge Stinckwich, Pierrick Koch. Using the DiaSpec design language and compiler to develop robotics systems. DSLRob'11: Domain-Specific Languages and models for ROBotic systems, Sep 2011, San Francisco, United States. 2011. 〈inria-00623007〉

Partager

Métriques

Consultations de la notice

504

Téléchargements de fichiers

985