Méthodologie et outils formels pour la génération et l'analyse de scénarios prospectifs : application aux futurs possibles de l'aviation ; Methodology and formal tools for the generation and analysis of foresight scenarios : application to possible air transportation futures
Titel:
Méthodologie et outils formels pour la génération et l'analyse de scénarios prospectifs : application aux futurs possibles de l'aviation ; Methodology and formal tools for the generation and analysis of foresight scenarios : application to possible air transportation futures
Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
Cette thèse s’inscrit dans le domaine de la prospective. Elle consiste à développer uneméthode formelle de scénarios pour un système d’acteurs, afin en particulier de réduireles biais inhérents à la construction manuelle de scénarios. Un cas d’étude relatif ausystème de transport aérien, qui fait l’objet de nombreux questionnements aujourd’hui,a été mis en place. Un modèle formel proposé inclut les notions de système et de sescomposantes -acteurs, principes, variables, et les éléments permettant l’évolution de cesystème -décisions, conflits logiques, conflits moraux. Ce modèle est mis en œuvre sousla forme d’un outil de génération automatique et exhaustive de scénarios et d’outilsd’analyse, dont nous en illustrons le fonctionnement sur le cas d’étude. L’analyse desscénarios générés met en lumière les stratégies qui doivent être mises en place par l’utilisateur pour atteindre ses objectifs ou éviter des conflits. Finalement, nous discutonsdes éléments de validation de notre méthode mais aussi des hypothèses, de l’effet surles biais et des possibilités de gestion de la complexité et enfin des possibles cas d’usagede notre outil. ; This thesis focuses on the field of foresight. It aims to devise a formal scenario methodfor a system of actors, specifically geared towards mitigating biases inherent in manually constructing scenarios. The research includes a case study, investigating the airtransport system, a domain currently facing numerous questions. The proposed formalmodel incorporates the concepts of a system and its components -actors, principles,variables- and the factors that drive its evolution -decisions, logical conflicts and moralconflicts. To achieve this, an automated and exhaustive scenario generation tool, alongwith analysis tools, have been developed and illustrated using the case study. Theanalysis of the generated scenarios highlights the strategies required to achieve userobjectives or avoid conflicts. Finally, we discuss the validation aspects of our method,as well as hypotheses, bias ...