30 results on '"Processus de développement"'
Search Results
2. Implementación de procesos sostenibles vinculando industrias regionales: reciclaje de residuos siderúrgicos como proyecto de cambio de la manpostería en Boyacá-Colombia.
- Author
-
Quijano, B. Leonardo, H. Mauricio Díez-Silva, Maricela I. Montes-Guerra, and Castro Silva, Hugo Fernando
- Abstract
This paper shows the analysis of the possibilities to implement a new process, viable from the environmental and economic point of view, which includes two regional industries within the framework of the generation of sustainable solutions for the regional economy. In it, the description of how to use residuals from the steel industry as a source to transform the masonry industry, both located in the region of Bogota. [ABSTRACT FROM AUTHOR]
- Published
- 2014
- Full Text
- View/download PDF
3. Inbound tourism policies in Japan from 1859 to 2003.
- Author
-
Soshiroda, Akira
- Abstract
Copyright of Annals of Tourism Research is the property of Pergamon Press - An Imprint of Elsevier Science and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
- Published
- 2005
- Full Text
- View/download PDF
4. Engeeniring multimodal and multiuser critical interactive systems : application to the next aircrafts cockpits generation
- Author
-
Cronel, Martin, Interactive Critical Systems (IRIT-ICS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Paul Sabatier - Toulouse III, and Philippe Palanque
- Subjects
Human machine interaction ,Architecture logicielle ,Processus de développement ,Sofware architecture ,Interaction homme-machine ,Development process ,[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC] - Abstract
The work of this thesis aims at contributing to the field of the engineering of interactive critical systems. We aim at easing the introduction of new input and output devices (such as touch screens, mid-air gesture recognition ...) allowing multi-user and multimodal interactions in next generation of aircraft’s cockpits. Currently, development process in the aeronautical filed is not compatible with the complexity of multimodal interaction. On the other side development process of wide spread systems cannot meet the requirements of critical systems. We introduce a generic software and hardware architecture model called MIODMIT (Multiple Input Output devices Multiple Interaction Techniques) which aim the introduction of dynamically instantiated devices, allowing multimodal interaction in critical systems. It describes the organization of information flux with a complete and non-ambiguous way. It covers the entire spectrum of multimodal interactive systems, from input devices and their drivers, to the specification of interaction techniques and the core of the application. It also covers the rendering of every software components, dealing with fission and fusion of information. Furthermore, this architecture model ensure the system configuration modifiability (i.e. add or suppress a device in design or operation phase). Furthermore, moralizing a system reveals that an important part of the interactive part is autonomous (i.e. not driven by the user). This kind of behavior is very difficult to understand and to foresee for the users, causing errors called automation surprises. We introduce a model-based process of evaluation of the interaction techniques which decrease significantly this kind of error. Lastly, we exploited ICO (Interactive Cooperative Objects) formalism , to describe completely and unambiguously each of the software components of MIODMIT. This language is available in an IDE (integrated development environment) called Petshop, which can execute globally the interactive application (from input/output devices to the application core). We completed this IDE with an execution platform named ARISSIM (ARINC 653 Standard SIMulator), adding safety mechanisms. More precisely, ARRISIM allows spatial segregation of processes (memory allocution to each executing partition to ensure the confinement of potential errors) and temporal segregation (sequential use of processor). Those adding increase significantly the system reliability during execution. Our work is a base for multidisciplinary teams (more specifically ergonoms, HMI specialist and developers) which will conceive future human machine interaction in the next generation of aircraft cockpits.; Nos travaux contribuent au domaine de l'ingénierie des systèmes interactifs multimodaux critiques. Ils facilitent l'introduction de nouveaux périphériques (comme les tablettes multi-touch, les systèmes de reconnaissance de geste...) permettant l'interaction multimodale et multi-utilisateurs au sein des futurs cockpits. Pour le moment, les méthodes et les techniques de description des IHM (Interactions Homme Machine) existantes pour la conception des cockpits ne permettent pas de prendre en compte la complexité des techniques d'interaction multimodales. De leur côté, les méthodes de conception d'IHM grand public sont incompatibles avec les exigences de fiabilité et de certification nécessaires aux systèmes critiques. Les travaux proposent un modèle d'architecture logicielle et matérielle MIODMIT (Multiple Input Output devices Multiple Interaction Techniques) qui vise l'intégration de périphériques permettant l'usage de multimodalité au sein de systèmes critiques. Ce modèle décrit précisément les rôles de chacun des composants ainsi que les relations qu'ils entretiennent. Il couvre l'ensemble du spectre du système interactif multimodal qui va des périphériques d'entrée et leurs pilotes, vers les techniques d'interaction et l'application interactive. Il décrit aussi le rendu allant de l'application interactive aux périphériques de sortie en passant par les techniques complexes de présentation. Au-delà de sa capacité de description, ce modèle d'architecture assure la modifiabilité de la configuration du système (ajout ou suppression de périphériques au moment du design et de l'exécution). En outre, la modélisation des systèmes fait apparaitre qu'une partie importante du comportement est autonome c'est-à-dire qu'il évolue sans recevoir d'entrées produites par l'utilisateur. Les utilisateurs peuvent avoir du mal à comprendre et à anticiper ce genre de comportement autonome, qui peut engendrer des erreurs appelées automation surprises. Nous proposons une méthode d'évaluation à base de modèles des techniques d'interaction permettant d'analyser pour ensuite réduire significativement les erreurs d'utilisation liées à ces comportements inattendus et incompréhensibles. Enfin nous avons exploité le langage formel ICO (Interactive Cooperative Objects), pour décrire de façon complète et non ambiguë chacun des composants de l'architecture. Il est exploitable au moyen d'un outil d'édition et d'interprétation appelé Petshop, qui permet de faire fonctionner l'application interactive dans son ensemble (de l'entrée à la sortie). Nous avons complété cet environnement par une plateforme que nous avons appelée ARISSIM(ARINC 653 Standard SIMulator). Elle ajoute des mécanismes de sûreté de fonctionnement aux systèmes interactifs multimodaux développés avec Petshop. Plus précisément ARISSIM permet la ségrégation spatiale et la ségrégation temporelle des processus, ce qui accroît fortement la tolérance aux fautes durant l'exécution. Nos travaux proposent un socle aux équipes de conception pluridisciplinaires (principalement ergonomes spécialistes en IHM et développeurs) d'interaction homme-machine pour les systèmes critiques destinés aux cockpits d'aéronefs de prochaine génération.
- Published
- 2017
5. Une approche pour l'ingénierie des systèmes interactifs critiques multimodaux et multi-utilisateurs : application à la prochaine génération de cockpit d'aéronefs
- Author
-
Cronel, Martin, Interactive Critical Systems (IRIT-ICS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Paul Sabatier - Toulouse III, and Philippe Palanque
- Subjects
Human machine interaction ,Architecture logicielle ,Processus de développement ,Sofware architecture ,Interaction homme-machine ,Development process ,[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC] - Abstract
The work of this thesis aims at contributing to the field of the engineering of interactive critical systems. We aim at easing the introduction of new input and output devices (such as touch screens, mid-air gesture recognition ...) allowing multi-user and multimodal interactions in next generation of aircraft’s cockpits. Currently, development process in the aeronautical filed is not compatible with the complexity of multimodal interaction. On the other side development process of wide spread systems cannot meet the requirements of critical systems. We introduce a generic software and hardware architecture model called MIODMIT (Multiple Input Output devices Multiple Interaction Techniques) which aim the introduction of dynamically instantiated devices, allowing multimodal interaction in critical systems. It describes the organization of information flux with a complete and non-ambiguous way. It covers the entire spectrum of multimodal interactive systems, from input devices and their drivers, to the specification of interaction techniques and the core of the application. It also covers the rendering of every software components, dealing with fission and fusion of information. Furthermore, this architecture model ensure the system configuration modifiability (i.e. add or suppress a device in design or operation phase). Furthermore, moralizing a system reveals that an important part of the interactive part is autonomous (i.e. not driven by the user). This kind of behavior is very difficult to understand and to foresee for the users, causing errors called automation surprises. We introduce a model-based process of evaluation of the interaction techniques which decrease significantly this kind of error. Lastly, we exploited ICO (Interactive Cooperative Objects) formalism , to describe completely and unambiguously each of the software components of MIODMIT. This language is available in an IDE (integrated development environment) called Petshop, which can execute globally the interactive application (from input/output devices to the application core). We completed this IDE with an execution platform named ARISSIM (ARINC 653 Standard SIMulator), adding safety mechanisms. More precisely, ARRISIM allows spatial segregation of processes (memory allocution to each executing partition to ensure the confinement of potential errors) and temporal segregation (sequential use of processor). Those adding increase significantly the system reliability during execution. Our work is a base for multidisciplinary teams (more specifically ergonoms, HMI specialist and developers) which will conceive future human machine interaction in the next generation of aircraft cockpits.; Nos travaux contribuent au domaine de l'ingénierie des systèmes interactifs multimodaux critiques. Ils facilitent l'introduction de nouveaux périphériques (comme les tablettes multi-touch, les systèmes de reconnaissance de geste...) permettant l'interaction multimodale et multi-utilisateurs au sein des futurs cockpits. Pour le moment, les méthodes et les techniques de description des IHM (Interactions Homme Machine) existantes pour la conception des cockpits ne permettent pas de prendre en compte la complexité des techniques d'interaction multimodales. De leur côté, les méthodes de conception d'IHM grand public sont incompatibles avec les exigences de fiabilité et de certification nécessaires aux systèmes critiques. Les travaux proposent un modèle d'architecture logicielle et matérielle MIODMIT (Multiple Input Output devices Multiple Interaction Techniques) qui vise l'intégration de périphériques permettant l'usage de multimodalité au sein de systèmes critiques. Ce modèle décrit précisément les rôles de chacun des composants ainsi que les relations qu'ils entretiennent. Il couvre l'ensemble du spectre du système interactif multimodal qui va des périphériques d'entrée et leurs pilotes, vers les techniques d'interaction et l'application interactive. Il décrit aussi le rendu allant de l'application interactive aux périphériques de sortie en passant par les techniques complexes de présentation. Au-delà de sa capacité de description, ce modèle d'architecture assure la modifiabilité de la configuration du système (ajout ou suppression de périphériques au moment du design et de l'exécution). En outre, la modélisation des systèmes fait apparaitre qu'une partie importante du comportement est autonome c'est-à-dire qu'il évolue sans recevoir d'entrées produites par l'utilisateur. Les utilisateurs peuvent avoir du mal à comprendre et à anticiper ce genre de comportement autonome, qui peut engendrer des erreurs appelées automation surprises. Nous proposons une méthode d'évaluation à base de modèles des techniques d'interaction permettant d'analyser pour ensuite réduire significativement les erreurs d'utilisation liées à ces comportements inattendus et incompréhensibles. Enfin nous avons exploité le langage formel ICO (Interactive Cooperative Objects), pour décrire de façon complète et non ambiguë chacun des composants de l'architecture. Il est exploitable au moyen d'un outil d'édition et d'interprétation appelé Petshop, qui permet de faire fonctionner l'application interactive dans son ensemble (de l'entrée à la sortie). Nous avons complété cet environnement par une plateforme que nous avons appelée ARISSIM(ARINC 653 Standard SIMulator). Elle ajoute des mécanismes de sûreté de fonctionnement aux systèmes interactifs multimodaux développés avec Petshop. Plus précisément ARISSIM permet la ségrégation spatiale et la ségrégation temporelle des processus, ce qui accroît fortement la tolérance aux fautes durant l'exécution. Nos travaux proposent un socle aux équipes de conception pluridisciplinaires (principalement ergonomes spécialistes en IHM et développeurs) d'interaction homme-machine pour les systèmes critiques destinés aux cockpits d'aéronefs de prochaine génération.
- Published
- 2017
6. The transcriptional landscape of basidiosporogenesis in mature Pisolithus microcarpus basidiocarp
- Author
-
de Freitas Pereira, Maira, Narvaes da Rocha Campos, André, Anastacio, Thalita Cardoso, Morin, Emmanuelle, Brommonschenkel, Sérgio Hermínio, Martin, Francis, Costa, Maurício Dutra, and Kohler, Annegret
- Subjects
gastéromycète ,eucalyptus ,basidiocarpe ,basidiospore ,champignon ectomycorhizien ,FRUITING BODY DEVELOPMENT ,MUSHROOM AGARICUS-BISPORUS ,GENE-EXPRESSION ,SCHIZOPHYLLUM-COMMUNE ,COPRINOPSIS-CINEREA ,SEXUAL DEVELOPMENT ,GENOME SEQUENCE ,REVEALS GENES ,TUBER-BORCHII ,RIBOSOMAL DNA ,acacia ,peridium ,analyse transcriptionnelle ,pisolithus microcarpus ,processus de développement - Abstract
Background Pisolithus microcarpus (Cooke & Massee) G. Cunn is a gasteromycete that produces closed basidiocarps in symbiosis with eucalypts and acacias. The fungus produces a complex basidiocarp composed of peridioles at different developmental stages and an upper layer of basidiospores free of the hyphae and ready for wind dispersal upon the rupture of the basidiocarp pellis. During basidiosporogenesis, a process that takes place inside the basidiocarp peridioles, a conspicuous reserve of fatty acids is present throughout development. While several previous studies have described basidiosporogenesis inside peridioles, very little is known about gene expression changes that may occur during this part of the fungal life cycle. The objective of this work was to analyze gene transcription during peridiole and basidiospore development, while focusing specifically on cell cycle progression and lipid metabolism.[br/] Results Throughout different developmental stages of the peridioles we analyzed, 737 genes were regulated between adjacent compartments (>5 fold, FDR-corrected p-value
- Published
- 2017
7. Signaling in early maize kernel development
- Author
-
Peter M. Rogowsky, Nicolas M. Doll, Thomas Widiez, Nathalie Depège-Fargeix, Reproduction et développement des plantes (RDP), École normale supérieure - Lyon (ENS Lyon)-Institut National de la Recherche Agronomique (INRA)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), ANR-10-BTBR-03- AMAIZING, French National Research Agency, INRA Plant Science and Breeding Division, Ministere de l'Enseignement Superieur et de la Recherche, Centre National de la Recherche Scientifique (CNRS)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de la Recherche Agronomique (INRA)-École normale supérieure - Lyon (ENS Lyon), and École normale supérieure de Lyon (ENS de Lyon)-Institut National de la Recherche Agronomique (INRA)-Université Claude Bernard Lyon 1 (UCBL)
- Subjects
0106 biological sciences ,0301 basic medicine ,embryon végétal ,maïs ,Kernel development ,[SDV]Life Sciences [q-bio] ,embryo ,Plant Science ,Biology ,maize ,01 natural sciences ,Zea mays ,Endosperm ,endosperm ,03 medical and health sciences ,Gene Expression Regulation, Plant ,transcription factors ,Compartment (development) ,Receptor ,Molecular Biology ,Transcription factor ,2. Zero hunger ,endosperme ,business.industry ,Gene Expression Regulation, Developmental ,food and beverages ,Embryo ,processus de développement ,Biotechnology ,Cell biology ,030104 developmental biology ,maize kernel ,Seeds ,semence ,Signal transduction ,business ,signaling ,facteur de transcription ,seed development ,seed albumins ,010606 plant biology & botany ,Hormone - Abstract
Developing the next plant generation within the seed requires the coordination of complex programs driving pattern formation, growth, and differentiation of the three main seed compartments: the embryo (future plant), the endosperm (storage compartment), representing the two filial tissues, and the surrounding maternal tissues. This review focuses on the signaling pathways and molecular players involved in early maize kernel development. In the 2 weeks following pollination, functional tissues are shaped from single cells, readying the kernel for filling with storage compounds. Although the overall picture of the signaling pathways regulating embryo and endosperm development remains fragmentary, several types of molecular actors, such as hormones, sugars, or peptides, have been shown to be involved in particular aspects of these developmental processes. These molecular actors are likely to be components of signaling pathways that lead to transcriptional programming mediated by transcriptional factors. Through the integrated action of these components, multiple types of information received by cells or tissues lead to the correct differentiation and patterning of kernel compartments. In this review, recent advances regarding the four types of molecular actors (hormones, sugars, peptides/receptors, and transcription factors) involved in early maize development are presented.
- Published
- 2017
8. Processus de développement de système fondé sur l’alignement de modèles
- Author
-
Rémi Nedelec, Antoine Beugnard, Jacques Simonin, Lab-STICC_TB_CID_DECIDE, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Département Logique des Usages, Sciences sociales et Sciences de l'Information (LUSSI), Université européenne de Bretagne - European University of Brittany (UEB)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT), Process for Adaptative Software Systems (PASS), Télécom Bretagne-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Département informatique (INFO), Orange Labs [Lannion], France Télécom, École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance ( Lab-STICC ), École Nationale d'Ingénieurs de Brest ( ENIB ) -Université de Bretagne Sud ( UBS ) -Université de Brest ( UBO ) -Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques ( IBNM ), Université de Brest ( UBO ) -Université européenne de Bretagne ( UEB ) -ENSTA Bretagne-Institut Mines-Télécom [Paris]-Centre National de la Recherche Scientifique ( CNRS ) -École Nationale d'Ingénieurs de Brest ( ENIB ) -Université de Bretagne Sud ( UBS ) -Université de Brest ( UBO ) -Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques ( IBNM ), Université de Brest ( UBO ) -Université européenne de Bretagne ( UEB ) -ENSTA Bretagne-Institut Mines-Télécom [Paris]-Centre National de la Recherche Scientifique ( CNRS ), Département Logique des Usages, Sciences sociales et Sciences de l'Information ( LUSSI ), Université européenne de Bretagne ( UEB ) -Télécom Bretagne-Institut Mines-Télécom [Paris], Process for Adaptative Software Systems ( PASS ), LANGAGE ET GÉNIE LOGICIEL ( IRISA-D4 ), Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ), CentraleSupélec-Université de Rennes 1 ( UR1 ), Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -CentraleSupélec-Université de Rennes 1 ( UR1 ), Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ), Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ), and Département informatique ( INFO )
- Subjects
MDE ,[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] ,Model engineering ,Model alignment ,Processus de développement ,Architecture dirigée par les modèles ,[ INFO.INFO-NI ] Computer Science [cs]/Networking and Internet Architecture [cs.NI] ,Development process ,Model driven architecture ,Alignement de modèles ,Tâche de développement automatisable ,Information Systems - Abstract
National audience; Model Driven Engineering (MDE) is well-known for the development tasks close to implementation. The objective of this study achieved for the telecommunication operator Orange is to show how the early tasks of the development process of the company can be described with MDE. This leads to a sequence of model transformations taking the system requirements analysis models as input and providing implementation models as output. Each model transformation is made of alignment tasks achieved by hand by experts, such as model element design and of automated alignment tasks, such as relationship between model elements. The early tasks of the development process based on the model alignment are illustrated with a telecommunication service.; L'ingénierie dirigée par les modèles ou MDE est souvent utilisée en entreprise dans des tâches de développement proches du code. L'objectif de cette étude réalisée pour l'opérateur de télécommunication Orange est de montrer comment les tâches amont du processus de développement préconisé dans l'entreprise peuvent être décrites et outillées par l'utilisation du MDE. La mise en oeuvre se traduit par un enchaînement de transformations de modèles intégrant en entrée des modèles d'analyse des exigences du système et produisant en fin d'enchaînement le modèle résultant du codage. Chacune de ces transformations de modèles est constituée de tâches manuelles d'alignement réservées aux experts comme la conception des éléments du modèle et de tâches automatisées d'alignement telles que la conception des relations entre éléments du modèle. Les tâches amont de ce processus de développement fondé sur l'alignement de modèles sont illustrées avec un service de télécommunication.
- Published
- 2012
9. Synthèse bibliographique relative à la notion d'indicateur dans le contexte de la Directive Cadre Stratégie pour le Milieu Marin (DCSMM)
- Author
-
Mélanie Brun and Dominique Soudant
- Subjects
index ,expected qualities ,indice ,indicator ,DCSMM ,MSFD ,indicateur ,qualités attendues ,processus de développement ,development procedure - Abstract
Stakeholders of the Marine Strategy Framework Directive (MSFD) need scientific and technical support to assess ecological status of marine waters and to adopt management actions to achieve the objective of the directive, i.e. “to achieve or to maintain good environmental status in the [European] marine environment by the year 2020 at the latest”. This support involves especially the development of indicators. Studies about the concept of indicator exist, in particular since the implementation of legislations such as the Water Framework Directive (WFD) in Europe. Indeed, they provide a significant source of reports and scientific papers, representing essential information for the implementation of the MSFD. However, the generic nature of the concept of indicator and the multiplicity of proposed frameworks and steps of development led to the definition of a dense and sometimes redundant vocabulary as well as focused or synthesised and then incomplete processes, which overlap in part or in totality. It follows that the use of these documents is not easy in an operating context. This report seeks to make a state of the art about the concept of indicator, with the aim of providing support for the development of indicators, particularly in the framework of the MSFD. The realized synthesis allowed to propose an operational and generic procedure for the construction of indicators, which is composed of the following three stages: (i) identification of the question of interest and of its components; (ii) development of the indicator (i.e. vocabulary, expected qualities, candidates, selection et aggregation); (iii) evaluation and the feedback, i.e. the use of the indicator to answer to the question of interest and the use of newly acquired knowledge to update the various components (e.g. question, indicator) during the next identification – development - assessment cycle. In the framework of the MSFD, a proposition is done to define a common vocabulary about the concept of indicator and a lot of work remains to obtain a set of valid indicators., Les acteurs de la Directive Cadre Stratégie pour le Milieu Marin (DCSMM) ont besoin d'un appui scientifique et technique pour évaluer l'état écologique du milieu marin et prendre les mesures permettant d'atteindre le but fixé par la directive, i.e. « réaliser ou maintenir un bon état écologique de l'environnement marin [européen] au plus tard en 2020 ». Cet appui passe en particulier par le développement d'indicateurs. Des travaux sur la notion d'indicateur ont été réalisés, notamment suite à la mise en place de cadres législatifs comme par exemple la Directive Cadre sur l'Eau (DCE) en Europe. Ils représentent un ensemble considérable d'articles et de rapports qui constituent une information essentielle pour la mise en œuvre de la DCSMM. En revanche, la généricité de la notion d'indicateur et la multiplicité des cadres et des étapes de développement proposés ont induit la définition d'un vocabulaire dense et parfois redondant ainsi que de processus ciblés ou synthétiques et ainsi incomplets, se recoupant en partie ou en totalité. Il s'ensuit que l'utilisation de ces documents n'est pas d'un usage aisé dans un contexte opérationnel. Ce rapport a pour objet de faire un état de l'art concernant les indicateurs, dans le but de fournir un appui pour leur développement, en particulier dans le cadre de la DCSMM. La synthèse réalisée a permis de proposer une marche à suivre opérationnelle générique pour le développement d'indicateurs, composée des trois phases suivantes : (i) identification de la question qui se pose et de ses composantes ; (ii) développement de l'indicateur (i.e. vocabulaire, qualités attendues, candidats, sélection et agrégation) ; (iii) évaluation et retour d'expérience, i.e. application de l'indicateur pour répondre à la question et utilisation des connaissances nouvellement acquises pour mettre à jour les différents éléments (e.g. question, indicateur) lors du prochain cycle identification – développement – évaluation. Cette marche à suivre est assortie d'exemples de travaux dans l'objectif de fournir des éléments facilitant son application. Dans le cadre de la DCSMM, une proposition est faite pour définir un vocabulaire commun sur la notion d'indicateur et un travail important est encore nécessaire pour obtenir un ensemble valide d'indicateurs.
- Published
- 2015
10. Synthèse bibliographique relative à la notion d'indicateur dans le contexte de la Directive Cadre Stratégie pour le Milieu Marin (DCSMM)
- Author
-
Brun, Melanie, Soudant, Dominique, Brun, Melanie, and Soudant, Dominique
- Abstract
Stakeholders of the Marine Strategy Framework Directive (MSFD) need scientific and technical support to assess ecological status of marine waters and to adopt management actions to achieve the objective of the directive, i.e. “to achieve or to maintain good environmental status in the [European] marine environment by the year 2020 at the latest”. This support involves especially the development of indicators. Studies about the concept of indicator exist, in particular since the implementation of legislations such as the Water Framework Directive (WFD) in Europe. Indeed, they provide a significant source of reports and scientific papers, representing essential information for the implementation of the MSFD. However, the generic nature of the concept of indicator and the multiplicity of proposed frameworks and steps of development led to the definition of a dense and sometimes redundant vocabulary as well as focused or synthesised and then incomplete processes, which overlap in part or in totality. It follows that the use of these documents is not easy in an operating context. This report seeks to make a state of the art about the concept of indicator, with the aim of providing support for the development of indicators, particularly in the framework of the MSFD. The realized synthesis allowed to propose an operational and generic procedure for the construction of indicators, which is composed of the following three stages: (i) identification of the question of interest and of its components; (ii) development of the indicator (i.e. vocabulary, expected qualities, candidates, selection et aggregation); (iii) evaluation and the feedback, i.e. the use of the indicator to answer to the question of interest and the use of newly acquired knowledge to update the various components (e.g. question, indicator) during the next identification – development - assessment cycle. In the framework of the MSFD, a proposition is done to define a common vocabulary about the concept of ind, Les acteurs de la Directive Cadre Stratégie pour le Milieu Marin (DCSMM) ont besoin d'un appui scientifique et technique pour évaluer l'état écologique du milieu marin et prendre les mesures permettant d'atteindre le but fixé par la directive, i.e. « réaliser ou maintenir un bon état écologique de l'environnement marin [européen] au plus tard en 2020 ». Cet appui passe en particulier par le développement d'indicateurs. Des travaux sur la notion d'indicateur ont été réalisés, notamment suite à la mise en place de cadres législatifs comme par exemple la Directive Cadre sur l'Eau (DCE) en Europe. Ils représentent un ensemble considérable d'articles et de rapports qui constituent une information essentielle pour la mise en œuvre de la DCSMM. En revanche, la généricité de la notion d'indicateur et la multiplicité des cadres et des étapes de développement proposés ont induit la définition d'un vocabulaire dense et parfois redondant ainsi que de processus ciblés ou synthétiques et ainsi incomplets, se recoupant en partie ou en totalité. Il s'ensuit que l'utilisation de ces documents n'est pas d'un usage aisé dans un contexte opérationnel. Ce rapport a pour objet de faire un état de l'art concernant les indicateurs, dans le but de fournir un appui pour leur développement, en particulier dans le cadre de la DCSMM. La synthèse réalisée a permis de proposer une marche à suivre opérationnelle générique pour le développement d'indicateurs, composée des trois phases suivantes : (i) identification de la question qui se pose et de ses composantes ; (ii) développement de l'indicateur (i.e. vocabulaire, qualités attendues, candidats, sélection et agrégation) ; (iii) évaluation et retour d'expérience, i.e. application de l'indicateur pour répondre à la question et utilisation des connaissances nouvellement acquises pour mettre à jour les différents éléments (e.g. question, indicateur) lors du prochain cycle identification – développement – évaluation. Cette marche à suivre est assorti
- Published
- 2015
11. An Agile, Reliable and Minimalist Approach to Preserve the QoS of Business-Processes Based Applications during their Evolutions
- Author
-
Feugas, Alexandre, Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS), Université de Lille, Sciences et Technologies, Self-adaptation for distributed services and large software systems (SPIRALS), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria), Université des Sciences et Technologie de Lille - Lille I, and Laurence Duchien(laurence.duchien@lifl.fr)
- Subjects
agility ,agilité ,Analyse d'impact ,Processus Métiers ,development process ,QoS ,business process ,[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] ,impact analysis ,évolution ,processus de développement - Abstract
Current softwares are built using "agile" development methods, to better consider the need to adapt to new user requirements. Developers and designers are getting closer to future software users by making short iterative cycles, where the future user gives a fast feedback on the increment made to the software and emits new user requirement to be fulfilled in future increments. These iterations can be seen as evolutions, as an answer to the definition of a new user requirement, or due to a change in the execution environment or in the architecture of the software. In the Service-Oriented Architecture (SOA) world, the design of software is composed of service choreography, or service orchestration using business processes. The design of these applications is equivalent to connecting the services control flow and data flow. As a result, the evolution step becomes a complex step, where a simple modification on a sub-part of a business process can have consequences on the entire system, causing for example its slowing down at runtime. From the Quality of Service (QoS) point of view, ensuring the fiability of the evolution process to maintain software QoS is critical. As a result, it is necessary to propose agile, reliable evolution mecanisms ensuring QoS preservation during the evolution of software made of business processes. In other words, we need to control that an evolution does not violate any QoS contract initially set up. Depending of the contract, this garanty must be established either at design time or at runtime. In the latter case, the verification process must be minimal and local, in order to not degrade the software performance. To achieve this goal, we propose to realise an agile development cycle, centered on the QoS preservation during the evolution. It is necessary to care about the evolutive concern of a system from the initial design step, by identifying required information to determine if the QoS continues to be correct and not violated by an evolution. Considering that this information is known by many stakeholders, it is also necessary to set up interaction points during the development cycle, during which information is shared in order to keep building a syntactically and semantically coherent software and to minimally (re)check QoS contracts. The contributions of this thesis are applied in Blink, a development cycle for evolution, and Smile, a framework to maintain QoS during the evolution of a service-oriented software made of business processes. While Blink is intended to identify the different actors and to make their interactions explicit, Smile proposes the realisation of an evolution loop. This loop enables the design, analysis and application of an evolution, by detecting the potential QoS contract violation. The evolution analysis determines its effect on the software QoS, by defining causal relations among variables, operations, services and other parts of the system. In this way, by identifying elements that are causally affected by the evolution, and by avoiding the elements that are not, our approach enables the limitation of the number of elements to (re)check in order to assure a reliable evolution step, with a minimal (re)check step. We show on the concrete case of a crisis management system, composed of eleven bu- siness processes and ten scenarios, that the combined use of Blink and Smile enables for each evolution the identification of its effect on the system, and the QoS preservation of the system.; Les logiciels actuels adoptent une méthodologie de développement dite "agile" pour mieux prendre en compte la nécessité de s'adapter constamment aux nouveaux besoins des utilisateurs. Les concepteurs et développeurs se rapprochent alors des futurs utilisateurs du logiciel en proposant des cycles courts d'itération, où le futur utilisateur fait un retour rapide sur l'incrément apporté au logiciel, et fait part de nouveaux besoins à prendre en compte dans les incréments à venir. Ces itérations peuvent être vues comme des évolutions, faisant suite à la définition d'un nouveau besoin de l'utilisateur, à un changement de l'en- vironnement d'exécution, ou encore à une remise en question de l'architecture du logiciel. Dans l'écosystème des architectures orientées services, la conception d'applications passe par la chorégraphie ou l'orchestration de services par des processus métiers. Concevoir ces applications consiste alors à mettre en relation les flots de contrôle et de données de ces services. La phase d'évolution devient une phase complexe, où une simple modification lo- calisée à une sous-partie d'un processus métier peut avoir des conséquences sur l'ensemble du système logiciel, causant par exemple son ralentissement lors de l'exécution. Du point de vue de la qualité de service (QoS), la maîtrise de la fiabilité du processus d'évolution pour maintenir la qualité de service d'un logiciel est alors critique. Il est donc nécessaire de pouvoir proposer des mécanismes d'évolution agiles et fiables permettant le maintien de la QoS lors de l'évolution d'applications à base de processus métiers. En d'autres termes, il s'agit de s'assurer qu'une évolution ne viole pas les contrats de QoS définis initialement. Cette garantie doit être établie en fonction du contrat soit lors de la conception soit lors de l'exécution. Dans ce dernier cas, le processus de vérification doit être minimal et localisé, afin de ne pas dégrader les performances du système logiciel. Pour cela, nous proposons de mettre en œuvre un cycle de développement agile, centré sur le maintien de la QoS lors de l'évolution. Il s'agit de prendre l'aspect évolutif du système, ceci dès l'étape de conception initiale, en identifiant les informations requises pour déter- miner si la QoS est correcte et si elle est non violée par une évolution. Ces informations étant détenues par plusieurs intervenants, il est également nécessaire d'établir les points d'interaction au cours du cycle de développement, au cours desquels les informations seront partagées de façon à ce que le logiciel qui en est issu reste syntaxiquement et sémantique- ment cohérent et que les contrats de QoS soient (re)vérifiés a minima. Les contributions de cette thèse sont donc mises en œuvre dans Blink, un cycle de développement pour l'évolu- tion, et Smile, un canevas de développement pour le maintien de la qualité de service lors de l'évolution d'applications orientées service définies à base de processus métiers. Tandis que le cycle de développement Blink vise à identifier les différents rôles présents dans l'équipe de développement et à expliciter leurs interactions, le canevas Smile propose la réalisation d'une boucle d'évolution. Cette boucle permet de concevoir, d'analyser et d'appliquer une évolution, en détectant les potentielles violations de contrat de QoS. Pour cela, l'analyse de l'évolution détermine son effet sur la QoS du logiciel, en établissant des relations de causalité entre les différentes variables, opérations, services et autres parties du système. Ainsi, en identifiant les éléments causalement affectés par l'évolution et en écartant ceux qui ne le sont pas, notre approche permet de limiter le nombre d'éléments à (re)vérifier, garantissant ainsi une étape d'évolution fiable, avec une étape de (re)vérification minimale. Nous montrons sur un cas concret de système de gestion de crises, constitué de onze processus métiers et de dix scénarios, que l'utilisation conjointe de Blink et de Smile permet d'identifier, pour chaque évolution, quel sera son effet sur le reste du système, et si la qualité de service sera maintenue ou non.
- Published
- 2014
12. Une approche agile, fiable et minimale pour le maintien de la qualité de service lors de l'évolution d'applications à base de processus métiers
- Author
-
Feugas, Alexandre, Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS), Université de Lille, Sciences et Technologies, Self-adaptation for distributed services and large software systems (SPIRALS), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria), Université des Sciences et Technologie de Lille - Lille I, and Laurence Duchien(laurence.duchien@lifl.fr)
- Subjects
agility ,agilité ,Analyse d'impact ,Processus Métiers ,development process ,QoS ,business process ,[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] ,impact analysis ,évolution ,processus de développement - Abstract
Current softwares are built using "agile" development methods, to better consider the need to adapt to new user requirements. Developers and designers are getting closer to future software users by making short iterative cycles, where the future user gives a fast feedback on the increment made to the software and emits new user requirement to be fulfilled in future increments. These iterations can be seen as evolutions, as an answer to the definition of a new user requirement, or due to a change in the execution environment or in the architecture of the software. In the Service-Oriented Architecture (SOA) world, the design of software is composed of service choreography, or service orchestration using business processes. The design of these applications is equivalent to connecting the services control flow and data flow. As a result, the evolution step becomes a complex step, where a simple modification on a sub-part of a business process can have consequences on the entire system, causing for example its slowing down at runtime. From the Quality of Service (QoS) point of view, ensuring the fiability of the evolution process to maintain software QoS is critical. As a result, it is necessary to propose agile, reliable evolution mecanisms ensuring QoS preservation during the evolution of software made of business processes. In other words, we need to control that an evolution does not violate any QoS contract initially set up. Depending of the contract, this garanty must be established either at design time or at runtime. In the latter case, the verification process must be minimal and local, in order to not degrade the software performance. To achieve this goal, we propose to realise an agile development cycle, centered on the QoS preservation during the evolution. It is necessary to care about the evolutive concern of a system from the initial design step, by identifying required information to determine if the QoS continues to be correct and not violated by an evolution. Considering that this information is known by many stakeholders, it is also necessary to set up interaction points during the development cycle, during which information is shared in order to keep building a syntactically and semantically coherent software and to minimally (re)check QoS contracts. The contributions of this thesis are applied in Blink, a development cycle for evolution, and Smile, a framework to maintain QoS during the evolution of a service-oriented software made of business processes. While Blink is intended to identify the different actors and to make their interactions explicit, Smile proposes the realisation of an evolution loop. This loop enables the design, analysis and application of an evolution, by detecting the potential QoS contract violation. The evolution analysis determines its effect on the software QoS, by defining causal relations among variables, operations, services and other parts of the system. In this way, by identifying elements that are causally affected by the evolution, and by avoiding the elements that are not, our approach enables the limitation of the number of elements to (re)check in order to assure a reliable evolution step, with a minimal (re)check step. We show on the concrete case of a crisis management system, composed of eleven bu- siness processes and ten scenarios, that the combined use of Blink and Smile enables for each evolution the identification of its effect on the system, and the QoS preservation of the system.; Les logiciels actuels adoptent une méthodologie de développement dite "agile" pour mieux prendre en compte la nécessité de s'adapter constamment aux nouveaux besoins des utilisateurs. Les concepteurs et développeurs se rapprochent alors des futurs utilisateurs du logiciel en proposant des cycles courts d'itération, où le futur utilisateur fait un retour rapide sur l'incrément apporté au logiciel, et fait part de nouveaux besoins à prendre en compte dans les incréments à venir. Ces itérations peuvent être vues comme des évolutions, faisant suite à la définition d'un nouveau besoin de l'utilisateur, à un changement de l'en- vironnement d'exécution, ou encore à une remise en question de l'architecture du logiciel. Dans l'écosystème des architectures orientées services, la conception d'applications passe par la chorégraphie ou l'orchestration de services par des processus métiers. Concevoir ces applications consiste alors à mettre en relation les flots de contrôle et de données de ces services. La phase d'évolution devient une phase complexe, où une simple modification lo- calisée à une sous-partie d'un processus métier peut avoir des conséquences sur l'ensemble du système logiciel, causant par exemple son ralentissement lors de l'exécution. Du point de vue de la qualité de service (QoS), la maîtrise de la fiabilité du processus d'évolution pour maintenir la qualité de service d'un logiciel est alors critique. Il est donc nécessaire de pouvoir proposer des mécanismes d'évolution agiles et fiables permettant le maintien de la QoS lors de l'évolution d'applications à base de processus métiers. En d'autres termes, il s'agit de s'assurer qu'une évolution ne viole pas les contrats de QoS définis initialement. Cette garantie doit être établie en fonction du contrat soit lors de la conception soit lors de l'exécution. Dans ce dernier cas, le processus de vérification doit être minimal et localisé, afin de ne pas dégrader les performances du système logiciel. Pour cela, nous proposons de mettre en œuvre un cycle de développement agile, centré sur le maintien de la QoS lors de l'évolution. Il s'agit de prendre l'aspect évolutif du système, ceci dès l'étape de conception initiale, en identifiant les informations requises pour déter- miner si la QoS est correcte et si elle est non violée par une évolution. Ces informations étant détenues par plusieurs intervenants, il est également nécessaire d'établir les points d'interaction au cours du cycle de développement, au cours desquels les informations seront partagées de façon à ce que le logiciel qui en est issu reste syntaxiquement et sémantique- ment cohérent et que les contrats de QoS soient (re)vérifiés a minima. Les contributions de cette thèse sont donc mises en œuvre dans Blink, un cycle de développement pour l'évolu- tion, et Smile, un canevas de développement pour le maintien de la qualité de service lors de l'évolution d'applications orientées service définies à base de processus métiers. Tandis que le cycle de développement Blink vise à identifier les différents rôles présents dans l'équipe de développement et à expliciter leurs interactions, le canevas Smile propose la réalisation d'une boucle d'évolution. Cette boucle permet de concevoir, d'analyser et d'appliquer une évolution, en détectant les potentielles violations de contrat de QoS. Pour cela, l'analyse de l'évolution détermine son effet sur la QoS du logiciel, en établissant des relations de causalité entre les différentes variables, opérations, services et autres parties du système. Ainsi, en identifiant les éléments causalement affectés par l'évolution et en écartant ceux qui ne le sont pas, notre approche permet de limiter le nombre d'éléments à (re)vérifier, garantissant ainsi une étape d'évolution fiable, avec une étape de (re)vérification minimale. Nous montrons sur un cas concret de système de gestion de crises, constitué de onze processus métiers et de dix scénarios, que l'utilisation conjointe de Blink et de Smile permet d'identifier, pour chaque évolution, quel sera son effet sur le reste du système, et si la qualité de service sera maintenue ou non.
- Published
- 2014
13. A development approach combining agility and information system urbanization
- Author
-
Simonin , Jacques, Tanguy , Philippe, Gourmelen , Julie, Lab-STICC_TB_CID_DECIDE, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Département Logique des Usages, Sciences sociales et Sciences de l'Information (LUSSI), Université européenne de Bretagne - European University of Brittany (UEB)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT), Centre de recherche en épidémiologie et santé des populations (CESP), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Université Paris-Sud - Paris 11 (UP11)-Hôpital Paul Brousse-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance ( Lab-STICC ), École Nationale d'Ingénieurs de Brest ( ENIB ) -Université de Bretagne Sud ( UBS ) -Université de Brest ( UBO ) -Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques ( IBNM ), Université de Brest ( UBO ) -Université européenne de Bretagne ( UEB ) -ENSTA Bretagne-Institut Mines-Télécom [Paris]-Centre National de la Recherche Scientifique ( CNRS ) -École Nationale d'Ingénieurs de Brest ( ENIB ) -Université de Bretagne Sud ( UBS ) -Université de Brest ( UBO ) -Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques ( IBNM ), Université de Brest ( UBO ) -Université européenne de Bretagne ( UEB ) -ENSTA Bretagne-Institut Mines-Télécom [Paris]-Centre National de la Recherche Scientifique ( CNRS ), Département Logique des Usages, Sciences sociales et Sciences de l'Information ( LUSSI ), Université européenne de Bretagne ( UEB ) -Télécom Bretagne-Institut Mines-Télécom [Paris], Centre de recherche en Épidémiologie et Santé des Populations (Université de Versailles Saint-Quentin - INSERM U1018) ( CRESP ), and Université de Versailles Saint-Quentin-en-Yvelines ( UVSQ )
- Subjects
[ INFO.INFO-CY ] Computer Science [cs]/Computers and Society [cs.CY] ,[INFO.INFO-CY]Computer Science [cs]/Computers and Society [cs.CY] ,Processus de développement ,Système d'information ,Agilité ,Urbanisation - Abstract
National audience; The development process applied to the PLASTICO epidemiological platform should achieve two goals to conciliate: the sustainability of the platform and reactivity to its evolution in relation to the customer requirements. The first goal has required taking into account the information system architecture, or enterprise architecture, which supports the epidemiological study processes. The second goal has been achieved thanks to an agile approach limited to some development activities considered as relevant by the customer. A positive assessment of the appropriateness of the development approach to a requirements quick evolving and to the sustainability of PLASTICO has been achieved by the platform customer.; Le processus de développement de la plateforme épidémiologique PLASTICO doit satisfaire deux objectifs à concilier : la durabilité de la plateforme et la réactivité de son évolution par rapport aux exigences du client. Le premier objectif a nécessité la prise en compte de l'architecture, ou urbanisation, du système d'information supportant les processus d'étude épidémiologique. Le second objectif a été atteint grâce à une approche agile limitée à quelques activités du développement considérées comme pertinentes par le client. Un bilan positif de l'adéquation de la démarche de développement à des exigences évoluant rapidement et à la durabilité de la plateforme PLASTICO a été dressé par le client de la plateforme.
- Published
- 2013
14. PLASTICO : une illustration de démarche de développement conciliant agilité et urbanisation du système d'information
- Author
-
Simonin, Jacques, Tanguy, Philippe, Gourmelen, Julie, Lab-STICC_TB_CID_DECIDE, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance ( Lab-STICC ), École Nationale d'Ingénieurs de Brest ( ENIB ) -Université de Bretagne Sud ( UBS ) -Université de Brest ( UBO ) -Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques ( IBNM ), Université de Brest ( UBO ) -Université européenne de Bretagne ( UEB ) -ENSTA Bretagne-Institut Mines-Télécom [Paris]-Centre National de la Recherche Scientifique ( CNRS ) -École Nationale d'Ingénieurs de Brest ( ENIB ) -Université de Bretagne Sud ( UBS ) -Université de Brest ( UBO ) -Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques ( IBNM ), Université de Brest ( UBO ) -Université européenne de Bretagne ( UEB ) -ENSTA Bretagne-Institut Mines-Télécom [Paris]-Centre National de la Recherche Scientifique ( CNRS ), Département Logique des Usages, Sciences sociales et Sciences de l'Information ( LUSSI ), Université européenne de Bretagne ( UEB ) -Télécom Bretagne-Institut Mines-Télécom [Paris], Centre de recherche en Épidémiologie et Santé des Populations (Université de Versailles Saint-Quentin - INSERM U1018) ( CRESP ), Université de Versailles Saint-Quentin-en-Yvelines ( UVSQ ), Département Logique des Usages, Sciences sociales et Sciences de l'Information (LUSSI), Université européenne de Bretagne - European University of Brittany (UEB)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Centre de recherche en épidémiologie et santé des populations (CESP), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Université Paris-Sud - Paris 11 (UP11)-Hôpital Paul Brousse-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), and Télécom Bretagne (devenu IMT Atlantique), Ex-Bibliothèque
- Subjects
[ INFO.INFO-CY ] Computer Science [cs]/Computers and Society [cs.CY] ,[INFO.INFO-CY] Computer Science [cs]/Computers and Society [cs.CY] ,[INFO.INFO-CY]Computer Science [cs]/Computers and Society [cs.CY] ,Processus de développement ,Système d'information ,Système d’information ,Agilité ,Urbanisation ,Système - Abstract
National audience; Le processus de développement de la plate-forme épidémiologique PLASTICO doit satisfaire deux objectifs à concilier : la durabilité de la plate-forme et la réactivité de son évolution par rapport aux exigences du client. Le premier objectif a nécessité la prise en compte de l'architecture, ou urbanisation, du système d'information supportant les processus d'étude épidémiologique de l'INSERM, client de la plateforme. Le second objectif a été atteint grâce à une approche agile limitée à quelques activités du développement considérées comme pertinentes par le client. Un bilan positif de l'adéquation de la démarche de développement à des exigences évoluant rapidement et à la durabilité de la plateforme PLASTICO a été dressé par l'INSERM.
- Published
- 2013
15. Confinement induces actin flow in a meiotic cytoplasm
- Author
-
Mathieu Pinot, Zoher Gueroui, Byung-Kuk Yoo, Benoit Dehapiot, Laurent Blanchoin, Charles Kervrann, Villier Steiner, Franck Chesnel, Compartimentation et dynamique cellulaires (CDC), Centre National de la Recherche Scientifique (CNRS)-Institut Curie [Paris]-Université Pierre et Marie Curie - Paris 6 (UPMC), Processus d'Activation Sélective par Transfert d'Energie Uni-électronique ou Radiatif (UMR 8640) (PASTEUR), Université Pierre et Marie Curie - Paris 6 (UPMC)-Département de Chimie - ENS Paris, École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS), Institut de Génétique et Développement de Rennes (IGDR), Structure Fédérative de Recherche en Biologie et Santé de Rennes ( Biosit : Biologie - Santé - Innovation Technologique )-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES), Cancer du rein : bases moléculaires de la tumorogenèse, Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Structure Fédérative de Recherche en Biologie et Santé de Rennes ( Biosit : Biologie - Santé - Innovation Technologique )-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Laboratoire de physiologie cellulaire végétale (LPCV), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National de la Recherche Agronomique (INRA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Centre National de la Recherche Scientifique (CNRS), Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes (SERPICO), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Centre National de la Recherche Scientifique, Association pour la Recherche sur le Cancer (SFI20101201426), Agence Nationale de la Recherche (ANR) (ANR-08-PNANO-050), Ligue Nationale Contre le Cancer (LNCC)(2009), Ville de Paris 'Emergence', ANR-08-NANO-0050,Biomodulator,Fluorescent Magnetic Nanopaticles as modulators of signaling pathways(2008), Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut Curie [Paris]-Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École normale supérieure - Paris (ENS-PSL), Université de Rennes (UR)-Centre National de la Recherche Scientifique (CNRS)-Structure Fédérative de Recherche en Biologie et Santé de Rennes ( Biosit : Biologie - Santé - Innovation Technologique ), Université de Rennes (UR)-Centre National de la Recherche Scientifique (CNRS)-Structure Fédérative de Recherche en Biologie et Santé de Rennes ( Biosit : Biologie - Santé - Innovation Technologique )-Université de Rennes (UR)-Centre National de la Recherche Scientifique (CNRS)-Structure Fédérative de Recherche en Biologie et Santé de Rennes ( Biosit : Biologie - Santé - Innovation Technologique ), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National de la Recherche Agronomique (INRA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche Interdisciplinaire de Grenoble (IRIG), Direction de Recherche Fondamentale (CEA) (DRF (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Fondamentale (CEA) (DRF (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Centre National de la Recherche Scientifique (CNRS)-Institut Curie-Université Pierre et Marie Curie - Paris 6 (UPMC), École normale supérieure - Paris (ENS Paris)-École normale supérieure - Paris (ENS Paris)-Centre National de la Recherche Scientifique (CNRS), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Centre National de la Recherche Scientifique (CNRS)-Structure Fédérative de Recherche en Biologie et Santé de Rennes ( Biosit : Biologie - Santé - Innovation Technologique ), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Centre National de la Recherche Scientifique (CNRS)-Structure Fédérative de Recherche en Biologie et Santé de Rennes ( Biosit : Biologie - Santé - Innovation Technologique )-Université de Rennes 1 (UR1), ANR-08-NANO-0050,BIOMODULATOR,Fluorescent Magnetic Nanoparticles as modulators of signaling pathways(2008), Gueroui, Zoher, De Villemeur, Hervé, Fluorescent Magnetic Nanopaticles as modulators of signaling pathways - - Biomodulator2008 - ANR-08-NANO-0050 - PNANO - VALID, Mécanismes moléculaires du transport intracellulaire, Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut Curie [Paris]-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut Curie [Paris]-Centre National de la Recherche Scientifique (CNRS), Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Institut National de la Recherche Agronomique (INRA)-Université Joseph Fourier - Grenoble 1 (UJF)-Centre National de la Recherche Scientifique (CNRS), Groupe matière condensée et matériaux (GMCM), Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), and Centre National de la Recherche Scientifique (CNRS) Fondation ARC pour la Recherche sur le CancerAustralian Research CouncilEuropean CommissionSFI20101201426Ligue nationale contre le cancer Ville de Paris 'Emergence'
- Subjects
Cytoplasm ,auto organisation ,[SDV]Life Sciences [q-bio] ,Xenopus ,Cell ,[SDV.BBM.BP] Life Sciences [q-bio]/Biochemistry, Molecular Biology/Biophysics ,macromolecular substances ,[SDV.BC]Life Sciences [q-bio]/Cellular Biology ,Biology ,In Vitro Techniques ,symmetry breaking ,03 medical and health sciences ,actine ,0302 clinical medicine ,Meiosis ,cytosquelette ,cytoplasme ,[SDV.BDD] Life Sciences [q-bio]/Development Biology ,medicine ,Image Processing, Computer-Assisted ,Animals ,Cytoskeleton ,[SDV.BC] Life Sciences [q-bio]/Cellular Biology ,[SDV.BDD]Life Sciences [q-bio]/Development Biology ,Actin ,030304 developmental biology ,0303 health sciences ,Multidisciplinary ,Biologie du développement ,Cell migration ,cytoskeleton ,ovocyte ,Biological Sciences ,biology.organism_classification ,Embryonic stem cell ,Development Biology ,self-organization ,processus de développement ,Actins ,Cell biology ,[SDV.BBM.BP]Life Sciences [q-bio]/Biochemistry, Molecular Biology/Biophysics ,Kinetics ,medicine.anatomical_structure ,Microscopy, Fluorescence ,030217 neurology & neurosurgery - Abstract
In vivo, F-actin flows are observed at different cell life stages and participate in various developmental processes during asymmetric divisions in vertebrate oocytes, cell migration, or wound healing. Here, we show that confinement has a dramatic effect on F-actin spatiotemporal organization. We reconstitute in vitro the spontaneous generation of F-actin flow using Xenopus meiotic extracts artificially confined within a geometry mimicking the cell boundary. Perturbations of actin polymerization kinetics or F-actin nucleation sites strongly modify the network flow dynamics. A combination of quantitative image analysis and biochemical perturbations shows that both spatial localization of F-actin nucleators and actin turnover play a decisive role in generating flow. Interestingly, our in vitro assay recapitulates several symmetry-breaking processes observed in oocytes and early embryonic cells.
- Published
- 2012
16. Integrating Formal Verification Techniques into Software Development Process for Embedded Systems
- Author
-
Raji, Amine, Télécom Bretagne, Bibliothèque, Département Logique des Usages, Sciences sociales et Sciences de l'Information (LUSSI), Institut Mines-Télécom [Paris] (IMT)-Télécom Bretagne-Université européenne de Bretagne - European University of Brittany (UEB), Télécom Bretagne, Université de Bretagne-Sud, and Yvon KERMARREC(yvon.kermarrec@telecom-bretagne.eu)
- Subjects
Observer-Based Prover ,Software development process ,Ingénierie des exigences ,[INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE] ,User Context Models ,Requirements engineering ,Model-Checking ,Vérification formelle ,[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] ,Context Description Language ,Formal verification ,Context-aware verification ,Processus de développement ,Users Context Models ,Exploitation du contexte - Abstract
In past years, formal verification techniques and tools were widely developed and used by the research community. However, the use of formal verification at industrial scale remains difficult, expensive and requires lot of time. This is due to the size and the complexity of manipulated models, but also, to the important gap between requirement models manipulated by different stackholders and formal models required by existing verification tools. This dissertation aims therefore to develop a methodology that define activities that fill this gap by generating formal artifacts from textual requirements and existing design models. Our approach is based on previous work on the exploitation of contexts for formal verification, particularly, CDL language. We extended UML use cases with the ability to precisely describe interaction scenarios between the system under validation and its context. We also defined a requirement specification language based on the processing of natural language to formalize textual requirements. This formalization is performed thanks to model transformations that generate CDL properties from textual requirements and CDL context models form extended use cases scenarios. The proposed methodology is instantiated on a reel industrial case study provided by our industrial partner., En dépit de l'efficacité des méthodes formelles, en particulier les techniques d'analyse de modèles (model checking), à identifier les violations des exigences dans les modèles de conception, leur utilisation au sein des processus de développement industriel demeure limitée. Ceci est dû principalement à la complexité des modèles manipulés au cours de ces processus (explosion combinatoire) et à la difficulté de produire des représentations formelles afin d'exploiter les outils de vérification existants. Fort de ce constat, mes travaux de thèse contribuent au développement d'un volet méthodologique définissant les activités conduisant à l'obtention des artefacts formels. Ceux-ci sont générés directement à partir des exigences et des modèles de conception manipulés par les ingénieurs dans leurs activités de modélisation. Nos propositions s'appuient sur les travaux d'exploitation des contextes pour réduire la complexité de la vérification formelle, en particulier le langage CDL. Pour cela, nous avons proposé une extension des cas d'utilisation, afin de permettre la description des scénarios d'interaction entre le système et son environnement directement dans le corps des cas d'utilisation. Aussi, nous avons proposé un langage de spécification des exigences basé sur le langage naturel contrôlé pour la formalisation des exigences. Cette formalisation est opérée par transformations de modèle générant des propriétés CDL formalisées directement des exigences textuelles des cahiers des charges ainsi que les contextes CDL à partir des cas d'utilisations étendus. L'approche proposée a été instanciée sur un cas d'étude industriel de taille et de complexité réelles développées par notre partenaire industriel.
- Published
- 2012
17. Processus de développement de système contraint par l'urbanisation d'un système d'information
- Author
-
Simonin, Jacques, Beugnard, Antoine, Nedelec, Rémi, Département Logique des Usages, Sciences sociales et Sciences de l'Information ( LUSSI ), Université européenne de Bretagne ( UEB ) -Télécom Bretagne-Institut Mines-Télécom [Paris], Lab-STICC_TB_CID_DECIDE, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance ( Lab-STICC ), École Nationale d'Ingénieurs de Brest ( ENIB ) -Université de Bretagne Sud ( UBS ) -Université de Brest ( UBO ) -Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques ( IBNM ), Université de Brest ( UBO ) -Université européenne de Bretagne ( UEB ) -ENSTA Bretagne-Institut Mines-Télécom [Paris]-Centre National de la Recherche Scientifique ( CNRS ) -École Nationale d'Ingénieurs de Brest ( ENIB ) -Université de Bretagne Sud ( UBS ) -Université de Brest ( UBO ) -Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques ( IBNM ), Université de Brest ( UBO ) -Université européenne de Bretagne ( UEB ) -ENSTA Bretagne-Institut Mines-Télécom [Paris]-Centre National de la Recherche Scientifique ( CNRS ), Département informatique ( INFO ), Orange Labs [Lannion], France Télécom, Département Logique des Usages, Sciences sociales et Sciences de l'Information (LUSSI), Université européenne de Bretagne - European University of Brittany (UEB)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Département informatique (INFO), and Télécom Bretagne (devenu IMT Atlantique), Ex-Bibliothèque
- Subjects
Processus de développement ,Architecture dirigée par les modèles ,Ingénierie des modèles ,[SHS.GESTION]Humanities and Social Sciences/Business administration ,[SHS.GESTION] Humanities and Social Sciences/Business administration ,[ SHS.GESTION ] Humanities and Social Sciences/Business administration ,Tâche de développement automatisable - Abstract
National audience; L'ingénierie des modèles ou MDE est souvent utilisée en entreprise dans des tâches du processus de développement proches du code. L'objectif de cette étude réalisée pour l'opérateur de télécommunication Orange est de montrer comment les tâches amont du processus de développement préconisé dans l'entreprise peuvent être décrites et outillées par l'utilisation du MDE. La mise en oeuvre se traduit par un enchaînement de transformations de modèles intégrant en entrée des modèles d'analyse des exigences du système et produisant en fin d'enchaînement le modèle résultant du codage. Chacune de ces transformations de modèles est constituée de tâches manuelles réservées aux experts telles que la conception des éléments du modèle et de tâches automatisées telles la conception des relations entre éléments du modèle. L'alignement des architectures est pris comme exemple.
- Published
- 2011
18. L'ingénierie dirigée par les modèles pour la conception d'applications à architectures réparties adaptables
- Author
-
Maria-Teresa Segarra, Jean-Marie Gilliot, Antoine Beugnard, An Phung-Khac, Département informatique (INFO), Université européenne de Bretagne - European University of Brittany (UEB)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT), and Télécom Bretagne (devenu IMT Atlantique), Ex-Bibliothèque
- Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR] ,[INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR] ,Transformation de modèles ,Adaptation dynamique ,Computer science ,Processus de développement ,Application répartie - Abstract
National audience; L'ingénierie dirigée par les modèles pour la conception d'applications à architectures réparties adaptables
- Published
- 2011
19. Elaboration of specific model-driven software development processes : application to discrete event systems
- Author
-
Collonvillé, Thomas, Modélisation, Intelligence, Processus et Système (MIPS), Ecole Nationale Supérieure d'Ingénieur Sud Alsace-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-IUT de Colmar-IUT de Mulhouse, Université de Haute Alsace - Mulhouse, and Bernard Thirion
- Subjects
Systèmes logiciels ,[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH] ,Ingénierie Dirigée par les Modèles ,Software Process Engineering Metamodel ,Modélisation des processus logiciels ,Model Driven Engineering ,Process Engineering ,Processus de développement ,Système à évenements discrets ,Ingénierie de processus logiciels ,Méta-modèles ,Metamodel ,Development process ,Discrete Event Systems ,Software - Abstract
Software development usually requires the usage and integration of different modeling languages for modeling the behavior and the organization of the application's components. There are many process models describing the different activities of software development but there is no generic process that explains how to relate these languages to the activities. In this context, Model Driven Engineering offers concepts and tools to specify and to combine different languages with meta models for specifying languages and model transformations to put together various meta-models. An example of such a meta-model is given by SPEM (Software Process Engineering Metamodel) which serves as a modeling language for describing software development processes.The thesis proposes to take advantage of the preceding concepts to define specific model-drivendevelopment processes; this by defining a conceptual scheme, derived from SPEM, in which the activities of a process use meta-models and transformations. From this scheme, the components of a specific process are identified what leads to a methodological approach for the engineering of domain specific processes. Thus, the major benefits of the approach are: knowledge capitalization and a reduction of development efforts. Finally, the thesis applies this proposition to derive aspecific software engineering process dedicated to the design of Discrete Event Systems.; Le développement de systèmes logiciels implique l'intégration de différents langages pour modéliser l'organisation et le comportement des composants d'une application. De plus, s'il existe des modèles de processus décrivant les différentes activités pour passer d'une spécification à une réalisation, il n'existe pas de processus général expliquant comment relier de façon rationnelle langages et activités. Par ailleurs, l'Ingénierie Dirigée par les Modèles propose des concepts et des outils pour spécifier et combiner différents langages; ceci en introduisant les concepts de métamodèles comme moyen pour spécifier des langages, et de transformation de modèles pour les mettre en relation. Un exemple de métamodèle est donné par le standard SPEM (Software Process Engineering Metamodel) dédié à la modélisation de processus de développement logiciel.Dans ce contexte, la thèse propose de tirer profit des éléments précédents pour élaborer des processus de développements spécifiques et orientés modèles conformes à un schéma conceptuel dérivé du schéma de SPEM dans lequel des activités d'un processus peuvent exploiter des métamodèles et des transformations. Un guide méthodologique pour aborder l'ingénierie de processus spécifiques complète le schéma proposé. Les intérêts de la proposition résident alors dans une meilleure capitalisation des connaissances pour un domaine ainsi qu'une réduction des efforts de développement. Finalement, la thèse propose d'élaborer de tels processus spécifiques pour des applications logicielles relevant du domaine des Systèmes à Évènements Discrets.
- Published
- 2010
20. Méthodes de développement de systèmes multi-agents
- Author
-
Gleizes, Marie-Pierre, Bernon, Carole, Migeon, Frédéric, Picard, Gauthier, Systèmes Multi-Agents Coopératifs (IRIT-SMAC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre de Génie Industriel et Informatique (G2I-ENSMSE), École des Mines de Saint-Étienne (Mines Saint-Étienne MSE), and Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)
- Subjects
Systèmes multi-agents ,méthodes de développement ,méta-modèles ,processus de développement ,[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] - Abstract
http://www.emse.fr/~picard/publications/gleizes08glis.pdf; National audience; Les systèmes multi-agents (SMA) ont montré leur pertinence pour la conception d'applications distribuées (logiquement ou physiquement), complexes et robustes. Le concept d'agent est aujourd'hui plus qu'une technologie efficace, il représente un nouveau paradigme pour le développement de logiciels dans lesquels l'agent est un logiciel autonome qui possède un objectif, évolue dans un environnement dynamique et interagit avec d'autres agents au moyen de langages et de protocoles. Souvent, l'agent est considéré comme un objet " intelligent " ou comme un niveau d'abstraction au-dessus des objets et des composants. Les méthodes de développement orientées objet - au vu des différences entre les objets et les agents - ne sont pas directement applicables au développement de SMA. Il est alors devenu nécessaire d'étendre ou de développer de nouveaux modèles, de nouvelles méthodes et de nouveaux outils adaptés au développement de systèmes multi-agents. L'objectif de cet article est d'établir la spécificité du paradigme multi-agent, de donner un aperçu du processus de développement d'un SMA au travers de la méthode ADELFE et de donner les caractéristiques des principales méthodes de conception de SMA.
- Published
- 2009
21. Métamorphoses de l'État Brésilien à la fin du XX E siècle
- Author
-
Brasilio Sallum Jr.
- Subjects
Hegemony ,Presidency ,Economic liberalization ,media_common.quotation_subject ,Political transition ,Desenvolvimentismo ,Development ,Politics ,State (polity) ,Processus de développement ,Political science ,Economic history ,Libéralisation économique ,Democratization ,lcsh:Social sciences (General) ,media_common ,Transição política ,Democratização ,Démocratisation ,Brasil ,General Social Sciences ,État ,World order ,Democracy ,Estado ,Brésil ,Economy ,lcsh:H1-99 ,Liberalização econômica ,State ,Brazil - Abstract
O artigo procura reconstruir o processo de crise do Estado varguista e de transição para a forma nova forma de Estado, moderadamente liberal em termos econômicos e democrática em termos políticos, que emergiu nos anos de 1990, ganhou solidez durante sob a presidência de Fernando Henrique Cardoso e foi reiterada com a eleição de Luiz Inácio da Silva. Procura-se explorar a natureza da crise de hegemonia que marcou o início da transição política brasileira, no início dos anos de 1980, e caracterizar a emergência de um novo padrão hegemônico de dominação. Ressalta-se principalmente os dois aspectos principais da transição política a democratização política e a liberalização econômica procurando-se salientar as transformações da sociedade nacional e da ordem mundial em que se inserem. The article aims at reconstructing both the process of crisis of the State during the Vargas era and the transition process towards a new format of State, which was moderately liberal in terms of economy and democratic in terms of politics, that emerged in the nineties, became consolidated during the presidency of Fernando Henrique Cardoso, and has been reiterated with the election of Luiz Inacio Lula da Silva. It also explores the nature of the hegemony crisis found in the beginning of the Brazilian political transition in the early eighties, as well as characterizes the appearance of a new hegemonic standard of domination. It calls attention for two main aspects of the so-called political transition the political democratization and the economic liberalization as it enhances the transformations of both the national society and the world order in which they are inserted. Cet article propose une reconstruction de la crise de l'État sous l'ère Vargas ainsi que du processus de transition vers une nouvelle forme d'État, modérément libéral en termes économiques, et démocratique du point de vue politique. Cette nouvelle forme d'État apparue dans les années 1990, s'est consolidée sous le gouvernement de Fernando Henrique Cardoso et a été réaffirmée suite à l'élection de Luiz Inácio Lula da Silva. Nous explorons la nature de la crise d'hégémonie qui marqua le début de la transition politique brésilienne au début des années 80 et tentons de caractériser l'émergence d'une nouvelle référence hégémonique de domination dans les années suivantes. Nous nous sommes attachés, particulièrement, à deux aspects principaux de la transition la démocratisation politique et la libéralisation économique , en mettant l'accent sur les transformations de la société nationale et sur l'ordre mondial dans laquelle elle s'inscrit.
- Published
- 2003
22. Apport du langage XML dans un projet « artisanal »
- Author
-
Pochon, Luc-Olivier, Maréchal, Anne, institut de recherche et de documentation pédagogique (irdp), Université de Neuchâtel (UNINE), Institut pédagogique neuchâtelois (IPN), Institut pédagogique neuchâtelois, and Walha, Leila
- Subjects
[SHS.EDU]Humanities and Social Sciences/Education ,[SHS.EDU] Humanities and Social Sciences/Education ,Nouvelles technologies de l'information et de la communication ,Education -- Data processing ,Information and communications technology ,Computer-assisted education ,XML language ,processus de développement ,Education ,Education et informatique ,formation continue et professionnelle ,Educational technologies ,authoring systems ,systèmes auteurs ,apprentissages de base ,langage XML ,basic learning ,continuing and vocational training - Abstract
In the context of "hand-made" production of learning environments, at the level of professional education, this article describes the evolution of a line of projects, from the HAM model,using a primitive proprietary interface, to the usage of SGML / XML, using a standard web browser as interface.This evolution is analyzed with respect to three facets : technical aspect, organization of content, and possibility of collaborative developement. The article shows that the project philosophy could be kept throughout the system migration under XML. Almost all technical problems and those related with organization of content were solved. We formulate hypothesises about the way content developpers domesticate this "new" technique., Dans le cadre de la production « artisanale » d'environnements d'apprentissage au niveau de l'enseignement professionnel, cet article décrit l'évolution d'une série de projets allant du modèle HAM avec une interface propriétaire primitive, à l'utilisation de SGML / XML avec une interface fournie par les navigateurs « web » standard. Cette évolution est analysée selon trois volets : l'aspect technique, l'organisation des contenus, les possibilités de développement participatif. L'article montre que la philosophie du projet a pu être conservéelors de la migration du système sous XML. Presque tous les problèmes techniques et d'organisation des contenus ont trouvé des solutions. Des hypothèses sont faites quant à la façon dont les formateurs-auteurs apprivoisent cette « nouvelle » technique.
- Published
- 2003
23. Le CMM et ses exigences concernant la gestion de projet, l'assurance qualité et la sous-traitance
- Author
-
Souquières, Jeanine, Development of specifications (DEDALE), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), and Contrat AEE, Electronique Embarquée dans l'Automobile) AEE
- Subjects
project management ,quality ,gestion de projet ,[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH] ,assurance qualité ,sous-traitance ,processus de développement ,process development ,cmm - Abstract
Rapport de contrat.; Les exigences du CMM au niveau 2 concernant la gestion de projet, l'assurance qualité et la sous-traitance
- Published
- 2000
24. Requirements elicitation and specification
- Author
-
Souquières, Jeanine, Heisel, Maritta, Development of specifications (DEDALE), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), J.M. Wing, J. Woodcock, Jim Davies, Loria, Publications, and J.M. Wing, J. Woodcock, Jim Davies
- Subjects
[INFO.INFO-OH] Computer Science [cs]/Other [cs.OH] ,software ,engineering ,requirement ,logiciel ,[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH] ,process ,spécification ,processus de développement - Abstract
Colloque sur invitation.; Formal specification techniques are not well integrated with the analysis phase of software engineering. The starting point from which the development of a formal specification should begin is not well elaborated. Often, formal specifications begin with a very short description of the system to be implemented, and detail is added during the development of the formal specification. Such a procedure does not adequately take into account the need to thoroughly analyze the system to be implemented and the environment in which it will operate before a detailed specification is developed.
- Published
- 1999
25. Transports, Communications And Development In Central Himalaya (Nepal Case Study)
- Author
-
Bernier, Xavier, Environnements, Dynamiques et Territoires de la Montagne (EDYTEM), Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry])-Centre National de la Recherche Scientifique (CNRS), Université de Provence - Aix-Marseille I, and Jean-Claude, Giacottino
- Subjects
Réseaux de transports ,montagne ,Himalaya ,Nepal ,mountains ,[SHS.GEO]Humanities and Social Sciences/Geography ,fermeture ,development processes ,processus de développement ,Népal ,[SDE]Environmental Sciences ,Transport networks ,dialectique d'ouverture ,openness/closure - Abstract
This PhD looks at transportation as a key to Nepal. Geopolitical fluctuations have been determinant in the historical processes of openness and closure that have built superimposed networks. The relations between transport networks (specially roads works) and development are complex and may be analyzed as an on going process. The new concept of syncrasy is part of the demonstration. Nepal is now reliant on a complex roads network. A geographical analysis at different scales reveals many fragmentations in a territory structured by longitudinal valleys. In addition to a new system, organized around multiple centers and peripheries and subject to complex centrifugal and centripetal forces, great flexibility and adaptability seem to be the main factors to take into account. Thus, can Nepal's transportation infrastructure be considered as typical mountain network ?; Cette thèse de doctorat en géographie envisage les transports comme une clé de compréhension du Népal. Les évolutions géopolitiques liées à une dialectique d'ouverture / fermeture permettent de comprendre la surimposition des réseaux de transport. Les relations entre transports (en particulier routiers) et développement sont complexes et sont étudiées ici comme des processus cumulatifs. Pour accompagner la démonstration, la thèse défend le nouveau concept de syncrasie. Le fonctionnement complexe des réseaux de transport est ici intimement lié à l'évolution géographique du pays. Menées à différentes échelles, les analyses géographiques cherchent à comprendre la fragmentation des territoires au regard d'un espace structuré par des vallées longitudinales. Ce nouveau système, organisé et structuré par différents types de centres et de périphéries, est marqué par une grande flexibilité et une grande adaptabilité. Au final, il doit être interrogé dans ses éventuelles spécificités montagnardes.
- Published
- 1996
26. Un panorama des systèmes d'aide à la conception de logiciels éducatifs
- Author
-
Christian Ernst and Anne Lapujade
- Subjects
système d'aide à la conception ,système de formation ,processus de développement ,General Medicine ,computer aided design system ,training system ,design process - Abstract
This article presents different kinds of courseware computer assisted design tools that it is possible to meet at a research level. In this presentation, we propose a typology drawn from software engineering articulated around the concept of design process. This typology makes a distinction between three kinds of systems : tools making a particular task in one step of the design process, workbenches integrating tools to perform a step of the design process and environments integrating several design process steps. We present several systems associated with each kind of system., Cet article présente les différents types de systèmes d'aide à la conception de logiciels éducatifs qui font actuellement l'objet de travaux de recherche. Pour présenter ces systèmes, nous proposons une typologie issue du génie logiciel qui s'articule autour de la notion de processus de développement des logiciels. Cette typologie distingue trois catégories de systèmes par rapport à leur couverture des phases du processus de développement de logiciels éducatifs : des outils qui permettent d'effectuer une tâche particulière au sein d'une phase, des ateliers qui intègrent, pour une même application plusieurs outils permettant de réaliser entièrement une phase et des environnements qui permettent d'intégrer plusieurs phases du processus de développement. Pour chaque catégorie nous présentons plusieurs systèmes., Lapujade Anne, Ernst Christian. Un panorama des systèmes d'aide à la conception de logiciels éducatifs. In: Sciences et techniques éducatives, volume 3 n°3, 1996. pp. 297-334.
- Published
- 1996
27. Maîtrise de la qualité et solidarité des acteurs : La pertinence des innovations dans les filières d'élevage en Corse
- Author
-
Casabianca, François, de Sainte-Marie, Christine, Santucci, Pierre, Vallerand, François, and Prost, Jean
- Subjects
acceptabilité ,filière d'élevage ,corse ,éleveur ,provence alpes côte d'azur ,france ,processus de développement ,innovation - Abstract
En région Corse, les éleveurs répondent le plus souvent aux contraintes croissantes qu'ils subissent, par une intégration individuelle des différentes activités dans la production fermière. Ce mouvement d'atomisation pose le problème de la pertinence des innovations techniques visant à satisfaire le besoin de maîtrise des producteurs, en référence à la possibilité de leur solidarisation. En effet, conforter les producteurs individuels dans leur logique peut être un obstacle à leur organisation collective : pertinence technique et pertinence sociale ne semblent pas se recouvrir. Ainsi, l'autonomie du producteur fermier place la qualité dans une clôture informationnelle du système de décision qui tend à en accentuer l'auto-référence. Alors que l'auto-organisation des producteurs situe la qualité par rapport au découpage productif et donc dans un couplage opérationnel. Parvenir à une satisfaction collective suppose d'exercer, par la délibération, "l'intelligence" du système de décision des producteurs organisés et l'apprentissage de la satisfaction collective. Le concept "d'innovation organisante" est alors proposé pour rendre compte des conditions de contrôle social des innovations et des capacités de régulation de l'Acteur collectif. Cette approche constructiviste de la qualité peut, dans des conditions qui demeurent à préciser, lui conférer le rôle de moteur d'organisation dans les processus de développement., Mastering quality and solidarity in producer-groups. The relevance of innovations in the Corsican livestock farming sector. In Corsica, livestock farmers frequently respond to growing constraints by increasingly integrating livestock production activities at individual farm level, i.e. processing their raw products (park meat, ewe and goat milk) and selling their production themselves. This trend towards individualistic production, processing and marketing brings into question the relevance of technical innovations. The needs of the farmers must be analysed to help them better master their farming activity and ultimately develop a solidarity between themselves. In fact, reinforcing the present logic of individual producers can proue contrary ta their collective organisation. Technical and social relevance do not seem to fit one another entirely. The concept of "organizing innovation" is proposed to account for the conditions of social control of innovations and the regulating capacity of a "collective actor". The autonomy of the individual {armer places the notion of quality into an informational box of his decision-making system, thereby reinforcing self-reference. As a result, the technical relevance of an innovation for the {armer is steered exclusively by satisfaction. Putting the "{armer first" may reduce the possibility of innovating to his own individual management abilities. On the contrary, collective self-organisation of producers places quality in relation ta productive segmentation and within an operational link between members. Ta achieve collective satisfaction, organized producers will stimulate the "intelligence" of their common decision-making system. This is based essentially on learning through building this collective satisfaction. "Organising innovations" are innovations that will induce this process of self-organisation and by this means, solidarisation of the farmers. This constructivist approach may, under certain conditions to be further defined, confer to the notion of quality the function of an organising lever in the development process.
- Published
- 1994
28. Vie matérielle, échanges et capitalisme sur la rive méridionale du Pool du fleuve Congo (1815-1930)
- Author
-
Sylvie Ayimpam, Centre d'Etudes des Mondes Africains (CEMAf), Université Paris 1 Panthéon-Sorbonne (UP1)-Université de Provence - Aix-Marseille 1-École pratique des hautes études (EPHE), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS), Université Paris 1 Panthéon-Sorbonne (UP1)-Université de Provence - Aix-Marseille 1-École Pratique des Hautes Études (EPHE), and Ayimpam, Sylvie
- Subjects
territoire ,[SHS.ANTHRO-SE] Humanities and Social Sciences/Social Anthropology and ethnology ,Kinshasa ,capitalisme ,changement ,longue durée ,vie matérielle ,[SHS.ANTHRO-SE]Humanities and Social Sciences/Social Anthropology and ethnology ,processus de développement ,Pool Malebo ,[SHS.HIST] Humanities and Social Sciences/History ,histoire ,jeux de l'échange ,milieu de vie ,Fernand Braudel ,[SHS.HIST]Humanities and Social Sciences/History - Abstract
http://www.cemaf.cnrs.fr/IMG/pdf/18-clio.pdf; Le visage que revêt un milieu de vie est toujours le résultat d'un processus de développement dans la longue durée historique. L'histoire est ainsi importante dans l'analyse des processus de développement, parce qu'elle nous empêche de croire que les phénomènes que nous étudions sont nouveaux, ou qu'ils sont issus d'une génération spontanée. En nous intéressant au cas de la ville de Kinshasa, nous nous sommes interrogés sur le processus de structuration dans la longue durée du territoire sur lequel elle est bâtie, étant donné que celui-ci a existé comme milieu de vie bien avant la fondation de la ville. Un regard sur un tel processus dans le temps long, prenant en compte à la fois les continuités et les ruptures, pourrait peut être amener un autre éclairage dans la compréhension des problèmes et défis qui se posent à ce milieu de vie aujourd'hui. Cette contribution n'a pas l'ambition de proposer une nouvelle version de l'histoire de la ville. Il s'agit plutôt d'une tentative de compréhension de la dynamique des transformations ayant affecté ce milieu de vie, ainsi que les modes de vie des populations.
29. Vers une certification continue des logiciels critiques en aéronautique
- Author
-
Claude Baron, Vincent Louis, DGA - Techniques aéronautiques, Direction générale de l'Armement (DGA), Équipe Ingénierie Système et Intégration (LAAS-ISI), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), and Université de Toulouse (UT)
- Subjects
Standards ,Ingénierie du Logiciel ,Certification ,agile ,[INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE] ,Agilité ,[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] ,modèle ,DO254 ,[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation ,[INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF] ,IEC 61508 ,Processus de Développement ,Aéronautique ,système embarqué ,[INFO.INFO-ES]Computer Science [cs]/Embedded Systems ,exigences ,Assurance Qualité ,DO-178 C ,Systèmes Embarqués - Abstract
National audience; De nombreux secteurs utilisent des systèmes et des logiciels critiques, dont les défaillances pourraient entraîner des pertes de vies humaines. Cet article s’intéresse au développement et à la certification des logiciels critiques, avec une illustration dans le domaine de l’aéronautique. Il souligne les difficultés rencontrées en entreprise et l’état des pratiques pour mettre en perspective quelques pistes d’améliorations possibles de celles-ci. Il démontre notamment l’intérêt d’intégrer plus étroitement et de façon continue les contraintes de la certification au processus de développement des logiciels. Notre proposition est de nous inspirer des valeurs agiles pour répondre le plus tôt possible aux exigences de certification applicables au développement des logiciels. C’est ce que nous appelons la certification continue.
30. Dynamics of North American boreal mixedwoods
- Published
- 2002
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.