Generating sound and resource-aware code from hybrid systems models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4922 LNCS, Issue , 2008, Pages 48-66

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

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE SOFTWARE; HYBRID SYSTEMS; REAL-TIME EMBEDDED SYSTEMS;

AUTOMATIC PROGRAMMING; CHLORINE COMPOUNDS; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; ELECTRIC GROUNDING; HYBRID COMPUTERS; INFORMATION THEORY; INTEGRATED CIRCUITS; SYSTEMS ANALYSIS;

EMBEDDED SYSTEMS;

EID: 50549103065     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70930-5_4     Document Type: Conference Paper

References (32)

1. Martin, N.: Lock who's talking: Motorola's cd. team. LockSmart Online Article (1998)
2. Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Scienc 126, 183-235 (1994)
3. Alur, R., Ivančić, F., Kim, J., Lee, I., Sokolsky, O.: Generating embedded software-from hierarchial hybrid models. In: Proceedings of LCTES (2003)
4. Harel, D.: Statecharts: A visual formalism for complex systems. Science of ComputerProgramming 8, 231-274 (1987)
5. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Comp. Science 138, 3-34 (1995)
6. Maler, O., Manna, Z., Pnueli, A.: From timed to hybrid systems. In: Real-Time:Theory in Practice, REX Workshop. LNCS, vol. 600, Springer-Verlag, Heidelberg (1991)
7. Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular specification of hybridsystems in CHARDN. In: HSCC, pp. 6-19 (2000)
8. Eker, J., Janneck, J., Lee, E., Liu, J., Liu, X., Luvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity-the Ptolemy approach. Proceedings of the IEEE 91, 127-144 (2003)
9. Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Charon: a language for modular specification of multi-agent hybrid systems. Technical Report MS-CIS-00-01, Dept. of Computer and Information Science, University of Pennsylvania (2000)
10. RationalRose, http://www-306.ibm.com/software/awdtools/developer/rose/
11. Target Link, http://www.dspaceinc.com/ww/en/inc/home/products/sw/pcgs/ targetli.cfm
12. Simulink, http://www.mathworks.com/products/simulink/
13. Berry, G., Gonthier, G.: The synchronous programming language esterel: design,semantics, implementation. Technical Report 842, INRIA (1988)
14. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language Lustre. Proceedings of the IEEE 79, 1305-1320 (1991)
15. Deshpande. A., Göllu. A., Varaiya, P.: SHIFT: a formalism and a programming language for dynamic networks of hybrid automata. In: HS 1997. LNCS. vol. 1567. Springer, Heidelberg (1996)
16. Henzinger. T., Kirsch, C. Sanvido, M., Pree, W.: From control models to real-time code using Giotto. IEEE Control Systems Magazine (2003)
17. Karsai. G., Sztipanovits, J., Ledeczi. A., Bapty. T.: Model-integrated development of embedded software. In: Proceedings of the IEEE, vol. 91, pp. 145-164 (2003)
18. Model-Driven Hybrid and Embedded Software for Automotive Applications. In: 2nd RTAS Workshop on Model-Driven Embedded Systems (MoDES 2004) (2004)
19. Shah, B., Dennison, R., Gray, J.: A model-driven approach for generating embeddedrobot navigation control software. In: ACM-SE 42: Proceedings of the 42nd annual Southeast regional conference, pp. 332-335. ACM Press, New York (2004)
20. Stauner, T.: Discrete-Time Refinement of Hybrid Automata. In: Tomlin, C.J., Greenstreet. M.R. (eds.) HSCC 2002. LNCS, vol. 2289, pp. 407-420. Springer. Heidelberg (2002)
21. Hybrid Toolbox - Hybrid Systems, Control, Optimization, http ://www.dii.unisi.it/hybrid/toolbox
22. Henzinger, T.A., Ho, P.H., Wong-Toi, H.: HYTECH: A model checker for hybridsystems. International Journal on Software Tools for Technology 'IVansfer 1, 110-122 (1997)
23. Asarin, E., Dang, T., Maler, O.: The d/dt Tool for Verification of Hybrid Systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 365-370. Springer, Heidelberg (2002)
24. Tools, H.S.: http://wiki.grasp.upenn.edu/graspdoc/hst/
25. Hur, Y., Kim, J., Lee, I., Choi, J.Y.: Sound Code Generation from Communicating Hybrid Models. In: Alur. R., Pappas, G.J. (eds.) HSCC 2004. LNCS. vol. 2993. pp. 432-447. Springer, Heidelberg (2004)
26. Anand, M.. Kim, J., Lee, I.: Code generation from hybrid systems models for distributed embedded systems. In: Proceedings of the IEEE ISORC, pp. 166-173 (2005)
27. Anand, M., Fischmeister, S., Kim, J., Lee, I.: Distributed-code generation from hybrid systems models for time-delayed multirate systems. In: EMSOFT 2005: Proceedings of the 5th ACM international conference on Embedded software, pp. 210-213. ACM Press, New York (2005)
28. Henzinger, T.A., Ho, P.H.: Algorithmic analysis of nonlinear hybrid systems. In: Wolper. P. (ed.) Proceedings of the 7th International Conference On Computer Aided Verification, Liege, Belgium, vol. 939, pp. 225-238. Springer, Heidelberg (1995)
29. Press, W.H., Teukolsky, S.A., Vetterling, W.T., Flannery, B.P.: Numerical Recipes in C: the Art of Scientific Computing, 2nd edn. Cambridge University Press, Cambridge (1999)
30. Pillai, P., Shin, K.: Real-time dynamic voltage scaling for low-power embedded operating systems. In: Proceedings of the 18th Symposium on Operating Systems Principles SOSP 2001 (2001)
31. Fehnker, A., Ivancic, F.: Benchmarks for Hybrid Systems Verification. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 326-341. Springer, Heidelberg (2004)
32. Tan, L., Kim, J., Lee, I.: Testing and Monitoring Model-based Generated Program. In: Proceeding of Runtime Verification Workshop (RV 2003), Boulder, Colorado (2003)