{"id":"W3111880994","doi":"10.1109/syscon47679.2020.9275852","title":"Eliminative Argumentation for Arguing System Safety - A Practitioner’s Experience","year":2020,"lang":"en","type":"article","venue":"2020 IEEE International Systems Conference (SysCon)","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Critical Systems Labs","funders":"","keywords":"Argumentation theory; Safety case; Artifact (error); Risk analysis (engineering); Notation; Computer science; Life-critical system; Set (abstract data type); System safety; Automotive industry; Defeasible estate; Software; Engineering; Artificial intelligence; Business; Reliability engineering; Epistemology; Mathematics; Programming language","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.04226564,0.0008532969,0.0007362735,0.001585428,0.003115732,0.008682624,0.003146782,0.006389465,0.003111032],"category_scores_gemma":[0.05393087,0.0005951628,0.0005907603,0.001599146,0.00826705,0.009303462,0.005085938,0.008648833,0.001301498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00342964,"about_ca_system_score_gemma":0.003677726,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002542707,"about_ca_topic_score_gemma":0.003519558,"domain_scores_codex":[0.9614389,0.03141488,0.0009883184,0.00140013,0.00403779,0.0007200737],"domain_scores_gemma":[0.9212148,0.06233188,0.0009913804,0.003659324,0.009623132,0.002179324],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003799132,0.001551695,0.004141283,0.002566358,0.0001121377,0.003655567,0.2505836,0.01074369,0.009363384,0.1965064,0.02250513,0.4978907],"study_design_scores_gemma":[0.0002070455,0.001000349,0.001954267,0.003383859,0.00008416161,0.004889379,0.09208839,0.02917665,0.008203368,0.1577133,0.701054,0.0002451957],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1524606,0.04007341,0.6585336,0.06457378,0.001297224,0.00042595,0.00007073972,0.0007959623,0.08176877],"genre_scores_gemma":[0.6801937,0.02316099,0.2685675,0.007056374,0.0004601049,0.0001975707,0.0001371698,0.0004662522,0.01976036],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.04226564,"threshold_uncertainty_score":0.2235247,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0367597501010835,"score_gpt":0.2663260769279157,"score_spread":0.2295663268268321,"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."}}