{"id":"W2036587865","doi":"10.4018/jssci.2010040106","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":24,"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.002243689,0.0007850997,0.0004401151,0.0005943847,0.0006709149,0.002793255,0.001615474,0.001398682,0.003404562],"category_scores_gemma":[0.002760315,0.0006548548,0.001323946,0.000481128,0.003080752,0.003406884,0.001082203,0.002401851,0.001227558],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001347425,"about_ca_system_score_gemma":0.002925698,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002534433,"about_ca_topic_score_gemma":0.001581188,"domain_scores_codex":[0.9982693,0.0004753428,0.0002230985,0.0002876138,0.0005837401,0.0001608103],"domain_scores_gemma":[0.9980791,0.0008141422,0.0002545662,0.0003972235,0.0003704951,0.00008444066],"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.00003175762,0.00002959723,0.0002212628,0.000254875,0.00001549422,0.0001965373,0.0003416289,0.02319176,0.005292377,0.9525176,0.001809202,0.01609789],"study_design_scores_gemma":[0.0001271754,0.0002810538,0.0003708256,0.0003864337,0.00008948283,0.0009053663,0.0002241029,0.1754007,0.01746802,0.4724823,0.3321872,0.00007736321],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004816619,0.0003961538,0.984503,0.0005562489,0.0001385434,0.0001290374,0.0001824174,0.0005975273,0.008680517],"genre_scores_gemma":[0.2037407,0.001615382,0.7798636,0.0007142721,0.0002342766,0.001082603,0.000702967,0.0003110748,0.01173517],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003404562,"threshold_uncertainty_score":0.01186585,"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."}}