{"id":"W4210709500","doi":"10.4018/978-1-4666-0264-9.ch013","title":"The Formal Design Model of a Real-Time Operating System (RTOS+)","year":2012,"lang":"en","type":"book-chapter","venue":"IGI Global eBooks","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Real-time operating system; Computer science; Process (computing); Embedded system; Set (abstract data type); Operating system; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008838247,0.0004060288,0.0004757196,0.00003756726,0.0004295157,0.0001965452,0.001258582,0.0002856144,0.000001128193],"category_scores_gemma":[0.00001688796,0.0003067776,0.0002320186,0.00002761628,0.0001052786,0.000118847,0.0008691373,0.000296366,0.00007603566],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001805277,"about_ca_system_score_gemma":0.0002970472,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002596787,"about_ca_topic_score_gemma":0.000004225323,"domain_scores_codex":[0.9978096,0.00008405596,0.0005698023,0.0004458155,0.000466001,0.0006246836],"domain_scores_gemma":[0.9980457,0.0002840231,0.0004176032,0.0007884463,0.0003071435,0.0001570704],"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.0000126635,0.000003914377,7.017109e-7,0.00002921271,0.00006013294,0.000006846878,0.0001062628,0.001619856,0.00003863616,0.934109,0.0005626638,0.06345014],"study_design_scores_gemma":[0.0002714117,0.0001171041,0.000002614543,0.0008770641,0.00006959613,0.00008308952,0.000008756502,0.9575462,0.0001169607,0.04002674,0.0003885493,0.0004919012],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.00002658318,0.0004046709,0.40035,0.0000096351,0.0002502155,0.0002838113,0.00001352298,0.0001871504,0.5984744],"genre_scores_gemma":[0.8718653,0.00004109823,0.06279756,0.0001809325,0.001096672,0.00004483279,0.000003210577,0.000101784,0.06386865],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9559264,"threshold_uncertainty_score":0.9999384,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03286776705647641,"score_gpt":0.2351546229121661,"score_spread":0.2022868558556897,"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."}}