{"id":"W2787064164","doi":"10.1109/edis.2017.8284025","title":"System level SEUs propagation analysis via data flow-based reduction and quantitative model checking","year":2017,"lang":"en","type":"article","venue":"","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Soft error; Data-flow analysis; Probabilistic logic; Scalability; Reliability (semiconductor); Reliability engineering; Reduction (mathematics); Real-time computing; Computer engineering; Data flow diagram; Electronic engineering; Engineering","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.0003729753,0.0001150143,0.0001662443,0.0001505634,0.0002285234,0.0001350164,0.0002425376,0.00006350582,0.000002999319],"category_scores_gemma":[0.00006826932,0.0001137129,0.00002734427,0.000139507,0.0000290142,0.0006048272,0.00003412382,0.00009909437,0.000005426163],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001745656,"about_ca_system_score_gemma":0.00003078653,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007024751,"about_ca_topic_score_gemma":0.0001107947,"domain_scores_codex":[0.9992595,0.00002662671,0.0001674484,0.0002441358,0.0001467626,0.0001555636],"domain_scores_gemma":[0.998973,0.00002836428,0.00008476505,0.0008212348,0.00005430127,0.00003833422],"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.000004926975,0.000004612549,0.0000524274,0.00008295449,0.0001904515,4.11334e-7,0.00007833073,0.9912912,0.003029266,0.001013729,0.00005133613,0.004200348],"study_design_scores_gemma":[0.000182038,0.00001293225,0.0008887648,0.00001597026,0.0002325035,0.000001856198,0.00003687927,0.9948378,0.003608867,0.0000405566,0.000007426725,0.0001343922],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08250067,0.0000829802,0.9158423,0.00004523857,0.0001207505,0.0001858122,0.00002995644,0.0002337988,0.0009585047],"genre_scores_gemma":[0.9556473,0.00000522182,0.04410632,0.000002999392,0.0000346428,0.00001360468,0.000117615,0.00002039237,0.00005186945],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8731467,"threshold_uncertainty_score":0.4637076,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05838401791788077,"score_gpt":0.2938482477190817,"score_spread":0.235464229801201,"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."}}