Show simple item record

dc.contributor.authorSiewe, Francois
dc.contributor.authorHung, D. V.
dc.contributor.authorZedan, Hussein
dc.contributor.authorCau, A. (Antonio)
dc.date.accessioned2010-04-28T14:49:21Z
dc.date.available2010-04-28T14:49:21Z
dc.date.issued2004
dc.identifier.citationSiewe, 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.urihttp://hdl.handle.net/2086/3764
dc.description.abstractIn 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.isoenen
dc.publisherIEEE Computer Societyen
dc.titleA Formal design technique for real-time embedded systems development using duration calculus.en
dc.typeConferenceen
dc.researchgroupSoftware Technology Research Laboratory (STRL)en
dc.peerreviewedYesen
dc.researchinstituteCyber Technology Institute (CTI)en


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record