{"id":"W4414188024","doi":"10.1002/sys.70010","title":"Assessing the Usefulness of Assurance Cases: Experience With the Large Hadron Collider","year":2025,"lang":"en","type":"article","venue":"Systems Engineering","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Critical Systems Labs; McMaster University; University of Toronto","funders":"NextGenerationEU; Natural Sciences and Engineering Research Council of Canada; European Commission","keywords":"Documentation; Large Hadron Collider; Function (biology); Argumentation theory; Automation; Work (physics)","routes":{"ca_aff":true,"ca_fund":true,"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.1125284,0.001050043,0.000665605,0.003255537,0.005253994,0.00706101,0.003537891,0.003938118,0.003318533],"category_scores_gemma":[0.2758052,0.001001639,0.0006211903,0.002076815,0.006785675,0.008612567,0.007668686,0.004257828,0.0007679485],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005476905,"about_ca_system_score_gemma":0.004313916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002597062,"about_ca_topic_score_gemma":0.00360265,"domain_scores_codex":[0.8762172,0.1021122,0.004439412,0.002642127,0.012743,0.001846225],"domain_scores_gemma":[0.3940815,0.5444359,0.01250922,0.01897355,0.02606315,0.003936823],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"qualitative","study_design_gemma":"observational","study_design_scores_codex":[0.0009784112,0.00391537,0.03562338,0.001827689,0.0001345363,0.01057676,0.6560295,0.01244401,0.0102758,0.02759126,0.007961473,0.2326419],"study_design_scores_gemma":[0.001289356,0.008048021,0.03712808,0.004048695,0.000457497,0.01243212,0.4032442,0.1148601,0.04823205,0.05100856,0.3184787,0.0007726885],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9411272,0.0005650776,0.03124617,0.002756718,0.00007401588,0.0005681398,0.00007526726,0.0003872858,0.02320006],"genre_scores_gemma":[0.9585201,0.0003590568,0.03744333,0.0003196343,0.00003525189,0.0001553173,0.00009249723,0.0002342841,0.002840468],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1125284,"threshold_uncertainty_score":0.5951142,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01251991905525415,"score_gpt":0.2336189092962181,"score_spread":0.221098990240964,"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."}}