Le travail de la thèse porte sur la problématique de l'évolution des exigences et son analyse d'impact sur la sécurité. Au cours du développement des systèmes, les parties prenantes demandent l'application des évolutions, afin d'améliorer leurs fonctionnalités. L'occurrence d'une évolution affecte plusieurs aspects comme: la sécurité, le coût du développement et les délais. Lorsque le développement concerne un système complexe où le nombre des exigences est de l'ordre de dizaines de milliers, alors les demandes des évolutions rendent l'analyse d'impact du changement de plus en plus difficile. Malheureusement, la problématique de l'évolution des exigences n'est pas encore complètement résolue en milieu industriel. Notre étude est située dans le contexte d'ingénierie système et ingénierie des exigences, en intégrant des modèles formels et outils supports associés pour la vérification des propriétés de sécurité. La méthodologie est basée sur la norme industrielle de l'EIA-632 et sur le format VOLERE d'ingénierie des exigences en intégrant un modèle de traçabilité. De cette démarche ingénierie système, on a développé une méthodologie associée et un système d'information du processus de changement/évolution des exigences. Enfin, ce travail présente la méthodologie de la recherche d'impact lors de la demande de changement, et les outils qui supportent la méthodologie de la recherche d'impact, en se basant sur la méthode formelle (RAISE), qui nous permet d'analyser l'impact de l'évolution sur la sécurité.

La problématique centrale de la thèse est l'évaluation de l'impact de démarches utilisant la formulation de scénarios et de personnages sur les phases d'expression des besoins en conception innovante. La méthodologie de recherche mise en œuvre est une démarche empirique qui s'appuie sur l'analyse de situations de conception. Au cours du doctorat, un protocole expérimental mis en œuvre a été dupliqué trois fois dans des laboratoires partenaires. Cette recherche aboutit à un mémoire de thèse qui présente plusieurs contributions : La première contribution se situe autour de la méthodologie de recherche proposée. Le protocole d'étude empirique mis en place est original, il s'appuie sur l'état de l'art des réflexions de la communauté et sur ces démarches de recherche, et proposes des éléments nouveaux à cette réflexion en conciliant approches quantitatives et qualitatives. La seconde contribution porte sur la caractérisation de l'impact des méthodologies étudiées sur la construction d'une représentation partagée du problème de conception et de la formalisation des exigences de conception. Enfin la troisième contribution porte sur l'analyse des interactions dans les activités de conception étudiées. Les analyses identifient et qualifient les impacts des méthodes étudiées sur le contenu des interactions dans les phases amont de la conception.

Ce mémoire de thèse d'habilitation présente une synthèse des travaux de recherche et le projet de Camille Salinesi dans le domaine de l'Ingénierie des Exigences.

Notre thèse a pour objectif d’analyser et de commenter les deux premiers livres de Jacques Lavigne (1919-1999), philosophe québécois peu connu. Considéré par plusieurs comme le « premier de nos philosophes », nous considérons essentiel de faire connaître la pensée de cet auteur. Dans son premier livre, L’inquiétude humaine, Lavigne aborde le rapport de l’homme à l’inquiétude et l’influence de ce rapport sur le développement de la société. Pour ce faire, Lavigne analyse certaines « médiations symboliques », ce terme recouvrant les éléments par lesquels l’homme interprète le monde et lui donne un sens. Le second livre, L’objectivité, ses conditions instinctuelles et affectives, tente de comprendre les mécanismes d’institution du sujet qui soit écartent ce dernier de l’inquiétude et l’installent dans l’illusion, soit l’aident à accéder à une posture humble et objective face au réel. Le questionnement ultime de Lavigne concerne les exigences psychiques de l’avènement d’un sujet authentique.

Ces travaux concernent la modélisation formelle d’exigences et les interactions entre agents. Nous y avons développé un langage de modélisation pour les exigences d’un système à élaborer, KHI. En s’inspirant notamment des méthodes KAOS et TROPOS-i*, KHI synthétise les concepts essentiels relatifs aux buts et aux agents. Il permet en particulier d’exprimer la question de la capacité effective des agents à assurer la satisfaction des spécifications qui leurs sont assignées. Nous appelons cette question le problème de l’assignation. Dans KHI, nous exprimons ce problème comme la question de la satisfaction d’un certain nombre de critères de correction par un modèle. Pour donner un formalisme aux concepts de KHI et un moyen de résolution du problème de l’assignation, nous introduisons également une logique temporelle multi-agents, USL. Elle s’inspire des travaux dans le domaine, en particulier ATL*sc et SL. Comme ces derniers formalismes, elle utilise des contextes de stratégies pour exprimer des capacités d’agents à assurer la satisfaction de propriétés temporelles. Elle se distingue des autres formalismes existants principalement par deux aspects : d’abord elle utilise des stratégies non-déterministes. Nous les appelons des multi-stratégies. Nous pouvons ainsi exprimer des propriétés de raffinement entre les multi-stratégies. Par ailleurs, nous utilisons pour USL des exécutions du système qui ne sont pas nécessairement infinies. Nous pouvons alors formaliser les notions d’engagement contradictoire pour un agent et de capacités d’actions conflictuelles pour un ensemble d’agents. Nous réduisons ensuite la satisfaction des critères de correction qui expriment le problème de l’assignation dans KHI à des instances du problème de model-checking pour une version adéquate de USL, USLKHI . Nous donnons un algorithme de résolution pour ce problème, il tourne en espace polynomial. L’ensemble des concepts et des outils présentés est par ailleurs illustré par un cas d’étude décrivant des missions d’observation spatiale. / These studies relate to modeling languages for requirements engineering. The aim is to provide tools for the evaluation of agents' capacity to ensure the satisfaction of their assigned specifications (we talk of "the assignment problem"). To do so, we first develop a modeling language (Khi). Then we give a set of assignment correctness criteria for systems that are modelled as instances of Khi. We also develop a formal tool, USLKhi, for wich we solve the model checking problem. We reduce the different correctness criteria for Khi instances to instances of the model checking problem for USLKhi. Thus as a whole, our proposition enables to express, formalise and solve the assignment problem. We also illustrate the set of concepts and tools that are presented with a case study featuring spatial observation missions.

La problématique centrale de la thèse est l'évaluation de l'impact de démarches utilisant la formulation de scénarios et de personnages sur les phases d'expression des besoins en conception innovante. La méthodologie de recherche mise en œuvre est une démarche empirique qui s'appuie sur l'analyse de situations de conception. Au cours du doctorat, un protocole expérimental mis en œuvre a été dupliqué trois fois dans des laboratoires partenaires. Cette recherche aboutit à un mémoire de thèse qui présente plusieurs contributions : La première contribution se situe autour de la méthodologie de recherche proposée. Le protocole d'étude empirique mis en place est original, il s'appuie sur l'état de l'art des réflexions de la communauté et sur ces démarches de recherche, et proposes des éléments nouveaux à cette réflexion en conciliant approches quantitatives et qualitatives. La seconde contribution porte sur la caractérisation de l'impact des méthodologies étudiées sur la construction d'une représentation partagée du problème de conception et de la formalisation des exigences de conception. Enfin la troisième contribution porte sur l'analyse des interactions dans les activités de conception étudiées. Les analyses identifient et qualifient les impacts des méthodes étudiées sur le contenu des interactions dans les phases amont de la conception. / In this study, we are more concerned with the early stages of the new product design: the product definition phase. The fundamental purpose of this phase is to gather right kind of information in a way that allows the formalization of stakeholder needs into a set of requirements. Literature review on this phase shows the difficulty to elicit needs of so called intended users and have a shared understanding of their requirements between design actors. To overcome these obstacles, support methods can be used. However, the appropriateness and effectiveness of the various methods is unknown. Our assumption in this research project is that scenarios and personas can be used as support methods to handle above-mentioned obstacles. An experiment is designed and conducted in a laboratory environment in order to test this assumption. The question of whether they have an impact on the creation of shared understanding between design actors is discussed under two sub-categories: perspective clarification and convergence to a common perspective. On the other hand, their impact on the elicitation of the intended user requirements is observed under three sub-categories: requirement elicitation, capture of the design rationale and creation of the empathy. Some qualitative and quantitative indicators are proposed to evaluate these impacts. Based on the analysis of seven observed collaborative design sessions, the findings of research study are discussed. The results points out that the major impact of these methods is that they evoke empathy for the intended users. In the groups that these methods are used the discussions are also richer regarding to the number of different needs are addressed. Moreover, these methods are also promising to keep the trace of design rationale. However design actors have tendency to accept them just as communication support, rather than documentation one. As a communication support they help design actors to clarify their arguments, to negotiate and to take decisions. However, the findings were not adequate to conclude that they have a significant impact on the perspective clarification and convergence. Hence, the main contribution of this research lies from one part in the evaluation of the impacts of these methods in requirement elicitation activity. And, in other part description of a research approach, which guides the experimental study in engineering design.

Les rapports entre créanciers et débiteurs de sûretés sont sensibles. L’importance de l’opération garantie ajoutée au déséquilibre inhérent à la sûreté explique le contentieux foisonnant que la discipline connait. Ces rapports se retrouvent parfois perturbés par la commission d’une faute : c’est à l’étude de ce type de faute que la thèse est consacrée.Les définitions usuelles de la faute et de la sûreté ont pour trait commun l’obligation : la première est un manquement à une obligation, la seconde est une garantie de l’obligation. L’obligation se présente alors comme un instrument propice à l’analyse des comportements fautifs commis par les acteurs d’une sûreté. Plus encore, l’obligation se révèle être au fondement de la sûreté : toute garantie du crédit ne peut s’expliquer qu’en référence à cet élément.En effet, l’obligation peut se décomposer en deux rapports. Le rapport obligatoire concerne la prestation et le pouvoir de contrainte du créancier ; le rapport d’obligation marque l’assujettissement de la personne, les exigences comportementales qui l’astreignent. Seul ce second rapport est systématiquement issu d’une sûreté : les parties à une sûreté doivent, pour l’essentiel, conformer leur attitude au but de l’opération. Le rapport obligatoire constitue la perspective finale : la prestation en garantie de laquelle une sûreté a été constituée.La faute ne se manifeste toutefois pas de manière unitaire lorsqu’elle entrave une sûreté. Commise par le débiteur, elle est une altération de la chance supplémentaire de paiement reconnue au créancier. Commise par le créancier, elle consiste en une altération des chances de remboursement du débiteur de la sûreté personnelle ou en une atteinte au patrimoine du constituant d’une sûreté réelle.C’est enfin au sujet de la notion de sûreté que l’analyse de la faute révèle ses intérêts. Elle est l’occasion de suggérer une définition de la sûreté, de proposer des éléments de rationalisation du droit des sûretés mais aussi de limiter les occurrences de fautes et leurs conséquences parfois délétères. / The relations between guarantee creditors and debtors are sensitive ones. The importance of the secured transaction, added to the unbalance of the guarantee explains the abundant litigation in this field. These relations are sometimes disturbed by the commission of a fault: the purpose of this thesis is to study this type of fault.The definitions of fault and guarantee have obligation as a common feature. A fault is an obligation breach, a guarantee protects the performance of an obligation. Thus, obligation appears to be a useful tool to analyze guilty behaviours in secured credit law. Moreover, obligation turns out to be the basis of guarantee: every credit guarantee is to be explained in reference to this element.As a matter of fact, the obligation can be broken down in two links. The obligatory link is about the benefit and the creditor’s enforcement power; the obligation link corresponds to the person subjugation, the behavioural requirements that he musts respect. Only this second link is systematically generated by a guarantee: the parties must essentially comply with the aim of the transaction. The obligatory link is the final prospect: the benefit, which a guarantee was established to protect.Nevertheless, the fault doesn’t manifest itself unitarily when it hinders a guarantee. The fault of the debtor is an alteration of the creditor’s additional opportunity to be paid. The fault of the creditor can be an alteration of debtor’s ability to refund or a violation of his estate, whether it is a personal safety or a property right securing payment.Eventually, it is regarding the guarantee concept that the analysis of fault reveals its interests. This analysis is an opportunity to suggest a definition of guarantee, to propose some elements in order to rationalise secured credit law but also to reduce fault occurrences and some of their deleterious effects.STAR

Notre thèse a pour objectif d’analyser et de commenter les deux premiers livres de Jacques Lavigne (1919-1999), philosophe québécois peu connu. Considéré par plusieurs comme le « premier de nos philosophes », nous considérons essentiel de faire connaître la pensée de cet auteur. Dans son premier livre, L’inquiétude humaine, Lavigne aborde le rapport de l’homme à l’inquiétude et l’influence de ce rapport sur le développement de la société. Pour ce faire, Lavigne analyse certaines « médiations symboliques », ce terme recouvrant les éléments par lesquels l’homme interprète le monde et lui donne un sens. Le second livre, L’objectivité, ses conditions instinctuelles et affectives, tente de comprendre les mécanismes d’institution du sujet qui soit écartent ce dernier de l’inquiétude et l’installent dans l’illusion, soit l’aident à accéder à une posture humble et objective face au réel. Le questionnement ultime de Lavigne concerne les exigences psychiques de l’avènement d’un sujet authentique.

L'objectif de notre travail, qui émane d'une demande de la sous-direction Assurance Qualité du CNES (Centre National d'Études Spatiales), est d'augmenter la clarté des spécifications techniques rédigées par les ingénieurs préalablement à la réalisation de systèmes spatiaux. L'importance des spécifications (et en particulier des exigences qui les composent) pour la réussite des projets de grande envergure est en effet désormais largement reconnue, de même que les principaux problèmes liés à l'utilisation de la langue naturelle (ambiguïtés, flou, incomplétude) sont bien identifiés. Dès lors, de nombreuses solutions, plus ou moins formalisées, ont été proposées et développées pour limiter les risques d'interprétation erronée – dont les conséquences potentielles peuvent se révéler extrêmement coûteuses – lors de la rédaction des exigences.Nous voudrions définir une langue contrôlée pour la rédaction des exigences en français au CNES. L’originalité de notre démarche consiste à systématiquement vérifier nos hypothèses sur un corpus d’exigences (constitué à partir d’authentiques spécifications de projets spatiaux) à l’aide de techniques et d’outils de traitement automatique du langage existants, dans l’optique de proposer un ensemble cohérent de règles (nouvelles ou inspirées de règles plus anciennes) qui puissent ainsi être vérifiées semi-automatiquement lors de l’étape de spécification et qui soient conformes aux pratiques de rédaction des ingénieurs du CNES. Pour cela, nous nous appuyons notamment sur l’hypothèse de l’existence d’un genre textuel, que nous tentons de prouver par une analyse quantitative, ainsi que sur les notions de normalisation et normaison. Notre méthodologie combine les approches corpus-based et corpus-driven en tenant compte à la fois des règles imposées par deux autres langues contrôlées (dont l’adéquation avec des données réelles est discutée au travers d’une analyse plus qualitative) et des résultats offerts par des outils de text mining. / The aim of this work is to improve the clarity and precision of the technical specifications written in French by the engineers at CNES (Centre National d’Études Spatiales / National Centre for Space Studies) prior to the realization of space systems. The importance of specifications (and particularly of the requirements that are part of them) for the success of large-scale projects is indeed widely acknowledged; similarly, the main risks associated with the use of natural language (ambiguity, vagueness, incompleteness) are relatively well identified.In this context, we would like to propose a solution that would be used by the engineers at CNES (who are currently not asked to follow specific writing rules): in that respect, we believe that this solution should be both effective (i.e. it should significantly limit the above-mentioned risks) and not too disruptive (which would make it counterproductive). A Controlled Natural Language (CNL) – i.e. a set of linguistic rules constraining the lexicon, the syntax and the semantics – seems to be an interesting option, provided that it remains close enough to natural language. Unfortunately, the CNLs for technical writing that we have examined are not always relevant from a linguistic point of view.Our methodology for developping a CNL for requirements writing in French at CNES relies on the hypothesis of the existence of a textual genre; besides, we make use of existing Natural Language Processing tools and methods to validate the relevance of the rules on a corpus of genuine requirements written for former projects.

Cette étude a pour objectif principal d’améliorer notre compréhension de la pratique de l’analyse d’affaires (ou business analyse). Les analystes d’affaires sont souvent considérés comme incontournables pour la transformation numérique des organisations et leur survie dans la quatrième révolution industrielle. Malgré une utilité de la pratique de plus en plus reconnue par les milieux d’affaires et des initiatives pour la professionnaliser, il subsiste une opportunité d’amélioration de la définition de l’analyse d’affaires en tant que métier. En effet, les dimensions reconnues d’un métier (« rôles », « tâches », « savoir-faire » et « connaissances ») restent à explorer pour définir la composition de l’analyse d’affaires. Dans cette optique, une analyse de la littérature académique a été réalisée pour extraire les définitions de l’analyse d’affaires pour identifier et explorer ses dimensions. Les résultats démontrent, d'une part, que l'analyse d'affaires se définit comme un métier à travers cinq dimensions (« rôles », « tâches », « savoir-faire », « savoir-être » et « connaissances ») et, d'autre part, que les éléments contextuels « secteur organisationnel » et « finalité » circonscrivent sa définition en un type idéal ou en profils spécialisés. Nous espérons, avec cette recherche, enrichir les connaissances sur l’analyse d’affaires qui pourront être transférées vers les programmes académiques, les associations professionnelles et les milieux d’affaires afin de favoriser la compréhension de cette pratique ainsi que son évolution. / This study aims to improve our understanding of the practice of business analysis. Business analysts are often considered essential for the digital transformation of organizations and their survival in the fourth Industrial Revolution. Despite the utility of the practice increasingly recognized by the business community and initiatives to professionalize it, there remains an opportunity to improve the business analysis definition as an occupation. Indeed, the recognized dimensions of a profession (“roles”, “tasks”, “know-how” and “knowledge”) remain to be explored in order to define the composition of business analysis. In this perspective, an analysis of the academic literature was conducted to extract the business analysis definitions and to identify its dimensions. The results demonstrate, on the one hand, that the business analysis is defined as an occupation through five dimensions (“roles”, “tasks”, “know-how”, “soft-skills” and “knowledge”). On the other hand, the “organizational sector” and the “purpose”, as contextual elements, can circumscribe the definition into an ideal-type or into specialized profiles. With this research, we hope to improve the knowledge of business analysis that can be transferred to academic programs, professional associations and the business community in order to promote the understanding of this practice and its evolution. / Résumé en espagnol