Contrôle de la fiabilité des logiciels à évoluer : un canevas pour le développement incrémental et itératif de logiciels à composants et orientés service

National audienceLes systèmes logiciels modernes se distinguent par un besoin d'évolution rapide et une complexité croissante, avec notamment l'apparition de nouveaux domaines d'applications, comme par exemple les logiciels destinés aux périphériques mobiles, c'est-à-dire les assistants mobiles tels que les téléphones ou encore les tablettes. Dans ces domaines, les utilisateurs réclament que les logiciels fournissent toujours plus de fonctionnalités. Ces logiciels ont alors besoin de prendre en compte ces nouvelles exigences demandées, tout en ayant conscience du nombre toujours croissant de périphériques hétérogènes

Contribution à la spécification et à la vérification des logiciels à base de composants : enrichissement du langage de données de Kmelia et vérication de contrats

With Model Driven Engineering models are the heart of software development. Thesemodels evolve through transformations. In this thesis our interest was the validationfor these model transformations by testing, and more precisely the test oracles. Wepropose two approaches to assist the tester to create these oracles. With the first ap-proach this assistance is passive; we provide the tester with a new oracle function.The test oracles created with this new oracle function control only part of the modelproduced by the transformation under test. We defined the notion of partial verdict,described the situations where having a partial verdict is beneficial for the tester andhow to test a transformation in this context. We developed a tool implementing thisproposal, and ran experiments with it. With the second approach, we provide a moreactive assistance about test oracles’ quality. We study the quality of a set of modeltransformation test oracles. We consider that the quality of a set of oracles is linkedto its ability to detect faults in the transformation under test. We show the limits ofmutation analysis which is used for this purpose, then we propose a new approach thatcorrects part of these drawbacks. We measure the coverage of the output meta-modelby the set of oracles we consider. Our approach does not depend on the language usedfor the transformation under test’s implementation. It also provides the tester withhints on how to improve her oracles. We defined a process to evaluate meta-modelcoverage and qualify test oracles. We developed a tool implementing our approach tovalidate it through experimentations.L'utilisation croissante des composants et des services logiciels dans les différents secteursd'activité (télécommunications, transports, énergie, finance, santé, etc.) exige desmoyens (modèles, méthodes, outils, etc.) rigoureux afin de maîtriser leur production etd'évaluer leur qualité. En particulier, il est crucial de pouvoir garantir leur bon fonctionnementen amont de leur déploiement lors du développement modulaire de systèmes logiciels.Kmelia est un modèle à composants multi-services développé dans le but de construiredes composants logiciels et des assemblages prouvés corrects. Trois objectifs principauxsont visés dans cette thèse. Le premier consiste à enrichir le pouvoir d'expression du modèle Kmelia avec un langage de données afin de satisfaire le double besoin de spécificationet de vérification. Le deuxième vise l'élaboration d'un cadre de développement fondé sur lanotion de contrats multi-niveaux. L'intérêt de tels contrats est de maîtriser la constructionprogressive des systèmes à base de composants et d'automatiser le processus de leur véri-fication. Nous nous focalisons dans cette thèse sur la vérification des contrats fonctionnelsen utilisant la méthode B. Le troisième objectif est l'instrumentation de notre approchedans la plate-forme COSTO/Kmelia. Nous avons implanté un prototype permettant deconnecter COSTO aux différents outils associés à la méthode B. Ce prototype permet deconstruire les machines B à partir des spécifications Kmelia en fonction des propriétés à vé-rifier. Nous montrons que la preuve des spécifications B générées garantit la cohérence desspécifications Kmelia de départ. Les illustrations basées sur l'exemple CoCoME confortentnos propositions

Commerce électronique et nouvelle formes d'organisation dans le secteur de la distribution industrielle européenne

Rapport de recherche - Destinataire : Rapport intermédiaire, PREDI

Commerce électronique et nouvelle formes d'organisation dans le secteur de la distribution industrielle européenne

NA

Aeronautical manufacturer versus architect-integrator: a new industrial model for Airbus (In French)

This article analyzes the technical and organizational dynamics on which the strategies of the European aircraft manufacturer are founded. The point of view developed is that refocusing on architect-integrator activities, increasing modular decomposition of the process of building airplanes and the emergence of hub- firms as well as innovations - particularly those revolving around composites materials, Integrated Modular Avionics (IMA) and embedded systems - indicate a deep reorganization of Airbus\' industrial model.Airbus, modularity, hub-firm, innovation, supply chain

Innovation ouverte : vers la génération 2.0

L'innovation ouverte reste un concept très large, un peu fourre-tout, dont les frontières, les formes et les enjeux doivent encore d'être clarifiés. C'est précisément ce que nous nous proposons de faire dans cette contribution. Dans un premier temps, nous définissons le concept d'innovation ouverte et nous le confrontons aux théories existantes en économie et gestion de l'innovation. Cela nous amène notamment à distinguer les deux faces de l'innovation ouverte l'" inside-out et l'" outside-in " et à montrer que seule la première est réellement nouvelle en sciences de gestion. Cela nous permet également d'insister sur l'importance des droits de propriété intellectuels (DPI) et notamment du brevet dans l'essor et le succès des stratégies d'innovation ouverte. Dans un second temps nous présentons les différentes modalités de l'innovation ouverte. Nous insistons essentiellement sur la différence entre les formes traditionnelles d'innovation ouverte qui sont peu ouvertes et peu interactives (par exemple un accord bilatéral de collaboration de recherche entre une entreprise et une université) et des modalités qui ont émergé plus récemment et qui sont largement plus ouvertes et plus interactives (par exemple le crowdsourcing ou l'innovation avec des communautés open source). Nous appelons la première " innovation ouverte 1.0 " et la seconde " innovation ouverte 2.0 ", faisant ainsi référence à l'importance des TIC et notamment de l'Internet dit 2.0 pour favoriser la mise en place des modalités d'innovation ouverte 2.0. Enfin, dans un troisième temps nous analysons les enjeux stratégiques de l'innovation ouverte et nous évaluons la rationalité et les problématiques économiques soulevées par ce type de pratiques

Du génie logiciel pour déployer, gérer et reconfigurer les logiciels

As a discipline, software engineering embraces various schools of thought, yet remains consistent with respect to its objective. It aims at providing means for effective and inexpensive production of software by contributing mathematical frameworks, methods and tools. Consequently, we witness some automation in software production process that, as of today, allows producing astronomical amounts of lines of code daily. This rapidly and massively produced software is required for all computer equipment that has invaded our daily life in various forms of other devices (PC, tablet, phone, refrigerator, car, etc.). In this world of large software consumption, it is somewhat surprising that the management of software, after its production, remains dominated by manual practices like searching in lists, downloading units and manual installations. In this context, I organized my research activities such that they aim at providing mathematical frameworks, methods and tools to deploy, distribute or update massive amounts of software since 2001, the year of my PhD defense. These research activities were mainly conducted in Brest at the CS department of Telecom Bretagne as part of the PASS team of IRISA. This document puts into perspective my various scientific contributions, undertaken projects, endeavors in training research students and efforts invested as a teacher. My scientific contributions can be divided into five parts: mathematical models and algorithms for dependency management in software deployment; software component models; processes and tools for massive software deployment; dynamic update of programs at runtime; languages for the design and implementation of software development processes. All these works complement each other, thus making it possible to imagine the proposition of methods and tools for large-scale software deployment.Le génie logiciel est une discipline constituée de nombreux courants mais cohérente par l'objectif affiché. Il s'agit d'aider à la production, de manière efficace et peu coûteuse, de logiciels en offrant des cadres mathématiques, des méthodes et des outils. Ainsi, on a pu assister à une certaine industrialisation du processus de production de logiciel qui permet aujourd'hui de produire, chaque jour, des quantités astronomiques de logiciel. Ce logiciel produit rapidement et en grande quantité est nécessaire pour tous les équipements informatiques qui ont envahi notre quotidien (ordinateur, tablette, téléphone, réfrigérateur, voiture, ...). Dans ce monde de grande consommation du logiciel, il est cependant surprenant de constater que la gestion des logiciels après leur production est resté dominé par des pratiques manuelles de recherche dans des listes, de téléchargement unitaire et d'installation manuelle. C'est dans ce cadre que j'ai développé une activité de recherche visant à fournir des cadres mathématiques, des méthodes et des outils pour déployer, diffuser ou mettre à jour massivement les logiciels depuis 2001 année de ma soutenance de thèse. Ces activités de recherche ont été conduites principalement à Brest au sein du département informatique de Télécom Bretagne dans le cadre de l'équipe PASS de l'IRISA. Mon Habilitation à Diriger des Recherches est l'occasion de remettre en perspective mes différentes contributions scientifiques, les étudiants formés à la recherche, les projets réalisés ainsi que mon investissement en tant qu'enseignant. Les contributions scientifiques peuvent être classées en cinq parties : - des modèles mathématiques et les algorithmes associés pour la gestion des dépendances de logiciels lors de leur déploiement ; - les modèles de composants logiciels ; - les processus et outils pour le déploiement de logiciel massif ; - la mise à jour de programmes sans interrompre leur exécution ; - des langages pour la conception et la réalisation de processus de développement logiciel. Tous ces travaux qui se nourrissent et se complètent permettent d'imaginer la proposition de méthodes et outils pour passer à l'échelle dans la gestion du déploiement des logiciels

Conception et développement d'un système multi-agent d'aide à la décision pour la gestion de production dynamique

Une prise de décision efficace repose souvent sur le contrôle de l'information dans le temps, cette action vise à capturer des éléments d'information les plus importants qui sont mis à jour de différentes manières. L'intégration des agents aux Systèmes Interactifs d'Aide à la Décision (SIAD) fournit un moyen rentable pour la prise de décision. Les agents planifient dans le système et poursuivent leurs buts et sous-objectifs en coopérant, coordonnant leurs tâches et en négociant entre eux afin de répondre avec souplesse et intelligence aux situations dynamiques et imprévues. En gestion de production temps-réel, le système d'aide à la décision mémorise l'état courant de l'atelier. Il connaît à tout moment l'ensemble des décisions et des événements possibles. Nous distinguons trois contextes d'aide à la décision : (i) aide à la décision pour une séquence admissible; (ii) aide à la décision pour le recouvrement de l'admissibilité et (iii) aide à la décision et à la négociation entre les centres de décision hors du contexte planifié. La présente thèse propose un SIAD à base d'agents afin de résoudre certains problèmes d'incertitude dans le système d'ordonnancement de la production dynamique. Le système développé donne aux centres de décision la possibilité pour prendre des décisions dans un contexte dynamique. Plus précisément, les Stations Intégrées de Production (SIP) seront équipées d'un comportement suffisant pour exécuter des opérations concrètes et réagir simultanément à la complexité des problèmes causés par l'ordonnancement dynamique dans des situations réelles. Ces agents expriment leurs préférences en utilisant la méthode ELECTRE III, afin de résoudre les différences. Le mécanisme de négociation est basé sur le Protocole Contract Net (CNP). Le protocole développé sur JADE fournit des échanges de messages entre les agents et leur propose des comportements prédéfinis. L'approche est testée à travers des scénarii simples.An effective decision making is often based on control information in time. This action aims to capture the current state of the most important information elements updated in different ways. For Decision Support Systems (DSS), the software agents' integration provides an automated, cost-effective means for making decisions. The agents in the system autonomously plan and pursue their actions and sub-goals to cooperate, coordinate, and negotiate with others, and to respond flexibly and intelligently to dynamic and unpredictable situations. In real-time production management, the DSS memorizes the current state-of the workshop. It knows constantly all possible decisions and the possible events involved. We distinguish 3 contexts for the decision-making aid: (1) Decision-making aid in the context of an acceptable sequence; (2) Assistance for the admissibility covering; and (3) negotiation support among different decision-making centers in a dynamic context. The present thesis proposes an agent architecture-based DSS in order to solve some uncertainty problems in dynamic production system scheduling. The proposed DSS gives the decision centers the opportunity to make decisions in a dynamical context. Specifically, Integrated Station of Production agents (ISP) will be equipped with a sufficient behavior to carry out practical operations and simultaneously react to the complex problems caused by the dynamic scheduling in real situations. These agents express their preferences by using ELECTRE III method in order to solve differences. The negotiation mechanism is based on the Contract Net Protocol (CNP). The coordination protocol developed on JADE provides message exchanges between agents and offers them predefined behaviors. The approach is tested through simple scenarios