{"id":"W3018182837","doi":"10.1002/spe.2831","title":"Designing real‐time systems using imprecise discrete‐event system specifications","year":2020,"lang":"en","type":"article","venue":"Software Practice and Experience","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; DEVS; Scalability; Set (abstract data type); Event (particle physics); Transient (computer programming); Formal methods; Distributed computing; Software; Formal verification; Theoretical computer science; Programming language; 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.005378774,0.0007898784,0.0005472769,0.0006883974,0.0004719851,0.002407883,0.001311072,0.000874493,0.001931188],"category_scores_gemma":[0.008851412,0.0008850992,0.001301763,0.0003901718,0.001842536,0.002225207,0.001298044,0.002400686,0.0004687841],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001236593,"about_ca_system_score_gemma":0.00187662,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002749606,"about_ca_topic_score_gemma":0.003178239,"domain_scores_codex":[0.9961153,0.00150487,0.0004055409,0.0002915399,0.001439609,0.0002431864],"domain_scores_gemma":[0.9931593,0.004047391,0.0006079597,0.001282639,0.0007691482,0.0001334574],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00008141146,0.0000473421,0.001086635,0.0003035043,0.00005170028,0.0003411028,0.0007847634,0.7119992,0.01180424,0.2431539,0.0008448689,0.02950134],"study_design_scores_gemma":[0.00004669691,0.00008072458,0.0002100905,0.0001435962,0.00004284144,0.0001390096,0.0001735019,0.9047298,0.01718872,0.05217638,0.02502871,0.00003988116],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006292454,0.00005984264,0.9916174,0.0001417608,0.00001931953,0.00005069778,0.00004636805,0.0003962754,0.001375874],"genre_scores_gemma":[0.2966833,0.0004982673,0.698806,0.0001359638,0.00003203558,0.0003961528,0.0003669749,0.0002192482,0.002861995],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005378774,"threshold_uncertainty_score":0.02844596,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05356530709136979,"score_gpt":0.2985414029193482,"score_spread":0.2449760958279784,"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."}}