Logiciels

Résumé : Nous développons des outils logiciels pour l'évaluation de modèles de divers types. Par exemple, nous avons produit pour le Celar une bibliothèque de méthodes d'évaluation d'architectures de réseaux maillés du point de vue de la fiabilité. Ces programmes sont capables de calculer des mesures de fiabilité et d'analyser également leur sensibilité par rapport aux données. Ces évaluations se font suivant des approches de type combinatoire ou par Monte Carlo.
Nous travaillons actuellement sur des outils de construction efficace de modèles markoviens, pour des applications en sûreté de fonctionnement et dans l'analyse de la qualité de service de systèmes de communication. Dans ce dernier cadre, nous développons également des outils spécifiques de simulation.