Skip to content
Open access

CellScript: A DSML for Cell-DEVS Modelling and Simulation

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.

Read PDF

Similar papers

Preprint Open access Sep 2026

Model-Based Retargeting to Many-Core CPS: Simulink-to-OpenCL Workflow

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....

Ryuga Chiba, Hiroshi Fujimoto, Takuya Azumi · 0 citations
Open access Sep 2026

From Formal Specifications to Simulations: Generating Executable Hardware Models for Early Validation

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. · 0 citations
Open access Sep 2026

Petri Nets for Automatic Wave Digital Code Generation

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 · 0 citations
Preprint Aug 2026

Beyond Executable Models: The Pufibara Agent Harness and the Modelica Agent Workflow Benchmark for Physical System Modeling

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.

Zi-Zhe Wang · 0 citations
#software testing Preprint Aug 2026

Repo0: Design-Driven Zero-to-All Code Generation

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.