{"id":"https://openalex.org/W4308069718","doi":"https://doi.org/10.1109/dasc55683.2022.9925841","title":"Runtime Assurance for Distributed Avionics Architecture","display_name":"Runtime Assurance for Distributed Avionics Architecture","publication_year":2022,"publication_date":"2022-09-18","ids":{"openalex":"https://openalex.org/W4308069718","doi":"https://doi.org/10.1109/dasc55683.2022.9925841"},"language":"en","primary_location":{"id":"doi:10.1109/dasc55683.2022.9925841","doi":"https://doi.org/10.1109/dasc55683.2022.9925841","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dasc55683.2022.9925841","pdf_url":null,"source":{"id":"https://openalex.org/S4363608230","display_name":"IEEE/AIAA Digital Avionics Systems Conference (DASC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5063006819","display_name":"Salman Ghori","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I71920554","display_name":"King Abdullah University of Science and Technology","ror":"https://ror.org/01q3tbs38","country_code":"SA","type":"education","lineage":["https://openalex.org/I71920554"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Salman Ghori","raw_affiliation_strings":["King Abdullah University of Science and Technology,Electrical and Computer Engineering,Thuwal,Saudi Arabia","Electrical and Computer Engineering, King Abdullah University of Science and Technology, Thuwal, Saudi Arabia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"King Abdullah University of Science and Technology,Electrical and Computer Engineering,Thuwal,Saudi Arabia","institution_ids":["https://openalex.org/I71920554"]},{"raw_affiliation_string":"Electrical and Computer Engineering, King Abdullah University of Science and Technology, Thuwal, Saudi Arabia","institution_ids":["https://openalex.org/I71920554"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000347673","display_name":"Thanakorn Khamvilai","orcid":"https://orcid.org/0000-0001-5739-1338","observed_orcids":["https://orcid.org/0000-0001-5739-1338"]},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Thanakorn Khamvilai","raw_affiliation_strings":["The Pennsylvania State University University,Aerospace Engineering,Park,PA,USA","Aerospace Engineering, The Pennsylvania State University University, Park, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Pennsylvania State University University,Aerospace Engineering,Park,PA,USA","institution_ids":["https://openalex.org/I130769515"]},{"raw_affiliation_string":"Aerospace Engineering, The Pennsylvania State University University, Park, PA, USA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041459160","display_name":"\u00c9ric F\u00e9ron","orcid":"https://orcid.org/0000-0001-7717-2159","observed_orcids":["https://orcid.org/0000-0001-7717-2159"]},"institutions":[{"id":"https://openalex.org/I71920554","display_name":"King Abdullah University of Science and Technology","ror":"https://ror.org/01q3tbs38","country_code":"SA","type":"education","lineage":["https://openalex.org/I71920554"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Eric Feron","raw_affiliation_strings":["King Abdullah University of Science and Technology,Electrical and Computer Engineering,Thuwal,Saudi Arabia","Electrical and Computer Engineering, King Abdullah University of Science and Technology, Thuwal, Saudi Arabia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"King Abdullah University of Science and Technology,Electrical and Computer Engineering,Thuwal,Saudi Arabia","institution_ids":["https://openalex.org/I71920554"]},{"raw_affiliation_string":"Electrical and Computer Engineering, King Abdullah University of Science and Technology, Thuwal, Saudi Arabia","institution_ids":["https://openalex.org/I71920554"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032934501","display_name":"Mehrdad Pakmehr","orcid":"https://orcid.org/0000-0003-0575-6723","observed_orcids":["https://orcid.org/0000-0003-0575-6723"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mehrdad Pakmehr","raw_affiliation_strings":["ControlX, Inc., Santa Clara, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ControlX, Inc., Santa Clara, CA, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.4023,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.88640133,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.7387999892234802,"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.7387999892234802,"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/T10142","display_name":"Formal Methods in Verification","score":0.06970000267028809,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.06340000033378601,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/runtime-assurance","display_name":"runtime assurance","score":0.9980000257492065},{"id":"https://openalex.org/keywords/backup-controller","display_name":"backup controller","score":0.8019999861717224},{"id":"https://openalex.org/keywords/safety-critical-systems","display_name":"safety-critical systems","score":0.8579999804496765},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"fault tolerance","score":0.4699999988079071},{"id":"https://openalex.org/keywords/multirotor-vehicles","display_name":"multirotor vehicles","score":0.6579999923706055},{"id":"https://openalex.org/keywords/unmanned-aerial-vehicles","display_name":"unmanned aerial vehicles","score":0.875},{"id":"https://openalex.org/keywords/system-autonomy","display_name":"system autonomy","score":0.6819999814033508},{"id":"https://openalex.org/keywords/resource-sharing","display_name":"resource sharing","score":0.902999997138977},{"id":"https://openalex.org/keywords/real-time-execution","display_name":"real-time execution","score":0.6200000047683716},{"id":"https://openalex.org/keywords/urban-air-mobility","display_name":"urban air mobility","score":0.5929999947547913}],"concepts":[{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.9132219552993774},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6464444994926453},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5491577982902527},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.48742297291755676},{"id":"https://openalex.org/C189956118","wikidata":"https://www.wikidata.org/wiki/Q1665437","display_name":"Integrated modular avionics","level":3,"score":0.4469637870788574},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32389408349990845},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2492782175540924},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/dasc55683.2022.9925841","doi":"https://doi.org/10.1109/dasc55683.2022.9925841","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dasc55683.2022.9925841","pdf_url":null,"source":{"id":"https://openalex.org/S4363608230","display_name":"IEEE/AIAA Digital Avionics Systems Conference (DASC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC)","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.kaust.edu.sa:10754/685588","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/10754/685588","pdf_url":null,"source":{"id":"https://openalex.org/S4306401596","display_name":"King Abdullah University of Science and Technology Repository (King Abdullah University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I71920554","host_organization_name":"King Abdullah University of Science and Technology","host_organization_lineage":["https://openalex.org/I71920554"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.428600013256073,"id":"https://metadata.un.org/sdg/9"}],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320310419","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231"},{"id":"https://openalex.org/F4320322320","display_name":"King Abdullah University of Science and Technology","ror":"https://ror.org/01q3tbs38"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1480023784","https://openalex.org/W1990357121","https://openalex.org/W1997177071","https://openalex.org/W2085742740","https://openalex.org/W2159011958","https://openalex.org/W2184348202","https://openalex.org/W2500522415","https://openalex.org/W2528952254","https://openalex.org/W2592736034","https://openalex.org/W2930229865","https://openalex.org/W3023739986","https://openalex.org/W3081019744","https://openalex.org/W3088586141","https://openalex.org/W3093599819","https://openalex.org/W3098840725","https://openalex.org/W3130483668","https://openalex.org/W3155567551","https://openalex.org/W3167194698","https://openalex.org/W3203074617","https://openalex.org/W3214322805","https://openalex.org/W4205468832","https://openalex.org/W4253312890","https://openalex.org/W4289258601","https://openalex.org/W4307876719"],"related_works":["https://openalex.org/W3098840725","https://openalex.org/W2811286873","https://openalex.org/W3167194698","https://openalex.org/W4404411296","https://openalex.org/W2294668307","https://openalex.org/W4387755483","https://openalex.org/W4319453558","https://openalex.org/W3118770749","https://openalex.org/W2321648114","https://openalex.org/W4313513871"],"abstract_inverted_index":{"Runtime":[0],"Assurance":[1],"(RTA)":[2],"is":[3],"becoming":[4],"a":[5,26,34,52,68,86,109,130,155,162],"trend":[6],"in":[7,118,170],"the":[8,23,38,48,59,65,99,124,137,143,171],"aerospace":[9],"and":[10,55,134,148],"Unmanned":[11],"Aerial":[12],"Vehicle":[13],"(UAV)":[14],"industries":[15],"due":[16],"to":[17,63,141],"its":[18],"benefits,":[19],"such":[20],"as":[21],"ensuring":[22],"safety":[24],"of":[25,37,44,50,74,82,98,112,123,145,158,173],"safety-critical":[27],"system,":[28],"e.g.,":[29],"Urban":[30],"Air":[31],"Mobility,":[32],"without":[33],"formal":[35,131],"verification":[36,113],"primary":[39,60],"system":[40,150],"controller.":[41],"The":[42],"principle":[43],"RTA":[45,100,132,159],"revolves":[46],"around":[47],"notion":[49],"maintaining":[51],"backup":[53],"controller":[54,61],"executing":[56],"it":[57],"whenever":[58],"appears":[62],"harm":[64],"system.":[66],"Additionally,":[67],"modern":[69],"avionics":[70,104,125,139,168],"architecture":[71,105,140,169],"(distributed),":[72],"consisting":[73],"nodes":[75],"(sensors,":[76],"actuators,":[77],"computing":[78],"units,":[79],"etc.)":[80],"capable":[81],"exchanging":[83],"information":[84],"via":[85],"reliable,":[87],"standard":[88],"communication":[89],"network,":[90],"can":[91,106],"also":[92,153],"benefit":[93],"from":[94],"RTA.":[95],"Hence,":[96],"integration":[97],"framework":[101,135],"into":[102],"an":[103],"allow":[107],"for":[108,114,136],"reduced":[110],"degree":[111],"these":[115],"algorithm":[116],"and,":[117],"turn,":[119],"promote":[120],"autonomy":[121],"levels":[122],"systems.;":[126],"This":[127],"paper":[128],"presents":[129],"definition":[133],"distributed":[138,167],"obtain":[142],"benefits":[144],"resource":[146],"sharing":[147],"improved":[149],"autonomy.":[151],"We":[152],"demonstrate":[154],"real-time":[156],"execution":[157],"implementation":[160],"on":[161],"multirotor":[163],"vehicle":[164],"equipped":[165],"with":[166],"event":[172],"failure.":[174]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2022-11-08T00:00:00"}