Code generation from hybrid systems models for distributed embedded systems

Proceedings - Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005

Volumn 2005, Issue , 2005, Pages 166-173

  Anand, Madhukar ^a   Kim, Jesung ^a   Lee, Insup ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODE GENERATION; HYBRID SYSTEMS MODELS; SINGLE THREADED/PROCESSOR ENVIRONMENTS; SOUND SIMULATION;

COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; HYBRID COMPUTERS; PROGRAM PROCESSORS; RELIABILITY;

CODES (SYMBOLS);

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

References (16)

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. M. Esposito, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. J. Pappas, and O. Sokolsky. Hierarchical modeling and analysis of embedded systems. Proceedings of the. IEEE, 91(1):11-28, Jan. 2003.
3. R. Alur, T. Dang, and F. Ivančić. Counter-example guided predicate abstraction of hybrid systems. In Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, LNCS 2619, pages 208-223. Springer-Verlag, 2003.
4. R. Alur, R. Grosu, I. Lee, and O. Sokolsky. Compositioal refinement of hierarchical hybrid systems. In Hybrid Systems: Computation and Control, Fourth International Workshop, LNCS 2034, pages 33-48, 2001.
5. R. Alur, F. Ivančić, J. Kim, I. Lee, and O. Sokolsky. Generating embedded software from hierarchial hybrid models. In Proceedings of ACM Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 2003.
6. M. Anand, J.Kim, and I.Lee. Sound code generation from hybrid system models: Some theoretical results. In Technical report, MS-CIS-05-03, University of Pennsylvania, 2005.
7. G. Berry and G. Gonthier. The synchronous programming language ESTEREL: design, semantics, implementation. Technical Report 842, INRIA, 1988.
8. A. Deshpande, A. Göllu, and P. Varaiya. SHIFT: a formalism and a programming language for dynamic networks of hybrid automata. In Hybrid Systems V, LNCS 1567. Springer, 1996.
9. J. Eker, J. Janneck, E. Lee, J. Liu, X. Liu, J. Luvig, S. Neuendorffer, S. Sachs, and Y. Xiong. Taming heterogeneity-the Ptolemy approach. Proceedings of the IEEE, 91(1):127-144, 2003.
10. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79:1305-1320, 1991.
11. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
12. Y. Hur, J. Kim, I. Lee, and J.-Y. Choi. Sound code generation from communicating hybrid models. In Proceedings of HSCC, LNCS 2993, pages 432-447, 2004.
13. G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Modelintegrated development of embedded software. Proceedings of the IEEE, 91(1):145-164, 2003.
14. J. Kim and I. Lee. Modular code generation from hybrid automata based on data dependency. In Proceedings of RTAS, 2003.
15. 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.
16. 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.