{"id":"W6894102762","doi":"10.5281/zenodo.7478019","title":"MMINT-A: A Framework for Model-Based Safety Assurance","year":2022,"lang":"en","type":"article","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Software; Safety assurance; Quality assurance; System safety; Key (lock)","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":["sts","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0006086667,0.0001680168,0.0001778157,0.0001891912,0.001513621,0.0001922984,0.0008695795,0.00005745078,0.002635434],"category_scores_gemma":[0.0003422536,0.000215515,0.00008146976,0.0004714243,0.00004102637,0.000112224,0.0003435346,0.0003796184,0.0006178157],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004841951,"about_ca_system_score_gemma":0.000006364056,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001574498,"about_ca_topic_score_gemma":4.880172e-8,"domain_scores_codex":[0.9986007,0.00009793053,0.0002880538,0.0003064256,0.0003046372,0.00040221],"domain_scores_gemma":[0.9990864,0.00008673257,0.00004973637,0.0004988121,0.0001603227,0.000117941],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00004351754,0.00003396347,7.746408e-7,0.0001723613,0.00004059472,0.000002960778,0.0003618361,0.9289878,0.001065775,0.01297111,0.04541788,0.01090143],"study_design_scores_gemma":[0.0002807642,0.00005465961,0.00003216864,0.00001877299,0.00000608158,0.00001533055,0.00004968052,0.4101227,0.0001637773,0.0002694952,0.5888293,0.0001572211],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0009283153,0.0001367745,0.9757324,0.0003285919,0.0003697109,0.0006940211,0.0006307219,0.002781065,0.01839839],"genre_scores_gemma":[0.9777339,0.00001232769,0.01802604,0.0001093721,0.0001501603,0.000001523103,0.000933684,0.002670373,0.0003625828],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9768056,"threshold_uncertainty_score":0.9997863,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02143901945254504,"score_gpt":0.2189399797635126,"score_spread":0.1975009603109675,"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."}}