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:

@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}}