GenoM3 Templates: from Middleware Independence to Formal Models Synthesis - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2017

GenoM3 Templates: from Middleware Independence to Formal Models Synthesis

Résumé

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

Dates et versions

hal-01457881 , version 1 (06-02-2017)
hal-01457881 , version 2 (22-03-2017)

Identifiants

Citer

Mohammed Foughali, Félix Ingrand, Anthony Mallet. GenoM3 Templates: from Middleware Independence to Formal Models Synthesis . 2017. ⟨hal-01457881v2⟩
201 Consultations
31 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More