{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001838242,0.0007663617,0.00138987,0.0004293129,0.0001330792,0.0001605187,0.0005984309,0.0005683129,0.00001765211],"category_scores_gemma":[0.0001473299,0.0008973145,0.000390945,0.0006848975,0.00009109317,0.0004552027,0.00004581665,0.0006000953,0.00002248032],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001503265,"about_ca_system_score_gemma":0.0003599503,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001749916,"about_ca_topic_score_gemma":0.00009540886,"domain_scores_codex":[0.9954092,0.0001147396,0.001986932,0.0008242726,0.0002686888,0.001396201],"domain_scores_gemma":[0.9973383,0.0009748128,0.0001368266,0.001123727,0.0002323721,0.0001939618],"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.0001781354,0.0001490003,0.001480954,0.01043113,0.0001461753,0.00000221842,0.0002177995,0.9663792,0.000155883,0.01906363,0.0001259946,0.001669914],"study_design_scores_gemma":[0.005521403,0.00005267628,0.001640992,0.001442331,0.00007709938,0.00000176563,0.0001228867,0.9838439,0.0002454671,0.0004560273,0.005865712,0.0007297489],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007687104,0.007680306,0.9653158,0.000276706,0.003230669,0.005889963,0.0002837235,0.0009318517,0.008703891],"genre_scores_gemma":[0.9924124,0.00003353116,0.005485377,0.00008552331,0.0001121152,0.001318835,0.00002051911,0.00009279625,0.0004389294],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9847253,"threshold_uncertainty_score":0.9993477,"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."}}