Unité Laurentienne de Recherche en Informatique et ses Applications

ULRIA est une unité de recherche en informatique implantée dans les Laurentides-Québec sur le campus de Saint-Jérôme de l’Université du Québec en Outaouais (UQO). Son objectif est de proposer et développer des théories et technologies informatiques pour améliorer la sureté et la sécurité des systèmes informatisés. Ses membres sont des enseignants-chercheurs, des professionnels et des étudiants qui détiennent une expertise unique et collaborent sur des projets inspirés par des problématiques scientifiques et industrielles afin d’atteindre l’objectif de ULRIA. ULRIA permet aux étudiants du baccalauréat en informatique offert à l'UQO - Campus Saint-Jérôme de se former via la recherche.

Modéliser et spécifier les systèmes évolutifs

Systèmes de transitions, automates temporisés, mu-calcul temporisé, réseaux de neuronnes, arbres de décision, processus de décision markovien

Tester et vérifier les systèmes évolutifs

Identifier des objectifs de test, méthode de génération automatique des cas de test, méthodes de verification formelle des propriétes de sureté et de sécurité, résolution de contrainte SAT/SMT

Contrôler et enforcer les systèmes évolutifs

Construire automatiquement des systèmes capables de superviser l'exécution d'autres systèmes afin de satisfaire des propriétés de sureté