{"id":"W1982616249","doi":"10.4018/jssci.2010070106","title":"The Formal Design Model of a Real-Time Operating System (RTOS+)","year":2010,"lang":"en","type":"article","venue":"International Journal of Software Science and Computational Intelligence","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"Advanced Micro Devices","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.002311227,0.0008052172,0.0004515895,0.0006157951,0.0006871052,0.002842702,0.00161975,0.001468845,0.003440778],"category_scores_gemma":[0.002760374,0.0006502058,0.00132723,0.0004965442,0.003055506,0.003314401,0.001103532,0.002522267,0.001323078],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001351988,"about_ca_system_score_gemma":0.002913812,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002439569,"about_ca_topic_score_gemma":0.001485764,"domain_scores_codex":[0.9982117,0.0004919556,0.0002394014,0.0002899532,0.0006085165,0.0001583462],"domain_scores_gemma":[0.9980617,0.0008381241,0.0002536145,0.000386137,0.0003785537,0.00008174891],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003364711,0.00003173793,0.0002307077,0.0002963473,0.00001559906,0.0002232961,0.0003753393,0.02281426,0.005642575,0.9503435,0.002081407,0.0179116],"study_design_scores_gemma":[0.0001248373,0.0003032495,0.0004020689,0.0004286523,0.00009016383,0.001014013,0.0002333887,0.1576288,0.01706586,0.4503769,0.3722522,0.00007983557],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004449081,0.0004524118,0.9839047,0.0006079041,0.0001618358,0.0001406471,0.0002015324,0.0005916672,0.009490251],"genre_scores_gemma":[0.1937299,0.001791739,0.7883806,0.0007897542,0.0002660264,0.00116399,0.0007688011,0.0003231509,0.01278613],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003440778,"threshold_uncertainty_score":0.01222312,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02534599298703482,"score_gpt":0.2861344496472068,"score_spread":0.260788456660172,"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."}}