{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T03:19:18Z","timestamp":1761967158226,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,9]],"date-time":"2011-10-09T00:00:00Z","timestamp":1318118400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,9]]},"DOI":"10.1145\/2038642.2038683","type":"proceedings-article","created":{"date-parts":[[2011,10,11]],"date-time":"2011-10-11T14:29:11Z","timestamp":1318343351000},"page":"263-272","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Cross-layer analysis, testing and verification of automotive control software"],"prefix":"10.1145","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[{"name":"TU Munich, Munich, Germany"}]},{"given":"Samarjit","family":"Chakraborty","sequence":"additional","affiliation":[{"name":"TU Munich, Munich, Germany"}]},{"given":"Dip","family":"Goswami","sequence":"additional","affiliation":[{"name":"TU Munich, Munich, Germany"}]},{"given":"S.","family":"Ramesh","sequence":"additional","affiliation":[{"name":"General Motors R&D, Bangalore, India"}]},{"given":"M.","family":"Satpathy","sequence":"additional","affiliation":[{"name":"General Motors R&D, Bangalore, India"}]},{"given":"Stefan","family":"Resmerita","sequence":"additional","affiliation":[{"name":"University of Salzburg, Salzburg, Austria"}]},{"given":"Wolfgang","family":"Pree","sequence":"additional","affiliation":[{"name":"University of Salzburg, Salzburg, Austria"}]}],"member":"320","published-online":{"date-parts":[[2011,10,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Absint. aiT worst-case execution time analyzers. http:\/\/www.absint.com\/ait\/ 2010.  Absint. aiT worst-case execution time analyzers. http:\/\/www.absint.com\/ait\/ 2010."},{"key":"e_1_3_2_1_2_1","unstructured":"AUTOSAR Specification of FlexRay interface version 3.0.3 www.autosar.org.  AUTOSAR Specification of FlexRay interface version 3.0.3 www.autosar.org."},{"key":"e_1_3_2_1_3_1","unstructured":"Applied Dynamics International. www.adi.com.  Applied Dynamics International. www.adi.com."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.45"},{"key":"e_1_3_2_1_5_1","volume-title":"Vrije Universiteit","author":"Bosman G.","year":"2003","unstructured":"G. Bosman . A survey of co-design ideas and methodologies. Master's thesis , Vrije Universiteit , 2003 . G. Bosman. A survey of co-design ideas and methodologies. Master's thesis, Vrije Universiteit, 2003."},{"key":"e_1_3_2_1_6_1","volume-title":"Y. Zhao, and H. Zheng. Heterogeneous concurrent modeling and design in Java (Volume 1: Introduction to Ptolemy II). EECS Department","author":"Brooks C.","year":"2007","unstructured":"C. Brooks , E.A. Lee , X. Liu , S. Neuendor er , Y. Zhao, and H. Zheng. Heterogeneous concurrent modeling and design in Java (Volume 1: Introduction to Ptolemy II). EECS Department , University of California , Berkeley , 2007 . C. Brooks, E.A. Lee, X. Liu, S. Neuendor er, Y. Zhao, and H. Zheng. Heterogeneous concurrent modeling and design in Java (Volume 1: Introduction to Ptolemy II). EECS Department, University of California, Berkeley, 2007."},{"key":"e_1_3_2_1_7_1","unstructured":"K. Butts. Presentation at the 2011 Workshop on open problems and challenges in automotive control UC Berkeley. http:\/\/www.mpc.berkeley.edu\/2011-workshop\/presentations 2011.  K. Butts. Presentation at the 2011 Workshop on open problems and challenges in automotive control UC Berkeley. http:\/\/www.mpc.berkeley.edu\/2011-workshop\/presentations 2011."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2006.24"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2006.18"},{"issue":"3","key":"e_1_3_2_1_10_1","article-title":"How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime","volume":"23","author":"Cervin A.","year":"2003","unstructured":"A. Cervin , D. Henriksson , B. Lincoln , J. Eker , and Karl-Erik Arz\u00e9n . How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime . IEEE Control Systems Magazine , 23 ( 3 ), 2003 . A. Cervin, D. Henriksson, B. Lincoln, J. Eker, and Karl-Erik Arz\u00e9n. How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime. IEEE Control Systems Magazine, 23(3), 2003.","journal-title":"IEEE Control Systems Magazine"},{"key":"e_1_3_2_1_11_1","unstructured":"Chrona GmBH. Chrona creation suite. http:\/\/www.chrona.com\/en\/products\/creation-suite\/ 2011.  Chrona GmBH. Chrona creation suite. http:\/\/www.chrona.com\/en\/products\/creation-suite\/ 2011."},{"key":"e_1_3_2_1_12_1","unstructured":"Chrona GmBH. Chrona validation suite. http:\/\/www.chrona.com\/en\/products\/validation-suite\/ 2011.  Chrona GmBH. Chrona validation suite. http:\/\/www.chrona.com\/en\/products\/validation-suite\/ 2011."},{"key":"e_1_3_2_1_13_1","first-page":"366","volume-title":"Proceedings of the IEEE","author":"Edwards S.","year":"1999","unstructured":"S. Edwards , L. Lavagno , E. A. Lee , and A. Sangiovanni-Vincentelli . Design of embedded systems: Formal models, validation, and synthesis . In Proceedings of the IEEE , pages 366 -- 390 . IEEE, 1999 . S. Edwards, L. Lavagno, E. A. Lee, and A. Sangiovanni-Vincentelli. Design of embedded systems: Formal models, validation, and synthesis. In Proceedings of the IEEE, pages 366--390. IEEE, 1999."},{"key":"e_1_3_2_1_14_1","unstructured":"Esterel Technologies. Understanding how SCADE KCG generates safe C code (white paper). http:\/\/dnlcenter.esterel-technologies.com 2011.  Esterel Technologies. Understanding how SCADE KCG generates safe C code (white paper). http:\/\/dnlcenter.esterel-technologies.com 2011."},{"key":"e_1_3_2_1_15_1","volume-title":"The 4th European Congress on Embedded Real Time Software","author":"Ferdinand C.","year":"2008","unstructured":"C. Ferdinand , R. Heckmann , F. Martin , T. L. Sergent , D. Lopes , and X. Fornari . Combining a high-level design tool for safety-critical systems with a tool for WCET analysis of executables . In The 4th European Congress on Embedded Real Time Software , 2008 . C. Ferdinand, R. Heckmann, F. Martin, T. L. Sergent, D. Lopes, and X. Fornari. Combining a high-level design tool for safety-critical systems with a tool for WCET analysis of executables. In The 4th European Congress on Embedded Real Time Software, 2008."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_19"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1950815.1950869"},{"key":"e_1_3_2_1_19_1","volume-title":"DATE","author":"Goswami D.","year":"2011","unstructured":"D. Goswami , R. Schneider , and S. Chakraborty . Re-engineering Cyber-Physical control applications for hybrid communication protocols . In DATE , 2011 . D. Goswami, R. Schneider, and S. Chakraborty. Re-engineering Cyber-Physical control applications for hybrid communication protocols. In DATE, 2011."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/530328"},{"key":"e_1_3_2_1_21_1","volume-title":"Test-case generation for embedded Simulink via Formal Concept Analysis","author":"He N.","year":"2011","unstructured":"N. He , P. Rummer , and D. Kroening . Test-case generation for embedded Simulink via Formal Concept Analysis . 2011 . N. He, P. Rummer, and D. Kroening. Test-case generation for embedded Simulink via Formal Concept Analysis. 2011."},{"issue":"1","key":"e_1_3_2_1_22_1","first-page":"50","article-title":"From control models to real-time code using Giotto","volume":"23","author":"Henzinger T. A.","year":"2002","unstructured":"T. A. Henzinger , C. M. Kirsch , M. A. A. Sanvido , and W. Pree . From control models to real-time code using Giotto . Control Systems Magazine, IEEE , 23 ( 1 ): 50 -- 64 , 2002 . T. A. Henzinger, C. M. Kirsch, M. A. A. Sanvido, and W. Pree. From control models to real-time code using Giotto. Control Systems Magazine, IEEE, 23(1):50--64, 2002.","journal-title":"Control Systems Magazine, IEEE"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2010.10"},{"key":"e_1_3_2_1_24_1","volume-title":"A survey of HW\/SW co-simulation techniques and tools. Master's thesis","author":"Huebert H.","year":"1998","unstructured":"H. Huebert . A survey of HW\/SW co-simulation techniques and tools. Master's thesis , Royal Institute of Technology , Stockholm, Sweden , 1998 . H. Huebert. A survey of HW\/SW co-simulation techniques and tools. Master's thesis, Royal Institute of Technology, Stockholm, Sweden, 1998."},{"key":"e_1_3_2_1_25_1","unstructured":"INCHRON. The CHRONSIM simulator. http:\/\/www.inchron.com\/chronsim.html 2010.  INCHRON. The CHRONSIM simulator. http:\/\/www.inchron.com\/chronsim.html 2010."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_33"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450071"},{"key":"e_1_3_2_1_29_1","volume-title":"CODES\/CASHE","author":"Liu J.","year":"1998","unstructured":"J. Liu , M. Lajolo , and A. Sangiovanni-Vincentelli . Software timing analysis using HW\/SW co-simulation and instruction set simulator . In CODES\/CASHE , 1998 . J. Liu, M. Lajolo, and A. Sangiovanni-Vincentelli. Software timing analysis using HW\/SW co-simulation and instruction set simulator. In CODES\/CASHE, 1998."},{"key":"e_1_3_2_1_30_1","first-page":"65","article-title":"Timed multitasking for real-time embedded software","volume":"23","author":"Liu J.","year":"2002","unstructured":"J. Liu and E. Lee . Timed multitasking for real-time embedded software . IEEE Control Systems Magazine , 23 : 65 -- 75 , 2002 . J. Liu and E. Lee. Timed multitasking for real-time embedded software. IEEE Control Systems Magazine, 23:65--75, 2002.","journal-title":"IEEE Control Systems Magazine"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2011.5953670"},{"key":"e_1_3_2_1_33_1","volume-title":"Seamless co-verification environment user's and reference manual, version 2.2","author":"Mentor Graphics Corporation","year":"1996","unstructured":"Mentor Graphics Corporation . Seamless co-verification environment user's and reference manual, version 2.2 . Wilsonville, Oregon , 1996 --1998. Mentor Graphics Corporation. Seamless co-verification environment user's and reference manual, version 2.2. Wilsonville, Oregon, 1996--1998."},{"key":"e_1_3_2_1_34_1","volume-title":"Model driven architecture","author":"Object Management Group","year":"2010","unstructured":"Object Management Group . Model driven architecture , 2010 . Object Management Group. Model driven architecture, 2010."},{"key":"e_1_3_2_1_35_1","volume-title":"Subsumption of condition overage techniques by mutation testing","author":"Offutt J.","year":"1996","unstructured":"J. Offutt and J. M. Voas . Subsumption of condition overage techniques by mutation testing . 1996 . J. Offutt and J. M. Voas. Subsumption of condition overage techniques by mutation testing. 1996."},{"key":"e_1_3_2_1_36_1","volume-title":"ASWSD","author":"Pree W.","year":"2006","unstructured":"W. Pree and J. Templ . Modeling with the Timing Definition Language (TDL) . In ASWSD , 2006 . W. Pree and J. Templ. Modeling with the Timing Definition Language (TDL). In ASWSD, 2006."},{"key":"e_1_3_2_1_37_1","unstructured":"Reactive Systems. www.reactive-systems.com.  Reactive Systems. www.reactive-systems.com."},{"key":"e_1_3_2_1_38_1","volume-title":"Development and Verification of Adaptive Computer Systems","author":"Resmerita S.","year":"2010","unstructured":"S. Resmerita , P. Derler , A. Naderlinger , and W. Pree . Migration of legacy software towards correct-by-construction timing behavior. In MontereyWorkshop on Modelling , Development and Verification of Adaptive Computer Systems , 2010 . S. Resmerita, P. Derler, A. Naderlinger, and W. Pree. Migration of legacy software towards correct-by-construction timing behavior. In MontereyWorkshop on Modelling, Development and Verification of Adaptive Computer Systems, 2010."},{"key":"e_1_3_2_1_39_1","series-title":"Lecture Notes in Computer Science","volume-title":"Modeling and simulation of TDL aplications","author":"Resmerita S.","year":"2010","unstructured":"S. Resmerita , P. Derler , W. Pree , and A. Naderlinger . Modeling and simulation of TDL aplications . Lecture Notes in Computer Science , 2010 . S. Resmerita, P. Derler, W. Pree, and A. Naderlinger. Modeling and simulation of TDL aplications. Lecture Notes in Computer Science, 2010."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/196244.196458"},{"key":"e_1_3_2_1_41_1","unstructured":"TNI-Software. www.tni-software.com.  TNI-Software. www.tni-software.com."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1506216.1506246"},{"key":"e_1_3_2_1_43_1","volume-title":"EEDesign of EETimes","author":"Sangiovanni-Vincentelli Alberto","year":"2002","unstructured":"Alberto Sangiovanni-Vincentelli . Defining platform-based design . EEDesign of EETimes , 2002 . Alberto Sangiovanni-Vincentelli. Defining platform-based design. EEDesign of EETimes, 2002."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.444"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450088"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039394"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987389.1987433"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805820"},{"key":"e_1_3_2_1_50_1","volume-title":"IEEE RTSS","author":"Soheil S.","year":"2010","unstructured":"S. Soheil , P. Eles , Z. Peng , P. Tabuada , and A. Cervin . Dynamic scheduling and control-quality optimization of self-triggered control applications . In IEEE RTSS , 2010 . S. Soheil, P. Eles, Z. Peng, P. Tabuada, and A. Cervin. Dynamic scheduling and control-quality optimization of self-triggered control applications. In IEEE RTSS, 2010."},{"key":"e_1_3_2_1_51_1","unstructured":"sal.csl.sri.com.  sal.csl.sri.com."},{"key":"e_1_3_2_1_52_1","unstructured":"T-VEC technologies. www.t-vec.com.  T-VEC technologies. www.t-vec.com."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/1806209.1806217"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2010.5551383"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480913"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/87.998034"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.52"}],"event":{"name":"ESWeek '11: Seventh Embedded Systems Week","sponsor":["CEDA","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CS"],"location":"Taipei Taiwan","acronym":"ESWeek '11"},"container-title":["Proceedings of the ninth ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2038642.2038683","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2038642.2038683","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:15Z","timestamp":1750240095000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2038642.2038683"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,9]]},"references-count":58,"alternative-id":["10.1145\/2038642.2038683","10.1145\/2038642"],"URL":"https:\/\/doi.org\/10.1145\/2038642.2038683","relation":{},"subject":[],"published":{"date-parts":[[2011,10,9]]},"assertion":[{"value":"2011-10-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}