| Autor: |
Periyasamy, K., Alagar, V. S., Bui, T. D. |
| Zdroj: |
Journal of Intelligent and Robotic Systems; October 1993, Vol. 8 Issue: 2 p173-200, 28p |
| Abstrakt: |
Intelligent robots are autonomous and are used in environments where human interaction is hazardous or impossible. Verification of software for intelligent robots is mandatory because in situations where intelligent robots are employed online, error recovery is almost impossible. In this paper, we provide a formal framework for offline verification of software used in robotic applications. The specification enables one to design a robotic agent which represents a class of real-life robots. Forward and inverse kinematic operations of the robotic agent are specified using the specification for rigid solids and their primitive operations. An object-oriented design of the robotic agent derived from the specifications is given. We use the specification technique VDM for our purpose. |
| Databáze: |
Supplemental Index |
| Externí odkaz: |
|
Full text from SpringerLink