{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T16:17:25Z","timestamp":1781194645413,"version":"3.54.1"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,5]],"date-time":"2023-09-05T00:00:00Z","timestamp":1693872000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,5]],"date-time":"2023-09-05T00:00:00Z","timestamp":1693872000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9,5]]},"DOI":"10.1109\/socc58585.2023.10257177","type":"proceedings-article","created":{"date-parts":[[2023,9,22]],"date-time":"2023-09-22T17:45:42Z","timestamp":1695404742000},"page":"1-6","source":"Crossref","is-referenced-by-count":4,"title":["XANDAR: Verification & Validation Approach for Safety-critical Systems"],"prefix":"10.1109","author":[{"given":"Balmukund","family":"Sonigara","sequence":"first","affiliation":[{"name":"Queen’s University,Belfast,United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sakir","family":"Sezer","sequence":"additional","affiliation":[{"name":"Queen’s University,Belfast,United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fahad","family":"Siddiqui","sequence":"additional","affiliation":[{"name":"Queen’s University,Belfast,United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raphael","family":"Weber","sequence":"additional","affiliation":[{"name":"Vector Informatik GmbH,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Konstantinos","family":"Antonopoulos","sequence":"additional","affiliation":[{"name":"University of Peloponnese,Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christos","family":"Panagiotou","sequence":"additional","affiliation":[{"name":"AVN Innovative Technology Solutions Limited,Cyprus"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christos P.","family":"Antonopoulos","sequence":"additional","affiliation":[{"name":"University of Peloponnese,Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Georgios","family":"Keramidas","sequence":"additional","affiliation":[{"name":"University of Peloponnese,Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nikolaos","family":"Voros","sequence":"additional","affiliation":[{"name":"University of Peloponnese,Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sena Busra","family":"Yengec-Tasdemir","sequence":"additional","affiliation":[{"name":"Queen’s University,Belfast,United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Henry","family":"Hui","sequence":"additional","affiliation":[{"name":"Queen’s University,Belfast,United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kieran","family":"McLaughlin","sequence":"additional","affiliation":[{"name":"Queen’s University,Belfast,United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","author":"chess","year":"2007","journal-title":"Secure Programming with Static Analysis"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI54635.2022.00081"},{"key":"ref15","article-title":"ISO 26262-6:2018 - Road vehicles — Functional safety — Part 6: Product development at the software level","year":"2023"},{"key":"ref14","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/VTC2022-Spring54318.2022.9860859"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.23919\/DATE54114.2022.9774534"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s11569-017-0301-x"},{"key":"ref1","first-page":"1","article-title":"Bird’s-eye view on the Automotive Cybersecurity Landscape & Challenges in adopting AI\/ML","author":"siddiqui","year":"2021","journal-title":"Proc 6th IEEE International Conference on Fog and Mobile Edge Computing (FMEC)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SOCC56010.2022.9908127"},{"key":"ref16","article-title":"Polyspace - Matlab & Simulink","year":"2023"},{"key":"ref19","first-page":"21","article-title":"The ASTRÉE analyzer","author":"cousot","year":"2005","journal-title":"Programming Languages and Systems 14th European Symposium on Programming ESOP 2005 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2005 Edinburgh UK April 4-8 2005 Proceedings 14"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT55542.2022.9932069"},{"key":"ref24","article-title":"Polyspace Bug Finder","year":"2023"},{"key":"ref23","article-title":"PC-lint Plus — Static Code Analysis for C and C++","year":"2023"},{"key":"ref26","article-title":"PREEvision — The E\/E Engineering Solution — Vector","year":"2023"},{"key":"ref25","article-title":"System design, modeling, and simulation: using Ptolemy II","volume":"1","author":"ptolemaeus","year":"2014","journal-title":"Ptolemy org Berkeley CA"},{"key":"ref20","article-title":"Coverity Scan - Static Analysis","year":"2023"},{"key":"ref22","article-title":"LDRA tool suite®-LDRA","year":"2023"},{"key":"ref21","article-title":"Helix QAC for C and C++ — perforce","year":"2023"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/APCC.2016.7581471"},{"key":"ref27","article-title":"TA Tool Suite — Vector","year":"2023"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2018.00026"},{"key":"ref7","article-title":"Teslas running Autopilot involved in 273 crashes reported since last year","year":"2023"},{"key":"ref9","first-page":"15","article-title":"The increasing risks of risk assessment: On the rise of artificial intelligence and non-determinism in safety-critical systems","author":"johnson","year":"2018","journal-title":"the 26th Safety-Critical Systems Symposium"},{"key":"ref4","article-title":"How the Boeing 737 Max disaster looks to a software developer","volume":"18","author":"travis","year":"2019","journal-title":"IEEE Spectrum"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/FPL53798.2021.00075"},{"key":"ref6","article-title":"A case study of Toyota unintended acceleration and software safety","author":"koopman","year":"2014","journal-title":"Presentation Sept"},{"key":"ref5","first-page":"4","article-title":"The Boeing 737 MAX saga: lessons for software organizations","volume":"21","author":"johnston","year":"2019","journal-title":"Software Quality Professional"}],"event":{"name":"2023 IEEE 36th International System-on-Chip Conference (SOCC)","location":"Santa Clara, CA, USA","start":{"date-parts":[[2023,9,5]]},"end":{"date-parts":[[2023,9,8]]}},"container-title":["2023 IEEE 36th International System-on-Chip Conference (SOCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10256666\/10256705\/10257177.pdf?arnumber=10257177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T18:13:09Z","timestamp":1696875189000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10257177\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,5]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/socc58585.2023.10257177","relation":{},"subject":[],"published":{"date-parts":[[2023,9,5]]}}}