Generating embedded software from hierarchical hybrid models

Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Volumn , Issue , 2003, Pages 171-182

  Alur, Rajeev ^a   Ivančić, Franjo ^a   Kim, Jesung ^a   Lee, Insup ^a   Sokolsky, Oleg ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Code generation; Embedded software; Formal language; Hybrid system; Modularity

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER SIMULATION; COMPUTER SIMULATION LANGUAGES; EMBEDDED SYSTEMS; FORMAL LANGUAGES; MOBILE ROBOTS; PROGRAM COMPILERS; SEMANTICS;

CODE GENERATION; EMBEDDED SOFTWARE; HIERARCHICAL HYBRID MODELS; HYBRID SYSTEMS; MODULARITY; SOFTWARE PACKAGE CHARON;

SOFTWARE ENGINEERING;

EID: 0242612086     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. 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, T. Dang, J. Esposito, Y. Hur, F. Ivančić, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE, 91(1), 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. Compositional refinement of hierarchical hybrid systems. In Hybrid Systems: Computation and Control, Fourth International Workshop, LNCS 2034, pages 33-48, 2001.
5. R. Alur, T.A. Henzinger, and E.D. Sontag, editors. Hybrid Systems III: Verification and Control. LNCS 1066. Springer-Verlag, 1996. Proceedings of the Third International Workshop.
6. P. Antsaklis and A. Michel. Linear Systems. McGraw Hill, 1997.
7. E. Asarin, O. Bournez, T. Dang, and O. Maler. Approximate reachability analysis of piecewise-linear dynamical systems. In Hybrid Systems: Computation and Control, Third International Workshop, LNCS 1790, pages 21-31. 2000.
8. G. Berry and G. Gonthier. The synchronous programming language ESTEREL: design, semantics, implementation. Technical Report 842, INRIA, 1988.
9. G. Booch, I. Jacobson, and J. Rumbaugh. Unified Modeling Language User Guide. Addison Wesley, 1997.
10. G.C. Buttazo. Hard real-time computing systems: Predictable scheduling algorithms and applications. Kluwer Academic Publishers, 1997.
11. C.T. Chen. Linear System Theory and Design. Oxford University Press, 1999. 3rd Edition.
12. 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.
13. H. Dierks. PLC-automata: A new class of implementable real-time automata. Theoretical Computer Science, 253(1):61-93, December 2000.
14. J. Eker, J. Janneck, E.A. 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.
15. Entertainment Robot AIBO. http://www.aibo.com.
16. J. Esposito, V. Kumar, and G.J. Pappas. Accurate event detection for simulating hybrid systems. In Hybrid Systems: Computation and Control, Fourth International Workshop, LNCS 2034, pages 204-217, 2001.
17. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79:1305-1320, 1991.
18. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
19. B. Hengst, D. Ibbotson, S. B. Pham, and C. Sammut. Omnidirectional locomotion for quadruped robots. In RoboCup 2001: Robot soccer world cup V, LNAI 2377, pages 368-373. Springer-Verlag, 2002.
20. T. Henzinger and C. Kirsch, editors. Embedded Software, First International Workshop. LNCS 2211. Springer, 2001.
21. T.A. Henzinger, B. Horowitz, and C.M. Kirsch. Giott: A time-triggered language for embedded programming. Proceedings of the IEEE, 91(1):84-99, 2003.
22. T.A. Henzinger and C.M. Kirsch. The embedded machine: Predictable, portable, real-time code. In Proceedings of the ACM Conference on Programming Language Design and Implementation, pages 315-326, 2002.
23. G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Model-integrated development of embedded software. Proceedings of the IEEE, 91(1):145-164, 2003.
24. J. Kim and I. Lee. Modular code generation from hybrid automata based on data dependency. In Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. To appear.
25. E.A. Lee. What's ahead for embedded software. IEEE Computer, pages 18-26, September 2000.
26. N. Lynch and B.H. Krogh, editors. Hybrid Systems: Computation and Control. LNCS 1790. Springer, 2000.
27. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory in Practice, REX Workshop, LNCS 600, pages 447-484. Springer-Verlag, 1991.
28. OPEN-R SDK. http://www.aibo.com/openr
29. B. Selic, G. Gullekson and P.T. Ward. Real-time object oriented modeling and design. J. Wiley, 1994.
30. Simulink. http://www.mathworks.com.