Show simple item record

dc.contributor.authorCau, A. (Antonio)
dc.contributor.authorCzarnecki, Christopher Antoni
dc.contributor.authorZedan, Hussein
dc.date.accessioned2005-09-05T19:41:50Z
dc.date.available2005-09-05T19:41:50Z
dc.date.issued1998
dc.identifier.citationCau, Antonio, Czarnecki, Chrisopher Antoni and Hussein Zedan, Designing a provably correct robot control system using a "lean" formal method. In: Formal techniques in real-time and fault-tolerant systems: 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998: proceedings, Edited by Anders P. Ravn and Hans Rischel, Berlin: London: Springer, 1998, Lecture notes in computer science, vol.1486, pp 123-132en
dc.identifier.isbn3540650032
dc.identifier.otherIR/2005/22
dc.identifier.urihttp://hdl.handle.net/2086/45
dc.description.abstractA development method for the construction of provably correct robot control systems together with its supporting tool environment are described. The method consists of four stages: 1. specification, 2. refinement, 3. simulation and 4. code. The method is centered around the notion of wide-spectrum formalism within which an abstract Interval Temporal Logic (ITL) representation is intermixed freely with the concrete Temporal Agent Model (TAM) representation of the system under consideration. The method with its associated tool support is applied to the design of a robot control system.en
dc.description.sponsorshipFunded by EPSRC Research Grant GR/K25922: A compositional approach to the specification of systems using ITL and Tempura.en
dc.format.extent161274 bytes
dc.format.extent357747 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.language.isoenen
dc.publisherSpringeren
dc.relation.ispartofseriesSTRLen
dc.relation.ispartofseries1998-2en
dc.subjectEPSRC
dc.titleDesigning a provably correct robot control system using a "lean" formal methoden
dc.typeBook chapteren
dc.identifier.doihttp://dx.doi.org/10.1007/bfb0055342
dc.researchgroupSoftware Technology Research Laboratory (STRL)


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record