{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003223296,0.000118099,0.0001533132,0.0002180675,0.0004633764,0.0004534453,0.002144861,0.00003777363,0.00000196943],"category_scores_gemma":[0.0008250405,0.00008387102,0.00006817422,0.0004154166,0.0005570003,0.00109438,0.0004321667,0.0002828454,0.000004599876],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005979079,"about_ca_system_score_gemma":0.0008885258,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008860574,"about_ca_topic_score_gemma":0.000001360017,"domain_scores_codex":[0.9975083,0.00005002546,0.0006208778,0.000223249,0.00136109,0.0002364093],"domain_scores_gemma":[0.9931058,0.001267859,0.0005078784,0.0001457733,0.004851926,0.0001207994],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003407487,0.00004649866,0.0002051209,0.000006546543,0.00003946276,0.00001485704,0.000774686,0.5438451,0.003976254,0.1140121,0.00008526424,0.33696],"study_design_scores_gemma":[0.00008814139,0.00009516159,0.000433129,0.0001016289,0.000004427086,0.0003542383,0.00009040641,0.9815189,0.002840831,0.01436441,0.00001603219,0.00009275323],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04694217,0.00005417263,0.9515261,0.0003148899,0.0008463998,0.00007187398,0.00000236157,0.00002927477,0.0002127379],"genre_scores_gemma":[0.7480043,0.00003096062,0.2517723,0.00006478872,0.0001067681,0.000001531643,2.927177e-7,0.000003597196,0.00001546283],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7010621,"threshold_uncertainty_score":0.4372584,"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."}}