{"id":"W2055496043","doi":"10.1145/2769458.2769465","title":"Towards a DEVS-based Operating System","year":2015,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Scalability; DEVS; Kernel (algebra); Reliability (semiconductor); Formal verification; Distributed computing; Formal methods; Embedded system; Software engineering; Modeling and simulation; Operating system; Programming language; Simulation","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.002730668,0.0004317241,0.0004567783,0.0005751265,0.0004805514,0.002486854,0.002420344,0.0009220066,0.003013535],"category_scores_gemma":[0.004565877,0.0005796112,0.0008116246,0.0002973599,0.001599656,0.002904148,0.003442044,0.0029486,0.001746252],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001030379,"about_ca_system_score_gemma":0.002090408,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001833072,"about_ca_topic_score_gemma":0.002192916,"domain_scores_codex":[0.9983608,0.0003376048,0.0001706501,0.0002754707,0.0006854185,0.0001700805],"domain_scores_gemma":[0.9972231,0.0004341969,0.0001753848,0.001043322,0.0008143215,0.000309641],"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.0005529208,0.000457775,0.008248209,0.0007722787,0.0001402194,0.0006270489,0.001288072,0.1229338,0.04815487,0.5251428,0.02380603,0.2678761],"study_design_scores_gemma":[0.0001048639,0.0002966588,0.001238896,0.0002606423,0.00009308681,0.0003979331,0.0001682636,0.6136667,0.02858213,0.1184142,0.236701,0.0000756509],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02160162,0.0006071426,0.9529827,0.00159309,0.0003676201,0.0001555816,0.0001718029,0.01212464,0.01039589],"genre_scores_gemma":[0.2329721,0.0006720026,0.7479076,0.0009202608,0.0001704184,0.0002506506,0.0007198337,0.001859064,0.01452804],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003013535,"threshold_uncertainty_score":0.01444131,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0431152206773496,"score_gpt":0.2678609995836214,"score_spread":0.2247457789062718,"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."}}