{"id":"W2173452888","doi":"10.1109/rsp.2013.6683961","title":"Embedded system verification through constraint-based scheduling","year":2013,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"Queensland Cyber Infrastructure Foundation","keywords":"MPSoC; Computer science; Correctness; Functional verification; Scheduling (production processes); Multiprocessing; Constraint programming; Embedded system; Runtime verification; Formal verification; System on a chip; Constraint (computer-aided design); Constraint satisfaction; Distributed computing; Parallel computing; Programming language; Engineering; Mathematical optimization","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003907285,0.0001704572,0.0002057558,0.00008735158,0.0001086186,0.0003501312,0.0008958393,0.0001191852,0.00005867447],"category_scores_gemma":[0.00003905022,0.0001492785,0.00007159665,0.0003376185,0.00005893858,0.00099022,0.00006674332,0.0001181148,0.0008360174],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001232366,"about_ca_system_score_gemma":0.0001140389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001922649,"about_ca_topic_score_gemma":0.000001520626,"domain_scores_codex":[0.9983861,0.0001546851,0.0004089522,0.0004471496,0.0003063413,0.0002967727],"domain_scores_gemma":[0.9983724,0.0001139222,0.0001583207,0.001031788,0.0002403699,0.00008320413],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001103607,0.00003793075,0.00009018016,0.00012039,0.00001485963,0.00000589818,0.0004293709,0.0001364984,0.04821658,0.9428334,0.002754311,0.005359435],"study_design_scores_gemma":[0.0003788491,0.00008696554,0.0001253467,0.0002084334,0.000006040094,0.00004618111,0.0007711902,0.7400555,0.2531984,0.00406643,0.0005914049,0.0004652711],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003637057,0.00003931857,0.9532296,0.0004035482,0.0002219164,0.0006632209,5.816206e-7,0.002601397,0.03920336],"genre_scores_gemma":[0.5665977,3.883517e-7,0.4329286,0.0002065255,0.00002717526,0.000129227,0.000001396915,0.00000821659,0.0001007689],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.938767,"threshold_uncertainty_score":0.9999419,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02319115959978582,"score_gpt":0.2512388667091551,"score_spread":0.2280477071093693,"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."}}