Hybrid Sequence Charts

Proceedings - 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2000

Volumn , Issue , 2000, Pages 104-111

  Grosu, R ^a   Kruger I ^a   Stauner, T ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; FORMAL METHODS; HYBRID SYSTEMS; SEMANTICS; SOFTWARE DESIGN; SOFTWARE ENGINEERING;

COMMUNICATION MODELING; FORMAL SEMANTICS; HYBRID AUTOMATONS; HYBRID SEQUENCES; HYBRID SYSTEM MODELS; REQUIREMENTS CAPTURE; SHARED VARIABLES; SOFTWARE DEVELOPMENT PROCESS;

OBJECT ORIENTED PROGRAMMING;

EID: 34748837469     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2000.839517     Document Type: Conference Paper

References (17)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T. 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.
2. R. Alur and T. Henzinger. Reactive modules. In Proc. of the 11th Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, 1996.
3. T. Amon, G. Borriello, T. Hu, and J. Liu. Symbolic timing verification of timing diagrams using presburger formulas. In Proc. of the 34th Design Automation Conference. ACM, 1997.
4. M.Broy, C.Hofmann, I.Krüger, and M. Schmidt. A graphical description technique for communication in software architectures. Technical Report TUM-I9705, Technische Universität München, 1997.
5. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. A System of Patterns. Pattern-Oriented Software Architecture. Wiley, 1996.
6. C. Dietz. Graphical formalization of real-time requirements. In Proc. FTRTFT'96, LNCS 1135. Springer Verlag, 1996.
7. R. Grosu, I. Krüger, and T. Stauner. Hybrid sequence charts. Technical Report TUM-I9914, Technische Universität München, 1999.
8. 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, September 1998.
9. R. Grosu, T. Stauner, and M. Broy. A modular visual model for hybrid systems. In Proc. FTRTFT'98, LNCS 1486. Springer-Verlag, 1998.
10. ITU-TS. Recommendation Z.120 : Message Sequence Chart (MSC). Geneva, 1996.
11. L. Lamport. Hybrid systems in TLA+. In Hybrid Systems, LNCS 736. Springer-Verlag, 1993.
12. N. Lynch, R. Segala, F. Vaandrager, and H. Weinberg. Hybrid I/O automata. In Hybrid Systems III, LNCS 1066. Springer-Verlag, 1996.
13. Unified modeling language, version 1.1. Rational Software Corporation, 1997.
14. I. Schieferdecker. Proposal for time and performance in MSCs. In Proc. ITU-T Meeting SG10, Geneva, 1998.
15. T. Stauner, O. Müller, and M. Fuchs. Using HyTech to verify an automotive control system. In Proc. HART'97, LNCS 1201. Springer-Verlag, 1997.
16. The MathWorks Inc. MATLAB. http://www.mathworks.com/products/matlab/, 1999.
17. R. Wieting. Hybrid high-level nets. In Proc. of the 1996Winter Simulation Conference, Coronado, California, pages 848-855, 1996.