{"id":"W7119582404","doi":"10.1145/3784987.3784989","title":"Safe UAV Continuous-Control Architecture Design","year":2025,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Process (computing); Formal verification; Model checking; Functional verification; Runtime verification; Formal methods; Architecture; Software; Software verification; Design process","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007189661,0.0004885531,0.0001974757,0.0004693893,0.0003971122,0.00112887,0.0009376057,0.0006773369,0.002787995],"category_scores_gemma":[0.00113167,0.0003050236,0.000390596,0.0001749861,0.0007167069,0.000597511,0.0007290842,0.0007386259,0.000741325],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008250499,"about_ca_system_score_gemma":0.001742741,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003359576,"about_ca_topic_score_gemma":0.004227673,"domain_scores_codex":[0.9992205,0.0001342658,0.00003954702,0.0001151296,0.0003951578,0.00009540612],"domain_scores_gemma":[0.9993916,0.0001150744,0.00005783791,0.0001399155,0.0002633671,0.00003223724],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003349411,0.0001240926,0.002351362,0.0006545007,0.00008827623,0.0008321332,0.0007172718,0.456627,0.1116722,0.2119895,0.004757998,0.2098507],"study_design_scores_gemma":[0.00009610019,0.0003866693,0.0008461605,0.0001164577,0.00006960987,0.0002980818,0.0001044374,0.8281197,0.08053419,0.03352669,0.05586751,0.00003440317],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02989729,0.0003486163,0.9532242,0.0002585597,0.00009130743,0.0002155326,0.0001074395,0.001957585,0.01389947],"genre_scores_gemma":[0.5523018,0.0003612898,0.4357632,0.0001631593,0.00003065172,0.0003228167,0.000223017,0.0002497734,0.01058434],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003359576,"threshold_uncertainty_score":0.009326816,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008503720724271744,"score_gpt":0.2223188223577319,"score_spread":0.2138151016334601,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}