Technical Report
Specification of Real-Time and Hybrid Systems in FOCUS.
Author(s): Olaf Müller, Peter Scholz
Year: 1996
Number: TUM-I9627
Editor:
CR Classification:
CR General Terms:
Keywords: Functional Specification, Specification of Hybrid Systems, Specification of Real-Time Systems
Abstract:Functional specifications in FOCUS have been used to specify and verify designs of a number of reactive, discrete systems. In this paper we extend this specification style to deal with real-time and hybrid systems. As mathematical foundation we employ Banach's fixed point theory in metric spaces. The goal is to show that the theory used for discrete functional specifications smoothly carries over to real-time and hybrid systems. An example of a thermostat specification illustrates the method.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{ TUM-I9627,
author = {Olaf Müller and Peter Scholz},
title = {Specification of Real-Time and Hybrid Systems in FOCUS.},
number = {TUM-I9627},
institution = {Technische Univerit\"at M\"unchen},
year = {1996},
url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9627.html},
abstract = {Functional specifications in FOCUS have been used to specify and verify designs of a number of reactive, discrete systems. In this paper we extend this specification style to deal with real-time and hybrid systems. As mathematical foundation we employ Banach's fixed point theory in metric spaces. The goal is to show that the theory used for discrete functional specifications smoothly carries over to real-time and hybrid systems. An example of a thermostat specification illustrates the method. },
CRClassification = {},
CRGenTerms = {}
}
]]>