Analyse de systèmes distribués

L’équipe Analyse de systèmes distribués du CRIM se spécialise en développement de méthodes et d’outils prototypes pour aider les concepteurs de systèmes et d’applications distribuées à améliorer la qualité et la sécurité de leurs produits tout en diminuant le temps de développement. Son expertise est issue de nombreux projets industriels et collaborations universitaires, tant au Québec qu’à l’étranger.

Nos expertises

Nous possédons une expertise de classe mondiale en « ingénierie des modèles ». Ces derniers permettent de représenter le fonctionnement des systèmes informatiques, d’en prédire le comportement, d’en analyser les failles et d’automatiser certaines tâches de développement et de test.

Inférence de modèles

Génération automatisée de code pour système distribué

Test des systèmes parallèles et distribués

Modelisation, test et validation des applications basees sur le Web

Voir toutes les expertises

Réalisations marquantes

Projet NECSIS

Network on Engineering Complex Software Intensive Systems for Automotive Systems.

Jeu d’outils incluant plusieurs modules de modélisation et d'analyse capables de traiter des traces provenant de différents types de systèmes

Outil prototype pour la validation formelle de systèmes de contrôle d’accès à base de rôles

Toutes nos réalisations

Profil d'un expert

Alexandre Petrenko
Directeur d'équipe et chercheur principal

Alexandre Petrenko œuvre au CRIM depuis 1996 à titre de directeur de l’équipe Analyse de systèmes distribués. 

Découvrez nos experts

Nos Partenaires

Nous sommes heureux de pouvoir compter sur l’engagement indéfectible de nos partenaires qui, année après année, nous permet de maintenir notre longueur d’avance, et la vôtre !

• 
• 
• 
• 
• 
• 
• 
• 
• 
•