Précédent : Actions transversales/complémentaires Remonter : Actions transversales/complémentaires Suivant : Quasi-Monte Carlo

Mise en oeuvre de modèles

L'un des problèmes fondamentaux aujourd'hui dans le domaine de la modélisation de systèmes complexes est celui de la description et la construction fiables et efficaces des modèles. En effet, la complexité croissante des systèmes (en informatique, en communications, en productique) conduit très souvent à des modèles eux-mêmes complexes et de grande taille. Divers formalismes existent pour décrire de tels systèmes : on peut utiliser certaines classes d'automates (réseaux de Petri, réseaux d'activité), les files d'attente et les réseaux de files d'attente (comme dans QNAP ), des langages textuels et spécialisés (tels le langage Save interne à IBM, pour la sûreté de fonctionnement de systèmes réparables multi-composants), etc. Nous étudions actuellement un formalisme de bas niveau, dit des « boules et urnes » (BB ) avec comme objectif la validation de son utilisation en tant que langage intermédiaire entre les descriptions de haut niveau précédemment décrites et les objets mathématiques grâce auxquels s'effectuera l'évaluation proprement dite. Un noyau de ce système a été développé. Ce noyau voit le monde comme un ensemble d'urnes dans lesquelles se trouvent un certain nombre de boules. Il reçoit en entrée des fonctions C décrivant la dynamique du modèle, i.e. des règles (probabilistes) qui définissent son évolution au cours du temps, et il est capable de construire et/ou de simuler le processus stochastique sous-jacent. L'idée est que ce système factorise les tâches de construction des processus sousjacents et leur évaluation. Des premiers essais de traduction (de compilation) à partir des réseaux de Petri stochastiques généralisés ont été effectués. Le cas des systèmes où l'évolution s'effectue selon un paramètre de temps discret a été beaucoup moins traité dans la littérature. Nous avons travaillé sur l'extension au temps discret du formalisme et à sa mise en oeuvre dans la bibliothèque BB [15].