{"id":"https://openalex.org/W7225194196","doi":"https://doi.org/10.21203/rs.3.rs-11576111/v1","title":"Remote UAV: A capability-based architecture with deterministic, evidence-grounded independent verification for PX4 SITL/Gazebo mission simulation","display_name":"Remote UAV: A capability-based architecture with deterministic, evidence-grounded independent verification for PX4 SITL/Gazebo mission simulation","publication_year":2026,"publication_date":"2026-11-03","ids":{"openalex":"https://openalex.org/W7225194196","doi":"https://doi.org/10.21203/rs.3.rs-11576111/v1"},"language":"en","primary_location":{"id":"doi:10.21203/rs.3.rs-11576111/v1","doi":"https://doi.org/10.21203/rs.3.rs-11576111/v1","is_oa":true,"landing_page_url":"https://doi.org/10.21203/rs.3.rs-11576111/v1","pdf_url":"https://www.researchsquare.com/article/rs-11576111/latest.pdf","source":{"id":"https://openalex.org/S4306525896","display_name":"Research Square","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":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Research Square","raw_type":"posted-content"},"volume":null,"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.researchsquare.com/article/rs-11576111/latest.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043412244","display_name":"Than D. Le","orcid":"https://orcid.org/0000-0002-7551-0756","observed_orcids":["https://orcid.org/0000-0002-7551-0756"]},"institutions":[{"id":"https://openalex.org/I4391012539","display_name":"Thu Dau Mot University","ror":"https://ror.org/010y5b925","country_code":"VN","type":"education","lineage":["https://openalex.org/I4391012539"]}],"countries":["VN"],"is_corresponding":false,"raw_author_name":"Than Le","raw_affiliation_strings":["Thu Dau Mot University"],"raw_orcid":"https://orcid.org/0000-0002-7551-0756","affiliations":[{"raw_affiliation_string":"Thu Dau Mot University","institution_ids":["https://openalex.org/I4391012539"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5160420357","display_name":"Tam Vu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tam Vu","raw_affiliation_strings":["Wisdom Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Wisdom Research","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13855","display_name":"Aerospace Engineering and Control Systems","score":0.7621999979019165,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace 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/T13855","display_name":"Aerospace Engineering and Control Systems","score":0.7621999979019165,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace 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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.05689999833703041,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.0551999993622303,"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/unmanned-aerial-vehicles","display_name":"unmanned aerial vehicles","score":0.7720000147819519},{"id":"https://openalex.org/keywords/software-in-the-loop","display_name":"software-in-the-loop simulation","score":0.9279999732971191},{"id":"https://openalex.org/keywords/px4","display_name":"PX4","score":0.7829999923706055},{"id":"https://openalex.org/keywords/gazebo","display_name":"Gazebo","score":0.9909999966621399},{"id":"https://openalex.org/keywords/independent-verification","display_name":"independent verification","score":0.6790000200271606},{"id":"https://openalex.org/keywords/deterministic-verification","display_name":"deterministic verification","score":0.6200000047683716},{"id":"https://openalex.org/keywords/flight-readiness","display_name":"flight readiness","score":0.4959999918937683},{"id":"https://openalex.org/keywords/fault-injection","display_name":"fault injection","score":0.49300000071525574},{"id":"https://openalex.org/keywords/regression-testing","display_name":"regression testing","score":0.6010000109672546},{"id":"https://openalex.org/keywords/waypoint-navigation","display_name":"waypoint navigation","score":0.45100000500679016},{"id":"https://openalex.org/keywords/takeoff-and-landing","display_name":"takeoff and landing","score":0.5619999766349792},{"id":"https://openalex.org/keywords/evidence-integrity","display_name":"evidence integrity","score":0.38199999928474426},{"id":"https://openalex.org/keywords/smoke-testing","display_name":"smoke testing","score":0.36800000071525574}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7304999828338623},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.6996999979019165},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6299999952316284},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.5867000222206116},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.5541999936103821},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4352000057697296},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.38830000162124634},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.38499999046325684},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.3815000057220459},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.36500000953674316},{"id":"https://openalex.org/C81293917","wikidata":"https://www.wikidata.org/wiki/Q4189534","display_name":"System deployment","level":3,"score":0.3594000041484833},{"id":"https://openalex.org/C183121708","wikidata":"https://www.wikidata.org/wiki/Q209867","display_name":"Telemetry","level":2,"score":0.3443000018596649},{"id":"https://openalex.org/C2984309673","wikidata":"https://www.wikidata.org/wiki/Q697175","display_name":"Launch vehicle","level":2,"score":0.34310001134872437},{"id":"https://openalex.org/C98025372","wikidata":"https://www.wikidata.org/wiki/Q477538","display_name":"Systems architecture","level":3,"score":0.328000009059906},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3255000114440918},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.323199987411499},{"id":"https://openalex.org/C148220186","wikidata":"https://www.wikidata.org/wiki/Q7111912","display_name":"Outcome (game theory)","level":2,"score":0.3181000053882599},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.29190000891685486},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.2786000072956085},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.27790001034736633},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.27549999952316284},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.275299996137619},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.27160000801086426},{"id":"https://openalex.org/C41376638","wikidata":"https://www.wikidata.org/wiki/Q214932","display_name":"Flight simulator","level":2,"score":0.2644999921321869},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C115051666","wikidata":"https://www.wikidata.org/wiki/Q6522493","display_name":"Ranging","level":2,"score":0.2549000084400177}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.21203/rs.3.rs-11576111/v1","doi":"https://doi.org/10.21203/rs.3.rs-11576111/v1","is_oa":true,"landing_page_url":"https://doi.org/10.21203/rs.3.rs-11576111/v1","pdf_url":"https://www.researchsquare.com/article/rs-11576111/latest.pdf","source":{"id":"https://openalex.org/S4306525896","display_name":"Research Square","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":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Research Square","raw_type":"posted-content"}],"best_oa_location":{"id":"doi:10.21203/rs.3.rs-11576111/v1","doi":"https://doi.org/10.21203/rs.3.rs-11576111/v1","is_oa":true,"landing_page_url":"https://doi.org/10.21203/rs.3.rs-11576111/v1","pdf_url":"https://www.researchsquare.com/article/rs-11576111/latest.pdf","source":{"id":"https://openalex.org/S4306525896","display_name":"Research Square","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":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Research Square","raw_type":"posted-content"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7225194196.pdf","grobid_xml":"https://content.openalex.org/works/W7225194196.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W2041713059","https://openalex.org/W2811472820","https://openalex.org/W3141505394","https://openalex.org/W3206283835","https://openalex.org/W4291221163","https://openalex.org/W4388102559","https://openalex.org/W4402219002"],"related_works":["https://openalex.org/W2885441199","https://openalex.org/W7214903988","https://openalex.org/W7125483732","https://openalex.org/W2625192904","https://openalex.org/W2908979160","https://openalex.org/W2971652963","https://openalex.org/W7213259156","https://openalex.org/W4205467527","https://openalex.org/W7100930624","https://openalex.org/W2969453603"],"abstract_inverted_index":{"Abstract":[0],"oftware-in-the-loop":[1],"(SITL)":[2],"simulation":[3,43],"is":[4,26,322,369,423],"widely":[5],"used":[6],"to":[7,214,356],"validate":[8,158],"unmanned":[9],"aerial":[10],"vehicle":[11],"(UAV)":[12],"control":[13,22],"soft-ware":[14],"before":[15],"flight":[16,34],"on":[17,46,160,274,333,344],"real":[18],"hardware,":[19],"but":[20,329],"a":[21,33,42,54,94,119,129,141,149,166,174,180,205,227,267,285,305,338,349,424,439,443],"module":[23,106],"reporting":[24],"\u201ccompleted\u201d":[25],"not,":[27],"by":[28,93],"itself,":[29],"quantitative":[30],"evidence":[31,60,163,361],"that":[32,52,97,362,419,448],"objective":[35],"was":[36],"met.":[37],"We":[38,108,377],"present":[39],"Remote":[40],"UAV,":[41],"framework":[44],"built":[45],"PX4":[47],"SITL,":[48],"Gazebo,":[49],"and":[50,62,76,87,91,138,148,157,187,199,248,277,284,304,337,387,403,431,434,442],"MAVSDK":[51,302],"enforces":[53],"strict":[55],"separation":[56],"between":[57],"capability":[58,231,253,367],"execution,":[59],"collection,":[61],"deterministic,":[63],"independent":[64,235,452],"verification.":[65],"The":[66],"system":[67],"exposes":[68],"four":[69],"reusable":[70],"capabilities":[71,113],"\u2013":[72,78,112,156,360],"TAKEOFF-001,":[73],"NAV-001,":[74],"RETURN-HOME-001,":[75],"LAND-001":[77],"composed":[79],"into":[80],"two":[81,161,280],"interaction":[82],"modes,":[83],"continuous":[84],"Single":[85],"Flight":[86],"multi-waypoint":[88],"Mission":[89],"Builder,":[90],"verified":[92],"Python":[95],"verifier":[96,236],"recomputes":[98],"pass/fail":[99],"from":[100,212],"frozen":[101,123,207],"telemetry":[102,124],"rather":[103],"than":[104],"trusting":[105],"self-reports.":[107],"formalize":[109],"this":[110,370],"architecture":[111,422],"as":[114,118,128,383,412],"precondition\u2013execution\u2013postcondition":[115],"tuples,":[116],"verification":[117],"pure":[120],"function":[121],"over":[122,237,290],"traces,":[125],"mission-level":[126],"correctness":[127],"conjunction":[130],"of":[131,153,242,308,353,374,394],"child":[132],"verdicts":[133,273],"with":[134,193,261],"explicit":[135],"continuity,":[136],"evidence-integrity,":[137],"terminal-state":[139],"predicates,":[140],"four-class":[142],"taxonomy":[143],"partitioning":[144],"module/verifier":[145],"outcome":[146],"pairs,":[147],"Bernoulli":[150,341],"retry":[151],"model":[152,342],"simulator":[154],"flight-readiness":[155,247,320],"it":[159],"separate":[162],"layers.":[164],"On":[165,204],"development-time":[167],"functional":[168],"baseline":[169,209],"(V7.0":[170],"Deployment":[171],"Edi-tion/Package":[172],"1.0.0),":[173],"190-case":[175],"regression":[176,220],"suite":[177,221],"passes":[178,185,192,222],"190/190,":[179],"50-flight":[181],"NAV-001":[182],"soak":[183],"test":[184,270,289],"50/50,":[186],"an":[188],"illustrative":[189],"eight-step":[190],"mission":[191,240],"maximum":[194],"inter-step":[195],"continuity":[196],"0.973":[197],"m":[198,311],"terminal-home":[200],"distance":[201],"0.771":[202],"m.":[203],"separately":[206],"evaluation":[208],"(v1.6.1),":[210],"isolated":[211],"development":[213],"prevent":[215],"post-hoc":[216],"patching,":[217],"the":[218,234,334,345,357,385,395,399,408,413,420,451],"full":[219],"3028/3028":[223],"in":[224],"152.19":[225],"s;":[226],"comparative":[228,432],"campaign":[229],"crosses":[230],"self-report":[232],"against":[233],"30":[238],"requested":[239],"cycles,":[241],"which":[243],"25":[244],"reach":[245],"PX4/Gazebo":[246,363],"execute,":[249],"yielding":[250],"100/100":[251],"AGREE-PASS":[252],"outcomes":[254],"(Wilson":[255],"95%":[256],"CI":[257],"86.7\u2013100%":[258],"per":[259],"capability)":[260],"zero":[262,300],"SILENT-FAIL":[263],"or":[264],"V-ONLY-LENIENT":[265],"classifications;":[266],"reliability/fault-injection":[268],"smoke":[269,288],"confirms":[271],"expected":[272],"normal":[275],"flights":[276,293],"correctly":[278],"rejects":[279],"injected-fault":[281],"conditions":[282],"(4/4);":[283],"longitudinal":[286,388],"resource":[287],"26":[291],"consecutive":[292],"shows":[294],"file-descriptor":[295],"count":[296],"constant":[297],"at":[298],"6,":[299],"residual":[301],"processes,":[303],"position-error":[306],"distribution":[307],"mean":[309],"0.094":[310],"(SD":[312],"0.036":[313],"m,":[314],"p95":[315],"=":[316],"0.133":[317],"m).":[318],"Separately,":[319],"itself":[321,410],"25/30":[323],"(83.3%)":[324],"within":[325],"three":[326],"initialization":[327],"attempts":[328],"only":[330],"13/30":[331],"(43.3%)":[332],"first":[335],"attempt,":[336],"simple":[339],"independentretry":[340],"calibrated":[343],"first-attempt":[346],"rate":[347],"predicts":[348],"three-attempt":[350],"readiness":[351],"probability":[352],"81.8%,":[354],"close":[355],"83.3%":[358],"observed":[359],"cold-start":[364],"readiness,":[365],"not":[366,398],"logic,":[368],"system\u2019s":[371],"dominant":[372],"source":[373],"end-to-end":[375],"variability.":[376],"report":[378],"what":[379],"remains":[380],"open":[381],"just":[382],"explicitly:":[384],"reliability":[386],"studies":[389],"above":[390],"are":[391],"smoke-scale":[392],"qualifications":[393],"measurement":[396],"protocol,":[397],"n":[400],"\u2265":[401,404],"30-per-condition":[402],"4":[405],"h":[406],"campaigns":[407],"protocol":[409],"specifies":[411],"confirmatory":[414],"target.":[415],"These":[416],"results":[417],"indicate":[418],"proposed":[421],"viable":[425],"foundation":[426],"for":[427,435],"simulation-first":[428],"regression,":[429],"soak,":[430],"evaluation,":[433],"staged":[436],"extension":[437],"toward":[438],"real-UAV":[440],"adapter":[441],"supervised":[444],"AI":[445],"planning":[446],"layer":[447],"cannot":[449],"bypass":[450],"verifier.":[453]},"counts_by_year":[],"updated_date":"2026-11-05T12:25:35.769452","created_date":"2026-11-04T00:00:00"}