{"id":"W4416923756","doi":"10.1109/dasc66011.2025.11257324","title":"Formal Model-Based Traceability for Security Compliance in Satellite Control Systems","year":2025,"lang":"","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Traceability; Requirements traceability; Audit; Control (management); Security controls; Work (physics); Software security assurance; Conformity assessment; Interoperability; Software architecture","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.004994887,0.0009259701,0.0005759858,0.001988489,0.001327061,0.003364244,0.001726725,0.001543563,0.003362393],"category_scores_gemma":[0.01695064,0.0009018346,0.002742739,0.001030693,0.00374258,0.004058522,0.002393913,0.003111952,0.0005726833],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003266156,"about_ca_system_score_gemma":0.005909744,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01543166,"about_ca_topic_score_gemma":0.0131209,"domain_scores_codex":[0.994136,0.002011883,0.0005241914,0.0005547203,0.002338689,0.0004345282],"domain_scores_gemma":[0.9880188,0.007476674,0.001030566,0.001967273,0.001355572,0.0001511983],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009392781,0.000245219,0.001957817,0.0002894458,0.00005973337,0.0004409499,0.001041168,0.427865,0.006901092,0.5265167,0.001229772,0.03335925],"study_design_scores_gemma":[0.00004758273,0.00007723564,0.0002605102,0.0001326461,0.00005808386,0.0001185749,0.0001505587,0.7993399,0.00773516,0.183861,0.008176992,0.00004173932],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01306826,0.00009108664,0.9825212,0.000347016,0.00003382129,0.0001404188,0.0001134649,0.000838913,0.002845757],"genre_scores_gemma":[0.4209428,0.0004092585,0.5731259,0.0002541378,0.00005404617,0.0005728627,0.0007167291,0.0005293021,0.003395007],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01543166,"threshold_uncertainty_score":0.0306837,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01646449023083773,"score_gpt":0.2479367055126105,"score_spread":0.2314722152817727,"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."}}