{"id":"https://openalex.org/W4385322268","doi":"https://doi.org/10.1109/iv55152.2023.10186605","title":"Automated Design Space Exploration for Resource Allocation in Software-Defined Vehicles","display_name":"Automated Design Space Exploration for Resource Allocation in Software-Defined Vehicles","publication_year":2023,"publication_date":"2023-06-04","ids":{"openalex":"https://openalex.org/W4385322268","doi":"https://doi.org/10.1109/iv55152.2023.10186605"},"language":"en","primary_location":{"id":"doi:10.1109/iv55152.2023.10186605","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iv55152.2023.10186605","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE Intelligent Vehicles Symposium (IV)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://mediatum.ub.tum.de/1711603","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044952814","display_name":"Fengjunjie Pan","orcid":"https://orcid.org/0009-0005-8303-1156"},"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":true,"raw_author_name":"Fengjunjie Pan","raw_affiliation_strings":["Technical University of Munich,Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology,Munich,Germany","Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology, Technical University of Munich, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology,Munich,Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology, Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100959953","display_name":"Jianjie Lin","orcid":"https://orcid.org/0000-0002-8259-6957"},"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":"Jianjie Lin","raw_affiliation_strings":["Technical University of Munich,Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology,Munich,Germany","Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology, Technical University of Munich, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology,Munich,Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology, Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003833130","display_name":"Markus Rickert","orcid":"https://orcid.org/0000-0001-6264-0888"},"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":"Markus Rickert","raw_affiliation_strings":["Technical University of Munich,Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology,Munich,Germany","Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology, Technical University of Munich, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology,Munich,Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology, Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063781430","display_name":"Alois Knoll","orcid":"https://orcid.org/0000-0003-4840-076X"},"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":"Alois Knoll","raw_affiliation_strings":["Technical University of Munich,Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology,Munich,Germany","Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology, Technical University of Munich, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology,Munich,Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology, Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5044952814"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":3.0756,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.9200691,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9984999895095825,"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.9984999895095825,"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.9927999973297119,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9926000237464905,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6550110578536987},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5604396462440491},{"id":"https://openalex.org/keywords/resource-allocation","display_name":"Resource allocation","score":0.5224708318710327},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.5043729543685913},{"id":"https://openalex.org/keywords/design-space-exploration","display_name":"Design space exploration","score":0.5020847320556641},{"id":"https://openalex.org/keywords/space-exploration","display_name":"Space exploration","score":0.4876945912837982},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4699934422969818},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3732873201370239},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35718339681625366},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.2599375247955322},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.21768537163734436},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.16218814253807068},{"id":"https://openalex.org/keywords/aerospace-engineering","display_name":"Aerospace engineering","score":0.13894027471542358},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.08162662386894226}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6550110578536987},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5604396462440491},{"id":"https://openalex.org/C29202148","wikidata":"https://www.wikidata.org/wiki/Q287260","display_name":"Resource allocation","level":2,"score":0.5224708318710327},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.5043729543685913},{"id":"https://openalex.org/C2776221188","wikidata":"https://www.wikidata.org/wiki/Q21072556","display_name":"Design space exploration","level":2,"score":0.5020847320556641},{"id":"https://openalex.org/C104060986","wikidata":"https://www.wikidata.org/wiki/Q180046","display_name":"Space exploration","level":2,"score":0.4876945912837982},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4699934422969818},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3732873201370239},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35718339681625366},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2599375247955322},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.21768537163734436},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.16218814253807068},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.13894027471542358},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.08162662386894226}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/iv55152.2023.10186605","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iv55152.2023.10186605","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE Intelligent Vehicles Symposium (IV)","raw_type":"proceedings-article"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1711603","is_oa":true,"landing_page_url":"https://mediatum.ub.tum.de/1711603","pdf_url":null,"source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:oai:mediatum.ub.tum.de:node/1711603","is_oa":true,"landing_page_url":"https://mediatum.ub.tum.de/1711603","pdf_url":null,"source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"ConferencePaper"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1523800097","https://openalex.org/W2042721203","https://openalex.org/W2159595840","https://openalex.org/W2772718494","https://openalex.org/W2774867854","https://openalex.org/W2902521981","https://openalex.org/W3012210281","https://openalex.org/W3021334088","https://openalex.org/W3021376903","https://openalex.org/W3043387115","https://openalex.org/W3127604390","https://openalex.org/W3140501928","https://openalex.org/W3196451456","https://openalex.org/W4200209159","https://openalex.org/W4301000707","https://openalex.org/W4308069122","https://openalex.org/W6626490269","https://openalex.org/W6631359890","https://openalex.org/W6683303659"],"related_works":["https://openalex.org/W2034700470","https://openalex.org/W2579738641","https://openalex.org/W1668810364","https://openalex.org/W2145929661","https://openalex.org/W4301487246","https://openalex.org/W2010254791","https://openalex.org/W164001464","https://openalex.org/W4205775512","https://openalex.org/W2073925076","https://openalex.org/W185349370"],"abstract_inverted_index":{"Modern":[0],"vehicles":[1,22,40],"include":[2],"an":[3,139],"increasing":[4],"amount":[5],"of":[6,89,106,218,225],"software,":[7],"e.g.,":[8],"for":[9,57],"autonomous":[10],"driving":[11],"capabilities,":[12],"connectivity,":[13],"and":[14,51,82,141,162,185,236],"personalized":[15],"user":[16],"experience.":[17],"The":[18,171],"capabilities":[19],"in":[20,93,102,115,151,228],"current":[21,34],"are":[23],"still":[24],"mostly":[25],"provided":[26],"by":[27,214],"multiple":[28,237],"separated":[29],"embedded":[30,78],"systems,":[31],"while":[32],"the":[33,52,58,103,116,147,157,199,206,223],"trend":[35],"goes":[36],"toward":[37],"purely":[38],"software-defined":[39],"(SDV).":[41],"Traditional":[42],"distributed":[43],"electrical/electronic":[44],"(E/E)":[45],"architectures":[46],"have":[47],"tightly":[48],"coupled":[49],"hardware/software,":[50],"computational":[53],"power":[54],"is":[55,174],"optimized":[56],"included":[59],"feature":[60],"set.":[61],"For":[62],"SDVs,":[63],"a":[64,86,94,99,195,215,229,233],"centralized":[65],"E/E":[66,132,191],"architecture":[67],"utilizing":[68],"high-performance":[69,234],"computers":[70],"has":[71,112],"been":[72,113],"proposed.":[73],"In":[74,134],"contrast":[75],"to":[76,98,119,177,202],"individual":[77,90],"systems":[79],"with":[80,189,232],"limited":[81],"fixed":[83],"functionality,":[84],"combing":[85],"large":[87],"set":[88],"software":[91,168],"components":[92],"single":[95],"system":[96,109,122,179],"leads":[97],"high":[100],"complexity":[101],"proper":[104],"allocation":[105,149,208],"resources.":[107],"Model-based":[108],"engineering":[110,169],"(MBSE)":[111],"promoted":[114],"automotive":[117],"industry":[118],"handle":[120],"complex":[121],"design.":[123],"However,":[124],"existing":[125,167],"MBSE":[126],"approaches":[127],"focus":[128],"mainly":[129],"on":[130,166],"traditional":[131],"architectures.":[133,192],"this":[135,226],"work,":[136],"we":[137],"propose":[138],"automated":[140],"model-based":[142],"approach":[143,227],"that":[144],"can":[145,154,210],"address":[146],"resource":[148,207],"problem":[150,209],"SDVs.":[152],"Users":[153],"formally":[155],"describe":[156],"vehicle\u2019s":[158],"resources,":[159],"safety/non-safety":[160],"requirements,":[161,181],"optimization":[163,183,204],"objectives":[164],"based":[165],"standards.":[170],"proposed":[172],"method":[173],"not":[175],"restricted":[176],"specific":[178],"models,":[180],"or":[182],"goals":[184],"is,":[186],"therefore,":[187],"compatible":[188],"other":[190],"By":[193],"introducing":[194],"model-independent":[196],"transformation":[197],"from":[198],"model":[200],"information":[201],"solver-independent":[203],"formulas,":[205],"be":[211],"solved":[212],"automatically":[213],"wide":[216],"range":[217],"state-of-the-art":[219],"solvers.":[220],"We":[221],"demonstrate":[222],"applicability":[224],"SDV":[230],"scenario":[231],"computer":[235],"applications.":[238]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}