THÈMES
Cette conférence porte sur les analyses de performance et de sûreté de fonctionnement des systèmes à évènements discrets (eg. Informatique, Télécommunications).
Un de ses objectifs est de diffuser vers les utilisateurs potentiels les techniques d'évaluation quantitatives. Il est donc nécessaire de porter l'effort, non seulement sur les nouvelles techniques, mais aussi sur les exemples types d'utilisation et sur les logiciels généraux de modélisation rendant l'usage des techniques plus convivial à l'utilisateur.
Les thèmes abordés sont principalement :
méthodologie de modélisation et techniques d'analyse pour respecter des objectifs quantitatifs;
progiciels pour spécification et analyse des modèles;
approches et logiciels de mesure, ainsi que leur intégration dans un outil de modélisation;
études de cas d'intérêt général;
applications de nouvelles techniques de modélisation.