{"id":"W2147925690","doi":"10.1109/ccece.2003.1226125","title":"Formal description of a real-time operating system using RTPA","year":2004,"lang":"en","type":"article","venue":"","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Real-time operating system; Correctness; Computer science; Embedded system; Scheduling (production processes); Process (computing); Architecture; Operating system; Engineering; Programming language","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.0003266943,0.000077501,0.0001242929,0.00005799831,0.000132814,0.00008100986,0.0002230382,0.0000346004,0.000002805616],"category_scores_gemma":[0.0000117938,0.00006862405,0.00004389336,0.0002454222,0.0000159967,0.0004159216,0.0001872026,0.00005501772,0.0000144837],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007501088,"about_ca_system_score_gemma":0.00005932722,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002327125,"about_ca_topic_score_gemma":0.000004005719,"domain_scores_codex":[0.9992302,0.00003587478,0.0002122742,0.0001797586,0.0001341848,0.0002076849],"domain_scores_gemma":[0.9995497,0.00003101916,0.00007326767,0.0001758154,0.0001285509,0.0000416835],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002933465,0.000286932,0.001973294,0.0003519486,0.0001035314,0.00008598433,0.005529376,0.2239131,0.3122701,0.3041475,0.0001940322,0.1511148],"study_design_scores_gemma":[0.0003229888,0.00006596174,0.0005976282,0.0002961658,0.000005093164,0.00005969503,0.00008061436,0.9915162,0.006794161,0.0001514966,0.000003637401,0.0001063712],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3920541,0.00001347889,0.6017463,0.00001205343,0.0001018187,0.00005194965,1.696564e-7,0.0001258815,0.005894248],"genre_scores_gemma":[0.8593877,0.000001235313,0.1404643,0.0000237253,0.00006390604,9.144264e-7,5.533873e-7,0.000004043543,0.00005363821],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.767603,"threshold_uncertainty_score":0.2798407,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03090263540986845,"score_gpt":0.2427874624100867,"score_spread":0.2118848270002183,"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."}}