DocumentCode
1191051
Title
Designing autonomous robots
Author
Bensalem, Saddek ; GALLIEN, MATTHIEU ; INGRAND, FÉLIX ; KAHLOUL, IMEN ; THANH-HUNG, NGUYEN
Author_Institution
Univ. of Joseph Fourier, Grenoble
Volume
16
Issue
1
fYear
2009
fDate
3/1/2009 12:00:00 AM
Firstpage
67
Lastpage
77
Abstract
Autonomous robots are complex systems that require the interaction or cooperation of numerous heterogeneous software components. Nowadays, robots are getting closer to humans and as such are becoming critical systems that must meet safety properties including logical, temporal, and real-time constraints.
Keywords
mobile robots; program compilers; robot programming; service robots; software architecture; transfer functions; abstract- machine models; autonomous robots; robotic software; service home robots; software architecture; transfer-function models; Computer architecture; Human robot interaction; Intelligent robots; Real time systems; Robot sensing systems; Robotics and automation; Safety; Software testing; Software tools; System testing; Dependable autonomous robot, correct by construction robot controller, validable and verifiable autonomous systems;
fLanguage
English
Journal_Title
Robotics & Automation Magazine, IEEE
Publisher
ieee
ISSN
1070-9932
Type
jour
DOI
10.1109/MRA.2008.931631
Filename
4799448
Link To Document