Responsables
- Régine Laleau
- Thomas Polacsek
Thématique scientifique
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.
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.
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 ?). En effet, qu’il s’agisse de sécurité (voir le défi La sécurité dans le développement logiciel) 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), des considérations d’explicabilité (voir le défi Génie Logiciel et Intelligence Artificielle) ou de traitements éthiques.
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 :
- 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.
- 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).
- 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.
- 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 ?)
De par sa nature, ce groupe a de nombreuses interactions avec des groupes existants dans le GDR GPL, que ce soit les GT GLIA, HiFi, IDM, MTV2, Logiciel Eco-Responsable, ainsi qu’avec d’autres GDR sur des thématiques précises :
- 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,
- 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,
- le GDR Traitement Automatique des Langues (TAL) sur les aspects traitement des exigences en langage naturel.
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) qui regroupe des acteurs industriels et universitaires 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.
