{"id":"W4385624965","doi":"10.1109/newcas57931.2023.10198045","title":"Statistical Model Checking based Analysis of Fault Trees and Power Consumption to Enhance Autonomous Systems Reliability","year":2023,"lang":"en","type":"article","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Fault tree analysis; Reliability engineering; Redundancy (engineering); Computer science; Power consumption; Reliability (semiconductor); Component (thermodynamics); Model checking; Probability model; Statistical model; Power (physics); Engineering; Artificial intelligence; Statistics; Mathematics; Algorithm","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.001471438,0.0001168517,0.000412913,0.0005879347,0.00008470014,0.0001350571,0.0003895966,0.0000673602,0.00003688293],"category_scores_gemma":[0.0006682544,0.00009942325,0.0001067944,0.002341515,0.0001030057,0.0001703695,0.0002176095,0.0000994289,0.00003341442],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007077093,"about_ca_system_score_gemma":0.00009770084,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003106017,"about_ca_topic_score_gemma":0.00007675261,"domain_scores_codex":[0.9979718,0.0001634274,0.0004236787,0.0006129427,0.0005387563,0.0002894179],"domain_scores_gemma":[0.9978361,0.0009799785,0.00006259677,0.0007041561,0.0002419524,0.0001751884],"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.00002142527,0.0001337122,0.0514953,0.0001357251,0.0002494034,0.00000537752,0.000516587,0.925479,0.001689811,0.01355145,0.0002514812,0.006470712],"study_design_scores_gemma":[0.00005834289,0.0000400631,0.05018473,0.00001208733,0.00006222154,1.647478e-7,0.00002617428,0.9486634,0.0004768711,0.0003459343,0.00002473083,0.0001053056],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.371274,0.00001770692,0.6281071,0.0002451809,0.00001815351,0.0001115584,0.00002142259,0.000134136,0.00007080053],"genre_scores_gemma":[0.9644818,0.00001364002,0.03524731,0.00004442987,0.000003217297,0.0000268706,0.00001198366,0.000004345774,0.0001663765],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5932079,"threshold_uncertainty_score":0.4054363,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02949401948806995,"score_gpt":0.3433132100666071,"score_spread":0.3138191905785372,"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."}}