Title :
Designing autonomous robots
Author :
Bensalem, Saddek ; GALLIEN, MATTHIEU ; INGRAND, FÉLIX ; KAHLOUL, IMEN ; THANH-HUNG, NGUYEN
Author_Institution :
Univ. of Joseph Fourier, Grenoble
fDate :
3/1/2009 12:00:00 AM
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;
Journal_Title :
Robotics & Automation Magazine, IEEE
DOI :
10.1109/MRA.2008.931631
