Skip to Main content Skip to Navigation
New interface
Conference papers

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 metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Alain Broc Connect in order to contact the contributor
Submitted on : Wednesday, September 3, 2014 - 2:12:28 PM
Last modification on : Monday, July 4, 2022 - 8:56:56 AM
Long-term archiving on: : Thursday, December 4, 2014 - 11:16:23 AM


Files produced by the author(s)


  • HAL Id : hal-01060327, version 1


Charles Lesire, David Doose, Hugues 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⟩



Record views


Files downloads