{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T09:26:51Z","timestamp":1766050011638,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,7]],"date-time":"2022-06-07T00:00:00Z","timestamp":1654560000000},"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":[[2022,6,7]]},"DOI":"10.1145\/3534879.3534898","type":"proceedings-article","created":{"date-parts":[[2022,6,6]],"date-time":"2022-06-06T16:12:47Z","timestamp":1654531967000},"page":"173-183","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Runtime Verification of AUTOSAR Timing Extensions"],"prefix":"10.1145","author":[{"given":"Max Jonas","family":"Friese","sequence":"first","affiliation":[{"name":"Mercedes-Benz AG, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hannes","family":"Kallwies","sequence":"additional","affiliation":[{"name":"Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Leucker","sequence":"additional","affiliation":[{"name":"Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Sachenbacher","sequence":"additional","affiliation":[{"name":"Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hendrik","family":"Streichhahn","sequence":"additional","affiliation":[{"name":"Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Thoma","sequence":"additional","affiliation":[{"name":"Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AUTOSAR. 2018. AUTOSAR Specification of Timing Extensions 4.4.0.  AUTOSAR. 2018. AUTOSAR Specification of Timing Extensions 4.4.0."},{"key":"e_1_3_2_1_2_1","volume-title":"Comparing LTL Semantics for Runtime Verification. J. Log. Comput. 20 (06","author":"Bauer Andreas","year":"2010","unstructured":"Andreas Bauer , Martin Leucker , and Christian Schallhart . 2010. Comparing LTL Semantics for Runtime Verification. J. Log. Comput. 20 (06 2010 ), 651\u2013674. https:\/\/doi.org\/10.1093\/logcom\/exn075 10.1093\/logcom Andreas Bauer, Martin Leucker, and Christian Schallhart. 2010. Comparing LTL Semantics for Runtime Verification. J. Log. Comput. 20 (06 2010), 651\u2013674. https:\/\/doi.org\/10.1093\/logcom\/exn075"},{"volume-title":"Critical Systems: Formal Methods and Automated Verification, Maurice\u00a0H. ter Beek","author":"Beringer Steffen","key":"e_1_3_2_1_3_1","unstructured":"Steffen Beringer and Heike Wehrheim . 2016. Verification of AUTOSAR Software Architectures with Timed Automata . In Critical Systems: Formal Methods and Automated Verification, Maurice\u00a0H. ter Beek , Stefania Gnesi, and Alexander Knapp (Eds.). Springer International Publishing , 189\u2013204. Steffen Beringer and Heike Wehrheim. 2016. Verification of AUTOSAR Software Architectures with Timed Automata. In Critical Systems: Formal Methods and Automated Verification, Maurice\u00a0H. ter Beek, Stefania Gnesi, and Alexander Knapp (Eds.). Springer International Publishing, 189\u2013204."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5220\/0009766600150026"},{"key":"e_1_3_2_1_5_1","unstructured":"Hans Blom Dr.\u00a0Lei Feng Dr.\u00a0Henrik L\u00f6nn Dr.\u00a0Johan Nordlander Stefan Kuntz Dr.\u00a0Bj\u00f6rn Lisper Dr.\u00a0Sophie Quinton Dr.\u00a0Matthias Hanke Dr. Marie-Agn\u00e8s Peraldi-Frati Dr.\u00a0Arda Goknil Dr.\u00a0Julien Deantoni Gilles\u00a0Bertrand Defo Kay Klobedanz Mesut \u00d6zhan and Olha Honcharova. 2012. TIMMO-2-USE Language syntax semantics metamodel V2.  Hans Blom Dr.\u00a0Lei Feng Dr.\u00a0Henrik L\u00f6nn Dr.\u00a0Johan Nordlander Stefan Kuntz Dr.\u00a0Bj\u00f6rn Lisper Dr.\u00a0Sophie Quinton Dr.\u00a0Matthias Hanke Dr. Marie-Agn\u00e8s Peraldi-Frati Dr.\u00a0Arda Goknil Dr.\u00a0Julien Deantoni Gilles\u00a0Bertrand Defo Kay Klobedanz Mesut \u00d6zhan and Olha Honcharova. 2012. TIMMO-2-USE Language syntax semantics metamodel V2."},{"volume-title":"SBMF(LNCS)","author":"Convent Lukas","key":"e_1_3_2_1_6_1","unstructured":"Lukas Convent , Sebastian Hungerecker , Martin Leucker , Torben Scheffel , Malte Schmitz , and Daniel Thoma . 2018. TeSSLa: Temporal Stream-based Specification Language . In SBMF(LNCS) . Springer . Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, and Daniel Thoma. 2018. TeSSLa: Temporal Stream-based Specification Language. In SBMF(LNCS). Springer."},{"key":"e_1_3_2_1_7_1","volume-title":"RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings(Lecture Notes in Computer Science, Vol.\u00a011237)","author":"Convent Lukas","year":"2018","unstructured":"Lukas Convent , Sebastian Hungerecker , Torben Scheffel , Malte Schmitz , Daniel Thoma , and Alexander Weiss . 2018 . Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. In Runtime Verification - 18th International Conference , RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings(Lecture Notes in Computer Science, Vol.\u00a011237) , Christian Colombo and Martin Leucker (Eds.). Springer, 43\u201363. https:\/\/doi.org\/10.1007\/978-3-030-03769-7_5 10.1007\/978-3-030-03769-7_5 Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, and Alexander Weiss. 2018. Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. In Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings(Lecture Notes in Computer Science, Vol.\u00a011237), Christian Colombo and Martin Leucker (Eds.). Springer, 43\u201363. https:\/\/doi.org\/10.1007\/978-3-030-03769-7_5"},{"key":"e_1_3_2_1_8_1","volume-title":"Automation Test in Europe Conference Exhibition (DATE). 851\u2013856","author":"Decker N.","year":"2018","unstructured":"N. Decker , B. Dreyer , P. Gottschling , C. Hochberger , A. Lange , M. Leucker , T. Scheffel , S. Wegener , and A. Weiss . 2018. Online analysis of debug trace data for embedded systems. In 2018 Design , Automation Test in Europe Conference Exhibition (DATE). 851\u2013856 . https:\/\/doi.org\/10.23919\/DATE. 2018 .8342124 10.23919\/DATE.2018.8342124 N. Decker, B. Dreyer, P. Gottschling, C. Hochberger, A. Lange, M. Leucker, T. Scheffel, S. Wegener, and A. Weiss. 2018. Online analysis of debug trace data for embedded systems. In 2018 Design, Automation Test in Europe Conference Exhibition (DATE). 851\u2013856. https:\/\/doi.org\/10.23919\/DATE.2018.8342124"},{"key":"e_1_3_2_1_9_1","volume-title":"SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings(Lecture Notes in Computer Science, Vol.\u00a010623)","author":"Decker Normann","year":"2017","unstructured":"Normann Decker , Philip Gottschling , Christian Hochberger , Martin Leucker , Torben Scheffel , Malte Schmitz , and Alexander Weiss . 2017 . Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems. In Formal Methods: Foundations and Applications - 20th Brazilian Symposium , SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings(Lecture Notes in Computer Science, Vol.\u00a010623) , Simone\u00a0Andr\u00e9 da\u00a0Costa\u00a0Cavalheiroand Jos\u00e9\u00a0Luiz Fiadeiro (Eds.). Springer, 179\u2013196. https:\/\/doi.org\/10.1007\/978-3-319-70848-5_12 10.1007\/978-3-319-70848-5_12 Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, and Alexander Weiss. 2017. Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems. In Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings(Lecture Notes in Computer Science, Vol.\u00a010623), Simone\u00a0Andr\u00e9 da\u00a0Costa\u00a0Cavalheiroand Jos\u00e9\u00a0Luiz Fiadeiro (Eds.). Springer, 179\u2013196. https:\/\/doi.org\/10.1007\/978-3-319-70848-5_12"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5220\/0009512904770489"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5220\/0009095000260038"},{"key":"e_1_3_2_1_12_1","volume-title":"TADL: Timing Augmented Description Language version 2","author":"Johansson Rolf","year":"2009","unstructured":"Rolf Johansson , Patrick Frey , Jan Jonsson , Johan Nordlander , Risat\u00a0Mahmud Pathan , Nico Feiertag , Martin Schlager , Huascar Espinoza , Kai Richter , Stefan Kuntz , Henrik L\u00f6nn , Ramin\u00a0Tavakoli Kolagari , and Hans Blom . 2009 . TADL: Timing Augmented Description Language version 2 . http:\/\/adt.cs.upb.de\/timmo-2-use\/timmo\/pdf\/D6_TIMMO_TADL_Version_2_v12.pdf. Accessed: 2021-10-18. Rolf Johansson, Patrick Frey, Jan Jonsson, Johan Nordlander, Risat\u00a0Mahmud Pathan, Nico Feiertag, Martin Schlager, Huascar Espinoza, Kai Richter, Stefan Kuntz, Henrik L\u00f6nn, Ramin\u00a0Tavakoli Kolagari, and Hans Blom. 2009. TADL: Timing Augmented Description Language version 2. http:\/\/adt.cs.upb.de\/timmo-2-use\/timmo\/pdf\/D6_TIMMO_TADL_Version_2_v12.pdf. Accessed: 2021-10-18."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2016.2527624"},{"volume-title":"Formal Methods for Industrial Critical Systems, Manuel N\u00fa\u00f1ez and Matthias G\u00fcdemann (Eds.)","author":"Kim Jin\u00a0Hyun","key":"e_1_3_2_1_14_1","unstructured":"Jin\u00a0Hyun Kim , Kim\u00a0 G. Larsen , Brian Nielsen , Marius Miku\u010dionis , and Petur Olsen . 2015. Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools . In Formal Methods for Industrial Critical Systems, Manuel N\u00fa\u00f1ez and Matthias G\u00fcdemann (Eds.) . Springer International Publishing , Cham , 47\u201361. Jin\u00a0Hyun Kim, Kim\u00a0G. Larsen, Brian Nielsen, Marius Miku\u010dionis, and Petur Olsen. 2015. Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. In Formal Methods for Industrial Critical Systems, Manuel N\u00fa\u00f1ez and Matthias G\u00fcdemann (Eds.). Springer International Publishing, Cham, 47\u201361."},{"key":"e_1_3_2_1_15_1","volume-title":"Automation and Test in Europe. DATE","author":"Klobedanz Kay","year":"2010","unstructured":"Kay Klobedanz , Christoph Kuznik , Andreas Thuy , and Wolfgang M\u00fcller . 2010 . Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. In Design , Automation and Test in Europe. DATE 2010, Dresden, Germany, 642 \u2013 645. Kay Klobedanz, Christoph Kuznik, Andreas Thuy, and Wolfgang M\u00fcller. 2010. Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. In Design, Automation and Test in Europe. DATE 2010, Dresden, Germany, 642 \u2013 645."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34032-1_12"},{"key":"e_1_3_2_1_18_1","volume-title":"Embedded Real Time Software and Systems (ERTS2012).","author":"Scheickl Oliver","year":"1918","unstructured":"Oliver Scheickl , Christoph Ainhauser , and Peter Gliwa . 2012. Tool Support for Seamless System Development based on AUTOSAR Timing Extensions . In Embedded Real Time Software and Systems (ERTS2012). Toulouse, France . https:\/\/hal.archives-ouvertes.fr\/hal-02 1918 44 Oliver Scheickl, Christoph Ainhauser, and Peter Gliwa. 2012. Tool Support for Seamless System Development based on AUTOSAR Timing Extensions. In Embedded Real Time Software and Systems (ERTS2012). Toulouse, France. https:\/\/hal.archives-ouvertes.fr\/hal-02191844"},{"volume-title":"Automotive Software Architectures - An Introduction","author":"Staron Miroslaw","key":"e_1_3_2_1_19_1","unstructured":"Miroslaw Staron . 2021. Automotive Software Architectures - An Introduction , Second Edition. Springer . https:\/\/doi.org\/10.1007\/978-3-030-65939-4 10.1007\/978-3-030-65939-4 Miroslaw Staron. 2021. Automotive Software Architectures - An Introduction, Second Edition. Springer. https:\/\/doi.org\/10.1007\/978-3-030-65939-4"},{"key":"e_1_3_2_1_20_1","unstructured":"Hendrik Streichhahn. 2021. Monitoring of the AUTOSAR Timing Extensions with TeSSLa. https:\/\/github.com\/HendrikStreichhahn\/Bachelorarbeit\/blob\/master\/thesis.pdf  Hendrik Streichhahn. 2021. Monitoring of the AUTOSAR Timing Extensions with TeSSLa. https:\/\/github.com\/HendrikStreichhahn\/Bachelorarbeit\/blob\/master\/thesis.pdf"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2020.3029975"}],"event":{"name":"RTNS 2022: The 30th International Conference on Real-Time Networks and Systems","acronym":"RTNS 2022","location":"Paris France"},"container-title":["Proceedings of the 30th International Conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3534879.3534898","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3534879.3534898","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:53Z","timestamp":1750186973000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3534879.3534898"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,7]]},"references-count":21,"alternative-id":["10.1145\/3534879.3534898","10.1145\/3534879"],"URL":"https:\/\/doi.org\/10.1145\/3534879.3534898","relation":{},"subject":[],"published":{"date-parts":[[2022,6,7]]},"assertion":[{"value":"2022-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}