Résumé
Les systèmes à forte composante logicielle sont omniprésents dans notre monde. Ils sont à l’origine de tout, des téléphones que nous utilisons aux voitures que nous conduisons. Il est essentiel de mettre au point des technologies permettant de vérifier et de valider ces systèmes complexes afin de garantir leur fiabilité, leur sûreté, leur sécurité et leur conformité.
À titre de titulaire de la Chaire de recherche du Canada sur la conformité et la fiabilité intelligentes des logiciels, Lionel Briand utilise l’intelligence artificielle pour ouvrir la voie à des stratégies efficientes de vérification et de validation (VV) des logiciels qui pourront être automatisées et adaptées à des systèmes et services réels et complexes. M. Briand et son équipe de recherche étudient tous les aspects de la VV, de l’analyse précoce des exigences du système à la vérification de la conception, au test automatisé des logiciels et à la surveillance de l’exécution. En définitive, leurs conclusions auront des applications dans pratiquement tous les secteurs, notamment les véhicules autonomes, l’aéronautique, la défense, les équipements médicaux, la finance et bien d’autres encore.