{"id":"W3211799410","doi":"10.1109/models50736.2021.00028","title":"A Lean Approach to Building Valid Model-Based Safety Arguments","year":2021,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Traceability; Safety case; Correctness; Mathematical proof; Argument (complex analysis); Software engineering; Set (abstract data type); Automated theorem proving; Formal methods; Formal verification; Risk analysis (engineering); 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.0001672343,0.0002315241,0.0002573541,0.0001158403,0.00004385728,0.00004348864,0.0002028892,0.00008797575,0.00004427633],"category_scores_gemma":[0.00002783497,0.0002579221,0.00009312025,0.0003677919,0.000006765544,0.00007945485,0.00005140238,0.0001482215,0.00009131462],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002770345,"about_ca_system_score_gemma":0.00005216553,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005327491,"about_ca_topic_score_gemma":0.000001029506,"domain_scores_codex":[0.9987615,0.00001171142,0.0003226656,0.0003057689,0.0002090951,0.0003892129],"domain_scores_gemma":[0.9992313,0.00003581814,0.00001328999,0.0004948159,0.00004589218,0.0001789168],"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.00000207032,0.00002275481,0.00004801356,0.0001110567,0.00004027067,0.000003962411,0.00008606622,0.9862565,0.008194751,0.003866882,0.0007717387,0.0005959515],"study_design_scores_gemma":[0.0003030702,0.000004855146,0.00009197825,0.000045306,0.0000103166,0.000008889642,0.00002863147,0.9633416,0.0244059,0.00004316816,0.01140545,0.0003108324],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00902545,0.00008027111,0.9133753,0.0000487998,0.0003779677,0.0002092729,0.000008380818,0.001076356,0.07579818],"genre_scores_gemma":[0.7553426,0.00000180196,0.2433564,0.0001327454,0.00006927283,0.00005437897,0.00001554881,0.00007550824,0.0009517545],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7463171,"threshold_uncertainty_score":0.9999873,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01667489511185397,"score_gpt":0.223062187732663,"score_spread":0.2063872926208091,"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."}}