A Formal design technique for real-time embedded systems development using duration calculus.

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Siewe, Francois
dc.contributor.author Hung, D. V.
dc.contributor.author Zedan, Hussein
dc.contributor.author Cau, A. (Antonio)
dc.date.accessioned 2010-04-28T14:49:21Z
dc.date.available 2010-04-28T14:49:21Z
dc.date.issued 2004
dc.identifier.citation Siewe, F. et al (2004). A Formal design technique for real-time embedded systems development using duration calculus. The proceedings of the 1st IEEE Latin America Robotic Symposium, Mexico City, Mexico, pp. 60-65. en
dc.identifier.uri http://hdl.handle.net/2086/3764
dc.description.abstract In this paper we present a syntactical approach for the design of real-time embedded systems. The require- ment of the system is specified as Duration Calculus formula over continuous state variables. We model discretization at the state level and approximate continuous state variables by discrete ones. The discrete design is formulated as Du- ration Calculus formula over discrete state variables. The correctness of the design can be established using composi- tional proof rules. A real-time program is then derived from the discrete design using an extension of the assumption- commitment paradigm to real-time. We illustrate our ap- proach using a simple water tank control system. en
dc.language.iso en en
dc.publisher IEEE Computer Society en
dc.title A Formal design technique for real-time embedded systems development using duration calculus. en
dc.type Conference en
dc.researchgroup Software Technology Research Laboratory (STRL) en
dc.peerreviewed Yes en


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record