{"id":"https://openalex.org/W4416873846","doi":"https://doi.org/10.1109/issrew67781.2025.00039","title":"V-Models: LLMS for the Development Lifecycle of Safety-Critical Systems","display_name":"V-Models: LLMS for the Development Lifecycle of Safety-Critical Systems","publication_year":2025,"publication_date":"2025-10-21","ids":{"openalex":"https://openalex.org/W4416873846","doi":"https://doi.org/10.1109/issrew67781.2025.00039"},"language":null,"primary_location":{"id":"doi:10.1109/issrew67781.2025.00039","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issrew67781.2025.00039","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops (ISSREW)","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/A5094021710","display_name":"Amel Jelidi","orcid":"https://orcid.org/0009-0004-6598-3797"},"institutions":[{"id":"https://openalex.org/I4210127322","display_name":"Procomcure Biotech (Austria)","ror":"https://ror.org/035g5pd63","country_code":"AT","type":"company","lineage":["https://openalex.org/I4210127322"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Amel Jelidi","raw_affiliation_strings":["Pro2Future GmbH,Graz,AT"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Pro2Future GmbH,Graz,AT","institution_ids":["https://openalex.org/I4210127322"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050738059","display_name":"Amer Kajmakovi\u0107","orcid":null},"institutions":[{"id":"https://openalex.org/I4210127322","display_name":"Procomcure Biotech (Austria)","ror":"https://ror.org/035g5pd63","country_code":"AT","type":"company","lineage":["https://openalex.org/I4210127322"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Amer Kajmakovic","raw_affiliation_strings":["Pro2Future GmbH,Graz,AT"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Pro2Future GmbH,Graz,AT","institution_ids":["https://openalex.org/I4210127322"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Alexander Palmisano","orcid":null},"institutions":[{"id":"https://openalex.org/I1325886976","display_name":"Siemens (Germany)","ror":"https://ror.org/059mq0909","country_code":"DE","type":"company","lineage":["https://openalex.org/I1325886976"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alexander Palmisano","raw_affiliation_strings":["Siemens AG,Graz,AT"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Siemens AG,Graz,AT","institution_ids":["https://openalex.org/I1325886976"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120489768","display_name":"Franz Sentobe","orcid":null},"institutions":[{"id":"https://openalex.org/I1325886976","display_name":"Siemens (Germany)","ror":"https://ror.org/059mq0909","country_code":"DE","type":"company","lineage":["https://openalex.org/I1325886976"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Franz Sentobe","raw_affiliation_strings":["Siemens AG,Graz,AT"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Siemens AG,Graz,AT","institution_ids":["https://openalex.org/I1325886976"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038885496","display_name":"Kay R\u00f6mer","orcid":"https://orcid.org/0000-0002-4248-4424"},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Kay R\u00f6mer","raw_affiliation_strings":["Institute for Technical Informatics, Graz University of Technology,Graz,AT"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Technical Informatics, Graz University of Technology,Graz,AT","institution_ids":["https://openalex.org/I4092182"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.39344451,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"15","last_page":"20"},"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.809499979019165,"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.809499979019165,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.032099999487400055,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.030500000342726707,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/debugging","display_name":"Debugging","score":0.7379999756813049},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.6500999927520752},{"id":"https://openalex.org/keywords/functional-safety","display_name":"Functional safety","score":0.5684999823570251},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5360000133514404},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5234000086784363},{"id":"https://openalex.org/keywords/system-safety","display_name":"System safety","score":0.4860999882221222},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.4474000036716461}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7379999756813049},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.6500999927520752},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.6018000245094299},{"id":"https://openalex.org/C148493468","wikidata":"https://www.wikidata.org/wiki/Q2646951","display_name":"Functional safety","level":2,"score":0.5684999823570251},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5360000133514404},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5234000086784363},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.4860999882221222},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4526999890804291},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.4514999985694885},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.4474000036716461},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.44279998540878296},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4410000145435333},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.37880000472068787},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.367900013923645},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3537999987602234},{"id":"https://openalex.org/C64346931","wikidata":"https://www.wikidata.org/wiki/Q4519148","display_name":"Functional design","level":2,"score":0.35030001401901245},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.336899995803833},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.33469998836517334},{"id":"https://openalex.org/C112805685","wikidata":"https://www.wikidata.org/wiki/Q10566551","display_name":"Safety assurance","level":2,"score":0.30239999294281006},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.2883000075817108},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.2736000120639801},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.27250000834465027},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.2531000077724457}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/issrew67781.2025.00039","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issrew67781.2025.00039","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops (ISSREW)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W2101105183","https://openalex.org/W2151686585","https://openalex.org/W3035252911","https://openalex.org/W3144414893","https://openalex.org/W4205646617","https://openalex.org/W4230807336","https://openalex.org/W4285245049","https://openalex.org/W4290703456","https://openalex.org/W4322766882","https://openalex.org/W4391262680","https://openalex.org/W4399213405","https://openalex.org/W4400337461","https://openalex.org/W4403413493","https://openalex.org/W4404783034","https://openalex.org/W4404783072","https://openalex.org/W4406688098"],"related_works":[],"abstract_inverted_index":{"Functional":[0],"Safety":[1,67],"system":[2,45],"(software":[3],"&":[4,18],"hardware)":[5],"development":[6],"is":[7,13,136],"typically":[8],"a":[9],"V-Model":[10,60,133],"process,":[11],"which":[12],"governed":[14],"by":[15],"strenuous":[16],"regulations":[17],"norms.":[19],"This,":[20],"along":[21],"with":[22,73,146],"use":[23],"case":[24],"specificity,":[25],"and":[26,87,96,141],"the":[27,37,65,98,108,121,132],"scrupulous":[28],"nature":[29],"of":[30,42,76,138],"functional":[31,43,77,103],"safety":[32,44,71,78,104],"creates":[33],"various":[34,94],"bottlenecks":[35],"across":[36],"V-Model,":[38],"i.e.,":[39],"redundant":[40],"aspects":[41],"development.":[46],"To":[47],"alleviate":[48],"these":[49],"bottlenecks,":[50],"we":[51],"introduce":[52],"two":[53],"LLM":[54],"assistants":[55],"designed":[56],"to":[57,112,130],"support":[58,131],"key":[59],"phases.":[61],"The":[62],"first":[63],"assistant,":[64,120],"Digital":[66],"Assistant":[68],"(DSA),":[69],"provides":[70],"engineers":[72],"general":[74],"knowledge":[75],"norms":[79],"through":[80,126],"Retrieval":[81],"Augmented":[82],"Generation,":[83],"thus":[84],"decreasing":[85],"norm":[86],"application":[88],"domain":[89],"adaptation":[90],"overhead.":[91],"We":[92],"benchmark":[93],"models":[95],"assess":[97],"DSA":[99,109],"using":[100],"an":[101],"official":[102],"Certification":[105],"exam,":[106],"where":[107],"achieves":[110],"up":[111],"70%,":[113],"surpassing":[114],"typical":[115],"performance":[116],"levels.":[117],"A":[118],"second":[119],"Automated":[122],"Testing":[123],"Assistant,":[124],"developed":[125],"Parameter":[127],"Efficient":[128],"Fine-tuning":[129],"verification":[134],"phase,":[135],"capable":[137],"correctly":[139],"generating":[140],"debugging":[142],"PLC":[143],"test":[144],"code":[145],"93%":[147],"correctness.":[148]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-12-01T00:00:00"}