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

Contribution to the acceleration of AltaRica Data Flow stochastic simulation

• Auteur / Autrice : Minh-Thang Khuu
• Direction : Antoine Rauzy
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2008
• Etablissement(s) : Aix-Marseille 2
• Ecole(s) doctorale(s) : Ecole doctorale Mathématiques et Informatique de Marseille (Marseille ; 1994-....)

Mots clés

Mots clés contrôlés

Petri, Réseaux de

Processus stochastiques

Systèmes informatiques

Simulation, Méthodes de

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.

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.