2026· International Conference on Simulation and Modeling Methodologies, Technologies and Applications· pp. 549-560· 0 citations· 28 references
Computer Science
TL;DR
Evaluation on four scenarios from the literature shows a consistent 10 × reduction in the code a modeler must write, relative to the executable PythonPDEVS code that CellScript generates automatically, with code generation time remaining constant regardless of grid size.
Abstract
: Cell-DEVS combines the spatial grid of cellular automata with the discrete-event timing of DEVS and is well-suited for modeling systems that evolve over both space and time. However, existing tools either require low-level C ++ or Python programming or lack compile-time validation and modern IDE support, which limits adoption outside specialist communities. We present CellScript , a domain-specific modeling language for Cell-DEVS implemented with the Xtext language workbench. CellScript provides a declarative, rule-based syntax aligned with Cell-DEVS concepts, an Eclipse-based IDE with code completion and static validation, and a model-to-text code generator targeting PythonPDEVS. We accompany the language with a four-step modeling methodology that guides users from spatial structure definition to executable simulation. Evaluation on four scenarios from the literature shows a consistent 10 × reduction in the code a modeler must write, relative to the executable PythonPDEVS code that CellScript generates automatically, with code generation time remaining constant regardless of grid size.
Constraint-DEVS is introduced, a method for creating bounded Parallel DEVS models that lend themselves, in addition to simulation, to model checking and the DEVS-Suite framework's hybrid model-checking and simulation engine is extended.
This paper addresses the software portability gap between Model-Based Development (MBD) and advanced many-core execution for Cyber-Physical Systems (CPS). We present a workflow-preserving retargeting approach for Simulink-based CPS applications with candidate-wise data parallelism to OpenCL-based many-core processors....
Formal specification techniques have been introduced to address the ambiguities inherent in natural-language hardware specifications. One such approach is the Universal Specification Format (USF), which provides a machine-readable, formal reference for Register-Transfer Level (RTL) verification. However, verifying agai...
Robert Kunzelmann, Raphael Kunz, Stephanie Ecker et al.· Journal of Signal Processing...· 0 citations
Wave Digital (WD) models are a well‐established framework for the emulation of linear and nonlinear circuits. In practice, however, WD models are still implemented largely manually or through limited automated toolchains. Manual programming of WD models is time‐consuming and error‐prone for larger systems with pronou...
Jonas Röhrig, Karlheinz Ochs· International journal of num...· 0 citations
Pufibara is presented, an agent harness that maintains persistent engineering state across revisions, associates execution and simulation evidence with the candidate that produced it, and makes submission an explicit agent action to evaluate end-to-end Modelica agent workflows.
Repo0 is presented, a continuous structural evolution framework for zero-to-all code generation that maintains an explicit architectural state instantiated as a Dual-Directed-Acyclic-Graph (Dual-DAG), consisting of a requirement-level DAG, a component-level DAG, and their alignment relation.
Si-Lin Chen, Haoyi Teng, Xiao-Dong Gu et al.· 4 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.