{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001080281,0.0001746991,0.0006581803,0.0003201879,0.00003890822,0.00001346619,0.0001514138,0.000104414,0.00002404092],"category_scores_gemma":[0.00004186314,0.0001648196,0.0001958583,0.0007164673,0.0000231877,0.0001004402,0.000023154,0.0001294155,0.000005187711],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005830352,"about_ca_system_score_gemma":0.00006727826,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009055473,"about_ca_topic_score_gemma":0.000008039829,"domain_scores_codex":[0.9984577,0.00006734579,0.0006744369,0.0001939568,0.0002583992,0.0003482112],"domain_scores_gemma":[0.9990472,0.0001319327,0.00008210402,0.0005543664,0.00005578684,0.0001285952],"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.00001563817,0.000008249806,0.002587513,0.0008623812,0.0002267387,2.86042e-7,0.00006614355,0.9935957,0.0001787435,0.001500611,0.00004080046,0.0009172239],"study_design_scores_gemma":[0.0002665737,0.00003723155,0.009677844,0.00009003453,0.0001315368,0.000001304586,0.0000322123,0.9868674,0.0005409356,0.000002382932,0.002201705,0.0001508267],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1327619,0.00004003341,0.8644611,0.00001991475,0.0002657885,0.0001964028,0.00001580411,0.000607745,0.001631398],"genre_scores_gemma":[0.9499204,5.158066e-7,0.04996683,0.00001317775,0.00003933825,0.000009614419,0.00001053801,0.00003059781,0.000008941699],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8171586,"threshold_uncertainty_score":0.6721147,"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."}}