{"id":"W2804137143","doi":"10.4236/jsea.2018.115013","title":"Automatic Derivation of Fault Tree Models from SysML Models for Safety Analysis","year":2018,"lang":"en","type":"article","venue":"Journal of Software Engineering and Applications","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Systems Modeling Language; Fault tree analysis; Computer science; Model transformation; Reuse; Component (thermodynamics); Model checking; Process (computing); Unified Modeling Language; Aerospace; Systems engineering; Life-critical system; Modeling language; Software engineering; Transformation (genetics); Variety (cybernetics); Tree (set theory); Automotive industry; Reliability engineering; Engineering; Consistency (knowledge bases); Programming language; Software; Artificial intelligence","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.0001989337,0.0001755035,0.0004453358,0.0003660221,0.00004713276,0.00002257586,0.0001853012,0.0001003441,0.000006262888],"category_scores_gemma":[0.00005019173,0.000179415,0.0001680344,0.0005022853,0.00002601642,0.000257108,0.00001609319,0.0001183777,9.379227e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000884774,"about_ca_system_score_gemma":0.00002338156,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009916553,"about_ca_topic_score_gemma":0.000002430487,"domain_scores_codex":[0.9988111,0.000006001014,0.0007311361,0.0001259827,0.0001614402,0.0001643494],"domain_scores_gemma":[0.9989172,0.0003133994,0.0001797881,0.0002541378,0.000239803,0.00009566793],"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.000003742029,0.00001302215,0.00008171575,0.0001587203,0.0005750458,1.659265e-7,0.0002388902,0.9888713,0.001105924,0.001141744,0.00005559542,0.007754155],"study_design_scores_gemma":[0.0002963135,0.00002955441,0.001456519,0.0001075066,0.0003654646,0.00000660103,0.00003285221,0.9942584,0.0008771044,0.0008913855,0.001513955,0.0001643505],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0415936,0.000750369,0.9569306,0.00001427601,0.0001244438,0.0002418483,0.000101391,0.0002101647,0.00003332331],"genre_scores_gemma":[0.8248697,0.00006679475,0.1746674,0.000003608972,0.0002575903,0.00006655894,0.00002228829,0.0000394382,0.000006608273],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7832761,"threshold_uncertainty_score":0.7316332,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01044756231933763,"score_gpt":0.2095341997373557,"score_spread":0.1990866374180181,"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."}}