International audienceThis paper addresses the problems related to data types used for time representation in DEVS, a formalism for the specification and simulation of discrete-event systems. When evaluating a DEVS simulation model into an actual com- puter simulation program, a data type is required to hold the virtual time of the simulation and the time elapsed in the model of the simulated system. We review the commonly data types used, and discuss the problems that each of them induce. In the case of floating point we show how, under cer- tain conditions, the simulation can break causality relations, treat simultaneous events as non simultaneous or treat non simultaneous events as simultaneous. In the case of integers using fixed unit w...
We introduce an extension of the classic Discrete Event System Specification (DEVS) formalism that i...
The necessity of formal verification for discrete event system specification (DEVS) has recently ari...
The formal languages become important tools since they allow the complete understanding of the model...
This paper addresses the problems related to data types used for time representation in DEVS, a form...
Discrete-Event Simulation (DES) is a technique in which the simulation engine plays a history follow...
In the Discrete-Event System Specification (DEVS) time variables are Real numbers. This is common to...
To better support multiscale modeling and simulation, we present a multiscale time representation co...
For a class of formalisms labelled discrete-event, system models are described at an abstraction lev...
This article presents the Discrete Event System Specification (DEVS) formalism, in their atomic and ...
The DEVS formalism was conceived by Zeigler [Zei84a, Zei84b] to provide a rigourous common basis for...
Discrete-Event Simulation (DES) is a technique in which the simulation engine plays a history follow...
event simulation The DEVS (Discrete Event Systems Specification) formalism supports specification of...
Abstract Discrete Event System Specification is an extension of the Moore machine formalism which is...
La simulation à événements discrets (SED) est une technique dans laquelle le simulateur joue une his...
The time-line in Discrete Event Simulation (DES) is a sequence of events defined in a numerable subs...
We introduce an extension of the classic Discrete Event System Specification (DEVS) formalism that i...
The necessity of formal verification for discrete event system specification (DEVS) has recently ari...
The formal languages become important tools since they allow the complete understanding of the model...
This paper addresses the problems related to data types used for time representation in DEVS, a form...
Discrete-Event Simulation (DES) is a technique in which the simulation engine plays a history follow...
In the Discrete-Event System Specification (DEVS) time variables are Real numbers. This is common to...
To better support multiscale modeling and simulation, we present a multiscale time representation co...
For a class of formalisms labelled discrete-event, system models are described at an abstraction lev...
This article presents the Discrete Event System Specification (DEVS) formalism, in their atomic and ...
The DEVS formalism was conceived by Zeigler [Zei84a, Zei84b] to provide a rigourous common basis for...
Discrete-Event Simulation (DES) is a technique in which the simulation engine plays a history follow...
event simulation The DEVS (Discrete Event Systems Specification) formalism supports specification of...
Abstract Discrete Event System Specification is an extension of the Moore machine formalism which is...
La simulation à événements discrets (SED) est une technique dans laquelle le simulateur joue une his...
The time-line in Discrete Event Simulation (DES) is a sequence of events defined in a numerable subs...
We introduce an extension of the classic Discrete Event System Specification (DEVS) formalism that i...
The necessity of formal verification for discrete event system specification (DEVS) has recently ari...
The formal languages become important tools since they allow the complete understanding of the model...