Amélioration de la représentation du temps dans les simulations à événements discrets

par Damián Alberto Vicino

Thèse de doctorat en Informatique

Sous la direction de Gabriel A. Wainer et de Françoise Baude.

Soutenue le 13-11-2015

à Nice en cotutelle avec Carleton university (Ottawa) , dans le cadre de École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) , en partenariat avec Laboratoire Informatique, signaux et systèmes (Sophia Antipolis, Alpes-Maritimes) (laboratoire) et de Safe Composition of Autonomous applications with Large-SCALE Execution environment (laboratoire) .


  • Résumé

    La simulation à événements discrets (SED) est une technique dans laquelle le simulateur joue une histoire suivant une chronologie d'événements, chaque événement se produisant en des points discrets de la ligne continue du temps. Lors de l'implémentation, un événement peut être représenté par un message et une heure d'occurrence. Le type du message n'est lié qu'au modèle et donc sans conséquences pour le simulateur. En revanche, les variables de temps ont un rôle critique dans le simulateur, pour construire la chronologie des événements, dans R+. Or ces variables sont souvent représentées pas des types de données produisant des approximations, tels que les nombres flottants. Cette approximation des valeurs du temps dans la simulation peut altérer la ligne de temps et conduire à des résultats incorrects. Par ailleurs, il est courant de collecter des données à partir de systèmes réels afin de prédire des phénomènes futurs, comme les prévisions météorologiques. Les résultats de cette collecte, à l'aide d'instruments et procédures de mesures, incluent une quantification d'incertitude, habituellement présentée sous forme d'intervalles. Or répondre à une question requiert parfois l'évaluation des résultats pour toutes les valeurs comprises dans l'intervalle d'incertitude. Cette thèse propose des types de données pour une gestion sans erreur du temps en SED, y compris pour des valeurs irrationnelles et périodiques. De plus, nous proposons une méthode pour obtenir tous les résultats possibles d'une simulation soumise à des événements dont l'heure d'occurrence comporte une quantification d'incertitude.

  • Titre traduit

    Improved time representation in discrete-event simulation


  • Résumé

    Discrete-Event Simulation (DES) is a technique in which the simulation engine plays a history following a chronology of events. The technique is called “discrete-event” because the processing of each event of the chronology takes place at discrete points of a continuous time-line. In computer implementations, an event could be represented by a message, and a time occurrence. The message data type is usually defined as part of the model and the simulator algorithms do not operate with them. Opposite is the case of time variables; simulator has to interact actively with them for reproducing the chronology of events over R+, which is usually represented by approximated data types as floating-point. The approximation of time values in the simulation can affect the time-line preventing the generation of correct results. In addition, it is common to collect data from real systems to predict future phenomena, for example for weather forecasting. When collecting data using metrological instruments and procedures, the measurement results include uncertainty quantifications, usually defined as intervals. However, sometimes, answering a question requires evaluating the results of all values in the uncertainty interval. This thesis proposes data types for handling representation of time properly in DES, including irrational and periodic time values. Moreover, we propose a method for obtaining every possible simulation result of DES models when feeding them events with uncertainty quantification on their time component.


Il est disponible au sein de la bibliothèque de l'établissement de soutenance.

Consulter en bibliothèque

La version de soutenance existe

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Bibliothèque électronique.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.