{"id":"W2502854692","doi":"10.4018/978-1-4666-3922-5.ch002","title":"Formal Reliability Analysis of Embedded Computing Systems","year":2013,"lang":"en","type":"book-chapter","venue":"IGI Global eBooks","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Reliability (semiconductor); Computer science; Reliability engineering; HOL; Automated theorem proving; Formal verification; Formal methods; Digital electronics; Computer engineering; Theoretical computer science; Power (physics); Electronic circuit; Software engineering; Engineering; Programming language","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.00110526,0.0009087382,0.000413169,0.001138066,0.0004341762,0.001531158,0.001008342,0.0006455631,0.004373258],"category_scores_gemma":[0.002856534,0.0003970261,0.0008041698,0.0007677221,0.001748466,0.001530771,0.0007317338,0.001525653,0.001287984],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001325266,"about_ca_system_score_gemma":0.0009485458,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001131037,"about_ca_topic_score_gemma":0.0006270744,"domain_scores_codex":[0.9991425,0.000211344,0.0000570282,0.0001142827,0.0004163363,0.00005844671],"domain_scores_gemma":[0.9986385,0.0009174439,0.00008316139,0.0001483601,0.0001958564,0.00001674219],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001128788,0.00002210046,0.0001515475,0.0004121295,0.00001833517,0.0001602383,0.0002772988,0.05063091,0.004507829,0.8909324,0.003539157,0.04933675],"study_design_scores_gemma":[0.00000924747,0.00002471449,0.0001816114,0.000221354,0.00001826785,0.0002412255,0.00005753871,0.1139519,0.003882261,0.8132698,0.06811903,0.00002300235],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004247637,0.00542551,0.9603552,0.0005717147,0.0001648619,0.00006503158,0.0001980419,0.000485335,0.02848651],"genre_scores_gemma":[0.4181563,0.01990889,0.5172984,0.0006137879,0.000641936,0.0006383903,0.001167027,0.0006611331,0.040914],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004373258,"threshold_uncertainty_score":0.01462996,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02677639945492604,"score_gpt":0.2837175472533581,"score_spread":0.2569411477984321,"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."}}