From continuous specification to discrete design.

De Montfort University Open Research Archive

Show simple item record Siewe, Francois Hung, D. V. 2010-04-28T15:02:08Z 2010-04-28T15:02:08Z 2000
dc.identifier.citation Siewe, 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.description.abstract The 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.language.iso en en
dc.publisher Kluwer Academic Publisher en
dc.subject continuous specification
dc.subject discrete design
dc.subject real-time distributed systems
dc.subject verification
dc.title From continuous specification to discrete design. en
dc.type Conference en
dc.researchgroup Software Technology Research Laboratory (STRL) en
dc.peerreviewed Yes

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