{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002565551,0.0003721976,0.0004582665,0.0001155489,0.0001099913,0.0002688845,0.0005409726,0.0001460409,0.00007173783],"category_scores_gemma":[0.0001558466,0.0004153153,0.0001348595,0.0002230954,0.00004271736,0.0007430213,0.0000372635,0.0002251367,0.0002262702],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007357291,"about_ca_system_score_gemma":0.00008152179,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006381649,"about_ca_topic_score_gemma":0.000005230449,"domain_scores_codex":[0.9976421,0.00006468367,0.0009219694,0.0005043508,0.0005030371,0.0003638658],"domain_scores_gemma":[0.9986145,0.0002482142,0.000259945,0.0002395847,0.0004267244,0.0002110291],"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.0003358968,0.00008162649,0.0006109692,0.004122946,0.001562931,0.0001020553,0.02277406,0.7321799,0.08674803,0.134716,0.012637,0.004128562],"study_design_scores_gemma":[0.0009056799,0.00006828804,0.0002064057,0.0006131335,0.00003252813,0.00006329595,0.005418608,0.9369696,0.004677512,0.00001233497,0.05051112,0.0005215353],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01503505,0.0001717848,0.9592454,0.0008808351,0.009478944,0.001778833,0.0003705327,0.001390991,0.01164761],"genre_scores_gemma":[0.9952117,0.00002631584,0.001841023,0.00007567331,0.001288416,0.001070026,0.0001419162,0.00007938415,0.000265541],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9801767,"threshold_uncertainty_score":0.9998299,"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."}}