{"id":"https://openalex.org/W4281810872","doi":"https://doi.org/10.1145/3534879.3534898","title":"Runtime Verification of AUTOSAR Timing Extensions","display_name":"Runtime Verification of AUTOSAR Timing Extensions","publication_year":2022,"publication_date":"2022-06-06","ids":{"openalex":"https://openalex.org/W4281810872","doi":"https://doi.org/10.1145/3534879.3534898"},"language":"en","primary_location":{"id":"doi:10.1145/3534879.3534898","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3534879.3534898","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th International Conference on Real-Time Networks and Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036646810","display_name":"Max J. Friese","orcid":null},"institutions":[{"id":"https://openalex.org/I1332474105","display_name":"Mercedes-Benz (Germany)","ror":"https://ror.org/055rn2a38","country_code":"DE","type":"company","lineage":["https://openalex.org/I1332474105"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Max Jonas Friese","raw_affiliation_strings":["Mercedes-Benz AG, Germany"],"affiliations":[{"raw_affiliation_string":"Mercedes-Benz AG, Germany","institution_ids":["https://openalex.org/I1332474105"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063294497","display_name":"Hannes Kallwies","orcid":"https://orcid.org/0000-0002-8301-4752"},"institutions":[{"id":"https://openalex.org/I9341345","display_name":"University of L\u00fcbeck","ror":"https://ror.org/00t3r8h32","country_code":"DE","type":"education","lineage":["https://openalex.org/I9341345"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hannes Kallwies","raw_affiliation_strings":["Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany","institution_ids":["https://openalex.org/I9341345"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002397514","display_name":"Martin Leucker","orcid":"https://orcid.org/0000-0002-3696-9222"},"institutions":[{"id":"https://openalex.org/I9341345","display_name":"University of L\u00fcbeck","ror":"https://ror.org/00t3r8h32","country_code":"DE","type":"education","lineage":["https://openalex.org/I9341345"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin Leucker","raw_affiliation_strings":["Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany","institution_ids":["https://openalex.org/I9341345"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038716393","display_name":"Martin Sachenbacher","orcid":"https://orcid.org/0000-0002-5418-1885"},"institutions":[{"id":"https://openalex.org/I9341345","display_name":"University of L\u00fcbeck","ror":"https://ror.org/00t3r8h32","country_code":"DE","type":"education","lineage":["https://openalex.org/I9341345"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin Sachenbacher","raw_affiliation_strings":["Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany","institution_ids":["https://openalex.org/I9341345"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055280513","display_name":"Hendrik Streichhahn","orcid":null},"institutions":[{"id":"https://openalex.org/I9341345","display_name":"University of L\u00fcbeck","ror":"https://ror.org/00t3r8h32","country_code":"DE","type":"education","lineage":["https://openalex.org/I9341345"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hendrik Streichhahn","raw_affiliation_strings":["Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany","institution_ids":["https://openalex.org/I9341345"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064112443","display_name":"Daniel Thoma","orcid":null},"institutions":[{"id":"https://openalex.org/I9341345","display_name":"University of L\u00fcbeck","ror":"https://ror.org/00t3r8h32","country_code":"DE","type":"education","lineage":["https://openalex.org/I9341345"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Daniel Thoma","raw_affiliation_strings":["Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany","institution_ids":["https://openalex.org/I9341345"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5036646810"],"corresponding_institution_ids":["https://openalex.org/I1332474105"],"apc_list":null,"apc_paid":null,"fwci":0.9085,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.70848846,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"173","last_page":"183"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/autosar","display_name":"AUTOSAR","score":0.930838406085968},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7513232231140137},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.627967894077301},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44310688972473145},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4394567310810089},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35527318716049194},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.13040292263031006}],"concepts":[{"id":"https://openalex.org/C2778602020","wikidata":"https://www.wikidata.org/wiki/Q300113","display_name":"AUTOSAR","level":3,"score":0.930838406085968},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7513232231140137},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.627967894077301},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44310688972473145},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4394567310810089},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35527318716049194},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.13040292263031006}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3534879.3534898","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3534879.3534898","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th International Conference on Real-Time Networks and Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5899999737739563}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1853212148","https://openalex.org/W1975880855","https://openalex.org/W2101623441","https://openalex.org/W2331669330","https://openalex.org/W2767243782","https://openalex.org/W2899534862","https://openalex.org/W3012406169","https://openalex.org/W3027034639","https://openalex.org/W3043255546","https://openalex.org/W3124443980","https://openalex.org/W3134927603","https://openalex.org/W4255546500"],"related_works":["https://openalex.org/W2532496053","https://openalex.org/W2186736550","https://openalex.org/W2543653967","https://openalex.org/W2544276806","https://openalex.org/W4382050527","https://openalex.org/W2406499533","https://openalex.org/W2809618173","https://openalex.org/W3036403349","https://openalex.org/W1968510839","https://openalex.org/W2950360254"],"abstract_inverted_index":{"Meeting":[0],"timing":[1,32,40,73,140,159,182,234],"requirements":[2],"is":[3,98],"essential":[4],"for":[5,30,90,174],"the":[6,16,19,148,163,171,186,192,217],"correct":[7],"behavior":[8],"of":[9,72,93,106,119,150,154,181],"embedded":[10],"systems":[11],"in":[12,42,54,191],"today\u2019s":[13],"vehicles.":[14],"In":[15,126],"automotive":[17,249],"domain,":[18],"AUTOSAR":[20,139,155,187],"Timing":[21],"Extensions":[22],"are":[23,231,236],"a":[24,43,88,99,107,179,212],"widely":[25],"used":[26,136],"and":[27,66,83,114,156,188,208,242],"accepted":[28],"standard":[29],"specifying":[31],"requirements.":[33],"Previous":[34],"work":[35],"focused":[36],"on":[37,117,142,216,222,238],"defining":[38],"such":[39,51,61,225],"constraints":[41,141,164,190],"mathematically":[44],"precise":[45],"way,":[46],"using":[47,121],"timing-augmented":[48],"description":[49],"languages":[50],"as":[52,62,109,226],"TADL2,":[53],"order":[55],"to":[56,111,137,166,211],"perform":[57],"offline":[58],"system":[59,80,94,143],"analysis":[60],"automated":[63],"model":[64],"checking":[65],"verification.":[67],"However,":[68],"not":[69],"all":[70],"types":[71,153],"specification":[74,195],"violations":[75],"can":[76,134,203],"be":[77,135,205],"detected":[78],"at":[79],"development":[81],"time,":[82],"sporadic":[84],"rare":[85],"events":[86,120],"require":[87],"capability":[89],"long-term":[91],"observation":[92],"behavior.":[95],"Runtime":[96],"verification":[97,133],"formal":[100],"method":[101],"that":[102,162,184],"considers":[103],"actual":[104],"runs":[105],"system,":[108],"opposed":[110],"static":[112],"analysis,":[113],"checks":[115],"properties":[116],"streams":[118],"monitors":[122,202],"constructed":[123],"from":[124,246],"specifications.":[125],"this":[127],"paper,":[128],"we":[129,146,177],"investigate":[130],"how":[131],"runtime":[132],"monitor":[138],"traces.":[144],"First,":[145],"analyze":[147],"complexity":[149],"monitoring":[151],"different":[152,167],"related":[157],"TADL2":[158,189],"constraints,":[160],"finding":[161],"belong":[165],"classes":[168],"defined":[169],"by":[170],"resources":[172],"required":[173],"monitoring.":[175],"Second,":[176],"present":[178],"library":[180],"specifications":[183,235],"implements":[185],"temporal":[193],"stream-based":[194],"language":[196],"TeSSLa.":[197],"From":[198],"these":[199],"TeSSLa":[200],"specifications,":[201],"then":[204],"automatically":[206],"generated":[207,240],"either":[209],"compiled":[210],"Scala":[213],"program":[214],"executed":[215],"JVM,":[218],"or":[219],"alternatively":[220],"run":[221],"specialized":[223],"hardware":[224],"FPGAs.":[227],"Finally,":[228],"experimental":[229],"results":[230],"presented":[232],"where":[233],"monitored":[237],"synthetically":[239],"traces":[241,244],"real-world":[243],"obtained":[245],"an":[247],"industrial":[248],"application.":[250]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}