{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:02Z","timestamp":1750220882476,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T00:00:00Z","timestamp":1564963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"German Federal Ministry of Education and Research (BMBF)","award":["01IS16025"],"award-info":[{"award-number":["01IS16025"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,8,5]]},"DOI":"10.1145\/3339186.3339195","type":"proceedings-article","created":{"date-parts":[[2019,7,22]],"date-time":"2019-07-22T12:18:25Z","timestamp":1563797905000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Rapid Identification of Shared Memory in Multithreaded Embedded Systems with Static Scheduling"],"prefix":"10.1145","author":[{"given":"Jasmin","family":"Jahi\u0107","sequence":"first","affiliation":[{"name":"Fraunhofer IESE, Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Varun","family":"Kumar","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG, Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Jung","sequence":"additional","affiliation":[{"name":"Fraunhofer IESE, Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Wirrer","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG, Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norbert","family":"Wehn","sequence":"additional","affiliation":[{"name":"University of Kaiserslautern, Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Kuhn","sequence":"additional","affiliation":[{"name":"Fraunhofer IESE, Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,8,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"17\n    June 1998. OSEK\/VDX Communication Specification 2.1 revision 1.  17 June 1998. OSEK\/VDX Communication Specification 2.1 revision 1."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2707089"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837476.2837480"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium -","volume":"1","author":"Christiaens Mark","year":"2001","unstructured":"Mark Christiaens and Koen De Bosschere . 2001 . TRaDe, a Topological Approach to On-the-fly Race Detection in Java Programs . In Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1 (JVM'01). USENIX Association, Berkeley, CA, USA, 15--15. http:\/\/dl.acm.org\/citation.cfm?id=1267847.1267862 Mark Christiaens and Koen De Bosschere. 2001. TRaDe, a Topological Approach to On-the-fly Race Detection in Java Programs. In Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1 (JVM'01). USENIX Association, Berkeley, CA, USA, 15--15. http:\/\/dl.acm.org\/citation.cfm?id=1267847.1267862"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509539"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1839676.1839698"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2007.346191"},{"key":"e_1_3_2_1_9_1","volume-title":"16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016)","volume":"55","author":"Falk Heiko","year":"2016","unstructured":"Heiko Falk , Sebastian Altmeyer , Peter Hellinckx , Bj\u00f6rn Lisper , Wolfgang Puffitsch , Christine Rochange , Martin Schoeberl , Rasmus Bo S\u00f8rensen , Peter W\u00e4gemann , and Simon Wegener . 2016 . TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research . In 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) (OpenAccess Series in Informatics (OASIcs)), Martin Schoeberl (Ed.) , Vol. 55 . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2:1--2:10. Heiko Falk, Sebastian Altmeyer, Peter Hellinckx, Bj\u00f6rn Lisper, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Rasmus Bo S\u00f8rensen, Peter W\u00e4gemann, and Simon Wegener. 2016. TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research. In 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) (OpenAccess Series in Informatics (OASIcs)), Martin Schoeberl (Ed.), Vol. 55. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2:1--2:10."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.12.001"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1999.1574"},{"volume-title":"A Framework for Non-intrusive Trace-driven Simulation of Manycore Architectures with Dynamic Tracing Configuration","author":"Jahic Jasmin","key":"e_1_3_2_1_13_1","unstructured":"Jasmin Jahic , Matthias Jung , Thomas Kuhn , Claus Kestel , and Norbert Wehn . 2018. A Framework for Non-intrusive Trace-driven Simulation of Manycore Architectures with Dynamic Tracing Configuration . In Runtime Verification, Christian Colombo and Martin Leucker (Eds.). Springer International Publishing , Cham , 458--468. Jasmin Jahic, Matthias Jung, Thomas Kuhn, Claus Kestel, and Norbert Wehn. 2018. A Framework for Non-intrusive Trace-driven Simulation of Manycore Architectures with Dynamic Tracing Configuration. In Runtime Verification, Christian Colombo and Martin Leucker (Eds.). Springer International Publishing, Cham, 458--468."},{"volume-title":"2017 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS). 233--238","author":"Jahi\u0107 J.","key":"e_1_3_2_1_14_1","unstructured":"J. Jahi\u0107 , T. Kuhn , M. Jung , and N. Wehn . 2017. Supervised testing of concurrent software in embedded systems . In 2017 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS). 233--238 . J. Jahi\u0107, T. Kuhn, M. Jung, and N. Wehn. 2017. Supervised testing of concurrent software in embedded systems. In 2017 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS). 233--238."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-014-0313-x"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_17_1","volume-title":"Paul De Meulenaere, and Peter Hellinckx","author":"Li Haoxuan","year":"2017","unstructured":"Haoxuan Li , Paul De Meulenaere, and Peter Hellinckx . 2017 . Powerwindow: a Multi-component TACLeBench Benchmark for Timing Analysis. In Advances on P2P, Parallel, Grid, Cloud and Internet Computing, Fatos Xhafa, Leonard Barolli, and Flora Amato (Eds.). Springer International Publishing , Cham, 779--788. Haoxuan Li, Paul De Meulenaere, and Peter Hellinckx. 2017. Powerwindow: a Multi-component TACLeBench Benchmark for Timing Analysis. In Advances on P2P, Parallel, Grid, Cloud and Internet Computing, Fatos Xhafa, Leonard Barolli, and Flora Amato (Eds.). Springer International Publishing, Cham, 779--788."},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 3rd Conference on Virtual Machine Research And Technology Symposium -","volume":"3","author":"Nishiyama Hiroyasu","year":"2004","unstructured":"Hiroyasu Nishiyama . 2004 . Detecting Data Races Using Dynamic Escape Analysis Based on Read Barrier . In Proceedings of the 3rd Conference on Virtual Machine Research And Technology Symposium - Volume 3 (VM'04). USENIX Association, Berkeley, CA, USA, 10--10. http:\/\/dl.acm.org\/citation.cfm?id=1267242.1267252 Hiroyasu Nishiyama. 2004. Detecting Data Races Using Dynamic Escape Analysis Based on Read Barrier. In Proceedings of the 3rd Conference on Virtual Machine Research And Technology Symposium - Volume 3 (VM'04). USENIX Association, Berkeley, CA, USA, 10--10. http:\/\/dl.acm.org\/citation.cfm?id=1267242.1267252"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781529"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639622.1639627"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181309.1181315"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 2014 Forum on Specification and Design Languages (FDL)","volume":"3","author":"Sen A.","unstructured":"A. Sen and O. Kalaci . 2014. Hybrid dynamic data race detection in systemC . In Proceedings of the 2014 Forum on Specification and Design Languages (FDL) , Vol. 978-2-9530504-9- 3 . 1--6. A. Sen and O. Kalaci. 2014. Hybrid dynamic data race detection in systemC. In Proceedings of the 2014 Forum on Specification and Design Languages (FDL), Vol. 978-2-9530504-9-3. 1--6."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504288"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451120"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/223982.223990"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"J. Yang C. Yang and W. K. Chan. 2016. HistLock: Efficient and Sound Hybrid Detection of Hidden Predictive Data Races with Functional Contexts. In 2016 IEEE International Conference on Software Quality Reliability and Security (QRS). 13--24.  J. Yang C. Yang and W. K. Chan. 2016. HistLock: Efficient and Sound Hybrid Detection of Hidden Predictive Data Races with Functional Contexts. In 2016 IEEE International Conference on Software Quality Reliability and Security (QRS). 13--24.","DOI":"10.1109\/QRS.2016.12"},{"volume-title":"2016 17th IEEE\/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD). 293--300","author":"Yang Z.","key":"e_1_3_2_1_29_1","unstructured":"Z. Yang , Z. Yu , X. Su , and P. Ma . 2016. RaceTracker: Effective and efficient detection of data races . In 2016 17th IEEE\/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD). 293--300 . Z. Yang, Z. Yu, X. Su, and P. Ma. 2016. RaceTracker: Effective and efficient detection of data races. In 2016 17th IEEE\/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD). 293--300."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/PDCAT.2013.15"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095832"}],"event":{"name":"ICPP 2019: Workshops","sponsor":["University of Tsukuba University of Tsukuba"],"location":"Kyoto Japan","acronym":"ICPP 2019"},"container-title":["Workshop Proceedings of the 48th International Conference on Parallel Processing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3339186.3339195","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3339186.3339195","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:17Z","timestamp":1750203857000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3339186.3339195"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,5]]},"references-count":31,"alternative-id":["10.1145\/3339186.3339195","10.1145\/3339186"],"URL":"https:\/\/doi.org\/10.1145\/3339186.3339195","relation":{},"subject":[],"published":{"date-parts":[[2019,8,5]]},"assertion":[{"value":"2019-08-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}