Modular code generation from hybrid automata based on data dependency

Real-Time Technology and Applications - Proceedings

Volumn , Issue , 2003, Pages 160-168

  Kim, Jesung ^a   Lee, Insup ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT MODELS; AUTOMATIC CODE GENERATIONS; CONTINUOUS DYNAMICS; DATA DEPENDENCIES; HIGH-LEVEL PROGRAMMING LANGUAGE; HYBRID AUTOMATONS; HYBRID SYSTEM MODELING LANGUAGES; MATHEMATICAL EQUATIONS;

COMPUTER SIMULATION LANGUAGES; HYBRID SYSTEMS; NETWORK COMPONENTS; SEMANTICS;

AUTOMATA THEORY;

EID: 84884180969     PISSN: 10801812     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTTAS.2003.1203048     Document Type: Conference Paper

References (11)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Comp. Science, 138:3-34, 1995.
2. R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivan?cic, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE, 2003.
3. R. Alur, F. Ivancic, J. Kim, I. Lee, and O. Sokolsky. Generating embedded software from hierarchical hybrid models. Technical Report MS-CIS-03-07, Dept. of Computer and Information Science, University of Pennsylvania, 2003.
4. G. Berry and G. Gonthier. The synchronous programming language ESTEREL: design, semantics, implementation. Technical Report 842, INRIA, 1988.
5. J.-Y. Choi, Y. Hur, and I. Lee. IHA: Ensuring sound numerical simulation of hybrid automata. Technical ReportMS-CIS-03-06, Dept. of Computer and Information Science, University of Pennsylvania, 2003.
6. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE, 79:1305-1320, 1991.
7. D. Harel. Statecharts: A visual formalism for complex systems. Sc. of Comp. Programming, 8:231-274, 1987.
8. T. Henzinger and C. Kirsch, editors. Embedded Software, First International Workshop. LNCS 2211. Springer, 2001.
9. E. Lee. What's ahead for embedded software. IEEE Computer, pages 18-26, September 2000.
10. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory in Practice, REX Workshop, LNCS 600. Springer-Verlag, 1991.
11. W. H. Press, S. A. Teukolsky, W. T. Vetterling, and B. P. Flannery. Numerical Recipes in C: the Art of Scientific Computing, 2nd Ed. Cambridge University Press, Cambridge, UK, 1999.