{"id":"W4200439617","doi":"10.18280/ijsse.110606","title":"Qualitative Analysis of State/Event Fault Trees Based on Interface Automata","year":2021,"lang":"en","type":"article","venue":"International Journal of Safety and Security Engineering","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Fundamental Research Funds for the Central Universities; Nanjing University of Aeronautics and Astronautics; National Natural Science Foundation of China","keywords":"Automaton; Computer science; Interface (matter); Fault tree analysis; Semantics (computer science); Event (particle physics); Theoretical computer science; Tree (set theory); Set (abstract data type); Process (computing); State (computer science); Finite-state machine; Algorithm; Programming language; Mathematics; Reliability engineering; Engineering","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008924336,0.0005312853,0.0003188885,0.001810513,0.0003768931,0.0009058149,0.0006781081,0.0004514191,0.001873292],"category_scores_gemma":[0.00309568,0.0002077478,0.001015326,0.0006382825,0.001478707,0.001582386,0.0005888546,0.0007127744,0.0001530187],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001000915,"about_ca_system_score_gemma":0.0009801904,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003358136,"about_ca_topic_score_gemma":0.001666123,"domain_scores_codex":[0.9991522,0.0001841634,0.00005674264,0.0001347188,0.0003589684,0.000113278],"domain_scores_gemma":[0.997792,0.001221936,0.0002768318,0.0001753107,0.0004671815,0.00006669458],"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.0002075819,0.0001199757,0.006885752,0.0002833077,0.00007463948,0.0007059547,0.0008194651,0.5337715,0.04964076,0.3448226,0.0006158915,0.06205259],"study_design_scores_gemma":[0.0000122498,0.00005717549,0.0007915847,0.00002675609,0.00002913165,0.0001061822,0.0000862187,0.9004359,0.009685943,0.0875912,0.001158186,0.00001953143],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02415837,0.00003366233,0.9742805,0.00002627459,0.000005942202,0.00004906667,0.00007073116,0.0003623408,0.001013167],"genre_scores_gemma":[0.7314005,0.0001147043,0.2669111,0.00003768051,0.000009581376,0.00020812,0.0002386006,0.0000901657,0.0009894634],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003358136,"threshold_uncertainty_score":0.00726217,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01397929651576931,"score_gpt":0.3259175296679685,"score_spread":0.3119382331521992,"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."}}