L'ingénierie des lignes de produits est une approche utilisée pour développer une famille de produits. Ces produits partagent un ensemble de points communs et un ensemble de points de variation. Aujourd'hui, la validation est une activité disjointe du processus de développement des lignes de produits. L'effort et les moyens fournis dans les campagnes de tests de chaque produit peuvent être optimisés dans un contexte plus global au niveau de la ligne de produits. Le model-based testing est une technique de génération automatique des cas de test à partir d'un modèle d'états et de transitions construit à partir des exigences fonctionnelles. Dans cette thèse, nous présentons une approche pour tester une ligne de produits logiciels avec le model-based testing. La première contribution consiste à établir un lien entre le modèle de variabilité et le modèle de test, à l'aide des exigences fonctionnelles. La deuxième contribution est un algorithme qui extrait automatiquement un modèle de test spécifique à un produit membre de la famille de produits sous test. L'approche est illustrée par une famille de produits de tableaux de bord d'automobiles et expérimentée par un industriel du domaine aéronautique dans le cadre du projet Européen MBAT. / Software product line engineering is an approach that supports developing products in family. These products are described by common and variable features. Currently, the validation activity is disjointed from the product lines development process. The effort and resources provided in the test campaigns for each product can be optimized in the context of product lines. Model-based testing is a technique for automatically generating a suite of test cases from requirements. In this thesis report, we present an approach to test a software product line with model-based testing. This technique is based on an algorithm that establishes the relationship between the variability model released with OVM and the test model, using traceability of functional requirements present in both formalisms. Our contribution is an algorithm that automatically extracts a product test model. It is illustrated with a real industrial case of automotive dashboards and experimented by an industrial of aeronautic domain in the MBAT European project context.

Le développement des systèmes d’information numériques et plus particulièrement les systèmes interactifs d’aide à la décision (SIAD) orientés données (Application Analytics) rencontre des échecs divers.La plupart des études montrent que ces échecs de projets de développement de SIAD relève de la phase d’analyse des besoins et des exigences. Les exigences qu'un système doit satisfaire sont insuffisamment définies à partir de besoins réels des utilisateurs finaux.D’un point de vue théorique, l’analyse de l’état de l’art, mais également du contexte industriel particulier, conduit donc à porter une attention particulière à cette phase et à élaborer une approche collaborative d’analyse des besoins et des exigences dirigée par les problèmes.Un système d’aide à la décision est avant tout un système d’aide à la résolution de problèmes et le développement de ce type d’artefact ne peut donc se faire sans avoir convenablement identifié en amont les problèmes de décision auxquels font face les utilisateurs décideurs, afin d’en déduire les exigences et le type de SIAD.Cette approche, par un renversement de la primauté implicite de la solution technique par rapport à la typologie des problèmes de décision, a été explicitée et mise en œuvre pour le développement d’une Application Analytics qui a permis d’atteindre l’objectif attendu : un système efficace et qui satisfasse d’un triple point de vue technique, fonctionnel et ergonomique, ses différents utilisateurs finaux. / The design of digital information systems, especially interactive Data-Driven Decision Support System (DSS) (Analytics Application) often misses its target.Most of studies have proven that the sources of most DSS design failures are rooted in the analysis step of the users’ needs and requirements a system has to meet and comply with. From a theoretical point of view, the analysis of the state of art combined with the analysis of specific industrial contexts, leads to focus on this critical step, and consequently to develop a collaborative problem-driven requirements engineering approach.A DSS, first and foremost, is a problem solving support system. It implies that developing such an artefact cannot be performed without an adequate upstream identification of end-users’ decision problems, prior to defining the decision makers’ requirements and the appropriate type of DSS.Characterized by the reversal of the implicit primacy of technical solution versus the typology of decision problems, this approach has been elaborated and implemented to design an Analytics Application. As a result, it allowed to reach the expected objective: An effective system that meets the different end-users’ expectations from a technical, functional and ergonomic standpoint.

Toute organisation est activée par un flux physique continu et un flux décisionnel qui opèrent de symbiose pour atteindre des objectifs déterminés. Ce qui engendre l’implantation d’un système d’information fiable, opérant avec un contrôle continu et une sécurité maximale, prenant en compte le contexte interne et externe pour garder son rôle opérationnel et stratégique. Compte tenu du niveau d'exposition aux risques et de la dépendance vitale des entreprises vis-à-vis de leurs systèmes d'information, il est crucial de prêter attention aux exigences de sécurité. La réalisation d'un équilibre entre la sécurité et l'efficacité du système d’information est une tâche complexe qui exige au préalable une analyse approfondie du contexte organisationnel. Elle nécessite également l'identification, l'analyse, et la gestion des risques encourus par l’entreprise. Elle nécessite aussi la détermination des exigences de sécurité. Peu d'approches offrent un guidage permettant de dériver les exigences de sécurité à partir des risques encourus. Le but de cette thèse est de concevoir un mécanisme de guidage suggestif qui permet de dériver les exigences de sécurité à partir de l'analyse des risques. Nous proposons, pour cela, une approche fondée sur une ontologie modulaire et un ensemble de règles de correspondance. A cette fin, nous proposons le développement de quatre ontologies et un processus d'alignement entre celles-ci en utilisant des relations sémantiques cohérentes. Le processus de validation se fonde sur une étude de cas et un prototype. / Any organization is enabled by continuous physical flow and decision flow from operating symbiosis to achieve specific objectives. Which generates the implementation of a reliable information system, operating with a continuous control and maximum security, taking in to account the internal and external environment to maintain its operational and strategic role. Given the level of risk exposure and the vital dependence of companies on their information systems, it is crucial to pay attention to security requirements. Achieving a balance between the security and effectiveness of the information system is a complex task requiring an in-depth analysis of the organizational context. It also requires the identification, analysis, and management of the risks incurred by the company. It also requires the determination of security requirements. Few approaches offer guidance to derive security requirements from the risks involved. The aim of this thesis is to design a suggestive guiding mechanism that allows to derive the security requirements from the risk analysis. We propose an approach based on a modular ontology and a set of correspondence rules. To achieve, we propose the development of four ontologies and an alignment process between then using consistent semantic relationships. The validation process is based on a case study and a prototype.

L’objectif principal de l’ingénierie des systèmes est la création d’un ensemblede produits et des services de haute qualité qui permettent l’accomplissement de tâchespour répondre aux besoins des clients. Un projet typique d’ingénierie des systèmes peutêtre divisé en trois phases : la définition, le développement et le déploiement. La phasede définition comprend les activités de capture des exigences et de leur raffinement. Àla fin de la phase de définition du système, nous avons toutes les exigences fonctionnelleset non-fonctionnelles du système. L’un des résultats de la phase de développement est lemodèle de travail initiale du système. La phase de déploiement se compose des activitésliées à (1) l’évaluation opérationnelle du système, à (2) l’utilisation du système et à (3) sonentretien. Dans un cycle de vie du projet, il y a de nombreuses questions qui doivent êtretraitées au cours des différentes phases pour finalement livrer un produit.Nous avons proposé une solution aux problèmes liés à l’ingénierie des exigences et auxtechniques de la détection, de la gestion et de la résolution des conflits entre les partiesprenantes. Cette thèse est basée sur les dernières avancées dans les pratiques industrielleset de recherche dans le domaine de l’ingénierie de conception du système.L’objectif de ce travail de thèse est de proposer une méthodologie de conception novatriceet globale en tenant compte de l’environnement multidisciplinaire et de multiplesintervenants. Nous avons proposé un langage de modélisation des exigences basé sur lestechniques GORE. Nous avons proposé quelques outils pour réduire l’ambiguïté des exigencestels l’utilisation de phrases négatives et de tests á l’aide de négation lorsqu’il s’agitde traiter certaines exigences difficiles à comprendre avec les techniques classiques. Nousavons également proposé des techniques de gestion des exigences pour mieux assurer leurtraçabilité. Concernant la résolution des conflits, nous avons proposé des techniques depondération des critères au cours des différentes étapes du cycle de vie. En utilisant lamême technique de pondération de critères, une méthode de décision multicritères et multiparticipants est proposée pour divers problèmes de décision survenant pendant le cycle devie du projet d’ingénierie systèmes.Enfin, une approche globale de l’ingénierie des systèmes est proposée pour intégrertoutes les contributions faites précédemment et est illustrée sur une étude de cas concernantun projet réel avec la présentation dŠun outil SysEngLab que nous avons développé pourmettre en oeuvre la majorité des méthodes et des techniques proposées au cours de thèse / The primary goal of the systems engineering is the creation of a setof high quality products and services that enable the accomplishment of desiredtasks and needs of the clients or user groups. A typical systems engineering projectcan be divided in to three phases: definition, development, and deployment. Thedefinition phase involves the activities of requirement elicitation and refinement.By the end of system definition phase, we have all the system functional and nonfunctionalrequirements. One of the results of development phase is initial workingmodel of the system. The deployment phase consists of activities of operationalimplementation, operational testing and evaluation, and operational functioning andmaintenance. In a project life cycle there are numerous issues to be sorted out duringthe various phases to finally deliver a successful product. We proposed solution tothe problems of requirements engineering & management, design conflict detection,and stakeholders conflict resolution. This thesis is based on the recent advances inindustrial practices and research in the field of system design engineering.The objective of this thesis work is to propose an innovative and holistic conceptionmethodology taking into account the multidisciplinary environment and multiplestakeholders. We have proposed a requirements modeling language based on theGORE techniques. We have proposed a few of tools for reducing the ambiguity ofrequirements such as: using negation and test cases using negation for contractingdifficult requirements. Requirement management techniques are proposed to providebetter requirements traceability and aid for other systems engineering activities.Few guidelines have been designed to guide the design of traceability policies. Criteriaweighting technique has been designed to better carry out the conflict resolutions,during the various life cycle stages. Using the same criteria weighting technique aflexible multi criteria multi participant decision methodology is proposed for variousdecision problems arising during the life cycle of systems engineering project.Finally, a comprehensive prescriptive systems engineering approach is proposedusing all the previously made contributions and an illustrative case study of a realongoing project is presented developed using the supporting tool SysEngLab, whichimplements majority of the methods and techniques proposed during thesis

L'intégration de diverses technologies, notamment celles de l'informatique et l'électronique, fait que les systèmes conçus de nos jours sont de plus en plus complexes. Ils ont des comportements plus élaborés et plus difficiles à prévoir, ont un nombre de constituants en interaction plus important et/ou réalisent des fonctions de plus haut niveau. Parallèlement à cette complexification des systèmes, la compétitivité du marché mondial impose aux développeurs de systèmes des contraintes de coût et de délais de plus en plus strictes. La même course s'opère concernant la qualité des systèmes, notamment lorsque ceuxci mettent en jeu un risque en vies humaines ou un risque financier important. Ainsi, les développeurs sont contraints d'adopter une approche de conception rigoureuse pour répondre aux exigences du système souhaité et satisfaire les diverses contraintes (coût, délais, qualité, sûreté de fonctionnement,...). Plusieurs démarches méthodologiques visant à guider la conception de système sont définies par l'intermédiaire de normes d'Ingénierie Système. Notre travail s'appuie sur la norme EIA-632, qui est largement employée, en particulier dans les domaines aéronautique et militaire. Il consiste à améliorer les processus d'ingénierie système décrits par l'EIA-632, afin d'intégrer une prise en compte globale et explicite de la sûreté de fonctionnement. En effet, jusqu'à présent la sûreté de fonctionnement était obtenue par la réutilisation de modèles génériques après avoir étudié et développé chaque fonction indépendamment. Il n'y avait donc pas de prise en compte spécifique des risques liés à l'intégration de plusieurs technologies. Pour cette raison, nous proposons de nous intéresser aux exigences de Sûreté de Fonctionnement au niveau global et le plus tôt possible dans la phase de développement, pour ensuite les décliner aux niveaux inférieurs, ceci en s'appuyant sur les processus de la norme EIA-632 que nous étoffons. Nous proposons également une méthode originale de déclinaison d'exigences de sûreté de fonctionnement à base d'arbres de défaillances et d'AMDEC, ainsi qu'un modèle d'information basé sur SysML pour appuyer notre approche. Un exemple issu du monde aéronautique permet d'illustrer nos propositions.

De nos jours, il ne suffit pas de décoder pour être considéré comme alphabétisé, il faut aussi être capable de comprendre différents types de textes et d'utiliser avec efficience les informations qu'ils présentent (MELS, 2006). Le redoublement et le retard scolaire au primaire étant le plus souvent attribuables aux difficultés en lecture et en écriture et ces faiblesses se répercutant sur la réussite des élèves dans toutes les matières (Stetson et Williams, 1992), l'importance de présenter aux élèves des situations d'apprentissage complexes qui les soutiendront dans leur apprentissage par la lecture est sans équivoque. Surtout que Horton et Lovitt (1994) mentionnent que les échecs scolaires seraient étroitement liés aux difficultés que ces élèves éprouvent lorsqu'ils apprennent en lisant. Cette étude a été réalisée à partir des données collectées dans la recherche menée en 2003-2004 par Chouinard, Bowen, Cartier, Desbiens, Laurier, Plante (2005) intitulée: «L'effet de différentes approches évaluatives sur l'engagement et la persévérance scolaire dans le contexte du passage du primaire au secondaire» (Chouinard et coll., 2005). L’objectif de la présente étude était d’explorer la relation entre l’évaluation à l’aide d’examens d'enseignants de la fin du primaire et l’apprentissage par la lecture d'élèves en difficulté d'apprentissage. Pour ce faire, deux sous-objectifs ont été retenus : (1) Comparer la relation entre les deux types d’élèves (élèves ordinaires et élèves en difficulté d’apprentissage) et le processus d’apprentissage par la lecture et (2) Comparer la relation entre les niveaux d’identification d’évaluation à l’aide d’examens des enseignants et le processus d’apprentissage par la lecture. Les trois principaux concepts de la question de recherche sont la difficulté d'apprentissage, l'apprentissage par la lecture et les pratiques évaluatives, dont l’évaluation à l’aide d’examens. Une analyse des caractéristiques des 22 recherches répertoriées a permis constater que très peu de recherche traitent de la relation entre les pratiques évaluatives et le processus d'apprentissage des élèves du primaire et encore moins impliquent des élèves en difficulté d'apprentissage. ii Afin de répondre à l'objectif de la présente étude, une recherche de type exploratoire dans une approche quantitative a été retenue. Des analyses descriptives (moyennes et écart-type), suivie par une analyse multivariée de la variance (MANOVA) à deux niveaux (2x2) ont été effectuées. Ensuite, des analyses univariées ont été conduites sur les variables qui présentaient des relations significatives afin de mieux cibler ces relations. Cent six enseignants et leurs 1864 élèves ont accepté de répondre à deux questionnaires auto-déclarés : Le questionnaire sur les pratiques évaluatives (Chouinard et coll., 2005) a été utilisé auprès des enseignants. Le questionnaire sur l'apprentissage par la lecture: Lire pour apprendre de Cartier et Butler (version 2004) a été utilisé auprès des élèves. Les résultats en lien avec les objectifs de cette étude indiquent un effet d'interaction significatif entre l’identification des enseignants à l’évaluation à l’aide d’examens (forte ou faible) et les types d'élèves (élèves en difficulté d’apprentissage et élèves ordinaires). Les élèves en difficulté d’apprentissage interprètent davantage les exigences de l’activité que les élèves ordinaires lorsqu’ils sont dans ce contexte. On remarque aussi que les élèves en difficulté d’apprentissage rapportent recourir davantage aux stratégies d’encodage et de rappel que les élèves ordinaires et ce, peu importe l’identification des enseignants à l’évaluation à l’aide d’examens. Les résultats en lien avec le premier sous-objectif ont montré une relation significative entre les types d’élèves (élèves en difficulté d’apprentissage et élèves ordinaires) et le processus d’apprentissage par la lecture. Cette relation significative se situe sur l’engagement périphérique et les stratégies cognitives. Aussi, les résultats en lien avec le deuxième sous-objectif ont révélé une relation significative entre l’évaluation à l’aide d’examens et le processus d’apprentissage par la lecture. / Nowadays, it is not enough to decode to be considered as taught to read and write (alphabetized), it is also necessary to be capable of understanding various types of texts and of using with efficiency the information which they present (MELS, 2006). The redoubling and the educational underachievement in the primary school being mostly attributable to the difficulties in reading and in writing and these weaknesses echoing on the success of the pupils in all subjects (Stetson and William, 1992), the importance to present to the pupils of the situations of learning and evaluation which will support them in the learning by the reading is without ambiguity. Especially that Horton and Lovitt (1994) mentions that the academic failures would strictly be connected to the difficulties which these pupils feel when they learn by reading. This study joined within the framework of a research which was led in 2003-2004 by Chouinard, Bowen, Cartier, Desbiens, Laurier, Plante ( 2005 ) and whose title is: « The effect of various evaluative approaches on the commitment and the school perseverance in the context of the passage of the primary sector in the secondary sector» (Chouinard and coll., 2005). The present study was realized from the collection of datum of this research. The objective of research for this study was to investigate the link between teacher’s evaluative practices (tests) of the end of the primary school and the learning by reading of underachieving students. The three main concepts of the research question are the learning difficulties, learning by reading and evaluation practices. An analysis of the characteristics listed 22 research has found that very little research dealt with the link between evaluation practices and the learning process of elementary students and even fewer involve students with learning difficulties. To meet the objective of this study, an exploratory type of research in a quantitative approach was chosen. Descriptive analyses (mean and standard deviation) followed by a multivariate analysis of variance (MANOVA) with two levels (2x2) were performed for the iv evaluation practice. A hundred and six teachers and 1864 students agreed to meet two self-reported questionnaires: Le questionnaire sur les pratiques évaluatives (Chouinard and coll., 2005) was used with teachers. Le questionnaire sur l'apprentissage par la lecture: Lire pour apprendre from Cartier and Butler (2004 version) was used with students. The results of this study indicate a significant effect of interaction bet ween thes tests (strong or low) and the type of students (learning disabilities students and regular students). The students with learning disabilities interpet more the requirements of the activity than the regular students when they are in the same context. We also notice that the students with learning disabilities report to turn more to the cognitives strategies than the regular students.

Plusieurs recherches traitent de la thématique des devoirs et de son importance dans la scolarisation des enfants. En particulier, des études portent sur l’impact de la participation parentale dans l’aide aux devoirs sur le rendement scolaire des enfants. Cependant, les conclusions de ces études sont souvent contradictoires (Pattal, Cooper et Robinson, 2008). Compte tenu de la difficulté à démontrer l’existence d’une relation positive entre la participation parentale à la réalisation des devoirs à la maison et le rendement scolaire, il apparaît important de mieux comprendre le phénomène de la participation parentale. En ce sens, selon certains chercheurs, la variation de l’effet de la participation parentale sur le rendement scolaire serait due principalement à certaines caractéristiques familiales, personnelles et scolaires de l’enfant. Dans ce contexte, et pour une meilleure compréhension des facteurs associés à la participation parentale, notre étude examine la participation parentale à la réalisation des devoirs à la maison en tenant compte des caractéristiques familiales, personnelles et scolaires des enfants du primaire En premier lieu, la situation de la réalisation des devoirs à la maison est traitée et la participation parentale aux devoirs est analysée en fonction de sa fréquence, de sa durée et du climat relationnel entre l’enfant et le parent lors de ces activités à la maison. En second lieu, la participation des parents à la réalisation des devoirs est examinée en relation avec les caractéristiques familiales (scolarité des parents, revenu et structure de la famille), les caractéristiques personnelles de l’enfant (genre et rendement) et les exigences des enseignants à l’égard des devoirs. Cette recherche utilise une base de données constituée lors de deux enquêtes par questionnaire. La première concerne 192 écoles et 457 enseignants, la deuxième est menée dans 51 écoles auprès de 49 enseignants, 848 élèves de la 6e année du primaire et 521 parents. À l’aide d’analyses descriptives et inférentielles, il est possible de rendre compte des conditions de la participation parentale aux devoirs chez les élèves du primaire et d’identifier les variables familiales, personnelles et scolaires associées à la participation parentale à la réalisation des devoirs de leur enfant. Les résultats de cette étude confirment que la participation des parents à la réalisation des devoirs pourrait varier en fonction des caractéristiques familiales de l’enfant au primaire. De plus, ils montrent que le rendement scolaire de l’enfant est un facteur important à considérer pour juger de la participation parentale aux devoirs. / A considerable amount of research has been devoted to the issue of parental involvement with homework and its importance for children’s education. In particular, studies have focused primarily on how parental homework involvement affects the academic achievement of children. However, these findings are often contradictory (Pattal, Cooper et Robinson, 2008). Given the problems of finding or probing a positive link between parental involvement and academic performance, it is important to better understand this phenomenon. In this line of thought, according to some researchers, the variation of the impact of parental involvement on school performance is mainly due to variables such as family children and schools characteristics. In this context, our study devotes to analyzing the relation between parental involvement and these three factors (family, children and school) for primary school children. First, the status of homework implementation is addressed and parental involvement with homework is analyzed in terms of frequency, duration and the relational climate between parent and child during these activities at home. Second, parents’ involvement is examined in relation to family characteristics (parental education, income, and family structure), personal characteristics (gender and performance) and school characteristics (tasks and homework required by the teacher). This research uses a database from two questionnaire surveys. The first takes place in 192 schools with 457 teachers, the second is conducted in 51 schools with 49 teachers, 848 students in sixth grade and 521 parents. Using descriptive and inferential statistics, it is possible to better determine the conditions of parental involvement in homework with primary school children and to establish which variables (family, children and school) are better predictors of the conditions of parental involvement in their child's homework. The results of this study confirm that the involvement of parents in the fulfillment of homework may vary depending on the family characteristics of children in elementary school. In addition, they show that the academic performance of the child is an important consideration in assessing parental involvement with homework factor.

Cette thèse a testé un modèle explicatif de santé psychologique au travail, intégrant comme variable bipolaire, l'épuisement professionnel et le bien-être psychologique. Sur la base du Job Demands-Resources Model, des facteurs d'exigences (conflits de rôles et charge de travail) et de ressources organisationnelles (justice organisationnelle, autonomie au travail et soutien social) ont été catégorisés. Le postulat de base de ce modèle a été de prédire des effets directs et indirects des exigences et des ressources sur la santé psychologique par l'intermédiaire de l'assertivité. L'objectif était la validation prévisionnelle et transculturelle du modèle, à travers une modélisation par équations structurelles, auprès de deux échantillons comprenant des enseignants et des infirmiers français et gabonais. L'effectif total de la première vague de données regroupait 273 participants (France : N = 90 enseignants, N = 45 infirmiers ; Gabon : N = 93 enseignants, N = 45 infirmiers) et celui de la deuxième vague s'élevait à 400 participants (France : N = 108 enseignants, N = 96 infirmiers ; Gabon : N = 141 enseignants, N = 55 infirmiers). En France, les résultats démontrent que les exigences au travail agissent directement sur la santé psychologique et que leurs effets sont aussi médiatisés par l'assertivité. Les ressources, pour leur part, influencent directement la santé psychologique. Quant aux résultats du Gabon, les exigences et les ressources organisationnelles prédisent directement la santé psychologique, sans effet médiateur de l'assertivité. De plus, au sein des deux populations, l'assertivité s'est avérée être non seulement une variable salutaire au regard des conditions de travail, mais aussi un fort prédicteur de la santé psychologique au travail. / This thesis tested an explicative model of psychological well-being at work, including as a bipolar variable, burnout and psychological well-being. Based on the Job Demands-Resources Model, jobs demands (role conflict and workload) and job resources (organizational justice and social support) were categorized. The basic assumption of this model was to predict the direct and indirect effects of job demands-resources on psychological health at work through assertiveness. The goal was the previsional and transcultural validation of the model through structural equation modeling, with two samples : teachers and nurses French and Gabonese. The total of the first wave of data consisted of 273 participants (France : N = 90 teachers, N = 45 nurses ; Gabon : N = 93 teachers, N = 45 nurses) and the second wave was 400 partcicipants (France : N = 108 teachers, N = 96 nurses ; Gabon : N = 141 teachers, N = 45 nurses). In France, results demonstrate that the job demands act directly on the psychological health and their effects are also mediated by assertiveness. resources, in turn, directly affect psychological health. As for results of Gabon, job demands-resources directly predict psychological health, unmediated effect of assertiveness. In addition, in both populations, assertiveness is not only a beneficial variable compared to working conditions, but also a strong predictor of psychological health at work.

Avec la plupart des méthodes formelles, un premier modèle peut être raffiné formellement en plusieurs étapes, jusqu'à ce que le raffinement final contienne assez de détails pour une implémentation. Ce premier modèle est généralement construit à partir de la description des besoins obtenue dans la phase d'analyse des exigences. Cette transition de la phase des exigences à la phase de spécification formelle est l'une des étapes les plus délicates dans la chaîne de développement formel. En fait, la construction de ce modèle initial exige un niveau élevé de compétence et beaucoup de pratique, d'autant qu'il n'existe pas de processus bien défini pour aider les concepteurs. Parallèlement à ce problème, il s'avère également que les exigences non-fonctionnelles sont largement marginalisées dans le processus de développement logiciel. Les pratiques industrielles actuelles consistent généralement à spécifier seulement les exigences fonctionnelles durant les premières phases de ce processus et à laisser la prise en compte des exigences non-fonctionnelles au niveau de l'implémentation. Pour surmonter ces problèmes, la thèse vise à définir un couplage entre un modèle d'exigences exprimé en SysML/KAOS et des spécifications formelles abstraites, tout en garantissant une distinction entre les exigences fonctionnelles et non-fonctionnelles dès la phase d'analyse des exigences. Pour cela, la thèse propose tout d'abord deux approches différentes (l'une dédiée au B classique et l'autre à Event-B) dans lesquelles des modèles formels abstraits sont construits progressivement à partir du modèle de buts fonctionnels SysML/KAOS. La thèse se focalise par la suite sur l'approche dédiée à Event-B afin de la compléter et l'enrichir en se servant de deux autres modèles SysML/KAOS qui décrivent les buts non-fonctionnels et leurs impacts sur les buts fonctionnels. Nous présentons différentes manières permettant d'injecter ces buts non-fonctionnels et leurs impacts dans les modèles abstraits Event-B déjà obtenus. Des liens de correspondance entre les buts non-fonctionnels et les différents éléments Event-B sont également établis afin de faciliter la gestion de l'évolution de ces buts. Les différentes approches proposées dans cette thèse ont été appliquées pour la spécification du composant de localisation qui est une partie critique d'un système de transport terrestre. L'approche dédiée à Event-B est implémentée dans l'outil SysKAOS2EventB, permettant ainsi de générer une architecture de raffinement Event-B à partir d'un modèle de buts fonctionnels SysML/KAOS. Cette mise en œuvre s'appuie principalement sur les technologies de transformation de modèles à modèles / With most of formal methods, an initial formal model can be refined in multiple steps, until the final refinement contains enough details for an implementation. Most of the time, this initial model is built from the description obtained by the requirements analysis. Unfortunately, this transition from the requirements phase to the formal specification phase is one of the most painful steps in the formal development chain. In fact, building this initial model requires a high level of competence and a lot of practice, especially as there is no well-defined process to assist designers. Parallel to this problem, it appears that non-functional requirements are largely marginalized in the software development process. The current industrial practices consist generally in specifying only functional requirements during the first levels of this process and in leaving the consideration of non-functional requirements in the implementation level. To overcome these problems, this thesis aims to define a coupling between a requirement model expressed in SysML/KAOS and an abstract formal specification, while ensuring a distinction between functional and non-functional requirements from the requirements analysis phase. For that purpose, this thesis proposes firstly two different approaches (one dedicated to the classical B and the other to Event-B) in which abstract formal models are built incrementally from the SysML/KAOS functional goal model. Afterwards, the thesis focuses on the approach dedicated to Event-B in order to complete it and enrich it by using the two other SysML/KAOS models describing the non-functional goals and their impact on functional goals. We present different ways to inject these non-functional goals and their impact into the obtained abstract Event-B models. Links of correspondance between the non-functional goals and the different Event-B elements are also defined in order to improve the management of the evolution of these goals. The different approaches proposed in this thesis have been applied to the specification of a localization component which is a critical part of a land transportation system. The approach dedicated to Event-B is implemented in the SysKAOS2EventB tool, allowing hence the generation of an Event-B refinement architecture from a SysML/KAOS functional goal model. This implementation is mainly based on the model-to-model transformation technologies

Dans un processus de conception centré sur l'utilisateur, les artefacts évoluent par cycles itératifs jusqu'à ce qu'ils répondent aux exigences des utilisateurs et deviennent ensuite le produit final. Chaque cycle donne l'occasion de réviser la conception et d'introduire de nouvelles exigences qui pourraient affecter les artefacts qui ont été définis dans les phases de développement précédentes. Garder la cohérence des exigences dans tels artefacts tout au long du processus de développement est une activité lourde et longue, surtout si elle est faite manuellement. Actuellement, certains cadres d'applications implémentent le BDD (Développement dirigé par le comportement) et les récits utilisateur comme un moyen d'automatiser le test des systèmes interactifs en construction. Les tests automatisés permettent de simuler les actions de l'utilisateur sur l'interface et, par conséquent, de vérifier si le système se comporte correctement et conformément aux exigences de l'utilisateur. Cependant, les outils actuels supportant BDD requièrent que les tests soient écrits en utilisant des événements de bas niveau et des composants qui n'existent que lorsque le système est déjà implémenté. En conséquence d'un tel bas niveau d'abstraction, les tests BDD peuvent difficilement être réutilisés avec des artefacts plus abstraits. Afin d'éviter que les tests doivent être écrits sur chaque type d'artefact, nous avons étudié l'utilisation des ontologies pour spécifier à la fois les exigences et les tests, puis exécuter des tests dans tous les artefacts partageant les concepts ontologiques. L'ontologie fondée sur le comportement que nous proposons ici vise alors à élever le niveau d'abstraction tout en supportant l'automatisation de tests dans des multiples artefacts. Cette thèse présente tel ontologie et une approche fondée sur BDD et les récits utilisateur pour soutenir la spécification et l'évaluation automatisée des exigences des utilisateurs dans les artefacts logiciels tout au long du processus de développement des systèmes interactifs. Deux études de cas sont également présentées pour valider notre approche. La première étude de cas évalue la compréhensibilité des spécifications des récits utilisateur par une équipe de propriétaires de produit (POs) du département en charge des voyages d'affaires dans notre institut. À l'aide de cette première étude de cas, nous avons conçu une deuxième étude pour démontrer comment les récits utilisateur rédigés à l'aide de notre ontologie peuvent être utilisées pour évaluer les exigences fonctionnelles exprimées dans des différents artefacts, tels que les modèles de tâche, les prototypes d'interface utilisateur et les interfaces utilisateur à part entière. Les résultats ont montré que notre approche est capable d'identifier même des incohérences à grain fin dans les artefacts mentionnés, permettant d'établir une compatibilité fiable entre les différents artefacts de conception de l'interface utilisateur. / In a user-centered design process, artifacts evolve in iterative cycles until they meet user requirements and then become the final product. Every cycle gives the opportunity to revise the design and to introduce new requirements which might affect the artifacts that have been set in former development phases. Keeping the consistency of requirements in such artifacts along the development process is a cumbersome and time-consuming activity, especially if it is done manually. Nowadays, some software development frameworks implement Behavior-Driven Development (BDD) and User Stories as a means of automating the test of interactive systems under construction. Automated testing helps to simulate user's actions on the user interface and therefore check if the system behaves properly and in accordance with the user requirements. However, current tools supporting BDD requires that tests should be written using low-level events and components that only exist when the system is already implemented. As a consequence of such low-level of abstraction, BDD tests can hardly be reused with more abstract artifacts. In order to prevent that tests should be written to every type of artifact, we have investigated the use of ontologies for specifying both requirements and tests once, and then run tests on all artifacts sharing the ontological concepts. The resultant behavior-based ontology we propose herein is therefore aimed at raising the abstraction level while supporting test automation on multiple artifacts. This thesis presents this ontology and an approach based on BDD and User Stories to support the specification and the automated assessment of user requirements on software artifacts along the development process of interactive systems. Two case studies are also presented to validate our approach. The first case study evaluates the understandability of User Stories specifications by a team of Product Owners (POs) from the department in charge of business trips in our institute. With the help of this first case study, we designed a second one to demonstrate how User Stories written using our ontology can be used to assess functional requirements expressed in different artifacts, such as task models, user interface (UI) prototypes, and full-fledged UIs. The results have shown that our approach is able to identify even fine-grained inconsistencies in the mentioned artifacts, allowing establishing a reliable compatibility among different user interface design artifacts.