{"id":"W105642182","doi":"","title":"Layered Dependability Modeling of an Air Traffic Control System","year":2003,"lang":"en","type":"article","venue":"","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Dependability; Computer science; Queueing theory; Software; Reliability engineering; Fault tolerance; Architecture; Distributed computing; Embedded system; Computer network; Engineering; Operating system; Software 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.001300344,0.0001330434,0.0003083635,0.00005548416,0.0000905272,0.00002603415,0.0005221122,0.00009478878,0.000008526905],"category_scores_gemma":[0.0000608197,0.00009761037,0.0001032747,0.0002383735,0.00002944155,0.0005191912,0.00002746291,0.00008671154,0.00001759104],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006817505,"about_ca_system_score_gemma":0.0001301777,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008797867,"about_ca_topic_score_gemma":0.00002702594,"domain_scores_codex":[0.9983392,0.0002424067,0.0004789903,0.0004025707,0.000285252,0.0002515843],"domain_scores_gemma":[0.9985588,0.00007597072,0.00008662178,0.0009743001,0.0001911235,0.0001132224],"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.0000289629,0.0003284713,0.005342036,0.0005067299,0.00003913063,0.000005219255,0.0007490509,0.961476,0.0002052048,0.02325981,0.00001710382,0.008042233],"study_design_scores_gemma":[0.0006079996,0.00008892336,0.000416184,0.00002230486,0.000004869459,0.00002315295,0.0001939511,0.9974939,0.0008711806,0.0001210879,0.00002924034,0.0001272422],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5231903,0.00003119108,0.4751197,0.00001862243,0.0002222854,0.0002002181,0.000001616668,0.0002565282,0.0009594639],"genre_scores_gemma":[0.98311,6.283181e-7,0.01680104,0.00003560891,0.00001737233,0.000015416,5.949867e-7,0.000005887091,0.00001342594],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4599197,"threshold_uncertainty_score":0.3980435,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01050713123631692,"score_gpt":0.2203577546022994,"score_spread":0.2098506233659825,"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."}}