Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
Object-oriented simulation with hierarchical, modular models: intelligent agents and endomorphic systems
Theoretical Computer Science
Specification and design of embedded systems
Specification and design of embedded systems
A timed Full LOTOS with time/action tree semantics
Theories and experiences for real-time system development
Theories and experiences for real-time system development
Visual modeling of DEVS-based multiformalism systems based on higraphs
WSC '93 Proceedings of the 25th conference on Winter simulation
Principles of simulation model validation, verification, and testing
Transactions of the Society for Computer Simulation International
Communicating sequential processes
Communications of the ACM
Theory of Modelling and Simulation
Theory of Modelling and Simulation
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Formal Development of Reactive Systems: Case Study Production Cell
Formal Development of Reactive Systems: Case Study Production Cell
DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems
Journal of Intelligent and Robotic Systems
Hi-index | 0.01 |
In this paper, we present a methodology for modeling real–time systems using high level specification DECM (discrete event calculus model) and DEVS formalisms. In this methodology, the control system is specified by the way of a DECM user language description. This formal specification is automatically transformed into an atomic DEVS (discrete event system specification) model, and DEVS simulation of the coupled models (control system and plant) is used to validate the initial DECM specifications. The paper discusses the building of DECM specifications, the transformation of DECM specifications into a DEVS model and the simulation of the coupled DEVS model.