{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:30:58Z","timestamp":1742380258095},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709299"},{"type":"electronic","value":"9783540709305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70930-5_4","type":"book-chapter","created":{"date-parts":[[2008,7,16]],"date-time":"2008-07-16T15:58:24Z","timestamp":1216223904000},"page":"48-66","source":"Crossref","is-referenced-by-count":3,"title":["Generating Sound and Resource-Aware Code from Hybrid Systems Models"],"prefix":"10.1007","author":[{"given":"Madhukar","family":"Anand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Fischmeister","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jesung","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Martin, N.: Lock who\u2019s talking: Motorola\u2019s c.d. team. LockSmart Online Article (1998)"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Scienc\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Scienc"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Ivan\u010di\u0107, F., Kim, J., Lee, I., Sokolsky, O.: Generating embedded softwarefrom hierarchial hybrid models. In: Proceedings of LCTES (2003)","DOI":"10.1145\/780732.780756"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of ComputerProgramming\u00a08, 231\u2013274 (1987)","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"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\u00a0138, 3\u201334 (1995)","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Maler, O., Manna, Z., Pnueli, A.: From timed to hybrid systems. In: Real-Time:Theory in Practice, REX Workshop. LNCS, vol.\u00a0600, Springer-Verlag, Heidelberg (1991)","DOI":"10.1007\/BFb0032003"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular specification of hybridsystems in CHARON. In: HSCC, pp. 6\u201319 (2000)","DOI":"10.1007\/3-540-46430-1_5"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Eker, J., Janneck, J., Lee, E., Liu, J., Liu, X., Luvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity\u2013the Ptolemy approach. Proceedings of the IEEE\u00a091, 127\u2013144 (2003)","DOI":"10.1109\/JPROC.2002.805829"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/3-540-46430-1_5"},{"key":"4_CR10","unstructured":"RationalRose, http:\/\/www-306.ibm.com\/software\/awdtools\/developer\/rose\/"},{"key":"4_CR11","unstructured":"TargetLink, http:\/\/www.dspaceinc.com\/ww\/en\/inc\/home\/products\/sw\/pcgs\/targetli.cfm"},{"key":"4_CR12","unstructured":"Simulink, http:\/\/www.mathworks.com\/products\/simulink\/"},{"key":"4_CR13","unstructured":"Berry, G., Gonthier, G.: The synchronous programming language esterel: design,semantics, implementation. Technical Report 842, INRIA (1988)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language Lustre. Proceedings of the IEEE\u00a079, 1305\u20131320 (1991)","DOI":"10.1109\/5.97300"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Deshpande, A., G\u00f6llu, A., Varaiya, P.: SHIFT: a formalism and a programming language for dynamic networks of hybrid automata. In: HS 1997. LNCS, vol.\u00a01567, Springer, Heidelberg (1996)","DOI":"10.1007\/BFb0031558"},{"key":"4_CR16","unstructured":"Henzinger, T., Kirsch, C., Sanvido, M., Pree, W.: From control models to real-time code using Giotto. IEEE Control Systems Magazine (2003)"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-integrated development of embedded software. In: Proceedings of the IEEE, vol.\u00a091, pp. 145\u2013164 (2003)","DOI":"10.1109\/JPROC.2002.805824"},{"key":"4_CR18","unstructured":"Model-Driven Hybrid and Embedded Software for Automotive Applications. In: 2nd RTAS Workshop on Model-Driven Embedded Systems (MoDES 2004) (2004)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"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\u2013335. ACM Press, New York (2004)","DOI":"10.1145\/986537.986618"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Stauner, T.: Discrete-Time Refinement of Hybrid Automata. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 407\u2013420. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45873-5_32"},{"key":"4_CR21","unstructured":"Hybrid Toolbox - Hybrid Systems, Control, Optimization, http:\/\/www.dii.unisi.it\/hybrid\/toolbox"},{"key":"4_CR22","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.H., Wong-Toi, H.: HYTECH: A model checker for hybridsystems. International Journal on Software Tools for Technology Transfer\u00a01, 110\u2013122 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"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.\u00a02404, pp. 365\u2013370. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45657-0_30"},{"key":"4_CR24","unstructured":"Tools, H.S.: http:\/\/wiki.grasp.upenn.edu\/graspdoc\/hst\/"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"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.\u00a02993, pp. 432\u2013447. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-24743-2_29"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Anand, M., Kim, J., Lee, I.: Code generation from hybrid systems models for distributed embedded systems. In: Proceedings of the IEEE ISORC, pp. 166\u2013173 (2005)","DOI":"10.1109\/ISORC.2005.20"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"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\u2013213. ACM Press, New York (2005)","DOI":"10.1145\/1086228.1086267"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"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.\u00a0939, pp. 225\u2013238. Springer, Heidelberg (1995)","DOI":"10.1007\/3-540-60045-0_53"},{"key":"4_CR29","unstructured":"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)"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/502034.502044"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Fehnker, A., Ivancic, F.: Benchmarks for Hybrid Systems Verification. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 326\u2013341. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-24743-2_22"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Tan, L., Kim, J., Lee, I.: Testing and Monitoring Model-based Generated Program. In: Proceeding of Runtime Verification Workshop (RV 2003), Boulder, Colorado (2003)","DOI":"10.1016\/S1571-0661(04)81046-6"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Development of Reliable Automotive Services"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70930-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:32:38Z","timestamp":1620016358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70930-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540709299","9783540709305"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70930-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}