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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal-onera.archives-ouvertes.fr/hal-01060327
Contributor : Alain Broc <>
Submitted on : Wednesday, September 3, 2014 - 2:12:28 PM
Last modification on : Thursday, October 24, 2019 - 2:44:07 PM
Long-term archiving on : Thursday, December 4, 2014 - 11:16:23 AM

File

DCSD12075.1333109490.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01060327, version 1

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⟩

Share

Metrics

Record views

470

Files downloads

471