Incremental Component-Based Construction and Verification of a Robotic System

Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and must meet safety properties including in particular temporal and real-time constraints. We present a methodology for modeling and analyzing a robotic system using the BIP component framework integrated with an existing framework and architecture, the LAAS1 based on Gen oM. The BIP componentization approach has been successfully used in other domains. In this study, we show how it can be seamlessly integrated in the preexisting methodology. We present the componentization of the functional level of a robot, the synthesis of an execution controller as well as validation techniques for checking essential "safety" properties.

• Type: Conference
• Year: 2008
• Where: ECAI
• Authors: Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis
• Keywords: Artificial Intelligence, BIP Component Framework, BIP Componentization Approach, ECAI 2008, Numerous Heterogeneous Software