Title :
Evaluating a reactive semantics for robotics
Author :
Biggs, Geoffrey ; MacDonald, Bruce A.
Author_Institution :
Electr. & Comput. Eng., Univ. of Auckland, Auckland
Abstract :
A key part of programming a robotic system is specifying the responses to events that the robot may encounter. This is provided by a new language, RADAR. This paper proposes evaluating robot programming systems work by: a formalisation of the semantics, an evaluation in terms of criteria that determine a languagepsilas suitability for programming, and a small user study to test the readability of programs written using the semantics. The evaluation of the reactivity semantics found in the RADAR language shows clear benefits for programmers.
Keywords :
robot programming; specification languages; RADAR language; program readability; reactive semantics; robot programming system; semantics formalisation; Collision avoidance; Hardware; Indexes; Radar; Robots; Software engineering; Sonar; Robot programming systems; robot control;
Conference_Titel :
Intelligent Robots and Systems, 2008. IROS 2008. IEEE/RSJ International Conference on
Conference_Location :
Nice
Print_ISBN :
978-1-4244-2057-5
DOI :
10.1109/IROS.2008.4650773
