{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001326852,0.0008031788,0.0003796222,0.001429815,0.000523259,0.001327802,0.0011443,0.0008944878,0.003405879],"category_scores_gemma":[0.007753049,0.0006810967,0.001757437,0.0006317562,0.0006797111,0.001370017,0.001528817,0.001541185,0.001238266],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00115526,"about_ca_system_score_gemma":0.002758348,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004717216,"about_ca_topic_score_gemma":0.007160015,"domain_scores_codex":[0.9986255,0.0003304734,0.0001043499,0.000125357,0.000723041,0.00009120143],"domain_scores_gemma":[0.9967633,0.001834743,0.0002590866,0.000474956,0.000616343,0.00005152541],"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.0001741964,0.0002486037,0.004289664,0.0007670079,0.0001495844,0.001744138,0.001304234,0.5896428,0.03816747,0.1713839,0.008823241,0.1833052],"study_design_scores_gemma":[0.00003130681,0.00005240345,0.0003676361,0.00009508788,0.00004873079,0.0002383695,0.0001119812,0.915145,0.02092065,0.04348382,0.01948036,0.00002472686],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006659606,0.00006454365,0.9882308,0.0001146811,0.00002907796,0.0001322864,0.0004612571,0.002761648,0.001546053],"genre_scores_gemma":[0.1892512,0.0003165252,0.8032909,0.0001024245,0.00002692538,0.0004007975,0.003190553,0.001147608,0.002273007],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004717216,"threshold_uncertainty_score":0.01139379,"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."}}