{"id":"W4386585696","doi":"10.1007/978-3-031-40923-3_1","title":"Assurance Case Arguments in the Large: The CERN LHC Machine Protection System","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University; University of Toronto; Critical Systems Labs","funders":"Natural Sciences and Engineering Research Council of Canada; CERN","keywords":"Large Hadron Collider; Argumentation theory; Argument (complex analysis); Computer science; Particle physics; Physics; Epistemology; Philosophy","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001386998,0.0004082042,0.0003378921,0.0003793395,0.0001873459,0.0001958176,0.001145549,0.0002229554,0.000003828582],"category_scores_gemma":[0.00004689952,0.0002728933,0.00008082268,0.0006209072,0.0001114233,0.000129923,0.0001792252,0.00108799,0.00007110603],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005438282,"about_ca_system_score_gemma":0.00005488312,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009312561,"about_ca_topic_score_gemma":0.0003991752,"domain_scores_codex":[0.9979773,0.00004527778,0.0004557298,0.0005231546,0.0005004182,0.0004981178],"domain_scores_gemma":[0.9985626,0.0003592889,0.00009541099,0.0008965635,0.00004437221,0.00004176738],"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.00000207892,0.000007563845,0.00002488808,0.0005494334,0.00002065923,0.0006805075,0.001245633,0.9681276,0.00003124938,0.001059398,0.00002009654,0.02823088],"study_design_scores_gemma":[0.0002096368,0.0000233246,0.0001893607,0.001031769,0.00000824469,0.001560143,0.000003484156,0.9925764,0.00006862707,0.0005395858,0.003436349,0.0003530665],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0003150314,0.000621027,0.9912223,0.000240573,0.003993843,0.00146789,0.00002218672,0.0005763655,0.001540803],"genre_scores_gemma":[0.9972783,0.00001710692,0.001753975,0.00006974239,0.0004909585,0.0001448754,0.000004446921,0.00009137637,0.0001491965],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9969633,"threshold_uncertainty_score":0.9999723,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01323672471083598,"score_gpt":0.207494105159835,"score_spread":0.1942573804489991,"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."}}