Designing autonomous robots
Saddek Bensalem, Matthieu Gallien, Félix Ingrand, Imen Kahloul, Nguyen Thanh-Hung · IEEE Robotics & Automation Magazine · 2009
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.