A modular visual model for hybrid systems

Radu Grosu, Thomas Stauner, Manfred Broy

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

20 Scopus citations

Abstract

Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually 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, two modular visual formalisms for the specification of the architecture and 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.

Original languageEnglish
Title of host publicationFormal Techniques in Real-Time and Fault-Tolerant Systems - 5th International Symposium, FTRTFT 1998, Proceedings
EditorsAnders P. Ravn, Hans Rischel
PublisherSpringer Verlag
Pages75-91
Number of pages17
ISBN (Print)3540650032, 9783540650034
DOIs
StatePublished - 1998
Event5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1998 - Lyngby, Denmark
Duration: 14 Sep 199818 Sep 1998

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1486
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1998
Country/TerritoryDenmark
CityLyngby
Period14/09/9818/09/98

Fingerprint

Dive into the research topics of 'A modular visual model for hybrid systems'. Together they form a unique fingerprint.

Cite this