{"id":"W22865002","doi":"10.1007/3-540-28554-7_16","title":"A Model-Driven Technique for Development of Embedded Systems Based on the DEVS Formalism","year":2005,"lang":"en","type":"book-chapter","venue":"","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"DEVS; Correctness; Computer science; Reuse; Reusability; Software deployment; Reliability engineering; Discrete event simulation; Flexibility (engineering); Distributed computing; Systems engineering; Software engineering; Embedded system; Modeling and simulation; Software; Engineering; Simulation; Programming language","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":[],"consensus_categories":[],"category_scores_codex":[0.001975189,0.000261673,0.0004113507,0.0003347036,0.0002100994,0.00008673989,0.00092989,0.0003175524,0.0004116533],"category_scores_gemma":[0.0001292175,0.0001490055,0.000238643,0.00009101393,0.0000660208,0.0000648602,0.00008249831,0.0001545178,0.00005647448],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008935545,"about_ca_system_score_gemma":0.0003087807,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002230614,"about_ca_topic_score_gemma":0.00001003878,"domain_scores_codex":[0.9971334,0.00002127136,0.001214304,0.0004216286,0.001041722,0.0001676347],"domain_scores_gemma":[0.9961806,0.001367414,0.0006693422,0.001016495,0.0007045317,0.00006164822],"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.00001688135,0.0000209322,5.346078e-7,0.00001167584,0.00001241381,7.001912e-8,0.00009081611,0.02409258,0.0001595291,0.9530669,0.01429927,0.008228339],"study_design_scores_gemma":[0.0001036267,0.00002611473,6.005858e-7,0.00008859026,0.00001064098,5.663957e-7,0.00002242256,0.541109,0.003264036,0.04088054,0.4143081,0.0001857317],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.000005189733,0.000008323326,0.6772428,0.0002770937,0.00001988361,0.002206819,0.00007622328,0.00006913349,0.3200946],"genre_scores_gemma":[0.1193237,0.000004746301,0.3375264,0.000729594,0.00009090458,0.002620393,0.00006594828,0.0000665284,0.5395718],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9121864,"threshold_uncertainty_score":0.6076267,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2259601108675525,"score_gpt":0.3976279207387581,"score_spread":0.1716678098712056,"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."}}