{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001018376,0.0003975648,0.0009876684,0.0002567604,0.0001071096,0.0001683344,0.001564335,0.0004465878,0.00001424996],"category_scores_gemma":[0.00007946935,0.0003820903,0.0004954104,0.0001742565,0.0001476656,0.0002903819,0.0006372868,0.0002895539,0.00008411726],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003654594,"about_ca_system_score_gemma":0.0001482026,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002157961,"about_ca_topic_score_gemma":0.00000549465,"domain_scores_codex":[0.9969655,0.0001058534,0.001089301,0.0007173291,0.0007043488,0.0004176136],"domain_scores_gemma":[0.9962354,0.000103763,0.001048052,0.001956616,0.0005068115,0.0001493077],"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.000005427285,0.000008041478,0.00002306026,0.00008871903,0.0003727681,0.000002324149,0.0001266988,0.001558839,0.000008170778,0.9878066,0.0001720251,0.009827297],"study_design_scores_gemma":[0.0003250582,0.000197842,0.001150952,0.000301894,0.001103916,0.00002651761,0.0000263655,0.8665645,0.0001492181,0.1242768,0.004849538,0.001027345],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.0003590686,0.00008756598,0.4130483,0.000005010657,0.0006406342,0.0003536265,0.00003780529,0.000149571,0.5853184],"genre_scores_gemma":[0.4392695,0.00000314398,0.5394323,0.0001384945,0.0002125575,0.00002507312,0.00001470759,0.00004178236,0.02086234],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8650057,"threshold_uncertainty_score":0.9998631,"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."}}