The Ranger Robotic Satellite Servicer and Its Autonomous Software-Based Safety System.
Stephen N. RoderickBrian RobertsElla M. AtkinsDave AkinPublished in: IEEE Intell. Syst. (2004)
Keyphrases
- robotic systems
- software development
- safety critical
- software systems
- safety analysis
- cooperative
- mobile robot
- remote sensing
- software package
- software maintenance
- user interface
- commercial software
- hardware design
- software packages
- formal methods
- software architecture
- control system
- software developers
- software evolution
- dynamic environments
- autonomous systems
- computer systems
- service robots
- source code