{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T10:10:29Z","timestamp":1771236629482,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T00:00:00Z","timestamp":1555286400000},"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":[[2019,4,15]]},"DOI":"10.1145\/3313151.3313167","type":"proceedings-article","created":{"date-parts":[[2019,3,25]],"date-time":"2019-03-25T12:18:36Z","timestamp":1553516316000},"page":"20-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Multi-layer time coherency in the development of ADAS\/AD systems"],"prefix":"10.1145","author":[{"given":"Werner","family":"Damm","sequence":"first","affiliation":[{"name":"OFFIS, Germany"}]},{"given":"G\u00fcnter","family":"Ehmen","sequence":"additional","affiliation":[{"name":"OFFIS, Germany"}]},{"given":"Kim","family":"Gr\u00fcttner","sequence":"additional","affiliation":[{"name":"OFFIS, Germany"}]},{"given":"Philipp","family":"Ittershagen","sequence":"additional","affiliation":[{"name":"OFFIS, Germany"}]},{"given":"Bj\u00f6rn","family":"Koopmann","sequence":"additional","affiliation":[{"name":"OFFIS, Germany"}]},{"given":"Frank","family":"Poppen","sequence":"additional","affiliation":[{"name":"OFFIS, Germany"}]},{"given":"Ingo","family":"Stierand","sequence":"additional","affiliation":[{"name":"OFFIS, Germany"}]}],"member":"320","published-online":{"date-parts":[[2019,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"July","author":"AUTOSAR","year":"2015","unstructured":"AUTOSAR GbR. Specification of Timing Extensions , July 2015 . Version 4.2.2. AUTOSAR GbR. Specification of Timing Extensions, July 2015. Version 4.2.2."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1927882.1927894"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728629"},{"key":"e_1_3_2_1_6_1","volume-title":"FAT Series, number","author":"B\u00f6de E.","year":"2017","unstructured":"E. B\u00f6de , M. B\u00fcker , W. Damm , G. Ehmen , M. Fr\u00e4nzle , S. Gerwinn , T. Goodfellow , K. Gr\u00fcttner , B. Josko , B. Koopmann , T. Peikenkamp , F. Poppen , P. Reinkemeier , M. Siegel , and I. Stierand . Design Paradigms for Multi-Layer Time Coherency in ADAS and Automated Driving (MULTIC) . In FAT Series, number 302, October 2017 . E. B\u00f6de, M. B\u00fcker, W. Damm, G. Ehmen, M. Fr\u00e4nzle, S. Gerwinn, T. Goodfellow, K. Gr\u00fcttner, B. Josko, B. Koopmann, T. Peikenkamp, F. Poppen, P. Reinkemeier, M. Siegel, and I. Stierand. Design Paradigms for Multi-Layer Time Coherency in ADAS and Automated Driving (MULTIC). In FAT Series, number 302, October 2017."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2009.28"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.06.011"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of Foundations of Interface Technologies (FIT'05)","author":"Damm W.","year":"2005","unstructured":"W. Damm , A. Votintseva , A. Metzner , B. Josko , T. Peikenkamp , and E. B\u00f6de . Boosting Re-use of Embedded Automotive Applications Through Rich Components . In Proceedings of Foundations of Interface Technologies (FIT'05) , 2005 . W. Damm, A. Votintseva, A. Metzner, B. Josko, T. Peikenkamp, and E. B\u00f6de. Boosting Re-use of Embedded Automotive Applications Through Rich Components. In Proceedings of Foundations of Interface Technologies (FIT'05), 2005."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763167"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of Conference on Using Hardware Design and Verification Languages (DVCon'07)","author":"Davare A.","year":"2007","unstructured":"A. Davare , D. Densmore , T. Meyerowitz , A. Pinto , A. Sangiovanni-Vincentelli , G. Yang , H. Zeng , and Q. Zhu . A Next-Generation Design Framework for Platform-based Design . In Proceedings of Conference on Using Hardware Design and Verification Languages (DVCon'07) , February 2007 . A. Davare, D. Densmore, T. Meyerowitz, A. Pinto, A. Sangiovanni-Vincentelli, G. Yang, H. Zeng, and Q. Zhu. A Next-Generation Design Framework for Platform-based Design. In Proceedings of Conference on Using Hardware Design and Verification Languages (DVCon'07), February 2007."},{"key":"e_1_3_2_1_12_1","volume-title":"ISO 15622 - Transport Information and Control Systems - Adaptive Cruise Control Systems (ACC) - Performance Requirements and Test Procedures","author":"International Organization for Standardization.","year":"2002","unstructured":"International Organization for Standardization. ISO 15622 - Transport Information and Control Systems - Adaptive Cruise Control Systems (ACC) - Performance Requirements and Test Procedures . 2002 . International Organization for Standardization. ISO 15622 - Transport Information and Control Systems - Adaptive Cruise Control Systems (ACC) - Performance Requirements and Test Procedures. 2002."},{"key":"e_1_3_2_1_13_1","volume-title":"ISO 11270 - Intelligent Transport Systems - Lane Keeping Assistance Systems (LKAS) - Performance Requirements and Test Procedures","author":"International Organization for Standardization.","year":"2014","unstructured":"International Organization for Standardization. ISO 11270 - Intelligent Transport Systems - Lane Keeping Assistance Systems (LKAS) - Performance Requirements and Test Procedures . 2014 . International Organization for Standardization. ISO 11270 - Intelligent Transport Systems - Lane Keeping Assistance Systems (LKAS) - Performance Requirements and Test Procedures. 2014."},{"key":"e_1_3_2_1_14_1","volume-title":"International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS'14)","author":"Gezgin T.","year":"2014","unstructured":"T. Gezgin , R. Weber , and M. Oertel . Multi-aspect Virtual Integration approach for Real-Time and Safety Properties . In International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS'14) . IEEE Computer Society , October 2014 . T. Gezgin, R. Weber, and M. Oertel. Multi-aspect Virtual Integration approach for Real-Time and Safety Properties. In International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS'14). IEEE Computer Society, October 2014."},{"key":"e_1_3_2_1_15_1","volume-title":"International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS14)","author":"Gezgin Tayfun","year":"2014","unstructured":"Tayfun Gezgin , Markus Oertel , and Raphael Weber . Multi-aspect virtual integration approach for real-time and safety properties . In International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS14) . IEEE, 10 2014 . Tayfun Gezgin, Markus Oertel, and Raphael Weber. Multi-aspect virtual integration approach for real-time and safety properties. In International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS14). IEEE, 10 2014."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16214-0_12"},{"key":"e_1_3_2_1_17_1","first-page":"166","volume-title":"Giotto: A Time-Triggered Language for Embedded Programming","author":"Henzinger T.","year":"2001","unstructured":"T. Henzinger , B. Horowitz , and C. Kirsch . Giotto: A Time-Triggered Language for Embedded Programming , pages 166 -- 184 . Springer Berlin Heidelberg , 2001 . T. Henzinger, B. Horowitz, and C. Kirsch. Giotto: A Time-Triggered Language for Embedded Programming, pages 166--184. Springer Berlin Heidelberg, 2001."},{"key":"e_1_3_2_1_18_1","first-page":"1","volume-title":"IEEE Standard for Standard SystemC Language Reference Manual","author":"Initiative Accellera Systems","year":"2011","unstructured":"Accellera Systems Initiative . IEEE Standard for Standard SystemC Language Reference Manual . IEEE Std 1666-- 2011 (Revision of IEEE Std 1666--2005), pages 1 -- 638 , September 2012. Accellera Systems Initiative. IEEE Standard for Standard SystemC Language Reference Manual. IEEE Std 1666--2011 (Revision of IEEE Std 1666--2005), pages 1--638, September 2012."},{"key":"e_1_3_2_1_19_1","volume-title":"Embedded Systems Handbook","author":"Jantsch A.","year":"2005","unstructured":"A. Jantsch . Models of Embedded Computation . In Embedded Systems Handbook . CRC Press , 2005 . A. Jantsch. Models of Embedded Computation. In Embedded Systems Handbook. CRC Press, 2005."},{"key":"e_1_3_2_1_20_1","volume-title":"Umfelderfassung f\u00fcr den Nothalteassistenten - ein System zum automatischen Anhalten bei pl\u00f6tzlich reduzierter Fahrf\u00e4higkeit des Fahrers","author":"K\u00e4mpchen N.","year":"2010","unstructured":"N. K\u00e4mpchen , P. Waldmann , F. Homm , and M. Ardelt . Umfelderfassung f\u00fcr den Nothalteassistenten - ein System zum automatischen Anhalten bei pl\u00f6tzlich reduzierter Fahrf\u00e4higkeit des Fahrers , 2010 . N. K\u00e4mpchen, P. Waldmann, F. Homm, and M. Ardelt. Umfelderfassung f\u00fcr den Nothalteassistenten - ein System zum automatischen Anhalten bei pl\u00f6tzlich reduzierter Fahrf\u00e4higkeit des Fahrers, 2010."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"e_1_3_2_1_22_1","unstructured":"Papyrus Eclipse Project. https:\/\/www.eclipse.org\/papyrus\/.  Papyrus Eclipse Project. https:\/\/www.eclipse.org\/papyrus\/."},{"key":"e_1_3_2_1_23_1","volume-title":"TIMMO Project","author":"Partners TIMMO","year":"2009","unstructured":"TIMMO Partners . TADL : Timing Augmented Description Language Version 2. Timmo deliverable d6 , TIMMO Project , October 2009 . TIMMO Partners. TADL: Timing Augmented Description Language Version 2. Timmo deliverable d6, TIMMO Project, October 2009."},{"key":"e_1_3_2_1_24_1","volume-title":"TIMMO-2-USE Project","author":"Partners USE","year":"2012","unstructured":"TIMMO-2- USE Partners . Language Syntax , Semantics, Metamodel V2. Timmo-2-use deliverable d11 , TIMMO-2-USE Project , August 2012 . TIMMO-2-USE Partners. Language Syntax, Semantics, Metamodel V2. Timmo-2-use deliverable d11, TIMMO-2-USE Project, August 2012."},{"key":"e_1_3_2_1_25_1","volume-title":"Multiprocessor Systems-on-Chip","author":"Paul J.","year":"2004","unstructured":"J. Paul and D. Thomas . Models of Computation for Systems-on-Chips . In Ahmed A. Jerraya and Wayne Wolf, editors, Multiprocessor Systems-on-Chip , chapter 15. Morgan Kaufman Publishers , 2004 . J. Paul and D. Thomas. Models of Computation for Systems-on-Chips. In Ahmed A. Jerraya and Wayne Wolf, editors, Multiprocessor Systems-on-Chip, chapter 15. Morgan Kaufman Publishers, 2004."},{"key":"e_1_3_2_1_26_1","volume-title":"Software Engineering","author":"Reinkemeier Philipp","year":"2011","unstructured":"Philipp Reinkemeier , Ingo Stierand , Philip Rehkop , and Stefan Henkler . A pattern-based requirement specification language: Mapping automotive specific timing requirements . In Software Engineering 2011 , LNI. GI , 2011. Philipp Reinkemeier, Ingo Stierand, Philip Rehkop, and Stefan Henkler. A pattern-based requirement specification language: Mapping automotive specific timing requirements. In Software Engineering 2011, LNI. GI, 2011."},{"key":"e_1_3_2_1_27_1","volume-title":"Models of Computation: Exploring the Power of Computing","author":"Savage J.","year":"1998","unstructured":"J. Savage . Models of Computation: Exploring the Power of Computing . Addison Wesley , 1998 . J. Savage. Models of Computation: Exploring the Power of Computing. Addison Wesley, 1998."},{"key":"e_1_3_2_1_28_1","unstructured":"SPEEDS Project. http:\/\/www.accellera.org.  SPEEDS Project. http:\/\/www.accellera.org."},{"key":"e_1_3_2_1_29_1","unstructured":"Homepage of the Accellera Systems Initiative. http:\/\/www-verimag.imag.fr\/SPEEDS.html.  Homepage of the Accellera Systems Initiative. http:\/\/www-verimag.imag.fr\/SPEEDS.html."},{"key":"e_1_3_2_1_30_1","volume-title":"Models of Computation and Formal Languages","author":"Taylor R.","year":"1998","unstructured":"R. Taylor . Models of Computation and Formal Languages . Oxford University Press , New York , 1998 . R. Taylor. Models of Computation and Formal Languages. Oxford University Press, New York, 1998."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-658-05734-3","volume-title":"Handbuch Fahrerassistenzsysteme. ATZ\/MTZ-Fachbuch","author":"Winner H.","year":"2015","unstructured":"H. Winner , S. Hakuli , F. Lotz , and C. Singer . Handbuch Fahrerassistenzsysteme. ATZ\/MTZ-Fachbuch . Springer Vieweg , Wiesbaden , 3 rd edition, 2015 . H. Winner, S. Hakuli, F. Lotz, and C. Singer. Handbuch Fahrerassistenzsysteme. ATZ\/MTZ-Fachbuch. Springer Vieweg, Wiesbaden, 3rd edition, 2015.","edition":"3"}],"event":{"name":"CPS-IoT Week '19: Cyber-Physical Systems and Internet of Things Week 2019","location":"Montreal Quebec Canada","acronym":"CPS-IoT Week '19"},"container-title":["Proceedings of the Workshop on Design Automation for CPS and IoT"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313151.3313167","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3313151.3313167","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:54:00Z","timestamp":1750204440000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313151.3313167"}},"subtitle":["design approach and tooling"],"short-title":[],"issued":{"date-parts":[[2019,4,15]]},"references-count":30,"alternative-id":["10.1145\/3313151.3313167","10.1145\/3313151"],"URL":"https:\/\/doi.org\/10.1145\/3313151.3313167","relation":{},"subject":[],"published":{"date-parts":[[2019,4,15]]},"assertion":[{"value":"2019-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}