{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002516209,0.001146213,0.0007519786,0.000929682,0.0007456253,0.001372601,0.001541512,0.0006460182,0.004180624],"category_scores_gemma":[0.009466298,0.0006011179,0.001215294,0.001142345,0.00147646,0.001338995,0.00130673,0.00143594,0.0007069694],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00134509,"about_ca_system_score_gemma":0.004151703,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009258063,"about_ca_topic_score_gemma":0.008646021,"domain_scores_codex":[0.9965275,0.001307281,0.0001787852,0.0003382659,0.001427014,0.0002211563],"domain_scores_gemma":[0.9934759,0.004325971,0.0004569164,0.0007416104,0.0009023559,0.00009728489],"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.00009712225,0.00005582232,0.0003122975,0.0002585307,0.00005269649,0.0001647454,0.0000683622,0.8891302,0.009141581,0.05170388,0.001400634,0.04761413],"study_design_scores_gemma":[0.00003235154,0.00002552682,0.00005584495,0.00002057511,0.00001215217,0.00002640501,0.000009755348,0.9727857,0.005982199,0.01770365,0.003336694,0.000009282272],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00613058,0.0001344804,0.9893464,0.0001229747,0.00003135217,0.000129258,0.0001718861,0.000697573,0.003235521],"genre_scores_gemma":[0.2236675,0.000470982,0.7722552,0.0001152075,0.00004317119,0.0004786017,0.0004852636,0.0003951365,0.002089003],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009258063,"threshold_uncertainty_score":0.01840836,"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."}}