{"id":"https://openalex.org/W7160713620","doi":"https://doi.org/10.1007/978-3-032-19099-4_39","title":"Beyond Correctness: Architecting Trustworthy Software for Autonomous Systems in the Age of AI","display_name":"Beyond Correctness: Architecting Trustworthy Software for Autonomous Systems in the Age of AI","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7160713620","doi":"https://doi.org/10.1007/978-3-032-19099-4_39"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-19099-4_39","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-19099-4_39","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-19099-4_39.pdf","source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-19099-4_39.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5135748265","display_name":"Muhammad Atif","orcid":"https://orcid.org/0000-0002-3460-7164"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Muhammad Atif","raw_affiliation_strings":["Department of Mathematics and Informatics \u201cUlisse Dini\u201d, University of Florence, Viale Morgagni 65, 50134, Florence, Italy"],"raw_orcid":"https://orcid.org/0000-0002-3460-7164","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Informatics \u201cUlisse Dini\u201d, University of Florence, Viale Morgagni 65, 50134, Florence, Italy","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027443752","display_name":"Tommaso Zoppi","orcid":"https://orcid.org/0000-0001-9820-6047"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Tommaso Zoppi","raw_affiliation_strings":["Department of Mathematics and Informatics \u201cUlisse Dini\u201d, University of Florence, Viale Morgagni 65, 50134, Florence, Italy"],"raw_orcid":"https://orcid.org/0000-0001-9820-6047","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Informatics \u201cUlisse Dini\u201d, University of Florence, Viale Morgagni 65, 50134, Florence, Italy","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016669256","display_name":"Andrea Bondavalli","orcid":"https://orcid.org/0000-0001-7366-6530"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Bondavalli","raw_affiliation_strings":["Department of Mathematics and Informatics \u201cUlisse Dini\u201d, University of Florence, Viale Morgagni 65, 50134, Florence, Italy"],"raw_orcid":"https://orcid.org/0000-0001-7366-6530","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Informatics \u201cUlisse Dini\u201d, University of Florence, Viale Morgagni 65, 50134, Florence, Italy","institution_ids":["https://openalex.org/I45084792"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5135748265"],"corresponding_institution_ids":["https://openalex.org/I45084792"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.9378882,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"573","last_page":"583"},"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.14169999957084656,"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.14169999957084656,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.1298999935388565,"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/T10883","display_name":"Ethics and Social Impacts of AI","score":0.06390000134706497,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.7202000021934509},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.5856999754905701},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5654000043869019},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5503000020980835},{"id":"https://openalex.org/keywords/obstacle","display_name":"Obstacle","score":0.542900025844574},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.5023999810218811},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48339998722076416},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.46140000224113464}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7411999702453613},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.7202000021934509},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6471999883651733},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.5856999754905701},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5654000043869019},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5503000020980835},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.542900025844574},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.5023999810218811},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48339998722076416},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.46140000224113464},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.44290000200271606},{"id":"https://openalex.org/C9628104","wikidata":"https://www.wikidata.org/wiki/Q788009","display_name":"Autonomous system (mathematics)","level":2,"score":0.3946000039577484},{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.33009999990463257},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.32989999651908875},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.31360000371932983},{"id":"https://openalex.org/C105002631","wikidata":"https://www.wikidata.org/wiki/Q4833645","display_name":"Subject-matter expert","level":3,"score":0.30480000376701355},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29350000619888306},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.2904999852180481},{"id":"https://openalex.org/C76518257","wikidata":"https://www.wikidata.org/wiki/Q271680","display_name":"Software framework","level":5,"score":0.28529998660087585},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.2818000018596649},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.26109999418258667},{"id":"https://openalex.org/C182500959","wikidata":"https://www.wikidata.org/wiki/Q7551380","display_name":"Social software engineering","level":5,"score":0.2583000063896179},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.25290000438690186},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.25040000677108765}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-19099-4_39","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-19099-4_39","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-19099-4_39.pdf","source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-032-19099-4_39","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-19099-4_39","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-19099-4_39.pdf","source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1145458839","display_name":null,"funder_award_id":"PRIN 2022","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3408660154","display_name":null,"funder_award_id":"202297YF75","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G507880695","display_name":null,"funder_award_id":"PE00000014","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338388","display_name":"Eurostars","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7160713620.pdf","grobid_xml":"https://content.openalex.org/works/W7160713620.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W1824101024","https://openalex.org/W1847058802","https://openalex.org/W1971733674","https://openalex.org/W2028320509","https://openalex.org/W2059456074","https://openalex.org/W2098317899","https://openalex.org/W2139659447","https://openalex.org/W2145071552","https://openalex.org/W2162696040","https://openalex.org/W2500837971","https://openalex.org/W2890192763","https://openalex.org/W2963995504","https://openalex.org/W2985970291","https://openalex.org/W3014596384","https://openalex.org/W3198654417","https://openalex.org/W3202183072","https://openalex.org/W3209459195","https://openalex.org/W4229368174","https://openalex.org/W4237150273","https://openalex.org/W4239481271","https://openalex.org/W4242009088","https://openalex.org/W4293907345","https://openalex.org/W4294559022","https://openalex.org/W4312597399","https://openalex.org/W4317214084","https://openalex.org/W4319999924","https://openalex.org/W4322210157","https://openalex.org/W4387171515","https://openalex.org/W4388805505","https://openalex.org/W4402263795","https://openalex.org/W7125984985"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Traditional":[1],"software":[2,55,64,142,153,182],"for":[3,33,41,115,135],"critical":[4],"applications":[5],"is":[6,143,157],"typically":[7,83],"built":[8],"through":[9],"a":[10,14,71,86,147],"structured":[11],"approach,":[12],"with":[13],"clear":[15],"set":[16],"of":[17,53,74,108,139,194],"predefined":[18],"rules":[19,94],"and":[20,31,45,76,95,122,155],"logic":[21,96],"imposing":[22],"how":[23],"the":[24,51,109,113,120,137,140,151,158,178,192,200],"system":[25],"will":[26,198],"respond":[27],"to":[28,85,92,102,126,131,161,167],"different":[29],"inputs,":[30],"prepared":[32],"safety":[34],"certification":[35,163],"accordingly.":[36],"Recent":[37],"innovations":[38],"are":[39,82],"pushing":[40],"conceptualizing,":[42],"designing,":[43],"implementing":[44],"validating":[46],"autonomous":[47,195],"systems":[48,196],"that":[49,97,197],"require":[50],"deployment":[52],"complex":[54,68],"functions":[56,69],"which":[57,81,136],"cannot":[58,99],"be":[59],"fully":[60],"managed":[61],"by":[62],"traditional":[63,179],"development":[65,193],"approaches.":[66],"Those":[67],"comprise":[70],"massive":[72],"amount":[73],"inputs":[75,128],"virtually":[77],"infinite":[78],"input":[79],"combinations,":[80],"fed":[84],"Machine":[87],"Learning":[88],"(ML)":[89],"algorithm":[90],"tasked":[91],"learn":[93],"humans":[98],"derive":[100],"due":[101],"excessive":[103],"complexity":[104],"or":[105],"incomplete":[106],"understanding":[107],"phenomena.":[110],"This":[111,145],"paves":[112],"way":[114],"potential":[116],"issues":[117],"when":[118],"architecting":[119],"software,":[121],"especially":[123],"exposes":[124],"it":[125,156],"facing":[127],"\u2013":[129],"referred":[130],"as":[132],"unknowns":[133],"-":[134],"behavior":[138],"target":[141],"untested.":[144],"has":[146],"detrimental":[148],"impact":[149],"on":[150,174],"overall":[152],"development,":[154],"main":[159],"obstacle":[160],"fulfilling":[162],"processes":[164],"in":[165,186],"accordance":[166],"applicable":[168],"standards.":[169],"Domain":[170],"experts":[171],"should":[172],"focus":[173],"trust":[175],"rather":[176],"than":[177],"correctness,":[180],"embracing":[181],"design":[183],"patterns":[184],"proven":[185],"use":[187],"since":[188],"decades,":[189],"ultimately":[190],"enabling":[191],"drive":[199],"upcoming":[201],"fifth":[202],"industrial":[203],"revolution.":[204]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2026-05-10T00:00:00"}