Les applications ubiquitaires évoluent dans des environnements plus hétérogènes et plus dynamiques que ceux des systèmes distribués traditionnels. La criticité des domaines applicatifs impliqués et la vocation non intrusive de l'informatique ubiquitaire exigent de garantir la robustesse des applications avant et pendant leur déploiement en situation réelle. Les solutions proposant de gérer la dynamicité des environnements ubiquitaires offrent des canevas de programmation dont la généricité ne permet pas de garantir la fiabilité des applications développées. D'autres solutions permettent davantage de vérifications en assurant, par exemple, l'intégrité des communications. Cependant, ces vérifications, telles que proposées dans ces solutions, empêchent la prise en compte de la dynamicité, indispensable à la mise en oeuvre d'applications ubiquitaires. Dans cette thèse, nous proposons un canevas logiciel visant à concevoir, développer, vérifier et tester les applications ubiquitaires avant leur déploiement en environnements réels. Notre approche repose sur des spécifications haut niveau des applications cibles. Chaque spécification, écrites dans le langage DIASPEC, est analysée, vérifiée et compilée par le compilateur DIASPEC qui génère un canevas logiciel dédié, incluant un canevas de programmation et un canevas de simulation. Les canevas de programmation générés fournissent du support pour la programmation d'applications ubiquitaires. Ils garantissent l'intégrité des communications tout en permettant la gestion de la dynamicité des environnements ubiquitaires. Les canevas de simulation générés fournissent du support pour le test des applications ainsi développées. Les contributions de cette thèse sont les suivantes :<br />– Nous proposons l'approche DIAGEN qui permet, à partir de spécifications d'architectures logicielles ubiquitaires, de générer du support de programmation et un ensemble de vérifications dédiés au développement d'applications ubiquitaires. Ces spécifications reposent sur un langage déclaratif, appelé DIASPEC, qui permet de décrire les types de services composant les applications ubiquitaires cibles. Le compilateur DIASPEC vérifie la cohérence des spécifications et génère, à partir de celles-ci, des canevas de programmation dédiés. Les canevas de programmation générés garantissent l'intégrité des communications d'applications dynamiques.<br />– Nous avons développé DIASIM, un simulateur pour tester à l'exécution, le comportement des applications développées avec l'approche DIAGEN. DIASIM permet de tester les applications sans les modifier et d'intégrer incrémentalement des services réels dans les scénarios de simulation.<br />– Nous avons montré que l'approche DIAGEN permet davantage de vérifications statiques tout en gérant la dynamicité des environnements ubiquitaires et en permettant une plus grande concision des applications développées. Nous avons analysé les canevas de programmation générés pour la gestion de réunion, l'immotique et la téléphonie.

Nous proposons dans cette thèse une démarche permettant de décrire un DSML (Domain Specific Modeling Language) et les outils nécessaires à l'exécution, la vérification et la validation des modèles. La démarche que nous proposons offre une architecture générique de la syntaxe abstraite du DSML pour capturer les informations nécessaires à l'exécution d'un modèle et définir les propriétés temporelles qui doivent être vérifiées. Nous nous appuyons sur cette architecture pour expliciter la sémantique de référence et l'implanter. Plus particulièrement, nous étudions les moyens :<br />- d'exprimer et de valider la définition d'une traduction vers un domaine formel dans le but de réutiliser des outils de model-checking.<br />- de compléter la syntaxe abstraite par le comportement; et profiter d'outils génériques pour pouvoir simuler les modèles construits.<br />Enfin, de manière à valider les différentes sémantiques implantées vis-à-vis de la sémantique de référence, nous proposons un cadre formel de métamodélisation.

Dans le cadre de cette thèse, nous nous proposons d'étudier le développement et la validation de systèmes dans un contexte temps réel asynchrone. On a choisi d'utiliser le langage AADL pour ses spécificités issues de l'avionique, domaine proche du spatial, et pour la précision de la description de son modèle d'exécution. Le travail de cette thèse se divise en deux axes principaux : d'une part, on étudie l'utilisation du langage AADL dans le cadre du développement d'un logiciel de vol ; et d'autre part, on présente une version réduite du langage AADL, et la définition formelle de son modèle d'exécution à l'aide du langage TLA+. L'objectif de la première partie est d'envisager l'utilisation d'AADL dans le cadre d'un processus de développement existant dans le domaine du spatial. Dans cette partie, on a cherché à identifier des motifs de conceptions récurrents dans les logiciels de vol. Enfin, on étudie l'expression en AADL des différents éléments de ce processus de développement. La seconde partie comporte la définition d'un mini AADL suffisant pour exprimer la plupart des concepts de parallélisme, de communication et de synchronisation qui caractérisent AADL. La partie formalisation est nécessaire afin de pouvoir vérifier des propriétés dynamiques. En effet, la définition formelle du modèle d'exécution permet de décrire le comportement attendu des modèles AADL. Une fois ce modèle défini, on peut à l'aide d'un vérificateur de modèles (model-checker) animer une modélisation AADL ou aborder la vérification de propriétés dynamiques. Cette étude a par ailleurs été menée dans le cadre de la standardisation du langage AADL.

Depuis plusieurs années, l'évolution naturelle des applications vers la distribution a mis en évidence le besoin d'informations autre que celles uniquement nécessaires aux traitements. C'est ainsi qu'au fil du temps, les concepteurs et développeurs ont dû intégrer à leurs applications des tâches d'acquisition de l'environnement d'exécution permettant ainsi aux applications dans un premier temps de prendre en compte le contexte, puis de devenir « sensibles au contexte » et d'adapter leurs traitements en conséquence puis, dans un second temps, d'évoluer par reconfigurations dynamiques de manière à répondre au mieux aux sollicitations.<br /><br />Le contexte peut se diviser en trois couches. La première appelée « type de contexte » permet de réaliser l'acquisition du contexte, la deuxième, appelée « moyens de mise en œuvre de la gestion du contexte » est chargée de la gestion du contexte, enfin, la troisième couche offre les mécanismes permettant l'adaptation au contexte.<br /><br />Le premier chapitre de ce mémoire est intitulé « Processus de réingénierie » porte principalement sur la première phase d'acquisition des informations contextuelles et plus particulièrement sur les applications totalement (réingénierie) ou partiellement existantes comme les COTS.<br />Dans un premier temps, l'objectif est de réaliser une analyse des informations produites par des modules logiciels afin de prendre en compte mais également de fabriquer (si nécessaire) automatiquement à l'aide de connecteurs - lorsque c'est possible - des informations contextuelles de plus haut niveau. Dans un second temps, je me suis intéressé à l'intégration de Composants sur Etagères (ou COTS Products). L'objectif est ici une analyse des assemblages de COTS sélectionnés afin de s'assurer de la faisabilité du déploiement, et donc de la réalisation de l'application. Nous nous situons ici également dans le domaine de l'acquisition des informations contextuelles dans le sens où nous ne gérons que la phase d'acquisition du contexte et de production d'informations permettant des prises de décisions concernant la possibilité d'assemblage des COTS Products. <br /><br />Le deuxième chapitre intitulé « Outils d'adaptation permettant la prise en compte du contexte » est transversal aux trois couches précédemment présentées. Un modèle de plate-forme de supervision réflexive (Kalinahia) y est présenté afin de proposer les services nécessaires à la gestion du contexte. Un modèle de composant supervisable (Osagaia) ainsi qu'un modèle de connecteur (Korrontea) y est également présenté. Ces deux modèles offrent les mécanismes d'adaptation, de migration et de composition nécessaires à l'adaptation de l'application. <br /><br />Le troisième chapitre intitulé « Contexte et Qualité de service » présente comment la notion de qualité de service, intimement liée à celle de contexte, est intégrée dans nos travaux. En effet, fournir la qualité de service adéquate à un utilisateur ou, plus généralement à une application, demande d'avoir une connaissance à la fois du contexte de l'application mais aussi du contexte de l'utilisateur. Aussi, je propose un modèle formel de la qualité de service selon les deux critères intrinsèques (fonctionnalité) et contextuels (dans et sous quelles conditions).<br /><br />Enfin, le quatrième chapitre « Représentation des applications et de leur qualité de service » a pour objectif de proposer une modélisation d'applications sensibles au contexte ayant pour but d'assurer une qualité de service aux utilisateurs. L'approche formelle utilise des graphes orientés et prend en considération la qualité de service. Les différents graphes proposés vont du niveau conceptuel au niveau d'implantation permettant de générer directement les graphes d'implantation et de déploiement qui seront ensuite utilisés par la plateforme Kalinahia pour la reconfiguration dynamique de l'application. <br />L'objectif étant d'assurer une qualité de service acceptable (la meilleure étant un problème NP-Complet), le contexte de qualité est également pris en compte tout au long de la démarche et surtout lors des étapes de reconfiguration puisque c'est une modification du contexte qui déclenchera la modification du déploiement de l'application. L'objectif est de continuer à assurer une qualité de service « acceptable » malgré le contexte mouvant en provoquant des reconfigurations dynamiques de l'application.

Cabri-graphes est un environnement logiciel, destine aux chercheurs, étudiants et enseignants en théorie des graphes. La pratique de cette discipline amené a recourir a des représentations graphiques, afin de visualiser les structures mathématiques mises en œuvre; ceci dans le but de les manipuler, de leur appliquer concrètement certaines transformations, afin de vérifier une propriété, conforter ou infirmer une idée, une conjecture. Cette pratique, menée sur un cahier de brouillon traditionnel, souffre de limitations et les résultats ne sont que faiblement garantis. C'est pourquoi nous avons étudié et réalisé un logiciel, alliant la simplicité d'usage d'un environnement interactif à la puissance de l'ordinateur. Cette thèse présente l'ensemble des concepts mathématiques et de génie logiciel ayant servi a la réalisation de ce projet. Nous donnons en particulier l'implémentation d'un générateur de graphes aléatoires, ainsi que quelques applications motivées et réalisées grâce à cet environnement logiciel

Il est propose dans cette thèse une méthode de composition modulaire de systèmes à partir d'éléments pouvant exister en plusieurs versions, ainsi qu'une base de données. Conservant les relations de compositions de versions. La réalisation de systèmes complexes s'accompagne de la vérification automatique de contraintes de composition. Une réalisation prototype de la base a été effectuée dans le cadre du projet ADELE

Lorsque de nombreux agents interagissent, des conflits peuvent survenir. Pour les résoudre, différentes méthodes peuvent être utilisées, comme la coordination, les systèmes de vote et la négociation. Celle qui nous intéresse dans cette thèse est la négociation à base de contrats portant sur des ressources. L'objectif de notre travail est de concevoir un modèle général de négociation que nous avons appelé GeNCA : Generic Negotiation of Contracts API. Afin de concevoir un tel modèle, nous commençons par étudier les formes de négociation les plus courantes. L'analyse de ces négociations nous permet de dégager leurs points communs et nous fournit une base pour concevoir notre modèle. Grâce à la collecte de ces points communs et à l'étude du déroulement de ces négociations, nous montrons qu'il est possible de concevoir un protocole général de négociation, paramétrable, qui offre la possibilité de formuler des contre-propositions et qui permet de décrire le déroulement d'une négociation particulière.

Cette thèse a été co-encadrée par le laboratoire MAPS/AMS de France Telecom R&D (aujourd'hui MAPS/SHINE) et le laboratoire VERIMAG. Le développement de logiciels pour les systèmes embarqués présente de nombreux défis. Cette thèse s'intéresse à ceux posés par les interactions entre les trois phases de conception (les développeurs construisent à partir de spécifications un modèle du système exprimé dans un langage de conception i.e. de programmation), d'implantation (le modèle précédent est compilé en un exécutable du système qui est finalement déployé sur les plateformes réelles) et de validation (un ensemble de techniques sont mises en \oe uvre pour vérifier que le système implanté est correct vis-à-vis des spécifications). Pour cela nous nous intéressons aux caractéristiques du langage de conception et aux techniques de compilation de ce langage. Celles-ci permettent d'obtenir dans notre approche à la fois l'implantation du système et un modèle du système implanté. L'analyse de ce modèle permet la validation de l'implantation, ce qui suppose que ce modèle représente fidèlement le système implanté. Nous proposons la construction d'un langage de conception basé sur l'utilisation de composants logiciels prédéfinis dont le comportement dynamique est supposé connu. Nous illustrons cette démarche par la réalisation d'un prototype complet d'un langage appelé Buzz, inspiré des modèles de programmation à acteurs dans lequel les composants logiciels utilisés sont des composants Think accompagnés de leur modèle comportemental opérationnel constitué d'un composant BIP. Le compilateur associé à Buzz que nous avons développé à partir du compilateur Think existant (Nuptse) génère simultanément une architecture à composants Think pour l'implantation et un modèle à composants BIP à des fins d'analyse. Nous évaluons Buzz à travers deux expériences. La première présente le développement de bout en bout d'un logiciel pour un exemple académique sur lequel nous démontrons la pertinence des choix techniques. Think nous permet un support d'implantation complet (compilation, optimisation, déploiement) et BIP rend possible la vérification d'un ensemble de propriétés dynamiques du système. La deuxième expérience consiste à porter une application réelle de protocole radio utilisée dans des réseaux de capteurs et développée de manière classique, vers Buzz. Cette expérience démontre l'effectivité de notre proposition tant en termes de langage de programmation (l'expressivité de Buzz structure et simplifie le code original) qu'en termes d'outils de compilation et de vérification.

To cope with the complexity of large object-oriented software systems, developers organize classes into subsystems using the concepts of module or package. Such modular structure helps software systems to evolve when facing new requirements. The organization of classes into packages and/or subsystems represents the software modularization. the software modularization usually follows interrelationships between classes. Ideally, packages should to be loosely coupled and cohesive to a certain extent. However, Studies show that as software evolves to meet requirements and environment changes, the software modularization gradually drifts and looses quality. As a consequence, the software modularization must be maintained. It is thus important to understand, to assess and to optimize the organization of packages and their relationships. Our claim is that the maintenance of large and complex software modularizations needs approaches that help in: (1) understanding package shapes and relationships; (2) assessing the quality of a modularization, as well as the quality of a single package within a given modularization; (3) optimizing the quality of an existing modulariza- tion. In this thesis, we concentrate on three research fields: software visualizations, metrics and algorithms. At first, we define two visualizations that help maintainers: (1) to understand packages structure, usage and relationships; (2) to spot patterns; and (3) to identify misplaced classes and structural anomalies. In addition to visual- izations, we define a suite of metrics that help in assessing the package design quality (i.e., package cohesion and coupling). We also define metrics that assess the quality of a collection of inter-dependent packages from different view points, such as the degree of package coupling and cycles. Finally, we define a search-based algorithm that automatically reduces package coupling and cycles only by moving classes over existing packages. Our optimization approach takes explicitly into account the origi- nal class organization and package structure. It also allows maintainers to control the optimization process by specifying: (1) the maximal number of classes that may change their packages; (2) the classes that are candidate for moving and the classes that should not; (3) the packages that are candidate for restructuring and the packages that should not; and (4) the maximal number of classes that a given package can entail. The approaches presented in this thesis have been applied to real large object- oriented software systems. The results we obtained demonstrate the usefulness of our visualizations and metrics; and the effectiveness of our optimization algorithm.

Comme le mentionne l'Académie des Sciences nationales « le logiciel n'est pas qu'un produit essentiel du marché, mais, en fait, incarne la fonction de production de l'économie elle-même » (Jorgenson et al. 2006). Les trois exemples suivants illustrent cette situation : d'ici 2010, on prévoit que le téléphone mobile contiendra 20 millions de lignes de code et un fabricant d'automobiles a estimé que ses voitures auront jusqu'à 100 millions de lignes de code (Charrette, 2005). Dans l'industrie aérospatiale, la société Boeing compte dépenser environ 4 milliards de dollars pour le développement des logiciels de son nouvel avion, le modèle 787 (Longtemps, 2008). Le développement de ces logiciels de haute qualité pourrait exiger jusqu'à 20 000 personnes-année d'effort. Même les organismes tels que Boeing ne peuvent développer cette quantité de logiciels à l'interne dans un délai raisonnable. Il est très probable que beaucoup de petites et très petites organisations fourniront des composants à la société Boeing ou à ses fournisseurs principaux qui les intégreront à d'autres composants ou sous-systèmes. L'auteur a passé une partie significative de sa carrière dans de grandes organisations comme le Ministère de la Défense nationale du Canada, en tant qu'ingénieur des processus pour un fabricant d'un système équipé de missiles pour la défense antiaérienne. Il a oeuvré en outre comme conseiller en amélioration des processus pour un fabricant ferroviaire important. Dans ces organisations, l'utilisation de normes pour le développement ou l'entretien des logiciels faisait partie de leur culture. Quand l'auteur a joint, en tant que professeur de génie logiciel, l'École de technologie supérieure (ÉTS) en 2000, il a été confronté avec un nombre d'étudiants de premier cycle en génie logiciel qui travaillaient dans de petites entreprises. Les étudiants n'avaient pratiquement aucune connaissance concrète des normes du génie logiciel. L'auteur a dû apporter des modifications à sa stratégie d'enseignement des normes pour s'adapter au contexte des étudiants, puisque les normes en génie logiciel ont été développées par des professionnels travaillant dans de grandes organisations, pour répondre aux besoins de ces dernières. Les petites organisations n'ont pas l'expertise, ni le budget ni le temps pour adapter de telles normes à leur contexte. Après avoir assisté à quelques réunions du comité responsable du développement des normes en génie logiciel et en génie des systèmes de l'Organisation internationale de normalisation (ISO), l'auteur a décidé d'aborder ces problèmes. Dans les paragraphes suivants, l'auteur décrit l'approche adoptée pour aider les très petites organisations (TPOs) à améliorer leurs pratiques en génie logiciel en vue d'augmenter leurs performances et leur compétitivité. Les TPOs sont des entreprises, des organismes, des départements ou des projets ayant jusqu'à 25 personnes. Les TPOs en technologie de l'information (TI) sont très importantes pour l'économie mondiale. Un grand pourcentage des organisations produisant des logiciels dans le monde ont moins de 25 employés. Par exemple en Europe, 85 % des sociétés du secteur des technologies de l'information (TI) ont entre 1 et 10 employés1. Au Canada, la région de Montréal comporte près de 80 % de sociétés de moins de 25 employés (Gauthier, 2004). Leurs composants logiciels sont souvent intégrés dans les produits de plus grandes entreprises. Les retards de livraison, le nonrespect du budget et un produit parfois de faible qualité menacent la compétitivité des clients et des TPOs. Une approche visant à atténuer ces risques est d'utiliser des fournisseurs ayant instauré des pratiques éprouvées en génie logiciel comme celles documentées dans les normes de l'ISO. Beaucoup de normes internationales, telles que la norme définissant les processus de cycle de vie de logiciel, ISO/CEI 12207 (ISO 2008d) et de modèles tels que le modèle d'évolution des capacités (SEI 2006) développé par le Software Engineering Institute, ont été développés pour documenter des pratiques éprouvées. Cependant, ces normes et modèles n'ont pas été conçus en ayant les TPOs à l'esprit. Il est difficile les appliquer dans de telles organisations. Un groupe de travail de l'ISO/IEC JTC1/SC72 a été établi, le groupe de travail 24 (WG24) pour aborder ces difficultés et développer des normes de génie logiciel et des rapports techniques conçus spécifiquement en fonction des besoins des TPOs. L'auteur de cette thèse a été nommé, par l'ISO en 2005, éditeur de ce nouveau groupe de travail. Cette thèse utilise le modèle à six (6) phases du processus de développement d'innovations de Rogers (Rogers, 2003) illustré à la figure ci-dessous, pour décrire la démarche et les contributions de l'auteur. Phases du processus d'innovation (adapté de Rogers 2003) La phase 1 du processus d'innovation, intitulée identification des besoins et problèmes, a débuté en 2004 en Australie, lors de la réunion du comité de normalisation SC7 de l'ISO responsable des normes en génie logiciel. À cette réunion, le Canada a souligné les problèmes des petites organisations requérant l'adaptation des normes à leur taille et à leur niveau de maturité. Des participants à cette réunion ont mentionné que les normes sont, pour les TPOs, trop volumineuses et compliquées. Les normes actuelles d'ingénierie logicielle ciblent ou semble cibler 1 http://www.esi.es/en/main/iitmark.html 2 ISO/IEC JTC 1/SC7 signifie International Organization for Standardization/ International Electrotechnical Commission Joint Technical Committee 1/Sub Committee 7. Ce comité est responsable du développement et de l'amélioration des normes en génie logiciel et en génie des systèmes. les grandes organisations. Une réunion fut organisée avec des représentants de cinq instances nationales (Australie, Canada, République tchèque, Afrique du Sud et Thaïlande) où un consensus fut atteint quant aux objectifs généraux (ISO 2004c) d'un futur groupe de travail : • Rendre les normes d'ingénierie logicielle de l'ISO davantage accessibles aux TPOs. • Fournir aux TPOs de la documentation demandant un effort minimum d'adaptation. • Fournir aux TPOs une documentation harmonisée, intégrant les normes existantes: o Normes de processus o Normes décrivant les produits du travail et les livrables o Normes portant sur l'évaluation et la qualité Il fut également décidé de créer un groupe d'intérêt spécial (SIG) en vue d'explorer ces objectifs, de mieux articuler les priorités et d'élaborer un plan de travail. La phase 2 du processus d'innovation, intitulée recherche fondamentale et appliquée, a été amorcée par l'invitation d'un groupe d'experts à l'Institut de standardisation industrielle de Thaïlande (TASI), pour faire progresser les travaux définis lors de la réunion en Australie. Un des sujets de discussion fut de définir clairement la taille des TPOs visées par les travaux de ce groupe. Il a été convenu qu'une TPO est définie comme suit : une entreprise, une organisation, un département ou un projet ayant jusqu'à 25 personnes. L'auteur a proposé, lors de cette réunion, de développer et de conduire un sondage international des TPOs. Ce sondage, traduit dans 9 langues, a été mené sur l'utilisation des normes par les TPOs. Des données ont été rassemblées pour valider la liste de problèmes et de besoins documentés par les membres du groupe de travail. Plus de 435 réponses ont été reçues de 32 pays. Les résultats du sondage ont été utilisés par le groupe de travail pour définir les exigences qui seront employées aux fins de développer les normes pour les TPOs. En 2005, l'ISO a approuvé la formation d'un groupe de travail (Working Group), le WG24. Puisque le WG24 désirait préparer une première norme le plus rapidement possible, il a effectué une recherche des normes ou des modèles existants pouvant être adaptés aux besoins des TPOs. Une norme nationale mexicaine, la norme MoProsoft (NMX 2005), développée pour les petites et moyennes entreprises mexicaines, a été choisie pour atteindre cet objectif. À la phase 3 du processus d'innovation intitulée développement, le WG24 a développé un ensemble de normes et de rapports techniques. Le développement a été réalisé en deux étapes : à l'étape 1, le groupe de travail a choisi, à partir de la norme nationale mexicaine, un sous-ensemble de processus et de produits de travail (Work Products) applicables aux TPOs. À l'étape 2, le groupe a adapté ce sous-ensemble aux besoins des TPOs et a développé des normes et des rapports techniques. Chaque document développé par le WG24 vise une clientèle spécifique. De plus, pour guider les TPOs à la mise en oeuvre des pratiques de génie logiciel adaptées à leurs besoins et à leur croissance, le WG24 a développé un parcours (roadmap) composé de quatre (4) étapes ou profils : • L'étape 1 s'adresse aux TPOs en démarrage (Start-up) et aux TPOs qui développent des projets de 6 personnes-mois ou moins. • L'étape 2 s'adresse aux TPOs qui n'exécutent qu'un seul projet logiciel à la fois. • L'étape 3 s'adresse aux TPOs qui exécutent plusieurs projets logiciels à la fois. • L'étape 4 s'adresse aux TPOs désirant améliorer notablement la gestion de leurs affaires (Business Management, Portfolio Management). La figure ci-dessous illustre les documents développés à ce jour pour les TPOs exécutant un seul projet à la fois : • Le document intitulé Overview est un rapport technique ISO présentant les concepts nécessaires à la compréhension de l'ensemble des documents liés à la norme, c'est-à-dire les documents intitulés Framework and Taxonomy et Specification of Profile, ainsi que les rapports techniques intitulés Assessment Guide et Management and Engineering Guide. Le document Overview est destiné à une clientèle désirant comprendre la norme: les TPOs, les donneurs d'ordre, les évaluateurs, les auteurs d'un profil, les développeurs d'outils, les consultants, etc. • Le document intitulé Framework and Taxonomy est une norme ISO. Ce document explique le concept et la structure des profils ainsi que la terminologie spécifique à cette norme. • Le document intitulé Assessment Guide est un rapport technique ISO. Il présente des guides pour développer une méthode d'évaluation ou pour effectuer l'évaluation d'un profil. • Le document intitulé Specification of Profile est une norme ISO. Il énumère les éléments de normes telles que la ISO/CEI 12207 (ISO 2008d) et la ISO/CEI 15289 (ISO 2006a), qui sont utilisées pour la description d'un profil spécifique. • Le document intitulé Management and Engineering Guide est un rapport technique ISO. Il fournit des guides d'application en matière de gestion et d'ingénierie pour un profil spécifique. 29110 Guides (TR) Assessment Guide (TR 29110-3) Management and Engineering Guide (TR 29110-5) Management and Engineering Guide – Nnnn VSE Profile (TR 29110-5-x) 29110 ISPs Framework and Taxonomy (ISP 29110-2) SpecificationsofVSE Profiles (ISP 29110-4) Specification - Nnnn VSE Profile (ISP 29110-4-x) 29110 Overview (TR 29110-1) Vue d'ensemble des documents ISO pour les TPOs À la phase 4 du processus d'innovation intitulée commercialisation, le WG24 et l'ISO ont coordonné des cycles de révision des documents et ont rassemblé des centaines de commentaires des délégations nationales. Le WG24 a analysé chaque commentaire et a produit une version révisée des documents. L'ensemble de ces documents devrait être approuvé par les organismes nationaux de normalisation et publié par l'ISO en 2010. Même si le groupe de travail a créé un guide de gestion et d'ingénierie, la plupart des TPOs ne possèdent pas l'expertise pour transformer ce guide en un processus utilisable et utile. L'auteur a donc proposé aux délégués du groupe 24, lors de sa réunion à Moscou en 2007, le développement de matériel utilisable ‘tel quel' par les TPOs. À la phase 5 du processus d'innovation intitulée diffusion et adoption, l'auteur a encadré le développement d'un ensemble de documents intitulé trousse de déploiement (Deployment Package), à partir du guide de gestion et d'ingénierie (ISO/IEC TR29110-5.1 VSEP Basic Profile- Management and Engineering Guide), pour faciliter l'adoption et l'implémentation des pratiques logicielles dans les TPOs. Une trousse de déploiement (TD) est un ensemble d'artefacts visant à faciliter et à accélérer l'implantation de la norme ISO dans les TPOs en leur donnant des processus prêts à être utilisés. Par exemple : processus documentés comportant les activités, rôles, intrants, extrants, listes de vérification, gabarits, exemples et outils de support. Pour le profil s'adressant aux TPOs qui n'exécutent qu'un seul projet logiciel à la fois, les membres du groupe de travail ont élaboré bénévolement les trousses de déploiement énumérées au tableau suivant. Nom de la trousse de déploiement Pays responsable Analyse des exigences Belgique, Canada Architecture et conception détaillée Canada Construction (i.e. codage et tests unitaires) Mexique Intégration et tests Colombie Vérification et validation Pérou Gestion des versions Thaïlande Gestion de projets Irlande Livraison du produit Thaïlande Auto-évaluation Finlande Conduite de projets pilotes Canada, Uruguay Liste des trousses de déploiement Ces trousses de déploiement forment un ensemble cohérent, permettant la mise en place de la norme, pièce par pièce, pour répondre aux besoins des TPOs et à leurs capacités spécifiques à implémenter et utiliser de nouvelles pratiques. Par exemple, une TPO qui éprouve des difficultés à gérer les versions de ses documents et logiciels appliquera les pratiques de la trousse ‘version control'. En ce moment, les trousses ne sont disponibles qu'en anglais puisqu'elles sont développées et révisées par les membres du groupe 24. Par la suite, elles seront traduites par le délégué d'un pays pour satisfaire les besoins des TPOs de son pays. Lors de la réunion du WG24 à Mexico en 2008, l'auteur a proposé la création d'un réseau international de support aux TPOs. Comme plusieurs membres du WG24 travaillent dans des centres de transfert technologique, il a été proposé d'instaurer un réseau de collaboration entre ces centres. Chaque centre a la responsabilité de déployer les trousses et d'offrir d'autres produits et services en tenant compte des particularités nationales. Les principaux objectifs de ce réseau sont d'accélérer le déploiement de la norme de l'ISO et des guides pour les TPOs, l'accélération du développement et l'application des guides et des trousses de déploiement. Un document décrivant les modalités de collaboration a été rédigé et signé entre chacun des membres du réseau et l'ÉTS. Les participants au réseau sont : • Belgique - Centre d'Excellence en Technologies de l'Information et de la Communication (CETIC) • Colombie - Parquesoft Foundation • Finlande - Université de technologie de Tampere, Pori • France - Université de Bretagne Occidentale • Hong Kong - Université Polytechnique • Irlande - Lero, The Irish Software Engineering Research Centre • Luxembourg - Centre de Recherche Public Henri Tudor • Thaïlande – Federation of Thai Industries Afin de s'assurer que les normes, documents techniques et les trousses de déploiement satisferont les besoins des TPOs, des projets pilotes seront réalisés en 2009. La Thaïlande annoncé, lors de la réunion du groupe 24 en Inde en mai 2009, un réseau de collaboration dont elle sera le chef de file (Regional Hub). Ce réseau est composé des 10 pays de l'organization ASEAN3: Thaïlande (20004), Cambodge (100), Laos (200), Myanmar (200), Vietnam (500), Malaisie (1200), Singapour (1000), Indonésie (1500), Philippines (2500) et Brunei (500). L'Universidad Nacional Autónoma de México (UNAM) a également manifesté son intérêt à devenir membre du réseau. D'autres centres de transfert ainsi que d'autres universités seront contactés et invités à se joindre au réseau en 2009 (i.e. Corée, Japon, Chine, Afrique du Sud). Lors de la réunion du groupe de travail de l'ISO en Inde en mai 2009, l'auteur a proposé aux 21 délégués, représentant 11 pays, la création d'un groupe d'intérêt sur l'éducation (Education Interest Group). L'objectif d'un tel groupe est de développer un ensemble de cours pour les étudiants de premier et second cycle en informatique ou en génie logiciel/informatique, de telle sorte qu'ils apprennent et appliquent les normes ISO pour les TPOs durant leurs études plutôt que d'attendre leur arrivée en industrie. Les cours développés seront, pour les universités, similaires aux trousses de déploiement développées pour les TPOs. Ces trousses d'enseignement comporteront les éléments suivants : un plan de cours, du matériel de présentation, des exercices, des études de cas et des suggestions de lecture. Un premier jeu de six cours a été proposé aux délégués : • Cours 1 - Introduction aux normes ISO/CEI en génie logiciel. • Cours 2 - Introduction aux normes, rapports techniques ISO/CEI 29110 et aux trousses de déploiement pour les TPOs. • Cours 3 - Développement d'un processus d'ingénierie de logiciels (Process Engineering) utilisant le Rapport technique ISO/CEI 29110 Partie 5 – Guide d'ingénierie et de gestion. • Cours 4 - Développement de logiciels utilisant le Rapport technique ISO/CEI 29110 Partie 5 – Guide d'ingénierie et de gestion. • Cours 5 - Évaluation de la conformité des processus de développement de logiciels à la norme ISO/CEI 29110. • Cours 6 – Conduite de projets pilote pour implanter la norme ISO/ CEI 29110 dans une TPO. L'auteur a développé un gabarit de trousse d'enseignement qui sera utilisé pour le développement et la documentation de chaque cours. Les délégués de quatre pays ont offert de développer les cours suivants : • Irlande- Introduction aux normes ISO/CEI en génie logiciel. • Canada - Introduction aux normes, rapports techniques ISO/CEI 29110 et aux trousses de déploiement pour les TPOs. 3 Association of Southeast Asian Nations. 4 Ce nombre indique le nombre de TPOs qui pourraient bénéficier des travaux du WG24. • République Tchèque - Développement de logiciels utilisant le Rapport technique ISO/CEI 29110 Partie 5 – Guide d'ingénierie et de gestion. • Thaïlande - Conduite d'un projet pilote pour implanter la norme ISO/ CEI 29110 dans une TPO. Lors de la prochaine réunion du groupe de l'ISO au Pérou en novembre 2009, les cours seront présentés aux délégués. Ils seront ensuite disponibles gratuitement sur Internet pour les professeurs des universités. Dans le but de publiciser, à l'extérieur du groupe de travail 24 de l'ISO, le travail effectué par celui-ci, l'auteur a développé un site Internet en français et un en anglais. Ce site est hébergé à l'ÉTS et s'avère une extension du site professionnel de l'auteur. Ce site comporte les informations suivantes ; • Une page d'accueil expliquant le mandat du groupe ISO. • Une page énumérant les membres du groupe de travail afin de bien illustrer la participation de plusieurs pays au groupe ISO. • Une page décrivant le réseau de support aux TPOs. • Une page dépeignant les trousses de déploiement et qui permet de télécharger ces trousses (les trousses ne sont disponibles qu'en anglais présentement). • Une page dépeignant les trousses d'enseignement (les trousses ne sont disponibles qu'en anglais présentement). • Une page énumérant les publications et communications effectuées par les membres du groupe ISO. La plupart des publications peuvent être téléchargées. Au dernier chapitre de cette thèse, l'auteur présente les travaux futurs et une conclusion. En ce qui a trait aux travaux futurs, les sujets suivants sont discutés : l'application des concepts des profils et des trousses de déploiement au domaine de l'ingénierie de systèmes pour le développement des produits par des TPOs; la mesure de l'adoption, par les TPOs dans le monde entier, des normes de l'ISO et des trousses de déploiement développées par le WG24; l'établissement d'un centre de transfert technologique, pour les TPOs québécoises à l'École de technologie supérieure (ÉTS); le développement de profils pour les développeurs de logiciels critiques et pour les développeurs de logiciels scientifiques; le développement de modules appelés ‘plug-in' pour faciliter et accélérer l'implémentation des normes ISO et des trousses de déploiement. Finalement, au chapitre de la phase 6 du processus d'innovation, l'auteur propose des pistes visant l'étude des conséquences positives et négatives résultant de la publication de la norme ISO, pour les TPOs.