{"id":"https://openalex.org/W4416342680","doi":"https://doi.org/10.1109/socc66126.2025.11235476","title":"Safety Analysis of Machine Learning-Based Applications in Autonomous Driving Platforms Using Digital Twin Simulation and Runtime Monitoring","display_name":"Safety Analysis of Machine Learning-Based Applications in Autonomous Driving Platforms Using Digital Twin Simulation and Runtime Monitoring","publication_year":2025,"publication_date":"2025-09-29","ids":{"openalex":"https://openalex.org/W4416342680","doi":"https://doi.org/10.1109/socc66126.2025.11235476"},"language":null,"primary_location":{"id":"doi:10.1109/socc66126.2025.11235476","is_oa":false,"landing_page_url":"https://doi.org/10.1109/socc66126.2025.11235476","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 38th International System-on-Chip Conference (SOCC)","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/A5120410305","display_name":"Yara Ajjour","orcid":null},"institutions":[{"id":"https://openalex.org/I107720978","display_name":"Ain Shams University","ror":"https://ror.org/00cb9w016","country_code":"EG","type":"education","lineage":["https://openalex.org/I107720978"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Yara Ajjour","raw_affiliation_strings":["Ain Shams University,Dept. of Mechatronics Engineering,Cairo,Egypt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ain Shams University,Dept. of Mechatronics Engineering,Cairo,Egypt","institution_ids":["https://openalex.org/I107720978"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101042548","display_name":"Ahmed A. Bakr","orcid":null},"institutions":[{"id":"https://openalex.org/I107720978","display_name":"Ain Shams University","ror":"https://ror.org/00cb9w016","country_code":"EG","type":"education","lineage":["https://openalex.org/I107720978"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Ahmed Abu Bakr","raw_affiliation_strings":["Ain Shams University,Dept. of Computer and Systems Engineering,Cairo,Egypt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ain Shams University,Dept. of Computer and Systems Engineering,Cairo,Egypt","institution_ids":["https://openalex.org/I107720978"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019279246","display_name":"A Deabes Wael","orcid":null},"institutions":[{"id":"https://openalex.org/I107720978","display_name":"Ain Shams University","ror":"https://ror.org/00cb9w016","country_code":"EG","type":"education","lineage":["https://openalex.org/I107720978"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Ahmed Wael","raw_affiliation_strings":["Ain Shams University,Dept. of Computer and Systems Engineering,Cairo,Egypt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ain Shams University,Dept. of Computer and Systems Engineering,Cairo,Egypt","institution_ids":["https://openalex.org/I107720978"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120702526","display_name":"Mohamed Sohiel","orcid":null},"institutions":[{"id":"https://openalex.org/I107720978","display_name":"Ain Shams University","ror":"https://ror.org/00cb9w016","country_code":"EG","type":"education","lineage":["https://openalex.org/I107720978"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Mohamed Sohiel","raw_affiliation_strings":["Ain Shams University,Dept. of Computer and Systems Engineering,Cairo,Egypt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ain Shams University,Dept. of Computer and Systems Engineering,Cairo,Egypt","institution_ids":["https://openalex.org/I107720978"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120655271","display_name":"Moisis Mounir","orcid":null},"institutions":[{"id":"https://openalex.org/I107720978","display_name":"Ain Shams University","ror":"https://ror.org/00cb9w016","country_code":"EG","type":"education","lineage":["https://openalex.org/I107720978"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Moisis Mounir","raw_affiliation_strings":["Ain Shams University,Dept. of Computer and Systems Engineering,Cairo,Egypt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ain Shams University,Dept. of Computer and Systems Engineering,Cairo,Egypt","institution_ids":["https://openalex.org/I107720978"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035330478","display_name":"Tasneem A. Awaad","orcid":"https://orcid.org/0000-0003-4372-8600"},"institutions":[{"id":"https://openalex.org/I107720978","display_name":"Ain Shams University","ror":"https://ror.org/00cb9w016","country_code":"EG","type":"education","lineage":["https://openalex.org/I107720978"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Tasneem A. Awaad","raw_affiliation_strings":["Ain Shams University,Dept. of Computer and Systems Engineering,Cairo,Egypt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ain Shams University,Dept. of Computer and Systems Engineering,Cairo,Egypt","institution_ids":["https://openalex.org/I107720978"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101764720","display_name":"Mohamed AbdelSalam","orcid":"https://orcid.org/0000-0002-1409-199X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mohamed Abdelsalam","raw_affiliation_strings":["Siemens EDA,Cairo,Egypt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Siemens EDA,Cairo,Egypt","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056943013","display_name":"M. Watheq El\u2010Kharashi","orcid":"https://orcid.org/0000-0002-6033-733X"},"institutions":[{"id":"https://openalex.org/I107720978","display_name":"Ain Shams University","ror":"https://ror.org/00cb9w016","country_code":"EG","type":"education","lineage":["https://openalex.org/I107720978"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"M. Watheq El-Kharashi","raw_affiliation_strings":["Ain Shams University,Dept. of Computer and Systems Engineering,Cairo,Egypt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ain Shams University,Dept. of Computer and Systems Engineering,Cairo,Egypt","institution_ids":["https://openalex.org/I107720978"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"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.32630623,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.42590001225471497,"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"}},"topics":[{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.42590001225471497,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.3528999984264374,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.08479999750852585,"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/software","display_name":"Software","score":0.5364000201225281},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.4738999903202057},{"id":"https://openalex.org/keywords/safety-monitoring","display_name":"Safety monitoring","score":0.33970001339912415},{"id":"https://openalex.org/keywords/vehicle-safety","display_name":"Vehicle safety","score":0.3273000121116638},{"id":"https://openalex.org/keywords/system-safety","display_name":"System safety","score":0.3179999887943268},{"id":"https://openalex.org/keywords/active-safety","display_name":"Active safety","score":0.31029999256134033}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5655999779701233},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5364000201225281},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.4738999903202057},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.4214000105857849},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.398499995470047},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.37380000948905945},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3441999852657318},{"id":"https://openalex.org/C2777488183","wikidata":"https://www.wikidata.org/wiki/Q6900510","display_name":"Safety monitoring","level":2,"score":0.33970001339912415},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.33239999413490295},{"id":"https://openalex.org/C2986542766","wikidata":"https://www.wikidata.org/wiki/Q2090494","display_name":"Vehicle safety","level":2,"score":0.3273000121116638},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.3179999887943268},{"id":"https://openalex.org/C127757376","wikidata":"https://www.wikidata.org/wiki/Q2056514","display_name":"Active safety","level":2,"score":0.31029999256134033},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.30820000171661377},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.2897000014781952},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.28439998626708984},{"id":"https://openalex.org/C79487989","wikidata":"https://www.wikidata.org/wiki/Q934680","display_name":"Vehicle dynamics","level":2,"score":0.28040000796318054},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.2599000036716461},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.25949999690055847}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/socc66126.2025.11235476","is_oa":false,"landing_page_url":"https://doi.org/10.1109/socc66126.2025.11235476","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 38th International System-on-Chip Conference (SOCC)","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":2,"referenced_works":["https://openalex.org/W3092507083","https://openalex.org/W4294150024"],"related_works":[],"abstract_inverted_index":{"The":[0],"rapid":[1],"advancement":[2],"of":[3,74,94],"autonomous":[4],"driving":[5],"platforms":[6],"(ADPs)":[7],"demands":[8],"rigorous":[9],"safety":[10,58,73,85],"analysis":[11],"to":[12,40],"ensure":[13],"reliable":[14],"vehicle":[15],"behavior":[16],"under":[17],"diverse":[18],"road":[19],"and":[20,52,63],"weather":[21],"conditions,":[22],"mitigating":[23],"risks":[24],"from":[25],"software":[26],"faults,":[27],"security":[28],"vulnerabilities,":[29],"or":[30],"external":[31],"intrusions.":[32],"This":[33],"paper":[34],"presents":[35],"a":[36,65,97],"compositional":[37],"simulation":[38],"framework":[39],"verify":[41],"ADP":[42,100],"safety,":[43],"guided":[44],"by":[45],"ISO":[46],"21448,":[47],"which":[48],"addresses":[49],"performance":[50],"limitations":[51],"potential":[53],"misuse.":[54],"By":[55],"translating":[56],"high-level":[57],"requirements":[59],"into":[60],"verifiable":[61],"properties":[62],"employing":[64],"runtime":[66],"monitor":[67],"during":[68],"simulation,":[69],"we":[70],"assess":[71],"the":[72,80,88],"ADPs.":[75],"Our":[76],"experimental":[77],"results":[78],"highlight":[79],"framework's":[81],"effectiveness":[82],"in":[83,87],"identifying":[84],"issues":[86],"traffic":[89],"light":[90],"recognition":[91],"(TLR)":[92],"module":[93],"Autoware":[95],"Universe,":[96],"well-known":[98],"open-source":[99],"stack.":[101]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-11-17T00:00:00"}