Abstract
This paper applies duration calculus to the specification and verification of a complex robotics task: Fingers grasping an object. We present a model of the relevant features of the mechanical design and provide a specification for sensors, actuators and a controller. Requirements are then specified in an assumption commitment style, and it is checked through calculation that the design satisfies the requirements.
Original language | English |
---|---|
Title of host publication | Proceeedings of ESSLLI'98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems |
Number of pages | 13 |
Publication date | 1998 |
Pages | 79-90 |
Publication status | Published - 1998 |
Externally published | Yes |
Keywords
- Duration Calculus
- Robotics
- Mechanical Design
- Specification and Verification
- Assumption Commitment Style