Wiki source code of GT Ingénierie Des Exigences
Last modified by Régine Laleau on 2021/02/11 10:38
Show last authors
| author | version | line-number | content |
|---|---|---|---|
| 1 | L'ingénierie des exigences (IE) constitue une activité cruciale dans la construction de systèmes. Elle couvre différentes tâches comme l'élucidation, l'analyse, la spécification, la vérification et la validation des exigences. L’IE a un rôle majeur à jouer dans la maîtrise de la complexité des systèmes. En effet, dans un monde où les systèmes sont de plus en plus complexes, de par l’augmentation constante de leur taille, leur criticité potentielle ou leur inter-connectivité grandissante, il est nécessaire de disposer d’une gestion approfondie et efficace des exigences auxquelles ces systèmes sont censés répondre. Face à ce constat, l'IE doit répondre à de nouveaux défis pour prendre en compte en particulier le caractère pluridisciplinaire des exigences ainsi que l'évolution continue et inévitable de ces mêmes systèmes. Outre le génie logiciel, l'IE est présente dans divers domaines comme l'ingénierie des systèmes complexes, incluant les systèmes cyber-physiques, (transports, énergie, aéro-spacial) et les systèmes d'information. | ||
| 2 | |||
| 3 | L'IE requiert une expertise poussée dans de nombreuses disciplines, comme la gouvernance et l'économie des entreprises, les sciences de l'ingénieur, l'ergonomie, le droit, la psychologie ou encore la linguistique. | ||
| 4 | De plus, depuis quelques années, nous voyons émerger le besoin de démontrer la conformité d’un système par rapport à une norme (voir le défi //[[Quelle argumentation pour des systèmes de confiance ?>>https://gdrgpl.myxwiki.org/xwiki/bin/download/Main/WebHome/Quelle%20argumentation%20pour%20des%20syste%CC%80mes%20de%20confiance.pdf?rev=1.1]]//). En effet, qu’il s’agisse de sécurité (voir le défi //[[La sécurité dans le développement logiciel>>https://gdrgpl.myxwiki.org/xwiki/bin/download/Main/WebHome/La%20se%CC%81curite%CC%81%20dans%20le%20de%CC%81veloppement%20logiciel.pdf?rev=1.1]]//) ou de protection des données et de la vie privée, les systèmes doivent de plus en plus se conformer à un nombre croissant de réglementations. Plus largement, dans un monde en constante évolution, où les utilisateurs ont de plus en plus d'attentes, les systèmes vont devoir démontrer qu’ils répondent à des enjeux sociétaux tels que le développement durable, l’écoénergétique (voir le défi //[[Vers des Logiciels écoresponsables : Le génie logiciel au défi de la sobriété écologique>>https://gdrgpl.myxwiki.org/xwiki/bin/download/Main/WebHome/GDR_GPL_2020___logiciels_verts.pdf?rev=1.1]]//), des considérations d’explicabilité (voir le défi //[[Génie Logiciel et Intelligence Artificielle>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20G%C3%A9nie%20Logiciel%20et%20Intelligence%20Artificielle%20%28GLIA%29/]]//) ou de traitements éthiques. | ||
| 5 | |||
| 6 | L'objectif de ce groupe est de rassembler et de faire collaborer des équipes autour de problématiques importantes liées à cette complexité croissante des systèmes. Plusieurs défis sont à relever : | ||
| 7 | |||
| 8 | * L'élucidation, la spécification et la modélisation des exigences aussi bien fonctionnelles que non fonctionnelles, en particulier la prise en compte du caractère pluridisciplinaire des exigences associées à des nouveaux types de systèmes comme les systèmes cyber-physiques. | ||
| 9 | * La vérification et la validation, formelles ou non, des exigences (voir le défi [[//Méthodes formelles pour la conception, la programmation et la vérification de systèmes critiques émergents//>>https://gdrgpl.myxwiki.org/xwiki/bin/download/Main/WebHome/FM_systemes_emergents.pdf?rev=1.1]]). | ||
| 10 | * La traçabilité des exigences, depuis leur justification et leur expression en amont jusqu'à leur réalisation dans le système construit et leur évolution dans les variantes à venir. | ||
| 11 | * L’étude du cas particulier des exigences relatives à une norme, un standard ou une réglementation et qui visent à établir la confiance dans un système (voir le défi [[//Quelle argumentation pour des systèmes de confiance ?//>>https://gdrgpl.myxwiki.org/xwiki/bin/download/Main/WebHome/Quelle%20argumentation%20pour%20des%20syste%CC%80mes%20de%20confiance.pdf?rev=1.1]]) | ||
| 12 | |||
| 13 | == Porteurs du GT == | ||
| 14 | |||
| 15 | * [[Régine Laleau>>http://lacl.u-pec.fr/laleau/]], LACL - Université Paris-Est Créteil ([[laleau@u-pec.fr>>mailto:laleau@u-pec.fr]]) | ||
| 16 | * [[Thomas Polacsek>>https://www.thomaspolacsek.net]], ONERA, Toulouse ([[Thomas.Polacsek@onera.fr>>mailto:Thomas.Polacsek@onera.fr]]) | ||
| 17 | |||
| 18 | == Animations == | ||
| 19 | |||
| 20 | * Deux journées de travail par an. Certaines réunions seront plus ciblées pour permettre la présentation de travaux de doctorants, le bilan de projets (ANR, européens, ...), la présentation des problématiques des partenaires industriels ... | ||
| 21 | * Une liste de diffusion et un site WEB d'information. | ||
| 22 | |||
| 23 | == Equipes == | ||
| 24 | |||
| 25 | Les équipes françaises académiques impliquées : | ||
| 26 | |||
| 27 | * ACES, LTCI, Telecom Paris, Institut Polytechnique de Paris, 14 personnes, représentant Dominique Blouin | ||
| 28 | * VASCO, LIG, Grenoble, représentant Yves Ledru | ||
| 29 | * LabSoC, LTCI, Telecom Paris, Institut Polytechnique de Paris, représentant Ludovic Apvrille | ||
| 30 | * SIG, IRIT, Toulouse, 5 personnes, représentante Florence Sèdes | ||
| 31 | * SM@RT, IRIT, Toulouse, 3 personnes, représentante Sophie Ebersold - Marcaillou | ||
| 32 | * Mosel-Veridis, LORIA, Nancy, 2 personnes, représentante Jeanine Souquières | ||
| 33 | * Vesontio - DISC, Institut FEMTO-ST, Besançon, représentant Bruno Tatibouët | ||
| 34 | * METHODE, SAMOVAR, Evry, représentante Amel Mammar | ||
| 35 | * Ingénierie des Données et des Modèles, LIAS, ISAE-ENSMA, Poitiers, 7 personnes, représentant Ladjel Bellatreche | ||
| 36 | * 3IA (Informatique, Image et Intelligence Artificielle), LGI2P, Alès et Montpellier, 2 personnes, représentant Thomas Lambolais | ||
| 37 | * Centre de Recherche en Informatique, Université Paris 1 Panthéon - Sorbonne, Paris, 3 personnes, représentant Camille Salinesi | ||
| 38 | * P4S, Lab-STICC, Brest, 4 personnes, représentant Fabien Dagnat | ||
| 39 | * ISID, Laboratoire CEDRIC, CNAM Paris, 3 personnes, représentante Elena Kornyshova | ||
| 40 | * ONERA, DTIS (Paris et Toulouse), 5 personnes, représentant Thomas Polacsek | ||
| 41 | * SPARKS, I3S, Sophia Antipolis, 2 personnes, représentante Mireille Blay-Fornarino | ||
| 42 | * SIGMA, LIG, Grenoble, 4 personnes, représentante Agnès Front | ||
| 43 | * SIS, Laboratoire CEDRIC, CNAM Paris, 2 personnes, représentante Nicole Levy | ||
| 44 | * LACL, Créteil, 2 personnes, représentante Régine Laleau | ||
| 45 | * TBC | ||
| 46 | |||
| 47 | Les équipes françaises industrielles impliquées : | ||
| 48 | |||
| 49 | * ClearSy, Etienne Prun | ||
| 50 | * EDF, Chatou, Thuy Nguyen | ||
| 51 | * IRT Railenium, Valenciennes, Rahma Ben Ayed | ||
| 52 | * SILAS-SAS, Champigny-sur-Marne, Jean-louis Boulanger | ||
| 53 | * Systerel, Jérémie Saives | ||
| 54 | |||
| 55 | Les équipes internationales impliquées : | ||
| 56 | |||
| 57 | * CETIC, Charleroi (Belgique), Christophe Ponsard | ||
| 58 | * Respect-IT (Belgique), Robert Darimont | ||
| 59 | * Institute of Information Service Science (ISS), Université de Genève (Suisse), Jolita Ralyté | ||
| 60 | * Département d'informatique, Faculté des sciences, Université de Sherbrooke (Canada), Marc Frappier | ||
| 61 | * ((( | ||
| 62 | ACE, Université du Québec à Montréal, Montréal (Canada), Sébastien Mosser | ||
| 63 | ))) | ||
| 64 | |||
| 65 | == Interactions == | ||
| 66 | |||
| 67 | Le groupe IE cherchera à mettre en place des liens, comme par exemple des journées de travail communes, avec d'autres groupes du GDR, notamment les GT GLIA, HiFi, IDM, MTV2, Logiciel Eco-Responsable, ainsi qu’avec d’autres GDR sur des thématiques précises : | ||
| 68 | |||
| 69 | * les GDR Sécurité Informatique, Réseaux et Systèmes Distribués (RSD) et Masses de Données, Informations et Connaissances en Sciences (MaDICS) sur les exigences liées à la Sécurité Informatique et le respect de la vie privée, | ||
| 70 | * le GDR Aspects Formels et Algorithmiques de l'Intelligence Artificielle (IA) sur les exigences liées à l’apprentissage et à la V&V mais aussi à l'argumentation, | ||
| 71 | * le GDR Traitement Automatique des Langues (TAL) sur les aspects traitement des exigences en langage naturel. | ||
| 72 | |||
| 73 | L’ingénierie des exigences est une thématique qui intéresse très fortement les industriels. Il existe déjà l’association SPECIEF ([[Société pour la Promotion Et la Certification de l’Ingénierie des Exigences en langue Française>>http://specief.org/]]) qui regroupe des acteurs industriels et universitaires | ||
| 74 | de l’ingénierie des exigences et dont l’objectif est avant tout de promouvoir une pratique professionnelle de l’IE. Il sera intéressant de développer des liens entre cette association et le groupe IE. | ||
| 75 | |||
| 76 | |||
| 77 | == == | ||
| 78 | |||
| 79 | |||
| 80 | |||
| 81 |