{"id":"W2576749665","doi":"10.1016/j.jal.2017.03.001","title":"Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications","year":2017,"lang":"en","type":"article","venue":"Journal of Applied Logic","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal; Concordia University","funders":"Fonds de recherche du Québec – Nature et technologies; Canadian Space Agency; Natural Sciences and Engineering Research Council of Canada; Consortium de Recherche et d’innovation en Aérospatiale au Québec","keywords":"Dependability; Fault tree analysis; Field-programmable gate array; Component (thermodynamics); Aerospace; Fault detection and isolation; Data-flow analysis; Avionics; Design flow","routes":{"ca_aff":true,"ca_fund":true,"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.00251252,0.0008926602,0.0005141057,0.001605133,0.0006179655,0.001866941,0.00132208,0.0006848034,0.003338116],"category_scores_gemma":[0.006336813,0.0005362887,0.002152,0.0005199545,0.001921125,0.001967573,0.001201918,0.001689826,0.0004806819],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00126924,"about_ca_system_score_gemma":0.002414308,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002985746,"about_ca_topic_score_gemma":0.003672378,"domain_scores_codex":[0.997644,0.0005640041,0.0001524432,0.0002391035,0.001027286,0.0003730482],"domain_scores_gemma":[0.9944507,0.003208308,0.0004407054,0.0006906983,0.001129042,0.00008058298],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002138984,0.0003220398,0.002793656,0.0007403892,0.0002146568,0.0007424171,0.0004955587,0.3610001,0.03374074,0.517553,0.002225209,0.07995826],"study_design_scores_gemma":[0.00005288446,0.0001778876,0.0007806584,0.0002010689,0.0001799544,0.0002616432,0.0001124612,0.6983774,0.02768385,0.2652832,0.006839234,0.00004980122],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02501441,0.00026471,0.9689922,0.0002855295,0.00006633156,0.0001295179,0.0001483945,0.0005980722,0.004500832],"genre_scores_gemma":[0.7492813,0.0005400541,0.2437682,0.0002874733,0.0001677983,0.00025981,0.0004495391,0.0003353456,0.004910306],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003338116,"threshold_uncertainty_score":0.0132876,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007406277270205775,"score_gpt":0.2493515518165965,"score_spread":0.2419452745463908,"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."}}