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

Volume

2

fYear

1997

fDate

7-11 Sep 1997

Firstpage

836

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/IROS.1997.655107

Filename

655107