Conférence invitée 1 - Mercredi 22 Mars de 11h00 à 12h30

Ivica Crnkovic
Component-Based Software Engineering for Embedded Systems

Component-based development (CBD) is established as a standard approach in many domains. Although attractive, CBD has not been widely adopted in domains of embedded systems. Embedded systems are computer systems that are parts of larger systems providing with services these systems. They vary from ultra small devices to large distributed systems. The experience has shown that existing technologies in most cases cannot be directly used for development of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embedded systems, such as resource constraints, real-time or dependability requirements. However an increasing understanding of principles of CBD makes it possible to utilize these principles in implementation of different component-based models more appropriate for embedded systems. There is also a limited possibility to provide some adaptations of general-purpose component-based systems, either by restricting or by building additional support.  The aim of this talk is to point to the opportunity of applying this approach for development and maintenance of embedded systems. The talk gives insights into basic principles of CBD, the main concerns and characteristics of embedded systems and possible directions of adaptation of component-based approach for these systems. Different types of embedded systems and approaches for applying CBD are presented and illustrated by examples from research and practices. Also, challenges and research directions of CBD for embedded systems are discussed.

Conférence invitée 2 - Jeudi 23 Mars de 9h00 à 10h30

Rose Dieng
Gestion des Connaissances, Web sémantique et Graphes conceptuels

Une approche possible pour la gestion des connaissances dans une organisation est la construction d'une mémoire d'entreprise. En nous inspirant de la vision du Web sémantique proposÈe par Tim Berners-Lee, nous étudierons comment matérialiser cette mémoire sous forme d'un "Web sémantique d'entreprise" comprenant des ressources (documents, personnes, logiciels, services), des ontologies décrivant le vocabulaire conceptuel partagé dans cette organisation et des annotations sémantiques sur ces  ressources (par exemple sur le contenu sémantique des documents, sur les compétences des personnes, sur les caractéristiques des logiciels). Au niveau représentation des connaissances, nous montrerons l'intérêt du formalisme des graphes conceptuels en particulier via sa traduction vers RDF(S) et les raisonnements ainsi permis. Cette approche "Web sémantique d'entreprise" sera illustrée par le moteur de recherche Corese développé par l'équipe Acacia et par plusieurs applications dans le cadre de différents scénarios de mémoire organisationnelle : la mémoire de projet, la mémoire d'expériences dans une communauté scientifique, l'aide au travail coopératif et la veille technologique et la cartographie des compétences.

Conférence invitée 3 - Vendredi 24 Mars de 9h00 à 10h30

Yves Le Traon
Test et diagnostic - des objets aux modèles

Le test vise à détecter des erreurs et le diagnostic à en déterminer la cause et la localisation en vue de la correction.
Il est avéré que ces activités sont essentielles puisqu'elles constituent le principal moyen d'obtention d'un niveau de confiance dans le logiciel livré. Il est aussi évident que les progrès dans ces domaines sont lents, relativement à l'évolution des paradigmes et domaines d'application.
Dans le cadre orienté-objet, la communauté du test a d'abord considéré ce paradigme comme suspect et risquant de produire des systèmes peu testables. La pratique montre qu'il n'en n'est rien, pourvu que ces systèmes soient proprement conçus. Toutefois, la manière de tester change profondément par rapport au paradigme procédural classique.
Le but de cette conférence est de présenter et d'illustrer :