Défis pour le Génie de la Programmation et du Logiciel GDR CNRS GPL

National audienceCe document a été élaboré dans le cadre du groupement de recherche CNRS " Génie de la Programmation et du Logiciel " (GDR GPL) sous la direction de Laurence Duchien et de Yves Ledru, avec la collaboration des groupes de travail du GDR. Après un résumé synthétique des différentes contributions, ce document présente des problématiques qui ont été identifiées comme particulièrement importantes dans les années qui viennent dans les domaines du génie logiciel et de la programmation. Sans faire un recensement exhaustif, le repérage effectué par les groupes de travail du GDR GPL contribue à une cartographie du positionnement français et suggère plusieurs thématiques stratégiques dans ces domaines

De la modélisation des situations de travail à la caractérisation des compétences : Une approche par logique floue.

National audienceTo cope with the fast change of the technological and organizational context design managers nedd tools to help them to improve competence management. Our contribution aims at supporting the task of competence characterization that is considered as the first step of the competence management process. The proposed characterization approach involves two stages. The first stage concerns the qualifications of the working situation characteristics. The second stage is realized by a fuzzy logic system which converts the result of the step of "qualification" into an estimated value of the components of the associated competence. The application of the method in an industrial cas confirms the possibility of using this "principle of solution" to provide a dynamic characterization of competencies

Modélisation des exigences en UML/SysML

National audienceRésumé L'ingénierie des exigences est une activité primordiale dans tout développement de systèmes. En ingénierie système (IS) tout ingénieur est formé à la capture et à l'ingénierie des exigences. L'INCOSE et l'OMG, quand ils ont développé SysML [3] à partir d'UML [1], ont introduit explicitement la notion d'exigence comme élément de modélisation. Un diagramme ainsi qu'une table des exigences leur sont même dédiés. Nous expliquons dans cet article comment les exigences sont modélisées, et surtout comment elles sont liées avec le reste de la modélisation structurelle et comportementale. Nous apportons notre analyse sur les manques constatés par les industriels et dressons quelques pistes d'améliorations futures

Un modèle pour la séparation et la traçabilité des préoccupations

National audienceL'évolutivité des systèmes d'information en entreprise constitue à la fois un enjeu crucial et une propriété logicielle difficile à mettre en oeuvre. Des solutions existent pour intégrer cette faculté logicielle mais elles restent propres à une étape du cycle de vie d'un logiciel et ne fournissent finalement que des réponses partielles. Nous proposons de faire le lien entre ces solutions par la définition d'un modèle qui regroupe, structure et trace les éléments de définition d'une application. A l'heure actuelle, notre modèle EUCLIDE relève les éléments logiciels issus de la définition itérative et incrémentale d'une fonctionnalité et établit l'évolution d'une telle définition avec la notion de traçabilité fonctionnelle

Défis pour la variabilité et la traçabilité des exigences en ingénierie système

National audienceMajor industrial projects are facing an important size of their requirements documents, often based on an implicit normative or legislative context. Managed through a document-centric approach, they are facing two challenges: variability and traceability of their requirements at both design time and runtime. In the paper, we identify vectors of variability and propose model-driven engineering as a solution to tame this normative context and address variability and traceability concerns in an industrial context with safety concerns.Les grands projets industriels font face à une volumétrie importante des exigences, souvent contraintes par un cadre réglementaire ou législatif important mais implicite. Ces projets sont menés via des approches centrées documents et connaissent une variabilité importante de leurs exigences tant à la conception que pendant l'exploitation. Après avoir identifié un certain nombre de facteurs de variabilité, nous nous positionnons pour une approche dirigée par les modèles pour expliciter ce contexte réglementaire et adresser la variabilité et la traçabilité des exigences dans un contexte industriel et sûreté de fonctionnement

Spem4mde : un métamodèle et un environnement pour la modélisation et la mise en œuvre assistée de processus IDM

With the emergence of MDE, many organizations have been starting to transform their traditional software development processes into model-driven processes. Kleppe and al. define a model-driven software development as “a process of developing software using different models on different levels of abstraction with (automated) transformations between these models”.While model-driven development processes – called MDE processes – have started to appear, a tool-supported Process Modeling Language (PML) for describing and enacting such processes is still lacking. The concepts of SPEM 2.0 are quite generic since they are supposed to allow describing any kind of software. However, SPEM 2.0 concepts do not succeed in capturing the exact nature of most activities and artifacts of model-driven development. In addition, another major weakness of SPEM 2.0 is the lack of concepts for process enactment.The objective of this thesis is threefold: (1) provide an extension of SPEM that reifies the MDE concepts; (2) provide a language dedicated to behavioral modeling of MDE processes; (3) provide a conceptual architecture of a PSEE (Process-centered Software Engineering Environment) that guides process designer at modeling phase and developers at enactment time.To validate our approach, a prototype of this PSEE is developed under the TOPCASED environment. This prototype provides a graphical editor for structural and behavioral modeling of MDE processes, and a process enactment engine based on process behavior models. We have also applied our approach to a significant case study: the UWE (UML-based Web Engineering) process, which is a MDE process dedicated to web applications development.L’avènement de l’IDM (Ingénierie Dirigée par les Modèles) a suscité beaucoup d’intérêt de la part des organisations qui de fait commencent à transformer leur processus de développement traditionnel en un processus de développement dirigé par les modèles, appelé aussi processus IDM.Au moment où ces processus commencent à émerger, nous notons l’absence d’un langage dédié pour les modéliser et les mettre en œuvre. Le standard SPEM 2.0 propose des concepts génériques qui sont supposés être capables de décrire tout type de processus logiciel. Cependant, les concepts de SPEM ne capturent pas la nature exacte des processus IDM. D’autre part, une autre insuffisance majeure de SPEM réside dans le fait qu’il n’intègre pas les concepts relatifs à la mise en œuvre des processus.L’objectif de cette thèse est triple : (1) proposer une extension de SPEM dans laquelle les concepts centraux des processus IDM sont réifiés ; (2) proposer un langage dédié à la modélisation comportementale des processus IDM ; (3) proposer une architecture conceptuelle d’un environnement logiciel d’aide à la modélisation et à la mise en œuvre des processus IDM.Pour valider notre approche, un prototype a été développé sous l’environnement TOPCASED. Ce prototype fournit d’une part un éditeur graphique pour la modélisation structurelle et comportementale des processus IDM et d’autre part un environnement de mise en œuvre s’appuyant sur les modèles comportementaux des processus. Nous avons également appliqué notre approche à une étude de cas significatif: le processus UWE (UML-based Web Engineering), qui est un processus IDM dédié au développement d’applications web

Défis 2025

International audienceNew paradigms, languages, modeling, verification, testing approaches and new tools in the field of programming and software should be created in the next 10 years, whether to make life easier for designers and maintainers of computer systems, to model and reliable software or to anticipate technological change. This text summarizes the challenges in the Programming and Software Engineering field on the horizon 2025. This work has been presented and discussed during the national days of the Research Group on Programming and Software Engineering in June 2014 and in September 2014 in Paris.De nouveaux paradigmes, de nouveaux langages, de nouvelles approches de modélisation, de vérification, de tests et de nouveaux outils dans le domaine de la programmation et du logiciel devraient voir le jour dans les dix ans à venir, que ce soit pour faciliter la vie des concepteurs et mainteneurs de systèmes informatiques, pour modéliser et fiabiliser les logiciels ou encore pour devancer l’évolution technologique. Ce texte résume les travaux menés sur les défis du Génie de la Programmation et du Logiciel à l’horizon 2025. Ces travaux ont été l’occasion de présentations et d’échanges lors des journées nationales du Groupe de Recherche Génie de la Programmation et du Logiciel en juin 2014 et lors d’une journée en septembre 2014 à Paris

Analyse, évaluation et amélioration de la performance du processus de développement libre : une approche par la norme ISO/IEC 29110

Les F/OSS font face à de nombreux problèmes de qualité [67, 108, 115] et cette problématique de qualité est d'actualité. Malgré un nombre important de publications sur les F/OSS, nous déplorons la rareté des recherches qui se sont penchées sur l'application des normes de base de développement du génie logiciel au processus de développement libre. Cependant, certains projets libres ont pu développer du logiciel de qualité et ont maintenu ce niveau de qualité dans les logiciels développés ou maintenus au sein de leurs communautés. Cette recherche a donc pour but d'analyser si une norme de développement du génie logiciel telle que la jeune norme ISO/IEC 29110 peut soutenir ou améliorer le processus de développement libre compte tenu de la culture du libre. La méthodologie de recherche utilisée est divisée en deux phases. La première phase est une étude exploratoire des F/OSS au travers de l'étude des projets : Linux, Apache, Mozilla et GNOME. Elle a permis de se familiariser aux F/OSS, d'identifier les problèmes de qualité rencontrés, d'extraire et d'évaluer le processus de développement actuel des F/OSS par rapport à la norme ISO/IEC 29110. Les résultats de cette évaluation rejoignent à littérature en ce sens que le développement libre souffre d'un manque de documentation. La deuxième phase consiste en une analyse de compatibilité des activités du processus d'implémentation de la norme ISO/IEC 29110 avec les F/OSS, afin d'identifier les activités de la norme qui sont compatibles aux F/OSS. Cette évaluation a permis l'identification de 4 activités de la norme ISO/IEC 29110 qui sont compatibles aux F/OSS, et qui ont été la base d'une stratégie d'amélioration de la performance du processus de développement libre.\ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : Assurance qualité, qualité, processus de développement, valeurs, logiciels libres, valeurs, culture, principes, activités, artefacts, norme de développement du génie logiciel, logiciels open source, génie logiciel

Traçabilité des pièces à main dentaires pour le département de stomatologie de l’hôpital Notre-Dame du CHUM

Travail dirig