{"id":"W4385597996","doi":"10.1016/j.scico.2023.103004","title":"MMINT-A: A framework for model-based safety assurance","year":2023,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Traceability; Computer science; Safety assurance; Functional safety; Risk analysis (engineering); Fault tree analysis; System safety; Safety case; Safety standards; Systems engineering; Process management; Software engineering; Reliability engineering; Business; Engineering","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":[],"consensus_categories":[],"category_scores_codex":[0.0008568002,0.0001686785,0.0002450789,0.0003104293,0.0001130133,0.00007259671,0.0005815364,0.00007072189,0.000001092075],"category_scores_gemma":[0.00008207357,0.0001784526,0.00009850517,0.001507984,0.0001802738,0.0002059184,0.00005726167,0.0001192519,0.00001290456],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009957112,"about_ca_system_score_gemma":0.0001302694,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001331024,"about_ca_topic_score_gemma":4.447679e-7,"domain_scores_codex":[0.9984421,0.000006391308,0.0003528824,0.0002951301,0.0003352923,0.0005682719],"domain_scores_gemma":[0.9990768,0.000254021,0.00005426507,0.0003915584,0.000122414,0.00010087],"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.000002804614,0.000006685123,0.00005589821,0.0002544661,0.000008282325,6.536853e-7,0.0001758904,0.9268544,0.0007448344,0.005407447,0.00007534535,0.06641328],"study_design_scores_gemma":[0.0001686813,0.00003536668,0.0004750278,0.0002302527,0.000004352686,0.000001216409,0.00001178517,0.9920599,0.002820545,0.00079352,0.003205599,0.0001937025],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009455672,0.00004847506,0.9874283,0.0000768881,0.001199739,0.0004945155,0.000006851486,0.00120643,0.00008313714],"genre_scores_gemma":[0.5224729,0.000001265017,0.4773366,0.000007019243,0.00007476527,0.00007415182,0.000002438863,0.00002374877,0.000007118158],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5130172,"threshold_uncertainty_score":0.7277085,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01528187590871248,"score_gpt":0.2543523462485555,"score_spread":0.239070470339843,"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."}}