{"id":"https://openalex.org/W4386953437","doi":"https://doi.org/10.1109/socc58585.2023.10257177","title":"XANDAR: Verification &amp; Validation Approach for Safety-critical Systems","display_name":"XANDAR: Verification &amp; Validation Approach for Safety-critical Systems","publication_year":2023,"publication_date":"2023-09-05","ids":{"openalex":"https://openalex.org/W4386953437","doi":"https://doi.org/10.1109/socc58585.2023.10257177"},"language":"en","primary_location":{"id":"doi:10.1109/socc58585.2023.10257177","is_oa":false,"landing_page_url":"https://doi.org/10.1109/socc58585.2023.10257177","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 36th International System-on-Chip Conference (SOCC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://pure.qub.ac.uk/en/publications/d099b2db-fff3-4578-bb14-c04be0ab144f","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092638040","display_name":"Balmukund Sonigara","orcid":null},"institutions":[{"id":"https://openalex.org/I126231945","display_name":"Queen's University Belfast","ror":"https://ror.org/00hswnk62","country_code":"GB","type":"education","lineage":["https://openalex.org/I126231945"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Balmukund Sonigara","raw_affiliation_strings":["Queen&#x2019;s University,Belfast,United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Queen&#x2019;s University,Belfast,United Kingdom","institution_ids":["https://openalex.org/I126231945"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103745938","display_name":"Sakir Sezer","orcid":null},"institutions":[{"id":"https://openalex.org/I126231945","display_name":"Queen's University Belfast","ror":"https://ror.org/00hswnk62","country_code":"GB","type":"education","lineage":["https://openalex.org/I126231945"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sakir Sezer","raw_affiliation_strings":["Queen&#x2019;s University,Belfast,United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Queen&#x2019;s University,Belfast,United Kingdom","institution_ids":["https://openalex.org/I126231945"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085167798","display_name":"Fahad Siddiqui","orcid":"https://orcid.org/0000-0002-4334-9478"},"institutions":[{"id":"https://openalex.org/I126231945","display_name":"Queen's University Belfast","ror":"https://ror.org/00hswnk62","country_code":"GB","type":"education","lineage":["https://openalex.org/I126231945"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Fahad Siddiqui","raw_affiliation_strings":["Queen&#x2019;s University,Belfast,United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Queen&#x2019;s University,Belfast,United Kingdom","institution_ids":["https://openalex.org/I126231945"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012182666","display_name":"Raphael Weber","orcid":"https://orcid.org/0000-0002-2883-4811"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Raphael Weber","raw_affiliation_strings":["Vector Informatik GmbH,Germany","Vector Informatik GmbH, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vector Informatik GmbH,Germany","institution_ids":[]},{"raw_affiliation_string":"Vector Informatik GmbH, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068374118","display_name":"\u039a\u03c9\u03bd\u03c3\u03c4\u03b1\u03bd\u03c4\u03af\u03bd\u03bf\u03c2 \u0391\u03bd\u03c4\u03c9\u03bd\u03cc\u03c0\u03bf\u03c5\u03bb\u03bf\u03c2","orcid":"https://orcid.org/0000-0003-2781-3872"},"institutions":[{"id":"https://openalex.org/I158716096","display_name":"University of Peloponnese","ror":"https://ror.org/04d4d3c02","country_code":"GR","type":"education","lineage":["https://openalex.org/I158716096"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Konstantinos Antonopoulos","raw_affiliation_strings":["University of Peloponnese,Greece","University of Peloponnese, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Peloponnese,Greece","institution_ids":["https://openalex.org/I158716096"]},{"raw_affiliation_string":"University of Peloponnese, Greece","institution_ids":["https://openalex.org/I158716096"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076151014","display_name":"Christos Panagiotou","orcid":"https://orcid.org/0000-0001-7867-3326"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Christos Panagiotou","raw_affiliation_strings":["AVN Innovative Technology Solutions Limited,Cyprus","AVN Innovative Technology Solutions Limited, Cyprus"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AVN Innovative Technology Solutions Limited,Cyprus","institution_ids":[]},{"raw_affiliation_string":"AVN Innovative Technology Solutions Limited, Cyprus","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020490212","display_name":"Christos Antonopoulos","orcid":"https://orcid.org/0000-0003-0942-8022"},"institutions":[{"id":"https://openalex.org/I158716096","display_name":"University of Peloponnese","ror":"https://ror.org/04d4d3c02","country_code":"GR","type":"education","lineage":["https://openalex.org/I158716096"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Christos P. Antonopoulos","raw_affiliation_strings":["University of Peloponnese,Greece","University of Peloponnese, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Peloponnese,Greece","institution_ids":["https://openalex.org/I158716096"]},{"raw_affiliation_string":"University of Peloponnese, Greece","institution_ids":["https://openalex.org/I158716096"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074371053","display_name":"\u0393\u03b5\u03ce\u03c1\u03b3\u03b9\u03bf\u03c2 \u039a\u03b5\u03c1\u03b1\u03bc\u03af\u03b4\u03b1\u03c2","orcid":"https://orcid.org/0000-0003-0460-6061"},"institutions":[{"id":"https://openalex.org/I158716096","display_name":"University of Peloponnese","ror":"https://ror.org/04d4d3c02","country_code":"GR","type":"education","lineage":["https://openalex.org/I158716096"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Georgios Keramidas","raw_affiliation_strings":["University of Peloponnese,Greece","University of Peloponnese, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Peloponnese,Greece","institution_ids":["https://openalex.org/I158716096"]},{"raw_affiliation_string":"University of Peloponnese, Greece","institution_ids":["https://openalex.org/I158716096"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048927560","display_name":"Nikolaos Voros","orcid":"https://orcid.org/0000-0003-2410-5205"},"institutions":[{"id":"https://openalex.org/I158716096","display_name":"University of Peloponnese","ror":"https://ror.org/04d4d3c02","country_code":"GR","type":"education","lineage":["https://openalex.org/I158716096"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Nikolaos Voros","raw_affiliation_strings":["University of Peloponnese,Greece","University of Peloponnese, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Peloponnese,Greece","institution_ids":["https://openalex.org/I158716096"]},{"raw_affiliation_string":"University of Peloponnese, Greece","institution_ids":["https://openalex.org/I158716096"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044235657","display_name":"Sena Busra Yengec-Tasdemir","orcid":"https://orcid.org/0000-0001-8322-4832"},"institutions":[{"id":"https://openalex.org/I126231945","display_name":"Queen's University Belfast","ror":"https://ror.org/00hswnk62","country_code":"GB","type":"education","lineage":["https://openalex.org/I126231945"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sena Busra Yengec-Tasdemir","raw_affiliation_strings":["Queen&#x2019;s University,Belfast,United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Queen&#x2019;s University,Belfast,United Kingdom","institution_ids":["https://openalex.org/I126231945"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019007983","display_name":"Henry Hui","orcid":"https://orcid.org/0000-0002-8981-5462"},"institutions":[{"id":"https://openalex.org/I126231945","display_name":"Queen's University Belfast","ror":"https://ror.org/00hswnk62","country_code":"GB","type":"education","lineage":["https://openalex.org/I126231945"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Henry Hui","raw_affiliation_strings":["Queen&#x2019;s University,Belfast,United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Queen&#x2019;s University,Belfast,United Kingdom","institution_ids":["https://openalex.org/I126231945"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027789250","display_name":"Kieran McLaughlin","orcid":"https://orcid.org/0000-0002-1299-2364"},"institutions":[{"id":"https://openalex.org/I126231945","display_name":"Queen's University Belfast","ror":"https://ror.org/00hswnk62","country_code":"GB","type":"education","lineage":["https://openalex.org/I126231945"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Kieran McLaughlin","raw_affiliation_strings":["Queen&#x2019;s University,Belfast,United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Queen&#x2019;s University,Belfast,United Kingdom","institution_ids":["https://openalex.org/I126231945"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":null,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12810","display_name":"Real-time simulation and control systems","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/correctness","display_name":"Correctness","score":0.6937467455863953},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.692497968673706},{"id":"https://openalex.org/keywords/verification-and-validation-of-computer-simulation-models","display_name":"Verification and validation of computer simulation models","score":0.5624987483024597},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5254344344139099},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.5236303806304932},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"Static timing analysis","score":0.5048885941505432},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.48688092827796936},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.465844988822937},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4393719434738159},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4254128932952881},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.37846359610557556},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36182665824890137},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3544214963912964},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18942368030548096},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1299973428249359},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12145769596099854}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6937467455863953},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.692497968673706},{"id":"https://openalex.org/C126433048","wikidata":"https://www.wikidata.org/wiki/Q7921324","display_name":"Verification and validation of computer simulation models","level":2,"score":0.5624987483024597},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5254344344139099},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.5236303806304932},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.5048885941505432},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.48688092827796936},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.465844988822937},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4393719434738159},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4254128932952881},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.37846359610557556},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36182665824890137},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3544214963912964},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18942368030548096},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1299973428249359},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12145769596099854},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/socc58585.2023.10257177","is_oa":false,"landing_page_url":"https://doi.org/10.1109/socc58585.2023.10257177","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 36th International System-on-Chip Conference (SOCC)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.qub.ac.uk/portal:publications/d099b2db-fff3-4578-bb14-c04be0ab144f","is_oa":true,"landing_page_url":"https://pure.qub.ac.uk/en/publications/d099b2db-fff3-4578-bb14-c04be0ab144f","pdf_url":null,"source":{"id":"https://openalex.org/S4306402319","display_name":"Research Portal (Queen's University Belfast)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I126231945","host_organization_name":"Queen's University Belfast","host_organization_lineage":["https://openalex.org/I126231945"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"pmh:oai:pure.qub.ac.uk/portal:publications/d099b2db-fff3-4578-bb14-c04be0ab144f","is_oa":true,"landing_page_url":"https://pure.qub.ac.uk/en/publications/d099b2db-fff3-4578-bb14-c04be0ab144f","pdf_url":null,"source":{"id":"https://openalex.org/S4306402319","display_name":"Research Portal (Queen's University Belfast)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I126231945","host_organization_name":"Queen's University Belfast","host_organization_lineage":["https://openalex.org/I126231945"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"contributionToPeriodical"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.4300000071525574,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G2212296714","display_name":"X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems","funder_award_id":"957210","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7824805094","display_name":null,"funder_award_id":"EP/X022323/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1486481742","https://openalex.org/W1498432697","https://openalex.org/W2527810223","https://openalex.org/W2750041970","https://openalex.org/W2900474714","https://openalex.org/W2948961744","https://openalex.org/W3043074253","https://openalex.org/W3207502540","https://openalex.org/W4280639784","https://openalex.org/W4293057456","https://openalex.org/W4304140782","https://openalex.org/W4308087373","https://openalex.org/W4312540254","https://openalex.org/W6763964947","https://openalex.org/W6780637338"],"related_works":["https://openalex.org/W2094926594","https://openalex.org/W2357760762","https://openalex.org/W2029945169","https://openalex.org/W4390291562","https://openalex.org/W1970636450","https://openalex.org/W4210274887","https://openalex.org/W2118300947","https://openalex.org/W939370856","https://openalex.org/W3124381767","https://openalex.org/W2112241078"],"abstract_inverted_index":{"The":[0,143,169],"integration":[1,91],"of":[2,41,92,120],"connected":[3],"and":[4,19,29,51,74,86,94,152,177,182,197],"autonomous":[5],"technologies":[6],"in":[7],"safety-critical":[8,33],"brought":[9],"significant":[10],"system":[11,57,175],"design":[12,58],"challenges.":[13],"These":[14,186],"systems":[15,34],"are":[16,35],"constantly":[17],"evolving":[18],"becoming":[20],"more":[21],"complex.":[22],"With":[23],"their":[24,48],"connection":[25],"to":[26,38,47,117,123,134,173,195],"the":[27,30,82,99,128,140],"cloud":[28],"internet,":[31],"these":[32,55],"now":[36],"exposed":[37],"greater":[39],"risks":[40],"cyber-attacks,":[42],"which":[43],"poses":[44],"new":[45],"challenges":[46],"safety,":[49],"reliability":[50],"resilience.":[52],"To":[53,78],"approach":[54,88,104,130,144,171],"complex":[56],"challenges,":[59],"this":[60],"paper":[61],"proposes":[62],"XANDAR\u2019s":[63],"Verification":[64,85],"&":[65],"Validation":[66,87],"strategy":[67],"using":[68],"Static":[69],"Analysis,":[70,72],"Timing":[71,158],"Model-in-loop":[73],"Network":[75],"simulation":[76,93],"tool.":[77],"ensure":[79,135,174],"functional":[80],"correctness,":[81],"proposed":[83,103,129,170],"XANDAR":[84],"utilizes":[89,131],"early":[90,111],"static":[95,156],"analysis":[96,133],"techniques":[97],"during":[98],"development":[100,121],"cycle.":[101],"This":[102],"differs":[105],"from":[106],"existing":[107],"methods":[108],"by":[109,192],"emphasizing":[110],"integration,":[112],"rather":[113],"than":[114],"applying":[115,193],"it":[116,194],"later":[118],"stages":[119],"cycle":[122],"begin":[124],"verification.":[125],"In":[126],"addition,":[127],"timing":[132,137,141,161],"non-functional":[136],"aspects":[138],"meet":[139],"requirements.":[142],"applies":[145],"tools":[146],"such":[147],"as":[148],"Polyspace":[149],"Bug":[150],"Finder":[151],"Code":[153],"Prover":[154],"for":[155,160,165],"analysis,":[157,162],"Architect":[159],"NS3":[163],"simulator":[164],"network":[166],"architecture":[167],"simulation.":[168],"aims":[172],"safety":[176],"security":[178],"through":[179],"a":[180],"rigorous":[181],"comprehensive":[183],"verification":[184,187],"process.":[185],"approaches":[188],"will":[189],"be":[190],"validated":[191],"automotive":[196],"avionics":[198],"use":[199],"cases.":[200]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2}],"updated_date":"2026-07-20T07:56:41.581041","created_date":"2025-10-10T00:00:00"}
