From continuous specification to discrete design.

Simple item page
dc.contributor.authorSiewe, Francois
dc.contributor.authorHung, D. V.
dc.date.accessioned2010-04-28T15:02:08Z
dc.date.available2010-04-28T15:02:08Z
dc.date.issued2000
dc.description.abstractThe paper presents a syntactical approach to designing real-time distributed systems that can handle both continuous time and discrete time models in a uniform logical framework. We approximate continuous state variables by discrete ones and formalise the relationship between them. The requirements of a real-time system are specified as a formula over continuous state variables. Then we derive a discrete design of a digital controller as formula over discrete state variables that makes the system to satisfy the continuous specification under some assumptions about the behaviour of the environment and the relationship between continuous state variables and discrete state variables. We provide rules useful for refining and verifying the correctness of a design syntactically.en
dc.identifier.citationSiewe, F. and Hung, D.V. (2000) From continuous specification to discrete design. The proceedings of the International Conference on Software: Theory and Practice (ICS 2000), Yulin Feng, David Notkin and Marie-Claude Gaudel (eds), Beijing, pp. 407-414.en
dc.identifier.urihttp://hdl.handle.net/2086/3765
dc.language.isoenen
dc.peerreviewedYesen
dc.publisherKluwer Academic Publisheren
dc.researchgroupSoftware Technology Research Laboratory (STRL)en
dc.researchinstituteCyber Technology Institute (CTI)en
dc.subjectcontinuous specification
dc.subjectdiscrete design
dc.subjectreal-time distributed systems
dc.subjectverification
dc.titleFrom continuous specification to discrete design.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