{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007775764,0.0005995724,0.0005880032,0.0009502717,0.004211679,0.007895775,0.001907465,0.009009881,0.02218478],"category_scores_gemma":[0.01972382,0.0005856982,0.0007805459,0.001046702,0.006785316,0.01045332,0.004260716,0.009575281,0.00223421],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005736521,"about_ca_system_score_gemma":0.002629949,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007366474,"about_ca_topic_score_gemma":0.007116545,"domain_scores_codex":[0.9954059,0.001906311,0.00008271191,0.0004582042,0.001567161,0.0005797665],"domain_scores_gemma":[0.9889882,0.008856376,0.0003520759,0.0009122231,0.0006189906,0.0002722396],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00009131517,0.00002012005,0.0001928441,0.00003747631,0.000008516815,0.0003100959,0.0006675802,0.001154359,0.0004393212,0.9688669,0.02063992,0.007571413],"study_design_scores_gemma":[0.00007312341,0.00005993495,0.0008109759,0.00011956,0.00003807874,0.0003611628,0.0008074745,0.0066113,0.001680269,0.8835237,0.1058583,0.00005613795],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.05372517,0.003135426,0.03742667,0.06509275,0.0009239192,0.00006522075,0.0001757655,0.0005107972,0.8389444],"genre_scores_gemma":[0.8966011,0.0007552351,0.006760903,0.01122459,0.000827665,0.00005837493,0.00008602108,0.0003580331,0.08332799],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02218478,"threshold_uncertainty_score":0.07421553,"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."}}