Journée de rencontre Activités de Recherche 2 mars 2007

Transcription

1 INSTITUT D INFORMATIQUE 1 Journée de rencontre Activités de Recherche 2 mars 2007 Institut d'informatique 21 rue Grandgagnage - B-5000 Namur

2 INSTITUT D INFORMATIQUE 2 L institut d informatique, c est La plus ancienne faculté d'informatique en Communauté française (1969) Plus de 100 personnes, pour 85 ETP (équivalent temps plein) 25 professeurs, dont 16 à temps plein 16 assistants 50 chercheurs et collaborateurs scientifiques 9 administratifs et techniciens De 200 à 400 étudiants De 30 à 80 diplômés par an diplômés depuis implantations d'enseignement : curriculum de jour à Namur, curriculum à horaire décalé à Charleroi 2 implantations de recherche : Namur, Gosselies (CETIC) 5 serveurs publics, 500 ordinateurs, dont 100 accessibles aux étudiants

3 INSTITUT D INFORMATIQUE 3 L institut d informatique, c est aussi Un réseau international de plus de 30 universités Des contacts étroits avec plus de 200 entreprises et administrations Le co-fondateur du CETIC (Centre d'excellence en TIC), avec l'ucl et la FPMs Le co-fondateur de l'infopôle (cluster wallon du secteur TIC), avec le BEP, puis AGORIA 20 projets de recherche en activité occupant 45 chercheurs 2 spin-offs Archibel : système-expert de diagnostic médical ReveR : réingénierie, migration et intégration de systèmes d'information; redocumentation et conversion d'applications anciennes.

4 INSTITUT D INFORMATIQUE 4 L identité de l institut d informatique Centré sur les systèmes d informations, sous tous leurs aspects Technologiques Méthodologiques Organisationnels Informatique essentiellement applicative, holistique et méthodologique Spécificités FUNDP : informatique de gestion, sous tous ses aspects (méthodes, outils, fondements mathématiques, théories des organisations, etc.) ULg : informatique scientifique UCL : essentiellement orientée programmation Tradition : langages et modélisation

5 INSTITUT D INFORMATIQUE 5 Quelle informatique? Trois visions de l'informatique l'informatique comme une science : étude de l'information, du logiciel, etc. au moyen d'approches scientifiques appropriées; l'informatique comme une science appliquée : élaboration de méthodes de développement de solutions informatiques (p.ex. logiciels) et d'outils de support l'informatique comme technologie transversale au service d'autres disciplines

6 INSTITUT D INFORMATIQUE 6 Thèmes de recherche Ingénierie du logiciel Bases de données Intelligence artificielle Support à la modélisation et langages Analyse de données et IHM Communications mobiles Aspects organisationnels et sociétaux

7 INSTITUT D INFORMATIQUE 7 Ingénierie du logiciel Acteurs : Naji Habra, Patrick Heymans, Pierre-Yves Schobbens, Wim Vanhoof Thématiques : Qualité du logiciel : mesures, amélioration Qualité du code : analyse, transformation, optimisation Ingénierie des exigences Lignes de produits Systèmes multi-agents

8 INSTITUT D INFORMATIQUE 8 Ingénierie du logiciel Qualité du logiciel : mesures, amélioration Produits et/ou processus Construction de modèles de qualité o Liens entre mesures internes et qualité externe Validation des mesures o Théorique vs. empirique Exemple : maintenabilité (evolvability / robustness) Projets free/open source FP6

9 INSTITUT D INFORMATIQUE 9 Ingénierie du logiciel Qualité du code : analyse, transformation, optimisation Analyse Dériver des propriétés d'un programme en analysant le code source Exemples : terminaison, instantiation des variables, liveness, sharing, Usage principal: vérification et optimisation Transformation Au niveau code source Usage principal: optimisation et restructuration

10 INSTITUT D INFORMATIQUE 10 Ingénierie du logiciel Ingénierie des exigences Application : accompagnement méthodologique pour la mise sur pied d un processus d ingénierie des exigences Objectif : diminuer les coûts et les risques Déterminer les exigences = activité critique du développement o La + coûteuse o La + sujette aux erreurs Approches par outils (templates de requirements, documents, modèles, processus, outils CASE, etc.)

11 INSTITUT D INFORMATIQUE 11 Ingénierie du logiciel Lignes de produits A software product line is a set of software-intensive systems sharing a common, managed set of features that satisfy the specific needs of a particular market segment or mission and that are developed from a common set of core assets in a prescribed way. Exemple : feature diagram de la ligne Nokia

12 INSTITUT D INFORMATIQUE 12 Ingénierie du logiciel Systèmes multi-agents La programmation multi-agents voit un système comme composé d agents Autonomes Avec leur propres objectifs Le système devient plus flexible, adaptable par ajout de nouveaux agents Formalisation mathématique permettant l'analyse et les preuves de propriétés.

13 INSTITUT D INFORMATIQUE 13 Bases de données Acteurs : Jean-Luc Hainaut, Vincent Englebert Thématiques : Analyse et conception Rétro-ingénierie Interopérabilité Web sémantique

14 INSTITUT D INFORMATIQUE 14 Bases de données Analyse et conception approche descendante schéma conceptuel schéma logique (tables, colonnes, clés) code DDL support outil (atelier DB-MAIN)

15 INSTITUT D INFORMATIQUE 15 Bases de données Rétro-ingénierie retrouver les schémas (perdus ou absents) d'une BD existante indispensable pour maintenir, faire évoluer, migrer une BD existante multiples techniques d'analyse support outil (DB-MAIN)

16 INSTITUT D INFORMATIQUE 16 Bases de données Interopérabilité comme faire collaborer des BD indépendantes, hétérogènes, distribuées? rétro-ingénierie + intégration sémantique + wrappers support outil (DB-MAIN)

17 INSTITUT D INFORMATIQUE 17 Bases de données Web sémantique comprendre les informations du web pour l'interroger de manière intelligente techniques de rétro-ingénierie spécifiques à base d'ontologies interfaçage par wrappers

18 INSTITUT D INFORMATIQUE 18 Intelligence artificielle Acteurs : Pierre-Yves Schobbens, Jean-Marie Jacquet, Wim Vanhhof Thématiques : Programmation logique/par contraintes Langages et modèles de coordination Théorie de la concurrence Conception de langages, études sémantiques, méthodologies de programmation

19 INSTITUT D INFORMATIQUE 19 Support à la modélisation et langages Acteur : Vincent Englebert Thématiques : construire un modèle pour un domaine spécifique définir un langage de spécification pour ce modèle générer un outil de manipulation, vérification, transformation de spécification et de génération de code

20 INSTITUT D INFORMATIQUE 20 Support à la modélisation et langages Objectif : développement d un outil de support de langages spécifiques (MetaDone) Définir un langage (texte et graphique) permettant de décrire les préoccupations d'un domaine (métier) Répondre aux spécificités du domaine Prise en compte du savoir-faire du domaine A domain-specific language (DSL) is a programming language or executable specification language that offers through appropriate notations and abstractions, expressive power focused on, and usually restricted to, a particular problem domain. Exploitation du langage afin d outiller cette connaissance Proposer des notations pour ce langage o o En fonction des utilisateurs En fonction des niveaux d abstraction Vérification de la consistance Génération de code

21 INSTITUT D INFORMATIQUE 21 Support à la modélisation et langages

22 INSTITUT D INFORMATIQUE 22 Analyse de données et IHM Acteur : Monique Noirhomme Thématique : Data Mining et visualisation de données complexes Interfaces Homme/Machine

23 INSTITUT D INFORMATIQUE 23 Analyse de données et IHM Data Mining Classification de données fonctionnelles Classification de distributions de probabilités Identification de trafic Classification

24 INSTITUT D INFORMATIQUE 24 Analyse de données et IHM Interfaces Homme/Machine Evaluation automatique et réparation d interfaces (projet DESTINE) Visualisation de données complexes (cours boursiers p.e.)

25 INSTITUT D INFORMATIQUE 25 Communications Acteur : Laurent Schumacher Thématiques : Stratégie d'allocation en téléphonie mobile E-learning (cours en ligne)

26 INSTITUT D INFORMATIQUE 26 Aspects organisationnels et sociétaux Acteurs : Claire Lobet, Philippe Goujon, Marie Gevers Thématiques : Techniques, éthique et société (en particulier gouvernance) Histoire de l'informatique en Belgique