An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
Evaluation of safety-critical software
Communications of the ACM
Introduction to Robotics: Mechanics and Control
Introduction to Robotics: Mechanics and Control
Cyber-Physical Challenges for Space Systems
ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
SPHERES interact—Human–machine interaction aboard the International Space Station
Journal of Field Robotics
Hi-index | 0.00 |
The authors describe the Ranger robotic system and its autonomous hazard control system, which is designed to meet the stringent criteria imposed on space shuttle payloads. This article summarizes tests performed to date, particularly regarding the safety system, and describes ongoing work to apply Ranger technologies with higher autonomy levels to new robotic systems, including an ambitious project to autonomously collect geologic and biologic samples around hydrothermal vents under the Arctic icecap.