Generating embedded software from hierarchical hybrid models

ACM SIGPLAN Notices

Volumn 38, Issue 7, 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

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; EMBEDDED SYSTEMS; FORMAL LANGUAGES; MOBILE ROBOTS; MOTION PLANNING; SEMANTICS;

CODE GENERATION; EMBEDDED SOFTWARE; HIERARCHICAL HYBRID MODELS; MODULARITY;

SOFTWARE ENGINEERING;

EID: 1442288695     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/780731.780756     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. Compositioal 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 ssytems: 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 for 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. Manma, 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.