{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001084085,0.0006984833,0.0005634237,0.001356562,0.0002622816,0.0005318188,0.0007072776,0.0003596206,0.001062979],"category_scores_gemma":[0.005924736,0.0002752888,0.0006676787,0.0008893111,0.0003766137,0.001360629,0.0003700402,0.000565547,0.0001292068],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006021059,"about_ca_system_score_gemma":0.001053353,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003127256,"about_ca_topic_score_gemma":0.003513077,"domain_scores_codex":[0.9992647,0.0002065296,0.00003328577,0.00008541368,0.0003546283,0.00005559178],"domain_scores_gemma":[0.9954379,0.003134863,0.0005113054,0.0004220964,0.000452801,0.00004092802],"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.00007969144,0.00008469836,0.004628684,0.00008497425,0.00007398041,0.00009118111,0.00006358587,0.8987182,0.01182775,0.01443645,0.0004873048,0.06942355],"study_design_scores_gemma":[0.000001949908,0.00002433672,0.0004327127,0.00000366507,0.000009747923,0.00002145194,0.000003763671,0.992316,0.002293982,0.004731436,0.0001565311,0.00000441013],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05757703,0.0001852213,0.9401721,0.00007401921,0.00001535356,0.00002811817,0.00009905942,0.001019378,0.0008298282],"genre_scores_gemma":[0.8752276,0.0001417066,0.1237077,0.00003809372,0.00001953124,0.00005950289,0.0001788265,0.0001066845,0.0005203913],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003127256,"threshold_uncertainty_score":0.006218076,"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."}}