Master de sciences et technologies mention : informatique

Réalisations du responsable dans le domaine de l’UE

• 
  Création et animation du séminaire BIP, avec J-R Abrial, V. Viguié : activités de veille technologique orientée sûreté (1995-2000)
  
• 
  Création et animation, avec V. Viguié, du DESS "Développement de Logiciels Sûrs", UPMC, CNAM 1999-2003 puis du parcours "Logiciels Sûrs" de ce master
  
• 
  Responsable du Plan Pluri-Formation "Logiciels sûrs" et mise en place d'un séminaire de veille technologique autour de sûreté/sécurité pour les entreprises de ces domaines
  
• 
  Coordinateur ACI Sécurité "Modulogic"
  
• 
  Contrats de recherche passés ou en cours: Sociétés Bertin, Surlog, Oberthur CS Contrats européens (CONFER, MKMnet)
  

Acronyme : sf2	Spécialité : STL	3 ECTS	Niveau : 500	Semestre : S4
Titre : Sûreté de fonctionnement 2
Responsable : Thérèse HARDIN		Répartition hebdomadaire ou semestrielle
		(30h/7 semaines)
Contenu Cett UE complète l'UE SF1 par l'étude de différentes techniques et outils, de nature qualitative ou quantitative, utilisés dans le cadre de la sûreté. Elle présente également le problème de l'interaction humaine dans la sûreté de fonctionnement. Enfin, des exemples de mise en oeuvre sont apportés par des partenaires industriels (cas d'étude).
Expérience du responsable dans le domaine de l’UE Quelques thèmes de recherche de T. Hardin, accompagnés de quelques publications: Compilation et sémantique ( Hardin, Properties of CCL, TCS, 1989, Explicit substitutions properties, Curien, Hardin, Lévy, JACM 1996, Hardin,Maranget, Pagano,Functional runtime systems, J. of Functional Programming, 1998,T. Hardin, Mammass,Proving the Bounded Retransmission Protocol in the Pi-calculus, NFINITY'98 ). Logique et démonstration automatique (Dowek,Hardin,Kirchner, Higher-order unification via explicit substitutions, Information and Computation,2000; Theorem Proving modulo, Journal of Automated Reasoning,2003). Responsable du projet FOCAL, atelier de développement de systèmes répondant aux besoins élevés de sûreté et de sécurité (Dubois,Hardin, Viguié, Building certified components within FOCAL,Trends in Functional Programming,2004; DBUFR_URL_IMAGE utilisé dans 3 ACI Sécurité (Modulogic, Edemoi, Alidecs). Sûreté de fonctionnement (P. Ayrault, T. Hardin, Développement d'un outil d'évaluation de la sûreté du logiciel, JFLA2000, Hardin, Logiciels de confiance, JFLA2002). Quelques thèmes d'enseignement de T. Hardin, correspondant à des cours de niveaux L et M: Programmation (Hardin , V. Viguié-Donzeau, Concepts et outils de programmation, avec Caml et Ada, InterEditions1992), Lambda-calculs, Théorie des types, Réécriture, Sémantiques, démonstration automatique, Sûreté de fonctionnement (Normes, méthodes de mise en oeuvre, méthodes d'évaluation), accent mis sur tous les aspects liés au logiciel embarqué, en particulier sur les méthodes formelles.
Réalisations du responsable dans le domaine de l’UE Création et animation du séminaire BIP, avec J-R Abrial, V. Viguié : activités de veille technologique orientée sûreté (1995-2000) Création et animation, avec V. Viguié, du DESS "Développement de Logiciels Sûrs", UPMC, CNAM 1999-2003 puis du parcours "Logiciels Sûrs" de ce master Responsable du Plan Pluri-Formation "Logiciels sûrs" et mise en place d'un séminaire de veille technologique autour de sûreté/sécurité pour les entreprises de ces domaines Coordinateur ACI Sécurité "Modulogic" Contrats de recherche passés ou en cours: Sociétés Bertin, Surlog, Oberthur CS. Contrats européens (CONFER, MKMnet)

Acronyme : signal	Spécialité : ACSI	6 ECTS	Niveau : 400	Semestre : S1
Titre : Traitement du signal
Responsable : Habib MEHREZ		Répartition hebdomadaire ou semestrielle
		(CM: 2h00)(TD: 2h00)(TME: 2h00)
Contenu Ce module présente les bases de la théorie du traitement du signal. Il est destiné à des étudiants n'ayant aucune connaissance préalable en traitement du signal. Il leur permettra d'acquérir les notions nécessaires à la maîtrise des algorithmes et architectures de traitement du signal et de l'image. Ces notions trouvent leurs applications dans des domaines aussi variés que les télécommunications, le multimedia, la robotique etc.
Expérience du responsable dans le domaine de l’UE Spécialiste du traitement numérique du signal, j'ai participé à plusieurs projets de recherche avec un large spectre d'applications allant de l'algorithmique numérique à la conception d'architectures VLSI dédiées. Je citerais, en particulier, les projets concernant les processeurs FFT, la architectures pour la reconnaissance de formes et les processeurs génériques type ASIP (DSP à jeu d'instructions dédiées). Celà m'a amené également à la maîtrise des fondements théoriques du traitement du signal.