On the Semantics of the GenoM3 Framework - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Accéder directement au contenu
Rapport Technique Année : 2019

On the Semantics of the GenoM3 Framework

Résumé

The goal of this document is to add to the efforts toward the long-sought objective of secure and safe robots with predictable and a priori known behavior. For this, we give operational semantics to GenoM3, a robotic framework, in terms of timed transition systems TTS. Then, a mathematically proven translation to timed automata extended with urgencies and data DUTA is derived from such semantics. Thus, we provide a mapping from functional components to verifiable models. Since TTS and DUTA are at the heart of a large corpus of formal verification languages and tools (such as UPPAAL, Fiacre, and RT-BIP), the semantics and its translation allow a correct mapping between GenoM3 and such languages/tools. This connection can then be automatized thanks to GenoM3 templates
Fichier principal
Vignette du fichier
main.pdf (1.2 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01992470 , version 1 (24-01-2019)

Identifiants

  • HAL Id : hal-01992470 , version 1

Citer

Mohammed Foughali, Silvano Dal Zilio, Félix Ingrand. On the Semantics of the GenoM3 Framework. Rapport LAAS n° 19036. 2019. ⟨hal-01992470⟩

Relations

46 Consultations
15 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More