{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008258668,0.0006602709,0.0006037005,0.000526055,0.0004288768,0.001123681,0.001594828,0.0006901382,0.003871592],"category_scores_gemma":[0.001666297,0.0007626644,0.001304104,0.0005064896,0.00090099,0.001119457,0.001272414,0.002115867,0.001009458],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005020658,"about_ca_system_score_gemma":0.0009210751,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001260686,"about_ca_topic_score_gemma":0.001865273,"domain_scores_codex":[0.9995978,0.0001009469,0.00003038766,0.00005100399,0.0001955431,0.00002430055],"domain_scores_gemma":[0.9994722,0.0003142707,0.0000254086,0.0001077724,0.00006233004,0.00001802439],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004581064,0.00006930182,0.0003808603,0.0005253672,0.00008411913,0.0003157415,0.0003506783,0.1929196,0.01665583,0.6260977,0.006069697,0.1564853],"study_design_scores_gemma":[0.00004185739,0.00005213332,0.0001460872,0.0001508237,0.00006039663,0.0003969747,0.00003218433,0.6309192,0.01773822,0.24636,0.1040727,0.00002953496],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008420986,0.0001624929,0.9947736,0.00008609801,0.00003078398,0.00003083934,0.00004843318,0.0004780252,0.003547722],"genre_scores_gemma":[0.05314322,0.0008656542,0.9388425,0.0001007344,0.00002933306,0.0002025342,0.0002923683,0.0004252451,0.006098456],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003871592,"threshold_uncertainty_score":0.01295173,"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."}}