Refinement of time

Research output: Contribution to journalArticlepeer-review

19 Scopus citations

Abstract

We discuss mathematical models of the timed behaviour of system components. We study reactive system components that relate input-to-output streams. We work out a hierarchy of timing concepts. We distinguish non-timed streams, discrete streams with discrete or with continuous time, and dense streams with continuous time. We introduce a notion of a timed system component and formulate requirements for the time flow. We show how to compose timed systems in a modular way. We demonstrate that the introduction of time into a system model as well as the change of the timing model during the system development process can be captured as classical refinement steps.

Original languageEnglish
Pages (from-to)3-26
Number of pages24
JournalTheoretical Computer Science
Volume253
Issue number1
DOIs
StatePublished - 2001

Keywords

  • Reactive systems
  • Real time
  • Refinement

Fingerprint

Dive into the research topics of 'Refinement of time'. Together they form a unique fingerprint.

Cite this