{"id":"W4281260023","doi":"10.1177/00375497221099548","title":"Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints","year":2022,"lang":"en","type":"article","venue":"SIMULATION","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Natural Sciences and Engineering Research Council of Canada; Coordenação de Aperfeiçoamento de Pessoal de Nível Superior","keywords":"DEVS; Computer science; Formalism (music); Design space exploration; Distributed computing; Real-time operating system; Execution time; Real-time computing; Embedded system; Modeling and simulation; Simulation","routes":{"ca_aff":true,"ca_fund":true,"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.004219393,0.0001514728,0.0002891037,0.0001553652,0.0005063133,0.0002941546,0.0003264454,0.00005366808,0.00001680677],"category_scores_gemma":[0.0006125533,0.0001555583,0.00007123165,0.0004212588,0.00004982498,0.0005711653,0.0002585164,0.0001478133,0.000003598843],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001939678,"about_ca_system_score_gemma":0.0000965939,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001480646,"about_ca_topic_score_gemma":0.000001300478,"domain_scores_codex":[0.9976789,0.000801681,0.0005101614,0.0005243978,0.0002241597,0.0002607131],"domain_scores_gemma":[0.9974057,0.001591184,0.0002928711,0.000452327,0.0001761678,0.00008173151],"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.00001875061,0.00003517241,0.003230362,0.0001520123,0.0000548717,0.000001813836,0.002019161,0.7977065,0.03352801,0.03803061,0.00001223834,0.1252105],"study_design_scores_gemma":[0.0002896641,0.0000633772,0.0005618775,0.0000243937,0.00001092389,0.00001108281,0.0003029306,0.9964353,0.0002115319,0.001752992,0.000174536,0.0001613901],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0979861,0.0001064885,0.8999817,0.00006323517,0.0003607252,0.0007348623,0.000005640616,0.0001980297,0.0005631794],"genre_scores_gemma":[0.6710685,5.613001e-7,0.3287429,0.000008465167,0.00004746548,0.00006834362,0.000009240734,0.0000102549,0.00004432643],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5730824,"threshold_uncertainty_score":0.6343485,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02895596310232671,"score_gpt":0.3553818330061303,"score_spread":0.3264258699038036,"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."}}