{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:38Z","timestamp":1750221278337,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,4]],"date-time":"2017-10-04T00:00:00Z","timestamp":1507075200000},"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":[[2017,10,4]]},"DOI":"10.1145\/3139258.3139265","type":"proceedings-article","created":{"date-parts":[[2017,11,8]],"date-time":"2017-11-08T13:20:39Z","timestamp":1510147239000},"page":"118-127","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Comparing trace recordings of automotive real-time software"],"prefix":"10.1145","author":[{"given":"Andreas","family":"Sailer","sequence":"first","affiliation":[{"name":"Timing-Architects Embedded Systems GmbH, Regensburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Deubzer","sequence":"additional","affiliation":[{"name":"Timing-Architects Embedded Systems GmbH, Regensburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerald","family":"L\u00fcttgen","sequence":"additional","affiliation":[{"name":"Otto-Friedrich-University Bamberg, Bamberg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Mottok","sequence":"additional","affiliation":[{"name":"Ostbayerische Technische Hochschule (OTH) Regensburg, Regensburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,4]]},"reference":[{"volume-title":"Modeling the Temporal Behavior of Complex Embedded Systems: A Reverse Engineering Approach. Licentiate Thesis","author":"Andersson Johan","key":"e_1_3_2_1_1_1","unstructured":"Johan Andersson . 2005. Modeling the Temporal Behavior of Complex Embedded Systems: A Reverse Engineering Approach. Licentiate Thesis . M\u00e4lardalen University , Sweden . Johan Andersson. 2005. Modeling the Temporal Behavior of Complex Embedded Systems: A Reverse Engineering Approach. Licentiate Thesis. M\u00e4lardalen University, Sweden."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2011.28"},{"key":"e_1_3_2_1_3_1","unstructured":"AUTOSAR. 2016. Specification of Operating System. AUTOSAR Standard SWS OS Release 4.3.0. AUTOSAR.  AUTOSAR. 2016. Specification of Operating System. AUTOSAR Standard SWS OS Release 4.3.0. AUTOSAR."},{"key":"e_1_3_2_1_4_1","unstructured":"Jerry Banks (Ed.). 1998. Handbook of Simulation: Principles Methodology Advances Applications and Practice (1 ed.). Wiley Chapter 10: Verification Validation and Testing.  Jerry Banks (Ed.). 1998. Handbook of Simulation: Principles Methodology Advances Applications and Practice (1 ed.). Wiley Chapter 10: Verification Validation and Testing."},{"volume-title":"Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications (3 ed.)","author":"Buttazzo Giorgio","key":"e_1_3_2_1_5_1","unstructured":"Giorgio Buttazzo . 2011. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications (3 ed.) . Springer . Giorgio Buttazzo. 2011. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications (3 ed.). Springer."},{"key":"e_1_3_2_1_6_1","volume-title":"7th Int. Workshop on Analysis Tools and Methodologies for Embedded and Realtime Systems - Verification Challenge. (2016","author":"Hamann Arne","year":"2016","unstructured":"Arne Hamann , Dirk Ziegenbein , Simon Kramer , and Martin Lukasiewycz . 2016 . 7th Int. Workshop on Analysis Tools and Methodologies for Embedded and Realtime Systems - Verification Challenge. (2016 ). Retrieved March 24, 2017 from https:\/\/waters2016.inria.fr\/challenge\/. Arne Hamann, Dirk Ziegenbein, Simon Kramer, and Martin Lukasiewycz. 2016. 7th Int. Workshop on Analysis Tools and Methodologies for Embedded and Realtime Systems - Verification Challenge. (2016). Retrieved March 24, 2017 from https:\/\/waters2016.inria.fr\/challenge\/."},{"key":"e_1_3_2_1_8_1","first-page":"2005","article-title":"OSEK\/VDX Operating System","volume":"17356","author":"ISO.","year":"2005","unstructured":"ISO. 2005 . OSEK\/VDX Operating System . ISO Standard 17356-3 : 2005 . International Organization for Standardization. ISO. 2005. OSEK\/VDX Operating System. ISO Standard 17356-3:2005. International Organization for Standardization.","journal-title":"ISO Standard"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939399.1939426"},{"key":"e_1_3_2_1_11_1","volume-title":"Intl. Conf. on Control, Automation and Systems. IEEE, 558--562","author":"Kum Daehyun","year":"2008","unstructured":"Daehyun Kum , Gwang-Min Park , Seonghun Lee , and Wooyoung Jung . 2008 . AUTOSAR Migration from Existing Automotive Software . In Intl. Conf. on Control, Automation and Systems. IEEE, 558--562 . Daehyun Kum, Gwang-Min Park, Seonghun Lee, and Wooyoung Jung. 2008. AUTOSAR Migration from Existing Automotive Software. In Intl. Conf. on Control, Automation and Systems. IEEE, 558--562."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1995456.1995462"},{"key":"e_1_3_2_1_13_1","volume-title":"Assessment of Trace-Differences in Timing Analysis for Complex Real-Time Embedded Systems. In Intl. Symp. on Industrial and Embedded Systems. IEEE, 284--293","author":"Lu Yue","year":"2011","unstructured":"Yue Lu , Thomas Nolte , Iain Bate , Johan Kraft , and Christer Norstr\u00f6m . 2011 . Assessment of Trace-Differences in Timing Analysis for Complex Real-Time Embedded Systems. In Intl. Symp. on Industrial and Embedded Systems. IEEE, 284--293 . Yue Lu, Thomas Nolte, Iain Bate, Johan Kraft, and Christer Norstr\u00f6m. 2011. Assessment of Trace-Differences in Timing Analysis for Complex Real-Time Embedded Systems. In Intl. Symp. on Industrial and Embedded Systems. IEEE, 284--293."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2008.118"},{"key":"e_1_3_2_1_15_1","unstructured":"Andreas Sailer. 2014. Towards an Automated Reverse Engineering of Design Models from Trace Recordings. In Jahrestagung der Gesellschaft f\u00fcr Informatik. GI 2233--2245.  Andreas Sailer. 2014. Towards an Automated Reverse Engineering of Design Models from Trace Recordings. In Jahrestagung der Gesellschaft f\u00fcr Informatik. GI 2233--2245."},{"key":"e_1_3_2_1_16_1","volume-title":"CoreTAna: A Trace Analyzer for Reverse Engineering Real-Time Software. In Intl. Conf. on Software Analysis, Evolution, and Reengineering","volume":"1","author":"Sailer Andreas","year":"2016","unstructured":"Andreas Sailer , Michael Deubzer , Gerald L\u00fcttgen , and J\u00fcrgen Mottok . 2016 . CoreTAna: A Trace Analyzer for Reverse Engineering Real-Time Software. In Intl. Conf. on Software Analysis, Evolution, and Reengineering , Vol. 1 . IEEE, 657--660. Andreas Sailer, Michael Deubzer, Gerald L\u00fcttgen, and J\u00fcrgen Mottok. 2016. CoreTAna: A Trace Analyzer for Reverse Engineering Real-Time Software. In Intl. Conf. on Software Analysis, Evolution, and Reengineering, Vol. 1. IEEE, 657--660."},{"key":"e_1_3_2_1_17_1","volume-title":"Optimizing the Task Allocation Step for Multi-Core Processors within AUTOSAR. In Intl. Conf. on Applied Electronics. IEEE.","author":"Sailer Andreas","year":"2013","unstructured":"Andreas Sailer , Stefan Schmidhuber , Michael Deubzer , Martin Alfranseder , Matthias Mucha , and J\u00fcrgen Mottok . 2013 . Optimizing the Task Allocation Step for Multi-Core Processors within AUTOSAR. In Intl. Conf. on Applied Electronics. IEEE. Andreas Sailer, Stefan Schmidhuber, Michael Deubzer, Martin Alfranseder, Matthias Mucha, and J\u00fcrgen Mottok. 2013. Optimizing the Task Allocation Step for Multi-Core Processors within AUTOSAR. In Intl. Conf. on Applied Electronics. IEEE."},{"key":"e_1_3_2_1_18_1","volume-title":"Verification and Validation of Simulation Models. In Winter Simulation Conf. IEEE, 124--137","author":"Sargent Robert G.","year":"2007","unstructured":"Robert G. Sargent . 2007 . Verification and Validation of Simulation Models. In Winter Simulation Conf. IEEE, 124--137 . Robert G. Sargent. 2007. Verification and Validation of Simulation Models. In Winter Simulation Conf. IEEE, 124--137."},{"key":"e_1_3_2_1_19_1","volume-title":"Retrieved","author":"Embedded Systems Timing-Architects","year":"2016","unstructured":"Timing-Architects Embedded Systems Gmb H. 2016 . BTF-Specification (Version 2.1.5). (January 2016) . Retrieved July 13, 2017 from https:\/\/www.eclipse.org\/app4mc\/docu\/standards\/TA_BTF_Specification_2.1.5.pdf. Timing-Architects Embedded Systems GmbH. 2016. BTF-Specification (Version 2.1.5). (January 2016). Retrieved July 13, 2017 from https:\/\/www.eclipse.org\/app4mc\/docu\/standards\/TA_BTF_Specification_2.1.5.pdf."},{"key":"e_1_3_2_1_20_1","volume-title":"TA Toolsuite Version 16.03.0","author":"Embedded Systems Timing-Architects","year":"2016","unstructured":"Timing-Architects Embedded Systems GmbH.2016. TA Toolsuite Version 16.03.0 . TA Academic & Research License Program . ( 2016 ). Retrieved March 24, 2017 from http:\/\/www.timing-architects.com. Timing-Architects Embedded Systems GmbH.2016. TA Toolsuite Version 16.03.0. TA Academic & Research License Program. (2016). Retrieved March 24, 2017 from http:\/\/www.timing-architects.com."}],"event":{"name":"RTNS '17: 25th International Conference on Real-Time Networks and Systems","acronym":"RTNS '17","location":"Grenoble France"},"container-title":["Proceedings of the 25th International Conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3139258.3139265","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3139258.3139265","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:17Z","timestamp":1750212677000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3139258.3139265"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,4]]},"references-count":18,"alternative-id":["10.1145\/3139258.3139265","10.1145\/3139258"],"URL":"https:\/\/doi.org\/10.1145\/3139258.3139265","relation":{},"subject":[],"published":{"date-parts":[[2017,10,4]]},"assertion":[{"value":"2017-10-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}