Contribution à l'accélération de la simulation stochastique sur des modèles AltaRica Data Flow

par Minh-Thang Khuu

Thèse de doctorat en Informatique

Sous la direction de Antoine Rauzy.

Soutenue en 2008

à Aix Marseille 2 .


  • Résumé

    Cette thèse porte sur l’accélération de la simulation stochastique appliquée aux modèles de type d’états/transitions. Dans le domaine de la sûreté de fonctionnement des systèmes, la simulation stochastique est pratiquement la seule méthode d’analyse accessible pour les modèles de type d’états/transitions de grande taille. Cependant, les simulations risquent d’être très longues afin d’obtenir des résultats statistiquement stables. Pour réduire le temps d’exécution des simulations, nous examinons la représentation du système par des instructions d’un langage de programmation. Le langage AltaRica Data Flow (ADF) est le point de départ de cette thèse. Nous mettons en oeuvre une transformation d’une description ADF en instructions du langage C, et une génération automatisée d’un simulateur stochastique du système étudié. Les expérimentations effectuées favorisent largement l’utilisation des simulateurs générés par rapport aux simulateurs classiques.

  • Titre traduit

    Contribution to the acceleration of AltaRica Data Flow stochastic simulation


  • Pas de résumé disponible.


  • Résumé

    This thesis relates to the study of stochastic simulation acceleration which applied to states/transitions models. In system dependability studies, stochastic simulation is practically the only method accessible for large states/transitions models. However, simulation processes are likely to be very long in order to obtain statistically stable results. To reduce simulation execution time, we examine the representation of the studied system by instructions of a programming language. The AltaRica Data Flow (ADF) language is the starting point of this thesis. This language generalizes the most used formalisms in system dependability studies. We implement a transformation of an ADF description into instructions of the C language, and an automated generation of a stochastic simulator for the studied system. The carried out experiments justify the use of the generated simulators with compared to the traditional simulators.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (133 p. )
  • Annexes : Bibliogr. p.129-133

Où se trouve cette thèse ?

  • Bibliothèque : Université Aix-Marseille (Marseille. Luminy). Service commun de la documentation. Bibliothèque de sciences.
  • Disponible pour le PEB
  • Cote : 47745
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.