La Validation dans le Processus de Développement

International audienceThe amelioration of the quality of a system begins by the requirements elicitation. Our goal is to bridge the gap between requirements, those of the client, and the specification, this of the computer scientist. In this paper, we talk about the validation all along the development of a system, taking into account its requirements and its Event-B specification. The verification may also detect incoherences in the requirements. The Rodin platform is important all along to improve the quality and the documentation of the system, both of its specification and its development process. We illustrate our approach on the case study of an aircraft landing system.L'amélioration de la qualité d'un logiciel commence par l'expression de ses exigences en langage naturel. Notre objectif est de combler l'écart entre le cahier des charges, celui du client, et la spécification formelle, celle de l'informaticien. Dans ce papier, nous abordons la validation tout au long du processus de développement, en tenant compte des exigences et la spécification en Event-B du logiciel. La vérification peut aussi détecter des incohérences dans les exigences. La place des outils, notamment avec la plateforme Rodin, est importante au long de ce processus, améliorant sa qualité et sa documentation. Notre approche est illustrée par l'étude de cas d'un système de contrôle du train d'atterrissage d'un avion

Prise en compte de la fiabilité en conception

Le développement d'un produit procède à partir d'une idée, d'un besoin identifié ou tout simplement d'une opportunité d'affaires. Les caractéristiques fonctionnelles sont généralement consignées dans un cahier des charges. Le concepteur fait ensuite appelle à son savoir-faire pour générer des solutions qui répondent aux spécifications de cahier des charges. La validation de certaines caractéristiques passe par le développement d'un prototype physique et par une batterie de tests. Pour certaines caractéristiques, telle que la fiabilité, qui s'exprime par la probabilité que le produit réalise la fonction pour laquelle il a été conçu dans des conditions données et dans un intervalle de temps donné, le processus de validation peut nécessiter un nombre important de prototypes physiques pour affirmer que la caractéristique est satisfaite avec un niveau de confiance donné. Le processus de validation peut se révéler coûteux et matériellement non réalisable pour un programme de mise en marché du produit. Ce mémoire propose une démarche et des outils qui permettent au concepteur de comprendre les mécanismes de défaillance des composants du produit, afin de réduire leur impact sur la tenue de ce dernier et enfin d'évaluer la probabilité de défaillance ou du bon fonctionnement

Développement de méthodologies de conception et validation pour le développement de produits et composants structuraux

Le présent projet de recherche est dédié à la formalisation et à l'intégration des méthodologies de conception et validation à la phase de conception détaillée, afin de favoriser les échanges de connaissances entre les acteurs impliqués dans le processus de développement de produits. La conception détaillée implique des interactions entre trois éléments : la géométrie, les matériaux et les chargements. Conséquemment, dans le cadre de cette thèse qui intègre plusieurs articles, les liens entre ces trois éléments seront formalisés au niveau des méthodologies de conception. Plus spécifiquement, les méthodologies de conception proposées seront centrées sur la phase de conception détaillée. En effet, dans la littérature existante, peu d'articles s'attardent à décrire les processus itératifs selon lesquels un concept est développé en produit dans le respect des critères de conception mentionnés dans le cahier de charges et tout en gardant le lien avec les connaissances disciplinaires et les outils d'assistance actuels. Il faudra donc envisager des méthodologies de conception détaillée qui cibleront plusieurs critères de conception et qui s'adapteront à divers types de produits. À l'étape de conception détaillée, dans le cadre du processus de développement de produits, il faudra également intégrer l'optimisation et la validation de produits. Les activités d'optimisation permettent de trouver une ou plusieurs combinaisons de paramètres maximisant ou minimisant un critère de conception donné, tandis que les activités de validation fournissent une rétroaction au concepteur, afin de vérifier l'exactitude des calculs réalisés et l'atteinte de tous les critères de conception. L'application d'une décomposition des étapes représente une stratégie qui sera utilisée pour le développement de méthodologies de conception et de validation de produits. Les sous-étapes qui en résulteront seront plus faciles à accomplir et à gérer. Qui plus est, les sous-étapes peuvent interagir entre elles, donc les concepteurs doivent s'assurer que la solution obtenue suite à une étape ne viole pas les hypothèses ou les contraintes d'une autre sous-étape complémentaire. La méthodologie de conception et de validation de produits structuraux, qui en a résulté suite à ce programme de recherche, a été appliquée en milieu industriel dans le but de prouver sa contribution au développement de ce type des produits. Un des gains les plus importants apportés par cette méthodologie c'est qu'on a réussi à réduire le nombre d'itérations au niveau de l'étape de validation expérimentale tout en assurant la rétroaction sur les besoins du client et sur les spécifications du produit. Cette réduction du nombre d'itération au niveau de la validation expérimentale sera transposée également dans une réduction du temps de validation. Finalement, suite à l'application de la nouvelle approche méthodologique, on a été en mesure de développer une composante structurale qui devrait respecter plusieurs critères à la fois et de déterminer d'une manière scientifique sa durée de vie tout en minimisant son surdimensionnement

Expérimentation d’une démarche et d’instruments de reconnaissance des acquis expérientiels en enseignement collégial au Québec

Cet article présente une innovation qui consiste à implanter un dispositif de reconnaissance des acquis expérientiels permettant l’octroi de crédits dans le cadre d’un programme de Maîtrise en enseignement au collégial. L’innovation, réalisée selon une méthodologie de recherche de développement, a permis la conception et la mise à l’essai 1) d’un dispositif de formation et d’accompagnement pour la rédaction d’un portfolio exigé lors d’une demande de reconnaissance des acquis expérientiels et 2) d’un processus et d’instruments de validation des acquis expérientiels en enseignement collégial. L’article présente les deux volets : le contexte, les objectifs, les expérimentations et les résultats obtenus (matériel produit et évaluation des participants).This article presents an innovation regarding the introduction of an experiential knowledge recognition mechanism (RA) granting credits in a master’s degree program in college education. This innovation, applied within a research development approach, has two parts : 1) conception and experimentation of a method for training and assisting teachers in writing a portfolio supporting an experiential knowledge request and 2) conception and experimentation of a process and of tools for the recognition of experiential knowledge in college education. This article introduces the two parts : context, goals, experimentation and achieved results (material produced and participant evaluation).Este artículo presenta una innovación que consiste en implementar un dispositivo de homologación de las competencias experienciales con el fin de otorgar créditos en el marco de un programa de Maestría en enseñanza a nivel colegial. La innovación, realizada según una metodología de investigación de desarrollo, ha permitido concebir y poner a prueba 1) un dispositivo de formación y de acompañamiento para la redacción de un portafolio exigido al realizar una solicitud de homologación de competencias experienciales y 2) un proceso e instrumentos de validación de las competencias experienciales en enseñanza colegial. El artículo presenta cada uno de los dos aspectos : el contexto, los objetivos, las experimentaciones y los resultados conseguidos (material producido y evaluación de los participantes)

Du co-développement à la co-innovation - Analyse empirique des coopérations verticales en conception innovante

Le secteur automobile est soumis depuis des décennies à deux tendances continues et a priori contradictoires : d'une part un mouvement de spécialisation / concentration qui tend à désintégrer la filière ; d'autre part une compétition par l'innovation où l'intégration des équipes de conception est un atout décisif. Entre les deux s'expérimentent des cadres de coopération alliant compétition et coopération. Les années 1990 ont vu le déploiement du modèle de co-développement, qui avait pour cadre les développements de nouveaux véhicules. Aujourd'hui, la question de l'innovation plus radicale dessine un nouveau challenge pour les relations entre constructeurs et fournisseurs. L'apport des fournisseurs y est décisif car c'est aujourd'hui eux qui maîtrisent les technologies clés. Mais le cadre de codéveloppement est inadapté pour ces coopérations amont plus ouvertes à de nouveaux entrants, moins finalisées et plus risquées que la coopération sur des développements véhicule. L'objet de cet article est de caractériser la dynamique des relations constructeurs – fournisseurs en conception innovante. Ceci nous amènera d'abord à préciser un modèle de coinnovation idéal-typique, en montrant les différences avec le modèle de co-développement. Il s'agira ensuite de présenter un cadre analytique permettant d'analyser empiriquement les processus de co-innovation et d'évaluer leur performance. Une fois ce référentiel posé, nous appliquerons ce cadre d'analyse sur deux parcours correspondants à la même innovation, développée par un constructeur européen (EASYCAR) et un constructeur asiatique (NIPCAR). La confrontation des cas et du dispositif analytique permet de dégager les caractéristiques de la dynamique de co-innovation, en montrant notamment la variété des processus de coopération sur les innovation, et leurs profils de performance associés

Ingénierie des exigences et conception des systèmes d'aéronefs

16 pages; Cet article a reçu le prix de la meilleure communication de la conférence AFIS 2009 dans la catégorie "contribution à l'Ingénierie Système"Le but de cet article est de proposer un cadre de conception des systèmes complexes aussi cohérent et complet que possible qui permette à la fois : (1) d'intégrer les activités de développement et les activités d'évaluation de la sûreté, (2) de satisfaire aux exigences émises par les autorités de certification telles que la l'EASA et FAA , (3) de répondre à des standards tels que l'ED-79/ARP 4754 [9], la ED-80/DO-254 [10], ou la ED-12/DO-178B [8], (4) de préparer la voie à une ingénierie des systèmes aéronautiques basée sur des modèles qui est encore en cours d'élaboration. Dans un premier temps, nous rappelons un certain nombre de résultats concernant l'ingénierie des exigences que nous avons publié dans un article [14] du " Journal of Systems Engineering " en 2008. Dans un second temps, nous présentons les éléments architecturaux du processus d'ingénierie tel qu'il est présenté par le standard EIA-632 [3]. Nous l'adoptons comme cadre de notre travail. Dans un troisième temps, nous montrons comment il est possible d'étendre le cadre proposé par l'EIA-632 pour y intégrer nos propositions relatives à l'ingénierie des exigences, et de rendre compte des différents attendus exprimés dans les réglementations et standards aéronautiques

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

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

Médiation et connaissances coopératives dans un EIAH

Au cours de notre travail sur la conception d'une méthodologie de développement de systèmes de médiation destinés à des systèmes complexes (coopératifs et/ou distribués), tels que les EIAH, nous avons montré la nécessité de disposer de nombreuses connaissances. Ces connaissances sont de 2 natures : des connaissances statiques, sur le domaine par exemple, et des connaissances acquises pendant l'utilisation coopérative du système, notamment la mémoire des activités et les descriptions des actes de résolutions de problèmes. Pour illustrer cette modélisation de connaissances, nous nous intéresserons aux activités coopératives de suivi, de gestion et d'évaluation de projets d'étudiants, assistées par l'outil iPédagogiqu