GenoM3 Templates: from Middleware Independence to Formal Models Synthesis

Mohammed Foughali 1 Félix Ingrand 1 Anthony Mallet 2
1 LAAS-RIS - Équipe Robotique et InteractionS
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
2 LAAS-IDEA - Service Informatique : Développement, Exploitation et Assistance
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
Abstract : GenoM is an approach to develop robotic software components, which can be controlled, and assembled to build complex applications. Its latest version GenoM3, provides a template mechanism which is versatile enough to deploy components for different middleware without any change in the specification and user code. But this same template mechanism also enables us to automatically synthesize formal models (for two Validation and Verification frameworks) of the final components. We illustrate our approach on a real deployed example of a drone flight controller for which we prove offline real-time properties, and an outdoor robot for which we synthesize a controller to perform runtime verification.
Type de document :
Pré-publication, Document de travail
Rapport LAAS n° 17022. 2017
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.laas.fr/hal-01457881
Contributeur : Felix Ingrand <>
Soumis le : mercredi 22 mars 2017 - 15:55:21
Dernière modification le : vendredi 30 mars 2018 - 12:02:02
Document(s) archivé(s) le : vendredi 23 juin 2017 - 13:40:16

Fichier

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

Identifiants

  • HAL Id : hal-01457881, version 2

Citation

Mohammed Foughali, Félix Ingrand, Anthony Mallet. GenoM3 Templates: from Middleware Independence to Formal Models Synthesis . Rapport LAAS n° 17022. 2017. 〈hal-01457881v2〉

Partager

Métriques

Consultations de la notice

205

Téléchargements de fichiers

90