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.
The second author was supported with funds of the DFG, within the priority program Design and design methodology of embedded systems (reference number Br 887/9-1).
Preview
Unable to display preview. Download preview PDF.
References
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.
R. Alur and T.A. Henzinger. Modularity for timed and hybrid systems. In CONCUR 97: Concurrency Theory, LNCS 1243. Springer-Verlag, 1997.
M. Branicky, V. Borkar, and S. Mitter. A unified framework for hybrid control. Technical Report LIDS-P-2239, MIT, June 1994.
M. Broy. Refinement of time. In ARTS’97, LNCS 1231. Springer-Verlag, 1997.
R. Grosu and T. Stauner. Modular and visual specification of hybrid systems — an introduction to HyCharts. Technical Report TUM-I9801, Technische UniversitÄt München, July 1998.
R. Grosu, Gh. StefĂnescu, and M. Broy. Visual formalisms revisited. In Proc. Int. Conf. on Application of Concurrency to System Design (CSD). IEEE, 1998.
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8, 1987.
Y. Kesten and A. Pnueli. Timed and hybrid statecharts and their textual representation. In Formal Techniques in Real-Time and Fault-Tolerant Systems, 2nd International Symposium, LNCS 571. Springer-Verlag, 1992.
N.A. Lynch, R. Segala, F.W. Vaandrager, and H.B. Weinberg. Hybrid I/O automata. In Hybrid Systems III, LNCS 1066. Springer-Verlag, 1996.
O. Müller and P. Scholz. Functional specification of real-time and hybrid systems. In Proc. Hybrid and Real-Time Systems (HART), LNCS 1201. Springer, 1997.
Bran Selic, Garth Gullekson, and Paul T. Ward. Real-Time Object-Oriented Modeling. John Wiley and Sons Ltd, Chichester, 1994.
T. Stauner, O. Müller, and M. Fuchs. Using HyTech to verify an automotive control system. In Proc. Hybrid and Real-Time Systems (HART’97), LNCS 1201. Springer-Verlag, 1997.
Gh. StefĂnescu. Algebra of flownomials. Technical Report TUM-I9437, Technische UniversitÄt München, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grosu, R., Stauner, T., Broy, M. (1998). A modular visual model for hybrid systems. In: Ravn, A.P., Rischel, H. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1998. Lecture Notes in Computer Science, vol 1486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055338
Download citation
DOI: https://doi.org/10.1007/BFb0055338
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65003-4
Online ISBN: 978-3-540-49792-9
eBook Packages: Springer Book Archive