{"id":"https://openalex.org/W7117896082","doi":"https://doi.org/10.1145/3787470.3787483","title":"Assuring the Case: A Safety Engineering Approach to AI-Enabled Systems","display_name":"Assuring the Case: A Safety Engineering Approach to AI-Enabled Systems","publication_year":2025,"publication_date":"2025-12-30","ids":{"openalex":"https://openalex.org/W7117896082","doi":"https://doi.org/10.1145/3787470.3787483"},"language":"en","primary_location":{"id":"doi:10.1145/3787470.3787483","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3787470.3787483","pdf_url":null,"source":{"id":"https://openalex.org/S4210176598","display_name":"ACM SIGKDD Explorations Newsletter","issn_l":"1931-0145","issn":["1931-0145","1931-0153"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGKDD Explorations Newsletter","raw_type":"journal-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/A5121731274","display_name":"Scot Davidson","orcid":null},"institutions":[{"id":"https://openalex.org/I4210093062","display_name":"Thales (United Kingdom)","ror":"https://ror.org/00r8j9489","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210093062","https://openalex.org/I4210140930"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Scot Davidson","raw_affiliation_strings":["Thales IAS, Belfast, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Thales IAS, Belfast, United Kingdom","institution_ids":["https://openalex.org/I4210093062"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058095730","display_name":"Oseghale Osezua Igene","orcid":"https://orcid.org/0000-0002-2857-2532"},"institutions":[{"id":"https://openalex.org/I135526715","display_name":"Belfast Metropolitan College","ror":"https://ror.org/01p0a2d88","country_code":"GB","type":"education","lineage":["https://openalex.org/I135526715"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Oseghale Igene","raw_affiliation_strings":["CSIT, Belfast, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CSIT, Belfast, United Kingdom","institution_ids":["https://openalex.org/I135526715"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5121731740","display_name":"Paul Miller","orcid":null},"institutions":[{"id":"https://openalex.org/I135526715","display_name":"Belfast Metropolitan College","ror":"https://ror.org/01p0a2d88","country_code":"GB","type":"education","lineage":["https://openalex.org/I135526715"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Paul Miller","raw_affiliation_strings":["CSIT, Belfast, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CSIT, Belfast, United Kingdom","institution_ids":["https://openalex.org/I135526715"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"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.59160944,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"27","issue":"2","first_page":"124","last_page":"131"},"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.9463000297546387,"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.9463000297546387,"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.03180000185966492,"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.004900000058114529,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/quality-assurance","display_name":"Quality assurance","score":0.7129999995231628},{"id":"https://openalex.org/keywords/safety-assurance","display_name":"Safety assurance","score":0.7085000276565552},{"id":"https://openalex.org/keywords/safety-case","display_name":"Safety case","score":0.5460000038146973},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5299000144004822},{"id":"https://openalex.org/keywords/program-assurance","display_name":"Program assurance","score":0.5284000039100647},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5092999935150146}],"concepts":[{"id":"https://openalex.org/C106436119","wikidata":"https://www.wikidata.org/wiki/Q836575","display_name":"Quality assurance","level":3,"score":0.7129999995231628},{"id":"https://openalex.org/C112805685","wikidata":"https://www.wikidata.org/wiki/Q10566551","display_name":"Safety assurance","level":2,"score":0.7085000276565552},{"id":"https://openalex.org/C2780234205","wikidata":"https://www.wikidata.org/wiki/Q2281276","display_name":"Safety case","level":2,"score":0.5460000038146973},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5299000144004822},{"id":"https://openalex.org/C39259695","wikidata":"https://www.wikidata.org/wiki/Q7248407","display_name":"Program assurance","level":4,"score":0.5284000039100647},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5092999935150146},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.44830000400543213},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.4413999915122986},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.40220001339912415},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3862000107765198},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.3790999948978424},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3465999960899353},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.3050000071525574},{"id":"https://openalex.org/C34972735","wikidata":"https://www.wikidata.org/wiki/Q2920267","display_name":"Engineering design process","level":2,"score":0.2816999852657318},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.2653000056743622}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3787470.3787483","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3787470.3787483","pdf_url":null,"source":{"id":"https://openalex.org/S4210176598","display_name":"ACM SIGKDD Explorations Newsletter","issn_l":"1931-0145","issn":["1931-0145","1931-0153"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGKDD Explorations Newsletter","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W103443734","https://openalex.org/W2019219800","https://openalex.org/W3007193281","https://openalex.org/W4285141030","https://openalex.org/W4393166861"],"related_works":[],"abstract_inverted_index":{"Given":[0],"the":[1,28,43,63,105,113,119,124,127,135,141],"increasing":[2],"ubiquity":[3],"of":[4,30,76,104,118,126],"Machine":[5,77],"Learning":[6,78],"(ML),":[7],"there":[8],"is":[9,58,86,92],"an":[10,67],"urgent":[11],"need":[12],"for":[13,34,79,137],"assurance":[14,31,55,70,89,121,128],"frameworks,":[15],"particularly":[16],"in":[17,81,109],"relation":[18],"to":[19,54,95],"ML-enabled":[20],"safety":[21,44,144],"critical":[22],"systems.":[23],"We":[24],"begin":[25],"by":[26,42],"describing":[27],"process":[29],"case":[32,56,136],"construction":[33],"conventional":[35],"safety-critical":[36],"systems":[37],"that":[38,72],"has":[39],"been":[40],"developed":[41],"engineering":[45,145],"community.":[46,146],"Goal":[47],"Structured":[48],"Notation":[49],"(GSN),":[50],"a":[51,87],"graphical":[52],"approach":[53],"construction,":[57],"then":[59,93],"briefly":[60],"described.":[61],"In":[62,111],"sequel,":[64],"we":[65,133],"describe":[66],"existing":[68],"ML":[69,120,142],"framework":[71],"employs":[73],"GSN,":[74],"Assurance":[75],"use":[80],"Autonomous":[82,99],"Systems":[83],"(AMLAS),":[84],"which":[85],"six-stage":[88],"process.":[90],"AMLAS":[91,106],"applied":[94],"our":[96],"use-case,":[97],"namely":[98],"Vehicle":[100],"(AV),":[101],"with":[102],"several":[103],"stages":[107],"described":[108],"detail.":[110],"particular,":[112],"creation":[114],"and":[115,123,143],"testing":[116],"activities":[117],"stage":[122],"instantiation":[125],"argument":[129],"are":[130],"developed.":[131],"Finally,":[132],"make":[134],"increased":[138],"interaction":[139],"between":[140]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-01-01T00:00:00"}