Designing a provably correct robot control system using a "lean" formal method

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Cau, A. (Antonio)
dc.contributor.author Czarnecki, Christopher Antoni
dc.contributor.author Zedan, Hussein
dc.date.accessioned 2005-09-05T19:41:50Z
dc.date.available 2005-09-05T19:41:50Z
dc.date.issued 1998
dc.identifier.citation Cau, 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-132 en
dc.identifier.isbn 3540650032
dc.identifier.issn Cau, Antonio, Czarnecki, Chrisopher Antoni and Hussein Zedan, Designing a provably correct lean 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-132
dc.identifier.issn 0302-9734
dc.identifier.other IR/2005/22
dc.identifier.uri http://hdl.handle.net/2086/45
dc.description.abstract A 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.sponsorship Funded by EPSRC Research Grant GR/K25922: A compositional approach to the specification of systems using ITL and Tempura. en
dc.format.extent 161274 bytes
dc.format.extent 357747 bytes
dc.format.mimetype application/pdf
dc.format.mimetype application/postscript
dc.language.iso en en
dc.publisher Springer en
dc.relation.ispartofseries STRL en
dc.relation.ispartofseries 1998-2 en
dc.subject EPSRC
dc.title Designing a provably correct robot control system using a "lean" formal method en
dc.type Book chapter en
dc.researchgroup Software Technology Research Laboratory (STRL)


Files in this item

This item appears in the following Collection(s)

Show simple item record