Mauve: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications.

Abstract : Robots are more and more used in very diverse situations (services to persons, military missions, crisis management, . . . ) in which robots must give some guarantees of safety and reliability. To be really integrated in everyday life, robots must fulfil some requirements. Among these requirements, we focus on the nonfunctional requirements on embedded software [1], and more specifically on real-time software requirements. These requirements are most of the time fulfilled by proving the schedulability of the embedded software. Analysing and validating such properties on an existing hand-coded software requires some reverse modelling of the software, leading to approximations of its behaviour. These approximations may have certification authorities not be confident on the robot dependability. This paper proposes an integrated development methodology that starts from software component modelling, and leads to both validation of the embedded software and generation of deployable embedded software.
Type de document :
Communication dans un congrès
7th full day Workshop on Software Development and Integration in Robotics (ICRA2012 - SDIR VII), May 2012, MINNESOTA, United States
Liste complète des métadonnées

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

https://hal-onera.archives-ouvertes.fr/hal-01060327
Contributeur : Alain Broc <>
Soumis le : mercredi 3 septembre 2014 - 14:12:28
Dernière modification le : jeudi 11 janvier 2018 - 06:21:34
Document(s) archivé(s) le : jeudi 4 décembre 2014 - 11:16:23

Fichier

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

Identifiants

  • HAL Id : hal-01060327, version 1

Collections

Citation

C. Lesire, D. Doose, H. Cassé. Mauve: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications.. 7th full day Workshop on Software Development and Integration in Robotics (ICRA2012 - SDIR VII), May 2012, MINNESOTA, United States. 〈hal-01060327〉

Partager

Métriques

Consultations de la notice

321

Téléchargements de fichiers

329