This paper addresses the problems related to data types used for time representation in DEVS, a formalism for the spec-ification 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 we list a number of prob...
La simulation à événements discrets (SED) est une technique dans laquelle le simulateur joue une his...
We introduce an extension of the classic Discrete Event System Specification (DEVS) formalism that i...
Abstract. The Discrete EVent system Specification (DEVS) formal-ism allows for highly modular, hiera...
International audienceThis paper addresses the problems related to data types used for time represen...
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 ...
Discrete-Event Simulation (DES) is a technique in which the simulation engine plays a history follow...
The DEVS formalism was conceived by Zeigler [Zei84a, Zei84b] to provide a rigourous common basis for...
event simulation The DEVS (Discrete Event Systems Specification) formalism supports specification of...
The time-line in Discrete Event Simulation (DES) is a sequence of events defined in a numerable subs...
Abstract Discrete Event System Specification is an extension of the Moore machine formalism which is...
The necessity of formal verification for discrete event system specification (DEVS) has recently ari...
La simulation à événements discrets (SED) est une technique dans laquelle le simulateur joue une his...
We introduce an extension of the classic Discrete Event System Specification (DEVS) formalism that i...
Abstract. The Discrete EVent system Specification (DEVS) formal-ism allows for highly modular, hiera...
International audienceThis paper addresses the problems related to data types used for time represen...
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 ...
Discrete-Event Simulation (DES) is a technique in which the simulation engine plays a history follow...
The DEVS formalism was conceived by Zeigler [Zei84a, Zei84b] to provide a rigourous common basis for...
event simulation The DEVS (Discrete Event Systems Specification) formalism supports specification of...
The time-line in Discrete Event Simulation (DES) is a sequence of events defined in a numerable subs...
Abstract Discrete Event System Specification is an extension of the Moore machine formalism which is...
The necessity of formal verification for discrete event system specification (DEVS) has recently ari...
La simulation à événements discrets (SED) est une technique dans laquelle le simulateur joue une his...
We introduce an extension of the classic Discrete Event System Specification (DEVS) formalism that i...
Abstract. The Discrete EVent system Specification (DEVS) formal-ism allows for highly modular, hiera...