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

Simple item page
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.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.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.language.isoenen
dc.peerreviewedYesen
dc.publisherIEEEen
dc.researchgroupSoftware Technology Research Laboratory (STRL)en
dc.researchinstituteCyber Technology Institute (CTI)en
dc.titleA Formal design technique for real-time embedded systems development using duration calculus.en
dc.typeConferenceen

Files

License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
3.26 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

School of Computer Science and Informatics