Veille - recherche enrichissement. Veille sur les technologies et pratiques émergentes Recherche :

Transcription

1 CRIM

2 Veille - recherche enrichissement Veille sur les technologies et pratiques émergentes Recherche : Repérer et développer d des technologies d avantd avant-garde et les transférer rer vers l entreprise, l pour en faire des succès s commerciaux Expertise interne Reconnaissance automatique de la parole Vision et imagerie Analyse des systèmes distribués Gestion de contenu et formation en ligne Réseau de collaborateurs locaux, nationaux, international Enrichissement des technologies pour un transfert 2

3 Reconnaissance de parole Reconnaissance de la parole spontanée à grand vocabulaire Sous-titrage en direct Transcription automatique Indexation de contenu audio Synchronisation de dialogues Identification du locuteur 3

4 dubstudio 4

5 Sous-titrage en direct Chambre des communes Le Sénat du Canada 5

6 Publication des débats Event capture Transcription Blue Blue Transcripts Transcriptions Transcriptons publiques de Hansard avec index Published Hansard Transcripts with Index 6

7 Vérification du locuteur Est-ce Osama Ben Laden qui parle? Juin Évaluation Darpa 27 participants de 13 pays, incluant Stanford Research International (SRI), MIT Lincoln Labs et IBM Première participation du CRIM : 2 e meilleur résultat après s SRI Juin participants de 20 pays CRIM : 1 er dans 2 catégories 7

8 Mission E-inclusion Créer un réseau d utilisateurs, d artistes,, de producteurs et de chercheurs afin de développer des outils de traitement de contenu audiovisuels et des méthodes m de création de contenu pour permettre aux créateurs et producteurs de contenu multimédia d améliorer la richesse de l expl expérience multimédia des personnes ayant une déficience d sensorielle en automatisant des aspects du processus de production et de la post-production production multimédia 8

9 Partenaires E-inclusion 9

10 Participants E-inclusion Parlement du Canada Assemblée législative de Colombie Britannique 4DArt Denis Bernard RAAQ 10

11 E-Inclusion - la suite E-Inclusion phase 2 Utilisation des résultats dans plusieurs domaines : En lien direct Sous-titrage et audiovision En vision et imagerie Requête par contenu visuel Interaction visuelle personne-syst système Surveillance et sécurité En reconnaissance de la parole Applications culturelles Surveillance et sécurité Autres domaines exploitation automatique de grandes banques de données 11

12 Participation au cycle d innovation 1 1- Recherche scientifique Quoi? Effort 2 3 Temps 2- Développement technologique Comment? 3- Mise en marché Où? Qui? Quand? 12

13 Analyse de systèmes distribués Vérifier et valider des caractéristiques ristiques de systèmes en s appuyant s sur des méthodes m formelles Permet de vérifier v que certaines exigences sur le fonctionnement de ces systèmes sont satisfaites Exemple d exigence d : Un certain niveau de performance Un certain niveau de sécurits curité Un certain niveau de fiabilité 13

14 Vérification par modèle Entrée Sortie Propriétés Propri toutes toutes valides valides Modèle Propriétés vérificateur Contre-exemples exemples Des Des propriétés ne fonctionnent fonctionnent pas Raffinement 14

15 2 processus pr1 1 et pr2 Exemple Événements locaux : variables Transmettre et recevoir des messages n1 = 2 n1 = 4 n1 = 3 pr1 m1 m2 time pr2 m3 n2 =1 n2 = 4 n2 = 2 Événements peuvent être enregistrés suivant différentes séquences (traces) (n1=2),( 1=2),(n2=1),SendM1,ReceiveM1,( 2=1),SendM1,ReceiveM1,(n1=4),( 1=4),(n2=4), SendM2, SendM3, ReceiveM3,(n1=3),ReceiveM2, (n2=2)( Propriétés valides ou non selon la séquence Exemple : n2 peut-il être supérieur à n1 1 de 2 ou plus? 15

16 Exemple (suite) Combien de séquences différentes d événements ce système peut-il exécuter cuter? n1 = 2 n1 = 4 n1 = 3 rm2 3,4 n1=3 3,4 n 2=2 n1=3 rm2 3,2 n 1=3 n2=2 rm3 4,2 rm 3 n2=2 4,2 pr1 pr2 n2 =1 m1 n2 = séquences! Graphe des 27 états globaux m2 m3 time n2 = 2 Représentation compacte de toutes les séquences possibles Utilisé pour vérifier des propriétés 4,1 sm2 Pr1 n2=4 rm3 sm3 sm2 sm3 sm2 n2=4 n1=4 n1=4 rm1 sm 1 _ 2,1 rm2 n2=4 rm1 n1=2?,1 n1=4 2,4 sm3 rm1 sm3 4,1 2,4 2,4 2,? n2=1 n1=2 2,1?,? n2=1 n2=4 n2=4 2,1 sm1 n1=2 n1=2?,1?,4 n1=2 2,4?,4 sm3 Pr2 16

17 n1=3 sm1_pr2 sm1_pr2 n1=4 rm1_pr2 n2=4 n2=4 n2=4 n1=3 n1=3 n2=4 n2=4 n1=4 rm1_pr2 sm2_pr2 sm2_pr2 sm2_pr2 sm1_pr1 sm2_pr2 n1=4 rm1_pr2 n1=3 rm2_pr2 rm1_pr1 n2=2 n2=2 rm2_pr2 n1 = 3 n1 = 4 n1 = 5 pr1 m1 m2 m3 pr2 n2 = 6 n2 = 4 n2 = 2 17 n2=2 sm2_pr2 n 1=5 rm1_pr1 rm2_pr2 sm1_pr1 rm1_pr1 n 1=5 n1=5 5,4 4,6 5,4 4,6 5,2 3,6 3,6 4,2 3,4?,6 3,6 4,2 3,4 3,4?,6 3,4?,4?,4 n1=3 n2=6 n2=6 3,??,? sm1_pr1 Vérification de propriété Les propriétés à vérifier : n2 n1 + 2 Suivi de n1 n2 +2 n1 n2 + 2 Suivi de n2 n1 +2

18 Analyse de systèmes distribués Analyse et contrôle à base de modèle Analyse de trace automatique Analyse de comportement d applications d Web Analyse et tests de logiciels Analyse statique Analyse dynamique User Génération automatique de tests Validation de rôles et responsabilités Intelligence artificielle distribuée Pattern Library Distributed system of processes Event Use Interface SDL Model... Monitoring Tool Trace Event Front End to ObjectGEODE System Specification Property Specification GOAL Observer ObjectGEODE Simulator Model results: 1. Property satisfied or not 2. Scenarios 18

19 Collaboration SAP et CRIM Analyse de programmes Java Debug de programmes multithread Migration de Java 1.4 à 1.5 (détection( d imcompatibilités) Génération de test à partir de modèles Approche formelle de vérification de propriétés de sécurité des applications Vérification durant la conception Scenarios d affaires,, RBAC (Role-Based Access Control), workflow Vérification durant l exl exécution En direct À partir de traces Propriété typique : séparation de responsabilités 19

20 Éléments distinctifs Orientation du transfert en lien avec les perspectives d affaires Développement de solutions en faisant appel à plusieurs domaines d expertise d Prise en compte de l ensemble des dimensions d un d développement de produit logiciel (gestion,, tests, sécurité, formation, déploiement, intégration gration, évolution) Chercheurs et spécialistes bien connectés s aussi bien au monde de la recherche que des entreprises Longue expérience comme centre de liaison et transfert accompagnée e d un d processus d amd amélioration continue 20

21 QUESTIONS