{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001225472,0.0008106252,0.0003815852,0.0005290295,0.0005569779,0.002592768,0.001411719,0.001415059,0.004501046],"category_scores_gemma":[0.001296393,0.0005218765,0.0009037817,0.0005497859,0.002721823,0.003336747,0.0009033551,0.002189796,0.001952564],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001425302,"about_ca_system_score_gemma":0.002013911,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002087875,"about_ca_topic_score_gemma":0.001242769,"domain_scores_codex":[0.9992418,0.0001980239,0.00007973566,0.000151795,0.000262892,0.00006576753],"domain_scores_gemma":[0.9992587,0.0003312397,0.00008151418,0.0001536757,0.0001371734,0.00003769427],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001407766,0.00001736546,0.00008605079,0.0002453557,0.000007684705,0.0001141071,0.0002706858,0.008695215,0.003336338,0.9596658,0.002873332,0.02467404],"study_design_scores_gemma":[0.00004244074,0.0001030765,0.0002062809,0.0003901884,0.00003337919,0.0006792856,0.0001497438,0.05049927,0.007246452,0.4647914,0.4758168,0.00004169936],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.00482984,0.002048664,0.9529936,0.001120792,0.0002865494,0.0001261832,0.0002672627,0.0007475937,0.03757944],"genre_scores_gemma":[0.1755757,0.006426557,0.7745717,0.001223941,0.0003858772,0.000969551,0.001044578,0.0004536322,0.03934845],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.004501046,"threshold_uncertainty_score":0.0150575,"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."}}