{"id":"https://openalex.org/W4416074936","doi":"https://doi.org/10.48550/arxiv.2506.04038","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","display_name":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","publication_year":2025,"publication_date":"2025-06-04","ids":{"openalex":"https://openalex.org/W4416074936","doi":"https://doi.org/10.48550/arxiv.2506.04038"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2506.04038","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2506.04038","pdf_url":"https://arxiv.org/pdf/2506.04038","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2506.04038","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102654598","display_name":"Sven Kirchner","orcid":"https://orcid.org/0009-0004-3845-6772"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kirchner, Sven","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5063781430","display_name":"Alois Knoll","orcid":"https://orcid.org/0000-0003-4840-076X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Knoll, Alois C.","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5102654598"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.2345000058412552,"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"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.2345000058412552,"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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.20319999754428864,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.13580000400543213,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.52920001745224},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.5031999945640564},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.4805000126361847},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.45840001106262207},{"id":"https://openalex.org/keywords/software-development-process","display_name":"Software development process","score":0.38449999690055847},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.367000013589859},{"id":"https://openalex.org/keywords/benchmarking","display_name":"Benchmarking","score":0.353300005197525},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.34549999237060547},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.34310001134872437}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6265000104904175},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5547000169754028},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.52920001745224},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.5031999945640564},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.4805000126361847},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.45840001106262207},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.42010000348091125},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.38449999690055847},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.367000013589859},{"id":"https://openalex.org/C86251818","wikidata":"https://www.wikidata.org/wiki/Q816754","display_name":"Benchmarking","level":2,"score":0.353300005197525},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.34549999237060547},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.34310001134872437},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.3345000147819519},{"id":"https://openalex.org/C509989072","wikidata":"https://www.wikidata.org/wiki/Q15188241","display_name":"Model-driven architecture","level":4,"score":0.3328999876976013},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.3246000111103058},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.320499986410141},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3197999894618988},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.31940001249313354},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.3151000142097473},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.30379998683929443},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.29899999499320984},{"id":"https://openalex.org/C195672273","wikidata":"https://www.wikidata.org/wiki/Q6888132","display_name":"Model-based design","level":2,"score":0.2912999987602234},{"id":"https://openalex.org/C113168747","wikidata":"https://www.wikidata.org/wiki/Q507295","display_name":"Cruise control","level":3,"score":0.2858000099658966},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.2847000062465668},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.2842000126838684},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.2766000032424927},{"id":"https://openalex.org/C42669973","wikidata":"https://www.wikidata.org/wiki/Q5575145","display_name":"Goal-Driven Software Development Process","level":5,"score":0.26269999146461487},{"id":"https://openalex.org/C2778177629","wikidata":"https://www.wikidata.org/wiki/Q2111823","display_name":"Software product line","level":4,"score":0.26030001044273376},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.2583000063896179},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.257999986410141}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2506.04038","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2506.04038","pdf_url":"https://arxiv.org/pdf/2506.04038","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2506.04038","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2506.04038","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2506.04038","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2506.04038","pdf_url":"https://arxiv.org/pdf/2506.04038","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4416074936.pdf","grobid_xml":"https://content.openalex.org/works/W4416074936.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Developing":[0],"safety-critical":[1,116,133],"automotive":[2,122],"software":[3,123],"presents":[4],"significant":[5],"challenges":[6],"due":[7],"to":[8,40],"increasing":[9],"system":[10],"complexity":[11],"and":[12,58,70,101,142],"strict":[13],"regulatory":[14],"demands.":[15],"This":[16,125],"paper":[17],"proposes":[18],"a":[19],"novel":[20],"framework":[21,34,78,107],"integrating":[22,119],"Generative":[23],"Artificial":[24],"Intelligence":[25],"(GenAI)":[26],"into":[27,121],"the":[28,65,82,106,128,136],"Software":[29],"Development":[30],"Lifecycle":[31],"(SDLC).":[32],"The":[33,77],"uses":[35],"Large":[36],"Language":[37],"Models":[38],"(LLMs)":[39],"automate":[41],"code":[42,110],"generation":[43,111],"in":[44,132],"languages":[45],"such":[46,52],"as":[47,53],"C++,":[48],"incorporating":[49],"safety-focused":[50],"practices":[51],"static":[54],"verification,":[55],"test-driven":[56],"development":[57,83],"iterative":[59],"refinement.":[60],"A":[61],"feedback-driven":[62],"pipeline":[63],"ensures":[64,95],"integration":[66],"of":[67,84,93,130],"test,":[68],"simulation":[69],"verification":[71],"for":[72,99],"compliance":[73,114],"with":[74,115],"safety":[75,144],"standards.":[76],"is":[79],"validated":[80],"through":[81],"an":[85],"Adaptive":[86],"Cruise":[87],"Control":[88],"(ACC)":[89],"system.":[90],"Comparative":[91],"benchmarking":[92],"LLMs":[94],"optimal":[96],"model":[97],"selection":[98],"accuracy":[100],"reliability.":[102],"Results":[103],"demonstrate":[104],"that":[105],"enables":[108],"automatic":[109],"while":[112],"ensuring":[113],"requirements,":[117],"systematically":[118],"GenAI":[120],"engineering.":[124],"work":[126],"advances":[127],"use":[129],"AI":[131],"domains,":[134],"bridging":[135],"gap":[137],"between":[138],"state-of-the-art":[139],"generative":[140],"models":[141],"real-world":[143],"requirements.":[145]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-10T00:00:00"}