Logisim to DEVS Translation

Authors:
Yentl Van Tendeloo;Hans Vangheluwe
Affiliations:
-;-
Venue:
DS-RT '13 Proceedings of the 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications
Year:
2013

Citing 5
Cited 0

Parallel DEVS: a parallel, hierarchical, modular, modeling formalism

WSC '94 Proceedings of the 26th conference on Winter simulation
Theory of Modeling and Simulation

Theory of Modeling and Simulation
The cellular automata formalism and its relationship to DEVS

Proceedings of the 14th European Simulation Multiconference on Simulation and Modelling: Enablers for a Better Quality of Life
A Component-based Simulator for MIPS32 Processors

Simulation
Transforming UML2.0 class diagrams and statecharts to atomic DEVS

Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a transformation from digital logic circuits modelled in the Logisim modelling language (and tool) to behaviourally equivalent models in the Discrete-EVent System specification (DEVS) formalism. This is achieved by mapping each Logisim component to a corresponding atomic DEVS model and by preserving the component coupling. The challenge in this work is the faithful preservation of all details of the Logisim semantics. The transformation is described and the translation of an example data path is given.