{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006239151,0.001695871,0.0009007243,0.001783498,0.0005000646,0.001661054,0.00179894,0.0007985153,0.001784362],"category_scores_gemma":[0.0114364,0.0009858435,0.00198303,0.001056379,0.001651075,0.002096534,0.001394109,0.002290105,0.0003589773],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001688451,"about_ca_system_score_gemma":0.002168726,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002271382,"about_ca_topic_score_gemma":0.00253372,"domain_scores_codex":[0.9954551,0.002083769,0.0003993312,0.000409816,0.001403181,0.0002488033],"domain_scores_gemma":[0.9893395,0.007487208,0.0008665271,0.001320472,0.0008321932,0.0001541151],"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.0001265646,0.0001155791,0.002065889,0.0005448709,0.0001577353,0.0002186725,0.0004403112,0.6228967,0.01181568,0.2494404,0.001343936,0.1108337],"study_design_scores_gemma":[0.00003859369,0.00007341782,0.0002020378,0.00009662986,0.00003841369,0.00008748449,0.00006334802,0.8983237,0.01004188,0.08094438,0.01005791,0.00003228907],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001875188,0.0001148951,0.9970332,0.0000436595,0.00001822946,0.00002883741,0.00002472681,0.0001844277,0.0006768361],"genre_scores_gemma":[0.1318318,0.0005149968,0.8654409,0.0000968176,0.00007538983,0.0003784546,0.000226228,0.0003223203,0.001113038],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006239151,"threshold_uncertainty_score":0.03299618,"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."}}