{"id":"W4301010739","doi":"","title":"Methodology for modeling and verifying critical systems for operational safety","year":2003,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Risk and Safety Analysis","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science; Life-critical system; Critical system; Reliability engineering; Systems engineering; Software engineering; Engineering; Programming language; Software","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.004734751,0.001698046,0.00121056,0.001861595,0.00100299,0.002318164,0.003435567,0.001293839,0.002646553],"category_scores_gemma":[0.009264905,0.001461371,0.002862997,0.00119509,0.001909315,0.002677469,0.002042783,0.00264467,0.0008801524],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001536714,"about_ca_system_score_gemma":0.004456663,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009185449,"about_ca_topic_score_gemma":0.006790006,"domain_scores_codex":[0.9969079,0.0009550506,0.000322628,0.0003869069,0.001201513,0.0002260592],"domain_scores_gemma":[0.9956884,0.002108455,0.0003757603,0.001040096,0.0006662519,0.0001209965],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001140131,0.0001669677,0.001301945,0.0008080607,0.0003429424,0.0003261474,0.0004619092,0.4851436,0.01378405,0.3374699,0.003816382,0.1562641],"study_design_scores_gemma":[0.00006623826,0.00009967353,0.0001630587,0.0001137593,0.0001681651,0.0001752429,0.00007038872,0.7663225,0.008855661,0.2092716,0.01466008,0.00003371315],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001198498,0.0001110509,0.9978489,0.00004371839,0.00001310291,0.00007277921,0.00004128608,0.0003465233,0.0003242305],"genre_scores_gemma":[0.08150041,0.0004118802,0.9156331,0.00007103399,0.00004125082,0.0003467981,0.0003616487,0.0002380588,0.001395905],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009185449,"threshold_uncertainty_score":0.02504009,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1651817633646627,"score_gpt":0.3854644926317477,"score_spread":0.220282729267085,"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."}}