{"id":"W2089014229","doi":"10.1109/healthcom.2014.7001811","title":"Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM","year":2014,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Probabilistic logic; Reliability (semiconductor); Interoperability; Markov chain; Model checking; Process (computing); Software engineering; Data mining; Reliability engineering; Machine learning; Programming language; Artificial intelligence; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006540099,0.0006612839,0.0004925285,0.001275284,0.0005643019,0.001659455,0.001960906,0.0009232474,0.002758682],"category_scores_gemma":[0.01462589,0.0006796881,0.002299903,0.0005666472,0.002062483,0.001430155,0.001963401,0.001829298,0.0004243742],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001781146,"about_ca_system_score_gemma":0.004934109,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008508116,"about_ca_topic_score_gemma":0.004342277,"domain_scores_codex":[0.9948211,0.001639353,0.0004248937,0.0006033822,0.002055158,0.0004561127],"domain_scores_gemma":[0.9877522,0.007830103,0.001064367,0.001222729,0.001979332,0.0001512793],"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.000120015,0.0001133541,0.002837102,0.0004427735,0.000128181,0.0009125618,0.0004431726,0.7454549,0.01405069,0.2174378,0.001306366,0.01675309],"study_design_scores_gemma":[0.00003283512,0.00008247083,0.0004887722,0.00004917275,0.00005888059,0.00015463,0.00004204793,0.9509552,0.006584341,0.03806017,0.00346331,0.00002812688],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02003201,0.00009797427,0.9737459,0.0003236836,0.00003140882,0.0001887609,0.0003291323,0.001237974,0.004013119],"genre_scores_gemma":[0.582864,0.0003489282,0.4114222,0.0002481985,0.00004492171,0.0005573038,0.0007751889,0.0002634848,0.003475579],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008508116,"threshold_uncertainty_score":0.0345878,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009122081383412832,"score_gpt":0.2234608166186108,"score_spread":0.2143387352351979,"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."}}