Technical Report
Modular and Visual Specification of Hybrid Systems -- An Introduction to HyCharts
Author(s): Radu Grosu, Thomas Stauner
Year: 1998
Number: TUM-I9801
Editor:
CR Classification: D.2.1, C.3
CR General Terms: Design, Languages, Theory
Keywords: hybrid systems, specification, formal methods, requirements engin
eering
Abstract:Visual description techniques are particularly important for the
design of
hybrid systems because specifications of such systems usually have to be
discussed between engineers from a number of different disciplines.
Modularity is vital for hybrid systems not only because it allows to handle
large systems, but also because hybrid systems are naturally decomposed into
the system itself and its environment.
Based on two different interpretations
for hierarchic graphs and on a clear
hybrid computation model, we develop
HyCharts. HyCharts consist of two modular
visual formalisms, one for the
specification of the architecture and one for
the specification of the
behavior of hybrid systems. The operators on
hierarchic graphs enable us to
give a surprisingly simple denotational
semantics for many concepts known from
statechart-like formalisms. Due to a
very general composition operator,
HyCharts can easily be composed with
description techniques from other
engineering disciplines. Such heterogeneous
system specifications seem to be
particularly appropriate for hybrid systems
because of their interdisciplinary
character.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{GS98,
author = {Radu Grosu and Thomas Stauner},
title = {Modular and Visual Specification of Hybrid Systems -- An Introduction to HyCharts},
number = {TUM-I9801},
institution = {Technische Univerit\"at M\"unchen},
year = {1998},
url = {http://www4.informatik.tu-muenchen.de/reports/GS98.html},
abstract = {Visual description techniques are particularly important for the
design of
hybrid systems because specifications of such systems usually have to be
discussed between engineers from a number of different disciplines.
Modularity is vital for hybrid systems not only because it allows to handle
large systems, but also because hybrid systems are naturally decomposed into
the system itself and its environment.
Based on two different interpretations
for hierarchic graphs and on a clear
hybrid computation model, we develop
HyCharts. HyCharts consist of two modular
visual formalisms, one for the
specification of the architecture and one for
the specification of the
behavior of hybrid systems. The operators on
hierarchic graphs enable us to
give a surprisingly simple denotational
semantics for many concepts known from
statechart-like formalisms. Due to a
very general composition operator,
HyCharts can easily be composed with
description techniques from other
engineering disciplines. Such heterogeneous
system specifications seem to be
particularly appropriate for hybrid systems
because of their interdisciplinary
character.},
CRClassification = {D.2.1, C.3},
CRGenTerms = {Design, Languages, Theory}}
]]>