{"id":"https://openalex.org/W4404635163","doi":"https://doi.org/10.1145/3705307","title":"<scp>SpectAcle</scp> : Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences","display_name":"<scp>SpectAcle</scp> : Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences","publication_year":2024,"publication_date":"2024-11-22","ids":{"openalex":"https://openalex.org/W4404635163","doi":"https://doi.org/10.1145/3705307"},"language":"en","primary_location":{"id":"doi:10.1145/3705307","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3705307","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3705307","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"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 Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3705307","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070683475","display_name":"Deyun Lyu","orcid":"https://orcid.org/0000-0003-3017-7977"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Deyun Lyu","raw_affiliation_strings":["Kyushu University, Fukuoka, Japan","Kyushu University, Japan"],"raw_orcid":"https://orcid.org/0000-0003-3017-7977","affiliations":[{"raw_affiliation_string":"Kyushu University, Fukuoka, Japan","institution_ids":["https://openalex.org/I135598925"]},{"raw_affiliation_string":"Kyushu University, Japan","institution_ids":["https://openalex.org/I135598925"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100684366","display_name":"Zhenya Zhang","orcid":"https://orcid.org/0000-0002-3854-9846"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Zhenya Zhang","raw_affiliation_strings":["Kyushu University, Fukuoka, Japan","Kyushu University, Japan"],"raw_orcid":"https://orcid.org/0000-0002-3854-9846","affiliations":[{"raw_affiliation_string":"Kyushu University, Fukuoka, Japan","institution_ids":["https://openalex.org/I135598925"]},{"raw_affiliation_string":"Kyushu University, Japan","institution_ids":["https://openalex.org/I135598925"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021486887","display_name":"Paolo Arcaini","orcid":"https://orcid.org/0000-0002-6253-4062"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Paolo Arcaini","raw_affiliation_strings":["National Institute of Informatics, Tokyo, Japan","National Institute of Informatics, Japan"],"raw_orcid":"https://orcid.org/0000-0002-6253-4062","affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]},{"raw_affiliation_string":"National Institute of Informatics, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100357458","display_name":"Xiao\u2013Yi Zhang","orcid":"https://orcid.org/0000-0001-7414-8057"},"institutions":[{"id":"https://openalex.org/I92403157","display_name":"University of Science and Technology Beijing","ror":"https://ror.org/02egmk993","country_code":"CN","type":"education","lineage":["https://openalex.org/I92403157"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiao-Yi Zhang","raw_affiliation_strings":["University of Science and Technology Beijing, Beijing, China","University of Science and Technology Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-7414-8057","affiliations":[{"raw_affiliation_string":"University of Science and Technology Beijing, Beijing, China","institution_ids":["https://openalex.org/I92403157"]},{"raw_affiliation_string":"University of Science and Technology Beijing, China","institution_ids":["https://openalex.org/I92403157"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103091045","display_name":"Fuyuki Ishikawa","orcid":"https://orcid.org/0000-0001-7725-2618"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Fuyuki Ishikawa","raw_affiliation_strings":["National Institute of Informatics, Tokyo, Japan","National Institute of Informatics, Japan"],"raw_orcid":"https://orcid.org/0000-0001-7725-2618","affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]},{"raw_affiliation_string":"National Institute of Informatics, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065190767","display_name":"Jianjun Zhao","orcid":"https://orcid.org/0000-0001-8083-4352"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Jianjun Zhao","raw_affiliation_strings":["Kyushu University, Fukuoka, Japan","Kyushu University, Japan"],"raw_orcid":"https://orcid.org/0000-0001-8083-4352","affiliations":[{"raw_affiliation_string":"Kyushu University, Fukuoka, Japan","institution_ids":["https://openalex.org/I135598925"]},{"raw_affiliation_string":"Kyushu University, Japan","institution_ids":["https://openalex.org/I135598925"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1147,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.81473969,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"34","issue":"4","first_page":"1","last_page":"35"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9973999857902527,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9973999857902527,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9934999942779541,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.992900013923645,"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/spectacle","display_name":"Spectacle","score":0.8520002365112305},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7654993534088135},{"id":"https://openalex.org/keywords/deep-neural-networks","display_name":"Deep neural networks","score":0.5909382700920105},{"id":"https://openalex.org/keywords/timestamp","display_name":"Timestamp","score":0.5255690217018127},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.49327725172042847},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4689105749130249},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4197394847869873},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37770989537239075},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3542304039001465}],"concepts":[{"id":"https://openalex.org/C2779742141","wikidata":"https://www.wikidata.org/wiki/Q7575076","display_name":"Spectacle","level":2,"score":0.8520002365112305},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7654993534088135},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.5909382700920105},{"id":"https://openalex.org/C113954288","wikidata":"https://www.wikidata.org/wiki/Q186885","display_name":"Timestamp","level":2,"score":0.5255690217018127},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.49327725172042847},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4689105749130249},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4197394847869873},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37770989537239075},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3542304039001465},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3705307","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3705307","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3705307","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"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 Transactions on Software Engineering and Methodology","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3705307","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3705307","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3705307","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"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 Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7599999904632568}],"awards":[{"id":"https://openalex.org/G1637754105","display_name":"Explaining automated test agents and their test results","funder_award_id":"23K11062","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G1716091338","display_name":null,"funder_award_id":"JPMJMI20B8","funder_id":"https://openalex.org/F4320338243","funder_display_name":"JST-Mirai Program"},{"id":"https://openalex.org/G3375623879","display_name":"Fine-Grained Monitoring of Signal Temporal Logic and Its Applications in Quality Assurance of Cyber Physical Systems","funder_award_id":"23K16865","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G4229571455","display_name":"High-Quality Machine Learning-based Systems via Traceability Exploration between Requirements and Implementation","funder_award_id":"23K21657","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G5697896161","display_name":null,"funder_award_id":"JP23K16865","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G6392761602","display_name":null,"funder_award_id":"JP23H03372","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G7027019576","display_name":null,"funder_award_id":"62302035","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7318647354","display_name":"Testing, Analysis, and Repair of AI-enabled Cyber-Physical Systems","funder_award_id":"23K28062","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G7752772699","display_name":"\u751f\u6210AI\u904d\u5728\u793e\u4f1a\u306b\u304a\u3051\u308b\u30d7\u30e9\u30a4\u30d0\u30b7\u4fdd\u8b77\u57fa\u76e4\u306e\u5275\u6210","funder_award_id":"24H00714","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"},{"id":"https://openalex.org/F4320338243","display_name":"JST-Mirai Program","ror":null}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4404635163.pdf"},"referenced_works_count":67,"referenced_works":["https://openalex.org/W1512427202","https://openalex.org/W1543330234","https://openalex.org/W2003695679","https://openalex.org/W2010833880","https://openalex.org/W2013655083","https://openalex.org/W2020997493","https://openalex.org/W2036853814","https://openalex.org/W2049399166","https://openalex.org/W2051812123","https://openalex.org/W2068619069","https://openalex.org/W2083636684","https://openalex.org/W2128049346","https://openalex.org/W2138428785","https://openalex.org/W2162045655","https://openalex.org/W2165663378","https://openalex.org/W2185114873","https://openalex.org/W2261332958","https://openalex.org/W2343875716","https://openalex.org/W2424693453","https://openalex.org/W2575705757","https://openalex.org/W2587114527","https://openalex.org/W2604347212","https://openalex.org/W2620081107","https://openalex.org/W2769912520","https://openalex.org/W2796327418","https://openalex.org/W2898868990","https://openalex.org/W2911282308","https://openalex.org/W2911558901","https://openalex.org/W2912440308","https://openalex.org/W2963231286","https://openalex.org/W2973199035","https://openalex.org/W2980176594","https://openalex.org/W2980176926","https://openalex.org/W3046272654","https://openalex.org/W3124237877","https://openalex.org/W3134796670","https://openalex.org/W3212210003","https://openalex.org/W3215270115","https://openalex.org/W4200164757","https://openalex.org/W4211198521","https://openalex.org/W4225582401","https://openalex.org/W4229068576","https://openalex.org/W4233951930","https://openalex.org/W4236081734","https://openalex.org/W4236316114","https://openalex.org/W4243235114","https://openalex.org/W4245922806","https://openalex.org/W4246671941","https://openalex.org/W4248491408","https://openalex.org/W4253752119","https://openalex.org/W4284681547","https://openalex.org/W4288391571","https://openalex.org/W4289255206","https://openalex.org/W4291213652","https://openalex.org/W4296592009","https://openalex.org/W4311273067","https://openalex.org/W4311273093","https://openalex.org/W4312281865","https://openalex.org/W4378418623","https://openalex.org/W4384024444","https://openalex.org/W4384024815","https://openalex.org/W4387735088","https://openalex.org/W4387735129","https://openalex.org/W4388483172","https://openalex.org/W4400411777","https://openalex.org/W4403289443","https://openalex.org/W4404635163"],"related_works":["https://openalex.org/W2105467080","https://openalex.org/W4247569779","https://openalex.org/W4233070878","https://openalex.org/W2391618205","https://openalex.org/W1589261629","https://openalex.org/W2279851911","https://openalex.org/W2107419747","https://openalex.org/W4379980701","https://openalex.org/W4389213641","https://openalex.org/W2768783566"],"abstract_inverted_index":{"Cyber-physical":[0],"systems":[1],"(CPSs)":[2],"are":[3,131,145],"increasingly":[4],"adopting":[5],"deep":[6],"neural":[7],"networks":[8],"(DNNs)":[9],"as":[10,77],"controllers,":[11],"giving":[12],"birth":[13],"to":[14,35,49,56,70,80,125,134],"AI-enabled":[15],"CPSs":[16],".":[17],"Despite":[18],"their":[19],"advantages,":[20],"many":[21],"concerns":[22],"arise":[23],"about":[24],"the":[25,51,58,61,66,71,93,106,114,118,127,135,148,167,171,177,199],"safety":[26,41],"of":[27,60,84,142,161,179,198],"DNN":[28,62,110,115,128,136],"controllers.":[29,111],"Numerous":[30],"efforts":[31],"have":[32],"been":[33],"made":[34],"detect":[36,196],"system":[37],"executions":[38],"that":[39,103,130,164,169,193],"violate":[40],"specifications;":[42],"however,":[43],"once":[44],"a":[45,82,89],"violation":[46,120],"is":[47,54,74],"detected,":[48],"fix":[50],"issue,":[52],"it":[53,78,139],"necessary":[55],"localise":[57,105],"parameters":[59,108,129,144],"controller":[63],"responsible":[64,146],"for":[65,147],"wrong":[67],"decisions":[68],"leading":[69],"violation.":[72,94,173],"This":[73],"particularly":[75],"challenging,":[76],"requires":[79],"consider":[81,165],"sequence":[83],"control":[85],"decisions,":[86],"rather":[87],"than":[88],"single":[90],"one,":[91],"preceding":[92,117],"To":[95],"tackle":[96],"this":[97],"problem,":[98],"we":[99,157],"propose":[100,158],"SpectAcle":[101,112,162,180,194],",":[102,163],"can":[104,195],"faulty":[107,183],"in":[109],"considers":[113],"inferences":[116],"specification":[119,149,172],"and":[121],"uses":[122],"forward":[123],"impact":[124],"determine":[126],"more":[132],"relevant":[133],"outputs.":[137],"Then,":[138],"identifies":[140],"which":[141],"these":[143],"violation,":[150],"by":[151],"adapting":[152],"classic":[153],"suspiciousness":[154],"metrics.":[155],"Moreover,":[156],"two":[159],"versions":[160],"differently":[166],"timestamps":[168],"precede":[170],"We":[174],"experimentally":[175],"evaluate":[176],"effectiveness":[178],"on":[181],"6,067":[182],"benchmarks,":[184],"spanning":[185],"over":[186],"different":[187],"application":[188],"domains.":[189],"The":[190],"results":[191],"show":[192],"most":[197],"faults.":[200]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}