DocumentCode
3090914
Title
Evaluating a reactive semantics for robotics
Author
Biggs, Geoffrey ; MacDonald, Bruce A.
Author_Institution
Electr. & Comput. Eng., Univ. of Auckland, Auckland
fYear
2008
fDate
22-26 Sept. 2008
Firstpage
1854
Lastpage
1859
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Robots and Systems, 2008. IROS 2008. IEEE/RSJ International Conference on
Conference_Location
Nice
Print_ISBN
978-1-4244-2057-5
Type
conf
DOI
10.1109/IROS.2008.4650773
Filename
4650773
Link To Document