Title :
The MAESTRO language and its environment: specification, validation and control of robotic missions
Author :
Coste-Maniere, Eve ; Turro, Nicolas
Author_Institution :
INRIA, Sophia Antipolis, France
Abstract :
We present a generic and yet efficient mission programming method for robotic systems. The MAESTRO programming language, directed towards the end-user, is defined to be integrated into various existing control architectures. Its development is based on the use of formal methods to fully benefit from their mathematical foundations. Subsequently, programs written in MAESTRO can be proven to be in conformity with their specification before they are executed. The programming of a representative underwater mission illustrates the features of MAESTRO and of its companion environment for specification, verification, simulation and control of robotic missions
Keywords :
formal specification; marine systems; mobile robots; program verification; programming environments; programming languages; robot programming; MAESTRO programming language; autonomous underwater vehicle; discrete event system; formal specification; program environment; robot mission; validation; Automatic control; Computational modeling; Computer languages; Computer simulation; Control systems; Electronic mail; Robot control; Robot programming; Vehicle dynamics; Virtual prototyping;
Conference_Titel :
Intelligent Robots and Systems, 1997. IROS '97., Proceedings of the 1997 IEEE/RSJ International Conference on
Conference_Location :
Grenoble
Print_ISBN :
0-7803-4119-8
DOI :
10.1109/IROS.1997.655107
