Formal development of robot software

P. Kilpatrick*, P. McParland, S. Gilmore

*Corresponding author for this work

Research output: Contribution to conferencePaperpeer-review

1 Citation (Scopus)

Abstract

The use of the formal method VDM in the development of a piece of control software for a simple robotics problem is described. The problem concerns the transfer of blocks from a conveyor belt to a pallet. An abstract specification of the problem is constructed and then refined to a more implementation oriented specification. The latter is translated in a semimechanical fashion to an implementation. The focus is on the nature of the two levels of specification. In the first it is ensured that the models used to represent the robot, pallet and conveyor belt interact correctly, ignoring implementation details such as how the robot moves. In the second the initial specification is refined to incorporate details of the robot's movement including the constraints on its movement which prevent it colliding with the pallet or the conveyor belt.

Original languageEnglish
Publication statusPublished - 01 Dec 1990
EventColloquium on the Application of Case Tools - London, United Kingdom
Duration: 05 Apr 199005 Apr 1990

Conference

ConferenceColloquium on the Application of Case Tools
Country/TerritoryUnited Kingdom
CityLondon
Period05/04/199005/04/1990

ASJC Scopus subject areas

  • General Engineering
  • Electrical and Electronic Engineering

Fingerprint

Dive into the research topics of 'Formal development of robot software'. Together they form a unique fingerprint.

Cite this