{"id":"W1201887517","doi":"10.1007/978-3-319-21912-7_4","title":"A Customizable Execution Engine for Models of Embedded Systems","year":2015,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Operating system; Embedded system","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00329918,0.0003875595,0.0006260832,0.0007778417,0.0001093947,0.0002160503,0.002713406,0.0003514958,0.000001953975],"category_scores_gemma":[0.0002421906,0.0003623827,0.0001194588,0.0005465279,0.0003695396,0.001028912,0.0005721273,0.000358113,0.000006676642],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004101887,"about_ca_system_score_gemma":0.000662058,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002158714,"about_ca_topic_score_gemma":0.000003417393,"domain_scores_codex":[0.9967583,0.0000615607,0.0007011352,0.001046839,0.000936713,0.0004954062],"domain_scores_gemma":[0.9965755,0.0003628773,0.0005380374,0.001491369,0.0008880333,0.0001441586],"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.0000114684,0.00001666635,4.889757e-7,0.0001108953,0.000007006191,0.00000203353,0.000478613,0.6435475,0.000114773,0.2291596,0.00005095365,0.1265],"study_design_scores_gemma":[0.0002484409,0.0001506276,6.11883e-7,0.0002548065,0.000007673364,0.00002217506,2.53038e-7,0.8094292,0.0015933,0.1872144,0.0007792385,0.0002993614],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000008917837,0.0008760776,0.9927938,0.00005815675,0.002608794,0.0009324501,0.00001485994,0.0001298279,0.002577137],"genre_scores_gemma":[0.02994473,0.00002094901,0.969256,0.00006733747,0.0002546945,0.00004467641,0.00000801348,0.00002923299,0.0003742957],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1658816,"threshold_uncertainty_score":0.9998828,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0584775206041413,"score_gpt":0.2956138536248253,"score_spread":0.237136333020684,"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."}}