{"id":"W4200305600","doi":"10.18280/jesa.540609","title":"Consistency Checking of the IEC 61508 PFH Formulas and New Formulas Proposal Based on the Markovian Approach","year":2021,"lang":"en","type":"article","venue":"Journal Européen des Systèmes Automatisés","topic":"Risk and Safety Analysis","field":"Decision Sciences","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"IEC 61508; Computer science; Reliability engineering; Reliability (semiconductor); Functional safety; Safety instrumented system; Consistency (knowledge bases); Engineering; Work in process; Operations management","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007338136,0.0008039327,0.0009732789,0.002911817,0.0009023344,0.00221952,0.002741977,0.0009751678,0.00193499],"category_scores_gemma":[0.03786955,0.0005517493,0.002383349,0.001562903,0.001932905,0.003787429,0.001873835,0.002299645,0.0003546476],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001914947,"about_ca_system_score_gemma":0.003445988,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004910632,"about_ca_topic_score_gemma":0.00332081,"domain_scores_codex":[0.9898134,0.002430184,0.0009287423,0.001280105,0.004961372,0.0005862992],"domain_scores_gemma":[0.9797292,0.01072603,0.001468623,0.002486269,0.005389417,0.0002004077],"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.0007411846,0.0002605535,0.01045213,0.0009356777,0.0003356406,0.001083939,0.0008824108,0.1401286,0.01345805,0.5154099,0.007029267,0.3092826],"study_design_scores_gemma":[0.0001134678,0.0002706043,0.001735396,0.0002849571,0.0002004136,0.0006279989,0.0001630956,0.6688178,0.01599815,0.3027684,0.008904125,0.0001154945],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02802456,0.0007254416,0.9664866,0.0003857834,0.000200781,0.0001497734,0.0002734778,0.0005181319,0.003235389],"genre_scores_gemma":[0.4781452,0.0009265501,0.5162831,0.000432385,0.0003604176,0.0004331546,0.00107785,0.0002974516,0.002043929],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007338136,"threshold_uncertainty_score":0.03880823,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06924589955414773,"score_gpt":0.3053918293192266,"score_spread":0.2361459297650789,"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."}}