Nouveau projet tripartite

Nouveau projet tripartite

Publié le 20/03/14

Un projet alliant un partenaire industriel (CAE), un partenaire universitaire (École Polytechnique) et le CRIM vient d'être signé!

ACACIA : Automatisation de l'analyse d'impact de changement dans l'intégration et les tests de systèmes basés sur les COTS dans le domaine de l'avionique.

Le projet vise à faire l'automatisation du processus d'intégration et de test de systèmes basés sur les COTS dans le domaine de l'avionique, le développement de méthodes et d'outils avancés pour l'analyse dynamique de ces systèmes et l'analyse de changement d'impact pour les tests de régression de ces systèmes selon leur évolution.

Ce projet est financé en partie par le CRSNG (Programme RDC) et par CAE et Alexandre Petrenko, chercheur principal et directeur de l'équipe Modélisation et développement logiciel avancé du CRIM en est le responsable.

                                                      


 

Devenez membre du CRIM

Devenir membre du CRIM, c’est bénéficier du plus grand réseau d’entreprises en TI au Québec. C’est un accès privilégié à notre expertise en recherche et développement. Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.

514 840-7993

Événement à venir

  • Séminaire R-D : Fault detection in timed FSM with timeouts by sat-solving
    24/10/19 11h00
    CRIM (405, avenue Ogilvy, bureau 101, Montréal)
    Une conférence de Omer Nguena Timo, chercheur en modélisation, test et vérification logiciel, CRIM.
    +
  • ???? Le CRIM est en mode recrutement #talents 2 nouveaux profils de stagiaires recherchés : - Science des données - Sy… https://t.co/JxKxg7ZwKw
  • ???? Séminaire R-D : Détection des défauts dans les FSM temporisés par résolution de contraintes SAT (présentation en… https://t.co/VIDB9R4u4u