{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005172865,0.002023068,0.001205792,0.001714537,0.001355492,0.004656652,0.005131523,0.002433581,0.01036845],"category_scores_gemma":[0.01238083,0.001623336,0.00395992,0.0009538701,0.002283733,0.005501476,0.006441238,0.006981036,0.003613872],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001361318,"about_ca_system_score_gemma":0.003363473,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002583793,"about_ca_topic_score_gemma":0.003450864,"domain_scores_codex":[0.9948612,0.001755502,0.000417456,0.0005467772,0.002041471,0.0003775272],"domain_scores_gemma":[0.9947618,0.002021282,0.0003403666,0.001927468,0.0007235102,0.0002257212],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000242492,0.0002001707,0.000792743,0.0008212715,0.0002018775,0.0002769036,0.0003569289,0.06859828,0.007363687,0.7508237,0.02307517,0.1472468],"study_design_scores_gemma":[0.00007919148,0.0001013756,0.0001515525,0.000261272,0.0001183988,0.0002264258,0.00005552508,0.4466916,0.01269473,0.4509743,0.08857503,0.00007054138],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003593003,0.00005105824,0.9922426,0.0001239559,0.00004727564,0.00006263619,0.0001209656,0.005813023,0.001179061],"genre_scores_gemma":[0.04482944,0.0002862882,0.9480293,0.0003904447,0.0001161924,0.0004771092,0.0008254711,0.002275737,0.002770018],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01036845,"threshold_uncertainty_score":0.03468585,"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."}}