Les systèmes embarqués sur puce (SoC) envahissent notre vie quotidienne. Avec les progrès technologiques, ils intègrent de plus en plus de fonctionnalités complexes impliquant des charges de calcul et des tailles de mémoire importantes. Alors que leur complexité est une tendance clé, la consommation d’énergie est aussi devenue un facteur critique pour la conception de SoC. Dans ce contexte, nous avons étudié une approche de modélisation au niveau transactionnel qui associe à un modèle fonctionnel SystemC-TLM une description d’une structure de gestion d’un arbre d’horloge décrit au même niveau d’abstraction. Cette structure développée dans une approche de séparation des préoccupations fournit à la fois l’interface pour la gestion de puissance des composants matériels et pour le logiciel applicatif. L’ensemble des modèles développés est rassemblé dans une librairie ClkARCH. Pour appliquer à un modèle fonctionnel un modèle d’un arbre d’horloge, nous proposons une méthodologie en trois étapes : spécification, modélisation et simulation. Une étape de vérification en simulation est aussi considérée basée sur des contrats de type assertion. De plus, nos travaux visent à être compatibles avec des outils de conception actuels. Nous avons proposé une représentation d’une structure de gestion d’horloge et de puissance dans le standard IP-XACT permettant de produire les descriptions C++ des structures de gestion de puissance du SoC. Enfin, nous avons proposé une approche de gestion de puissance basée sur l’observation globale des états fonctionnels du système dans le but d’éviter ainsi des prises de décisions locales peu efficaces à une optimisation de l’énergie. / Embedded systems-on-chip (SoC) invade our daily life. With advances in semiconductor technology, these systems integrate more and more complex and energy-intensive features which generate increasing computation load and memory size requirements. While the complexity of these systems is a key trend, energy consumption has emerged as a critical factor for SoC designers. In this context, we have studied a modeling transactional level approach allowing a description of a clock tree and its management structure to be associated with a functional model, both described at the same abstraction level. This structure developed in a separation of concerns approach provides both the interface to the power consumption management of the hardware components and the application software. All the models developed are gathered in a C++ ClkArch library. To apply to a SystemC-TLM architecture model a clock tree intent with its control part, we propose a methodology based on three steps: specification, modeling and simulation. A verification step based on simulation is also considered using contracts of assertion type. This work aims to build a modelling approach on current design tools. So we propose a representation of a clock and power management structure in the IP-XACT standard allowing a C++ description of the SoC power management structures to be generated. Finally, a power management strategy based on the global functional states of the components of the system architecture is proposed. This strategy avoids local decision-making unsuited to optimized overall power/energy management.

Sous le régime du Code civil du Bas-Canada, le devoir d’exécuter le contrat de bonne foi était une condition implicite de tout contrat suivant l’article 1024 C.c.B.C. Le 1er janvier 1994, ce devoir a toutefois été codifié à l’article 1375 du Code civil du Québec. Parallèlement à ce changement, le contrat a subi plusieurs remises en question, principalement en raison des critiques émises contre la théorie de l’autonomie de la volonté. En réponse à ces critiques, la doctrine a proposé deux théories qui supposent une importante coopération entre les contractants durant l’exécution du contrat, à savoir le solidarisme contractuel et le contrat relationnel. La notion de bonne foi a aussi évolué récemment, passant d’une obligation de loyauté, consistant généralement en une abstention ou en un devoir de ne pas nuire à autrui, à une obligation plus active d’agir ou de faciliter l’exécution du contrat, appelée devoir de coopération. Ce devoir a donné lieu à plusieurs applications, dont celles de renseignement et de conseil. Ce mémoire étudie la portée et les limites du devoir de coopération. Il en ressort que le contenu et l’intensité de ce devoir varient en fonction de critères tenant aux parties et au contrat. Une étude plus particulière des contrats de vente, d’entreprise et de franchise ainsi que des contrats conclus dans le domaine informatique indique que le devoir de coopération est plus exigeant lorsque le contrat s’apparente au contrat de type relationnel plutôt qu’au contrat transactionnel. Le créancier peut, entre autres choses, être obligé d’« aider » son débiteur défaillant et même de renégocier le contrat devenu déséquilibré en cours d’exécution, bien que cette dernière question demeure controversée. Le devoir de coopération n’est cependant pas illimité parce qu’il s’agit d’une obligation de moyens et non de résultat. Il est également limité, voire inexistant, lorsque le débiteur de cette obligation est tenu à d’autres obligations comme un devoir de réserve ou de non-ingérence, lorsque le cocontractant est de mauvaise foi ou qu’une partie résilie unilatéralement le contrat ou décide de ne pas le renouveler. / The duty of good faith in the performance of the contract was an implied condition of any contract under article 1024 of the Civil Code of Lower Canada. On January 1st 1994, however, this duty was codified at article 1375 of the Civil Code of Québec. In parallel to this change, the traditional understanding of “contract” based on the doctrine of the autonomy of the parties has come to be challenged. In response to this critique, two theories emphasizing the importance of collaboration between contractual parties during the performance of a contract have been suggested, namely, “contractual solidarism” and “relational contract” have been suggested. The notion of “good faith” has also recently evolved. It was originally limited to a duty of loyalty, consisting mainly in an abstention or in the duty not to harm anyone. Today, good faith also refers to a more active obligation which may require a party to act or to facilitate the performance of the contract. This general “duty to cooperate”, as it is called, has given rise to many applications, including the duty to inform or to advise. This paper examines the extent and limits of the duty of the contracting parties to cooperate during the performance of the contract. The content and intensity of this duty are influenced by factors pertaining to the characteristics of the contract or the contracting parties. Our study of the Québec jurisprudence focused on contracts of sale, contracts of enterprise, franchise agreements and contracts in the field of computers. It suggests that the duty of the parties to cooperate is greater in relational contracts than in transactional ones. For example, the creditor may, inter alia, be bound to “help” its defaulting debtor or to renegotiate the agreement when an unforeseen event has changed the initial contractual equilibrium. However, this last issue is still highly controversial. This duty to cooperate is not itself without limits. Firstly, it is an obligation of means, not one of result. It is also limited, even inexistent, when the debtor is bound by other duties such as a duty of “reserve” or of non-interference, when the other party is acting in bad faith or when a party unilaterally terminates a contract or does not renew it.

L'objet de la thèse est la modélisation de systèmes hétérogènes intégrant différents domaines de la physique et à signaux mixtes, numériques et analogiques (AMS). Une étude approfondie de différentes techniques d'extraction et de calibration de modèles comportementaux de composants analogiques à différents niveaux d'abstraction et de précision est présentée. Cette étude a mis en lumière trois approches principales qui ont été validées par la modélisation de plusieurs applications issues de divers domaines: un amplificateur faible bruit (LNA), un capteur chimique basé sur des ondes acoustiques de surface (SAW), le développement à plusieurs niveaux d'abstraction d'un capteur CMOS vidéo, et son intégration dans une plateforme industrielle. Les outils développés sont basés sur les extensions AMS du standard IEEE 1666 SystemC mais les techniques proposées sont facilement transposables à d'autres langages tels que VHDL-AMS ou Verilog-AMS utilisés en conception de dispositifs mixtes.

No description available.

L’objet de la thèse est la modélisation de systèmes hétérogènes intégrant différents domaines de la physique et à signaux mixtes, numériques et analogiques (AMS). Une étude approfondie de différentes techniques d’extraction et de calibration de modèles comportementaux de composants analogiques à différents niveaux d’abstraction et de précision est présentée. Cette étude a mis en lumière trois approches principales qui ont été validées par la modélisation de plusieurs applications issues de divers domaines: un amplificateur faible bruit (LNA), un capteur chimique basé sur des ondes acoustiques de surface (SAW), le développement à plusieurs niveaux d’abstraction d’un capteur CMOS vidéo, et son intégration dans une plateforme industrielle. Les outils développés sont basés sur les extensions AMS du standard IEEE 1666 SystemC mais les techniques proposées sont facilement transposables à d’autres langages tels que VHDL-AMS ou Verilog-AMS utilisés en conception de dispositifs mixtes. / The thesis objective is the modeling of heterogeneous systems. Such systems integrate different physical domains (mechanical, chemical, optical or magnetic) therefore integrate analog and mixed- signal (AMS) parts. The aim is to provide a methodology based on high-level modeling for assisting both the design and the verification of AMS systems. A study on different techniques for extracting behavioral models of analog devices at different abstraction levels and computational weights is presented. Three approaches are identified and regrouped in three techniques. These techniques have been validated through the virtual prototyping of different applications issued from different domains: a low noise amplifier (LNA), a surface acoustic wave-based (SAW) chemical sensor, a CMOS video sensor with models developed at different abstraction levels and their integration within an industrial platform. The flows developed are based on the AMS extensions of the SystemC (IEEE 1666) standard but the methodologies can be implemented using other Analog Hardware Description Languages (VHDL-AMS, Verilog-AMS) typically used for mixed-signal microelectronics design.

La méthodologie de l’évaluation en psychothérapie s’est longtemps limitée aux résultats issus d’essais cliniques comparatifs de groupes. L’objectif, engagé dans les années 2000, de comprendre ce qui cause son efficacité a engagé un renouvellement méthodologique. Son application concrète est peu documentée. La première partie présente, à partir d’une revue de la littérature centrée sur l’introduction de la recherche sur le processus associée aux résultats, comment le paradigme interactionnel multifactoriel de la psychothérapie a stimulé le développement de méthodes adaptées à la complexité et à l’observation en conditions naturelles. La seconde partie introduit autour de cinq axes principaux les questions méthodologiques générales et spécifiques de cette nouvelle orientation : 1. une épistémologie interactionnelle et transactionnelle ; 2. Un recentrage sur les études mixtes intensives de cas ; 3. Une investigation clinique et théorique multifocale des processus et mécanismes de changement ; 4. une forte relation clinicien-chercheur ; 5. une approche statistique innovante. La troisième partie expose l’expérience et les questions soulevées par la mise en œuvre de ce programme dans le cadre d’un réseau de recherche clinique centré sur les pratiques, du recueil des données jusqu’à l’analyse des processus et mécanismes de changement, et les résultats qui en sont issus. La quatrième partie présente une revue détaillée de la littérature. Ce travail devrait favoriser les collaborations avec les disciplines connexes et l’efficience des traitements par une meilleure connaissance des conditions et des mécanismes de changement associée au développement d’une base de données issue d’études de cas. / The methodology of assessment in psychotherapy has long been limited to results from comparative group clinical trials. The objective, expressed in the 2000s, to understand what is causing its effectiveness has involved a methodological renewal. Its concrete application is poorly documented. The first part presents, from a review of the literature focusing on the introduction of research on the process associated with outcomes, how the multifactorial interactional paradigm of psychotherapy has stimulated the development of methods adapted to the complexity and observation in natural conditions. The second part introduces the general and specific methodological questions of this new orientation around five main axes: 1. an interactional and transactional epistemology; 2. A refocusing on intensive mixed case studies; 3. A multifocal clinical and theoretical investigation of the processes and mechanisms of change; 4. a strong clinical-researcher relationship; 5. an innovative statistical approach. The third part presents the experience and issues raised by the implementation of this program as part of a practice-oriented clinical research network, from data collection to analysis of processes and mechanisms of change, and results. The fourth part presents a detailed review of the literature. This work should foster collaborations with related disciplines and treatment efficiency through a better understanding of the conditions and mechanisms of change associated with the development of a case study database.