{"id":"https://openalex.org/W1990879719","doi":"https://doi.org/10.1145/2744769.2744906","title":"Security analysis of automotive architectures using probabilistic model checking","display_name":"Security analysis of automotive architectures using probabilistic model checking","publication_year":2015,"publication_date":"2015-06-02","ids":{"openalex":"https://openalex.org/W1990879719","doi":"https://doi.org/10.1145/2744769.2744906","mag":"1990879719"},"language":"en","primary_location":{"id":"doi:10.1145/2744769.2744906","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2744769.2744906","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 52nd Annual Design Automation Conference","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/A5057279314","display_name":"Philipp Mundhenk","orcid":"https://orcid.org/0000-0001-6132-3901"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Philipp Mundhenk","raw_affiliation_strings":["TUM CREATE, Singapore"],"affiliations":[{"raw_affiliation_string":"TUM CREATE, Singapore","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080174920","display_name":"Sebastian Steinhorst","orcid":"https://orcid.org/0000-0002-4096-2584"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sebastian Steinhorst","raw_affiliation_strings":["TUM CREATE, Singapore"],"affiliations":[{"raw_affiliation_string":"TUM CREATE, Singapore","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043887536","display_name":"Martin Lukasiewycz","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martin Lukasiewycz","raw_affiliation_strings":["TUM CREATE, Singapore"],"affiliations":[{"raw_affiliation_string":"TUM CREATE, Singapore","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032556461","display_name":"Suhaib A. Fahmy","orcid":"https://orcid.org/0000-0003-0568-5048"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Suhaib A. Fahmy","raw_affiliation_strings":["Nanyang Technological University, Singapore","School of Computer Engineering, Nanyang Technological University,,Singapore"],"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]},{"raw_affiliation_string":"School of Computer Engineering, Nanyang Technological University,,Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100737286","display_name":"Samarjit Chakraborty","orcid":"https://orcid.org/0000-0002-0503-6235"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Samarjit Chakraborty","raw_affiliation_strings":["TU Munich, Germany","TU Munich; Germany"],"affiliations":[{"raw_affiliation_string":"TU Munich, Germany","institution_ids":[]},{"raw_affiliation_string":"TU Munich; Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5057279314"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":14.6973,"has_fulltext":false,"cited_by_count":46,"citation_normalized_percentile":{"value":0.99090256,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9908999800682068,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9860000014305115,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.7850600481033325},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7816057205200195},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6450294852256775},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5032216906547546},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5018086433410645},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.4684826135635376},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.4623604416847229},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.4421558678150177},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3980259299278259},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3839229941368103},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18725734949111938},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.15490835905075073},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14766785502433777},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12416589260101318}],"concepts":[{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.7850600481033325},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7816057205200195},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6450294852256775},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5032216906547546},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5018086433410645},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4684826135635376},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.4623604416847229},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.4421558678150177},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3980259299278259},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3839229941368103},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18725734949111938},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.15490835905075073},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14766785502433777},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12416589260101318},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2744769.2744906","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2744769.2744906","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 52nd Annual Design Automation Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4000000059604645,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W87635799","https://openalex.org/W1862398452","https://openalex.org/W2018209358","https://openalex.org/W2022669452","https://openalex.org/W2042529046","https://openalex.org/W2068173259","https://openalex.org/W2072705087","https://openalex.org/W2104588447","https://openalex.org/W2116520617","https://openalex.org/W2126783795","https://openalex.org/W2176412652"],"related_works":["https://openalex.org/W4382644535","https://openalex.org/W2522768275","https://openalex.org/W2352938035","https://openalex.org/W2351672553","https://openalex.org/W2373392303","https://openalex.org/W2765894405","https://openalex.org/W1884735063","https://openalex.org/W2372668238","https://openalex.org/W4226126548","https://openalex.org/W2560421750"],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"a":[3,94],"novel":[4],"approach":[5,35],"to":[6],"security":[7,25,40],"analysis":[8],"of":[9,19,23,38,41,106,122,130],"automotive":[10,31,57],"architectures":[11],"at":[12,66],"the":[13,30,39,52,56,67,120,128],"system-level.":[14],"With":[15],"an":[16,74,84],"increasing":[17],"amount":[18],"software":[20],"and":[21,44,62,77,102,109],"connectedness":[22],"cars,":[24],"challenges":[26],"are":[27,64,81],"emerging":[28],"in":[29,51,104],"domain.":[32],"Our":[33],"proposed":[34],"enables":[36],"assessment":[37],"architecture":[42,92],"variants":[43],"can":[45],"be":[46],"used":[47],"by":[48],"decision":[49],"makers":[50],"design":[53],"process.":[54],"First,":[55],"Electronic":[58],"Control":[59],"Units":[60],"(ECUs)":[61],"networks":[63],"modelled":[65],"system-level":[68],"using":[69,111],"parameters":[70,131],"per":[71],"component,":[72],"including":[73],"exploitability":[75],"score":[76],"patching":[78],"rates":[79],"that":[80],"derived":[82],"from":[83],"automated":[85],"or":[86],"manual":[87],"assessment.":[88],"For":[89],"any":[90],"specific":[91],"variant,":[93],"Continuous-Time":[95],"Markov":[96],"Chain":[97],"(CTMC)":[98],"model":[99,113],"is":[100],"determined":[101],"analyzed":[103],"terms":[105],"confidentiality,":[107],"integrity":[108],"availability,":[110],"probabilistic":[112],"checking.":[114],"The":[115],"introduced":[116],"case":[117],"study":[118],"demonstrates":[119],"applicability":[121],"our":[123],"approach,":[124],"enabling,":[125],"for":[126,136],"instance,":[127],"exploration":[129],"like":[132],"patch":[133],"rate":[134],"targets":[135],"ECU":[137],"manufacturers.":[138]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":11},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}