Location of Repository

From Continuous Specification to Discrete Design

By François Siewe and Dang Van Hung

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. Keywords: Continuous specification, discrete design, real-time distributed systems, verification. 1. Introduction A real-time system can be thought of as a plant in permanent interaction with its environment. Howev..

Topics: Continuous specification, discrete design, real-time distributed systems, verification
Year: 1999
OAI identifier: oai:CiteSeerX.psu:10.1.1.41.5824
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • ftp://ftp.iist.unu.edu/pub/tec... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.