Incremental Component-Based Construction and Verification of a Robotic System
Ananda Basu, Matthieu Gallien, Lesire Charles, Thanh-Hung Nguyen, Saddek Bensalem, Ingrand Félix, Sifakis Joseph · Frontiers in artificial intelligence and applications · 2008
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 LAAS Architecture for Autonomous System, based on Geno