Rozprawy doktorskie na temat „Architecture des systèmes”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Architecture des systèmes”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.
Raducanu, Vinicius. "Architecture et système constructif : cas des systèmes de tenségrité". Montpellier 2, 2001. http://www.theses.fr/2001MON20132.
Pełny tekst źródłaMargarido, Milena. "Synthèse d’architectures logicielles pour systèmes-de-systèmes : une méthode automatisée par résolution de contraintes". Thesis, Lorient, 2017. http://www.theses.fr/2017LORIS480/document.
Pełny tekst źródłaSystems-of-Systems (SoS) encompass diverse and independent systems that must cooperate with each other for performing a combined action that is greater than their individual capabilities. In parallel, architecture descriptions, which are the main artifact expressing software architectures, play an important role in fostering interoperability among constituents by facilitating the communication among stakeholders and supporting the inspection and analysis of the SoS from an early stage of its life cycle. The main problem addressed in this thesis is the lack of adequate architectural descriptions for SoS that are often built without an adequate care to their software architecture. Since constituent systems are, in general, not known at design-time due to the evolving nature of SoS, the architecture description must specify at design-time which coalitions among constituent systems are feasible at run-time. Moreover, as many SoS are being developed for safety-critical domains, additional measures must be placed to ensure the correctness and completeness of architecture descriptions. To address this problem, this doctoral project employs SoSADL, a formal language tailored for the description of SoS that enables one to express software architectures as dynamic associations between independent constituent systems whose interactions are mediated for accomplishing a combined action. To synthesize concrete architectures that adhere to one such description, this thesis develops a formal method, named Ark, that systematizes the steps for producing such artifacts. The method creates an intermediate formal model, named TASoS, which expresses the SoS architecture in terms of a constraint satisfaction problem that can be automatically analyzed for an initial set of properties. The feedback obtained in this analysis can be used for subsequent refinements or revisions of the architecture description. A software tool named SoSy was also developed to support the Ark method as it automates the generation of intermediate models and concrete architectures, thus concealing the use of constraint solvers during SoS design and development. The method and its accompanying tool were applied to model a SoS for urban river monitoring in which the feasibility of candidate abstract architectures is investigated. By formalizing and automating the required steps for SoS architectural synthesis, Ark contributes for adopting formal methods in the design of SoS architectures, which is a necessary step for obtaining higher reliability levels
Bouilhaguet, Frédéric. "Architecture de systèmes MPEG-4". Paris, ENST, 2001. http://www.theses.fr/2001ENST0044.
Pełny tekst źródłaPetit, Antoine. "Architecture et stabilité des systèmes planétaires". Thesis, Paris Sciences et Lettres (ComUE), 2019. http://www.theses.fr/2019PSLEO005.
Pełny tekst źródłaThe architecture of a planetary systems is a signpost of their formation and history.Moreover, the large number of recent and future exoplanets discoveries allows to study the exoplanet system population.Besides, the observations of exoplanet systems has enriched the diversity of planetary system architecture, revealing that the Solar System shape is far from being the norm.However, the organization of planetary systems is heavily affected by dynamical stability, making individual studies particularly challenging.Since planets dynamics are chaotic, a detailed stability analysis study is computationally expensive.In this thesis, I develop analytic stability criteria for planet dynamics.In the secular system, the conservation of the total angular momentum and semi-major axes imply the conservation of the Angular Momentum Deficit (AMD).The AMD is a measure of a system’s eccentricities and mutual inclinations and act as a dynamical temperature of the system.Based on this consideration, we make the simplifying assumption that the dynamics can be replaced by AMD exchanges between the planets.In the first chapter we define the concept of AMD-stability. The AMD-stability criterion allows to discriminate between a priori stable planetary systems and systems for which the stability is not granted and needs further investigations.We show how AMD-stability can be used to establish a classification of the multiplanet systems in order to exhibit theplanetary systems that are long-term stable because they are AMD-stable, and those that are AMD-unstable which then require someadditional dynamical studies to conclude on their stability. We classify 131 multiplanet systems from the exoplanet.eu database with sufficiently well-known orbital elements.While the AMD criterion is rigorous, AMD conservation is only granted in absence of mean-motion resonances (MMR).If the MMR islands overlap, the system experiences chaos leading to instability.In the second chapter, we extend the AMD-stability criterion to take into account the overlap of first-order MMR.I derive analytically a new overlap criterion for first-order MMR.This stability criterion unifies the previous criteria proposed in the literature and admits the criteria obtained for initially circular and eccentric orbits as limit cases.In the third chapter I explain how the Hill stability can be understood in the AMD framework.Widely used, the Hill stability is a topological stability criterion for the three body system.However, most studies only use the coplanar and circular orbit approximation.We show that the general Hill stability criterion can be expressed as a function of only semi-major axes, masses, and total AMD of the system.The proposed criterion is only expanded in the planets-to-star mass ratio and not in the orbital elements.When studying AMD-unstable system, numerical simulations are mandatory.However the long timescales in planet dynamics make necessary the use of symplectic methods.These methods provide very accurate and fast integration when a system is stable.Their downside is that they are limited to fixed time-step integration.For unstable systems, the integrator may fail to resolve a close encounter and become inaccurate.In the fourth chapter, I propose a time renormalization that allow to use high order symplectic integrator with adaptive time-step at close encounter.The algorithm is well-adapted to systems of few similar masses planets.In the final chapter, I revisit the planet formation toy model developed by J. Laskar.While the AMD is conserved in the secular dynamics, it decreases during planets collisions.Laskar's model can be solved analytically for the average outcome and numerical simulations are very quick allowing to build large system population.I show that this formation model is in good agreement with recent realistic planet formation simulations where the final architecture results from a giant impact phase
Cheng, Kevin. "Reconfigurable self-organised systems : architecture and implementation". Thesis, Metz, 2011. http://www.theses.fr/2011METZ039S/document.
Pełny tekst źródłaIncreasing needs of computation power, flexibility and interoperability are making systems more and more difficult to integrate and to control. The high number of possible configurations, alternative design decisions or the integration of additional functionalities in a working system cannot be done only at the design stage any more. In this context, where the evolution of networked systems is extremely fast, different concepts are studied with the objective to provide more autonomy and more computing power. This work proposes a new approach for the utilization of reconfigurable hardware in a self-organised context. A concept and a working system are presented as Reconfigurable Self-Organised Systems (RSS). The proposed hardware architecture aims to study the impact of reconfigurable FPGA based systems in a self-organised networked environment and partial reconfiguration is used to implement hardware accelerators at runtime. The proposed system is designed to observe, at each level, the parameters that impact on the performances of the networked self-adaptive nodes. The results presented here aim to assess how reconfigurable computing can be efficiently used to design a complex networked computing system and the state of the art allowed to enlighten and formalise characteristics of the proposed self-organised hardware concept. Its evaluation and the analysis of its performances were possible using a custom board: the Potsdam Intelligent Camera System (PICSy). It is a complete implementation from the electronic board to the control application. To complete the work, measurements and observations allow analysis of this realisation and contribute to the common knowledge
FASSINO, Jean-Philippe. "THINK : vers une architecture de systèmes flexibles". Phd thesis, Télécom ParisTech, 2001. http://tel.archives-ouvertes.fr/tel-00005776.
Pełny tekst źródłaNous montrons qu'il est possible de capturer sous la forme de canevas logiciels des concepts et des principes d'architecture rencontrés dans les systèmes d'exploitation centralisés, embarqués ou répartis. Ces concepts sont au nombre de trois ; des composants, des liaisons modélisant les interactions, et des domaines modélisant l'isolation. Cette approche autorise la construction de noyaux d'infrastructure variés, susceptibles d'être mis en place, statiquement ou dynamiquement, depuis des systèmes dédiés à une application jusqu'aux systèmes monolithiques classiques en passant par les différentes formes de micronoyaux.
Nous implantons sur ce modèle une bibliothèque, nommée KORTEX, destinée aux machines POWERMACINTOSH. Cette bibliothèque propose un ensemble de composants systèmes, offrant d'une part des services du plus bas niveau comme les pilotes de périphérique, et d'autre part des services de haut niveau comme la gestion des processus et des connexions réseaux. La composition arbitraire de ces composants construit le noyau d'infrastructure désiré. La diversité des noyaux d'infrastructure construits à partir de cette bibliothèque, la rapidité et la simplicité de programmation offertes par les outils de développement, prouvent l'adéquation du modèle.
Les évaluations quantitatives du modèle d'architecture THINK et de la bibliothèque KORTEX de composants systèmes démontrent la viabilité de l'approche proposée. Les implantations du concept de liaison n'engendrent pas un coût inacceptable et elles permettent même d'obtenir des performances similaires à celles de la littérature. De plus, les bénéfices apportés par la structure flexible peuvent potentiellement être importants. Tout d'abord, les évaluations montrent un accroissement des performances d'exécution sur des noyaux de systèmes classiques. Ensuite, les besoins en ressources matérielles requis pour l'exécution des systèmes sont grandement diminués, ce qui offre des perspectives d'utilisation dans les environnements fortement contraints.
Roca, Vincent. "Architecture hautes performances pour systèmes de communication". Phd thesis, Grenoble INPG, 1996. http://tel.archives-ouvertes.fr/tel-00005013.
Pełny tekst źródłaFassino, Jean-Philippe. "Think : vers une architecture de systèmes flexibles". Paris, ENST, 2001. http://www.theses.fr/2001ENST0037.
Pełny tekst źródłaLudwig, Marie. "Autonomie et reconfiguration des systèmes de systèmes tactiques". Phd thesis, Université de Bretagne occidentale - Brest, 2013. http://tel.archives-ouvertes.fr/tel-00965813.
Pełny tekst źródłaFerreira, silva Eduardo. "Conception d’architecture de système-de-systèmes à logiciel prépondérant dirigée par les missions". Thesis, Lorient, 2018. http://www.theses.fr/2018LORIS509/document.
Pełny tekst źródłaThe formulation of missions is the starting point to the development of Systems-of-Systems (SoS), being used as a basis for the specification, verification and validation of SoS architectures. Specifying, verifying and validating architectural models for SoS are complex tasks compared to usual systems, the inner complexity of SoS relying specially on emergent behaviors, i.e. features that emerge from the interactions among constituent parts of the SoS which cannot be predicted even if all the behaviors of all parts are completely known. This thesis addresses the synergetic relationship between missions and architectures of software-intensive SoS, giving a special attention to emergent behaviors which are created for achieving formulated missions. We propose a design approach for the architectural modeling of SoS driven by the mission models. In our proposal, the mission model is used to both derive, verify and validate SoS architectures. As first step, we define a formalized mission model, then we generate the structure of the SoS architecture by applying model transformations. Later, when the architect specifies the behavioral aspects of the SoS, we generate concrete SoS architectures that will be verified and validated using simulation-based approaches, in particular regarding emergent behaviors. The verification uses statistical model checking to verify whether specified properties are satisfied, within a degree of confidence. The formalization in terms of a temporal logic and statistical model checking are the formal foundations of the developed approach. A toolset that implements the whole approach was also developed and experimented
Golden, Boris. "A unified formalism for complex systems architecture". Palaiseau, Ecole polytechnique, 2013. http://pastel.archives-ouvertes.fr/docs/00/82/71/07/PDF/phd.pdf.
Pełny tekst źródłaComplex industrial systems are typically artificial objects designed by men, involving a huge number of heterogeneous components (e. G. Hardware, software, or human organizations) working together to perform a mission. In this thesis, we are interested in modeling the functional behavior of such systems, and their integration. We will model real systems as functional black boxes (with an internal state), whose structure and behaviors can be described by the recursive integration of heterogeneous smaller subsystems. Our purpose is to give a unified and minimalist semantics for heterogeneous integrated systems and their integration
Layouni, Mouna farah. "Architecture pour la fédération de cercles de confiance dans une approche Système de systèmes". Thesis, Paris, CNAM, 2013. http://www.theses.fr/2013CNAM0898.
Pełny tekst źródłaMastering the increasing complexity of our socio-economic organizations and technology infrastructure requires more and more integrated information systems. The organization of our advanced societies could no longer grow on reasonable terms without the support of information technology.The different information systems belongs more and more to an informational meshing, forming in this way a complex system of systems which is getting complex day after day and because of that is becoming increasingly vital.This system of systems must meet two objectives: i) implementation of a system by integrating systems offered by different providers, ii) interoperation of systems already in use in order to obtain new properties due to their cooperation, usually with an efficiency increase.These objectives and this complexity can be grasped by a purely analytical approach. That is why we have advocated throughout this thesis a solution of system of systems based on an interoperability graph built on a hierarchical ontological comparison (foundation of trust). The platform of mobile agents associated with this system will implement a dynamic search of services which tries to satisfy the quality criteria required by the user
Layouni, Mouna farah. "Architecture pour la fédération de cercles de confiance dans une approche Système de systèmes". Electronic Thesis or Diss., Paris, CNAM, 2013. http://www.theses.fr/2013CNAM0898.
Pełny tekst źródłaMastering the increasing complexity of our socio-economic organizations and technology infrastructure requires more and more integrated information systems. The organization of our advanced societies could no longer grow on reasonable terms without the support of information technology.The different information systems belongs more and more to an informational meshing, forming in this way a complex system of systems which is getting complex day after day and because of that is becoming increasingly vital.This system of systems must meet two objectives: i) implementation of a system by integrating systems offered by different providers, ii) interoperation of systems already in use in order to obtain new properties due to their cooperation, usually with an efficiency increase.These objectives and this complexity can be grasped by a purely analytical approach. That is why we have advocated throughout this thesis a solution of system of systems based on an interoperability graph built on a hierarchical ontological comparison (foundation of trust). The platform of mobile agents associated with this system will implement a dynamic search of services which tries to satisfy the quality criteria required by the user
Garcès, Rodriguez Lina Maria. "Architecture de référence pour les systèmes d’e-santé à domicile dans la perspective de systèmes-de- systèmes". Thesis, Lorient, 2018. http://www.theses.fr/2018LORIS493/document.
Pełny tekst źródłaPopulation ageing has been taking place all over the world, being estimated that 2.1 billion people will be aged 60 or over in 2050. Healthcare Supportive Home (HSH) Systems have been proposed to overcome the high demand of remote home care for assisting an increasing number of elderly people living alone. Since a heterogeneous team of healthcare professionals need to collaborate to continually monitor health status of chronic patients, a cooperation of pre-existing e-Health systems, both outside and inside home, is required. However, current HSH solutions are proprietary, monolithic, high coupled, and expensive, and most of them do not consider their interoperation neither with distributed and external e-Health systems, nor with systems running inside the home (e.g., companion robots or activity monitors). These systems are sometimes designed based on local legislations, specific health system configurations (e.g., public, private or mixed), care plan protocols, and technological settings available; therefore, their reusability in other contexts is sometimes limited. As a consequence, these systems provide a limited view of patient health status, are difficult to evolve regarding the evolution of patient’s health profile, do not allow continuous patients monitoring, and present limitations to support the self-management of multiple chronic conditions. To contribute to solve the aforementioned challenges, this thesis establishes HomecARe, a reference architecture for supporting the development of quality HSH systems. HomecARe considers HSH systems as Systems-of-Systems (SoS) (i.e., large, complex systems composed of heterogeneous, distributed, and operational and managerial independent systems), which achieve their missions (e.g., improvement of patients’ quality of life) through the behavior that emerges as result of collaborations among their constituents. To establish HomecARe, a systematic process to engineer reference architectures was adopted. As a result, HomecARe presents domain knowledge and architectural solutions (i.e., architectural patterns and tactics) described using conceptual, mission, and quality architectural viewpoints. To assess HomecARe, a case study was performed by instantiating HomecARe to design the software architecture of DiaManT@Home, a HSH system to assist at home patients suffering of diabetes mellitus. Results evidenced HomecARe is a viable reference architecture to guide the development of reusable, interoperable, reliable, secure, and adaptive HSH systems, bringing important contributions for the areas of e-Health, software architecture, and reference architecture for SoS
Polakovic, Juraj. "Architecture logicielle et outils pour systèmes d'exploitation reconfigurables". Grenoble INPG, 2008. http://www.theses.fr/2008INPG0051.
Pełny tekst źródłaDynamic reconfiguration allows modifying a system during its execution. Dynamic reconfiguration is important in embedded systems, where one does not necessarily have the luxury to stop a running system. While some operating systems do offer mechanisms for dynamic reconfiguration, the proposed mechanisms are essentially hardwired in the system. This results in a fixed trade-off between flexibility of reconfigurations and the system's efficiency which may be far from optical in certain operational contexts, thus limiting the system reuse. We present an architecture-based programming model allowing both construction of customized reconfigurable system kernels and programming of their reconfigurations. This model is based on the Fractal component model and its C implementation, called Think. The framework supporting our approach encompasses an architecture compiler for building customized system kernels and a reconfiguration compiler
Sanlaville, Rémy. "Architecture logicielle : une expérimentation industrielle avec Dassault Systèmes". Phd thesis, Université Joseph Fourier (Grenoble), 2002. http://tel.archives-ouvertes.fr/tel-00004589.
Pełny tekst źródłaGrange, Hélène. "Architecture de systèmes de surveillance en milieu naturel". Grenoble 1, 1992. http://www.theses.fr/1992GRE10031.
Pełny tekst źródłaGatti, Marc. "Évolution des Architectures des Systèmes Avioniques Embarqués". Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066725/document.
Pełny tekst źródłaNowadays, Embedded Systems are key elements of the Avionic Systems. As more and more functions are integrated, their complexity goes increasing. In order to keep mastering this complexity, Avionic Systems Architecture has also evolved so as to minimize the interactions between equipment. This evolution of the Architectures introduced, at the avionic level, the notion of network widely spread in the consumer domain. Our research works aim at accompanying this architectural evolution by minimizing the impact of the technological breakthroughs which were necessary to introduce to support this evolution. For that purpose, we propose an approach which is going to allow us to derisk every new technological brick before its introduction within the Embedded Systems. This introduction can thus be performed by having beforehand defined the conditions as well as the limits of use of every new technology that it is Hardware and/or Software
Lô, Mambaye. "Contribution à l’évaluation d'architectures en Ingénierie Système : application à la conception de systèmes mécatroniques". Thesis, Montpellier 2, 2013. http://www.theses.fr/2013MON20257/document.
Pełny tekst źródłaThe design step of a complex system is crucial. This observation is particularly true, when considering mechatronic, multi-technological systems, which require a multidisciplinary and collaborative approach. Our work is based on the System Engineering (SE) framework, which focuses on the needs and requirements definition, the conceptual design, and the definition of functional and organic architectures of a system. For this purpose, SE promotes some concepts, processes, and an approach currently widely practiced in the Industry, and even standardized while being a much studied research topic. More precisely, we are interested in a so-called support process of SE, the evaluation process. We are focusing on the effectiveness evaluation and then on the comparison of different functional and organic architecture solutions of a mechatronic system, which emerge invariably from the design. The goal of this process in guiding and helping to choose a solution among candidate architectures, often incomplete or immature in preliminary design, allows maximizing the satisfaction of the systems' stakeholders needs. However, the implementation of this evaluation faces to many difficulties. The consensual and unified vision of data, information, knowledge, and evaluation activities, above specialized engineering teams involved in the design, is still limited. Indeed, the lack of this common vision limits the objective and shared evaluation of a given solution. This is a first problem that we are addressing in our work. To contribute to this common vision, a conceptual model of evaluation data in SE is proposed.Subsequently, the estimation of the choices made all along such an iterative design, and which therefore proceeds by small steps, the management of multiple objectives sometimes contradictory and the consideration of the uncertainty inherent to design are classic problems in design. This constitutes the main problem which our work is answering. The estimation of the consequences of design choices on the system performance is first addressed by a formalization of traceability links between the requirements, functions, and components of the design. This formalization is prior to the detection and correction of inconsistencies of traceability links, in order to automatically identify potential impacts of the architectures' elements choices on different satisfaction criteria of the System Of Interest (SOI). An articulation between the SOI behavioral models and decision models is afterwards proposed for aggregating the satisfaction level of the design objectives, and then ensure the management of multiple and even contradictory objectives of the designers. Qualitative evaluation techniques are finally proposed for sorting the alternative design solutions according to their satisfaction level while considering the increasing maturity level but uncertain of the solution.Lastly, we often denote the lack of integrated environment for modeling the system and proceeding to the analyses and evaluations. The two above synthesized contributions have been integrated into a SE framework, offering a continuum between design activities and evaluation ones. The result is thereby a methodological and tooled guide for mechatronic systems evaluation during design. Keywords: System Engineering, design, evaluation, complex systems, mechatronics, architecture solution, traceability, qualitative analysis
Bueno, Ruas de Oliveira Lucas. "Conception architecturale des systèmes robotiques orientée services". Thesis, Lorient, 2015. http://www.theses.fr/2015LORIS374/document.
Pełny tekst źródłaRobotics has experienced an increasing evolution and interest from the society in recent years. Robots are no longer produced exclusively to perform repetitive tasks in factories, they have been designed to collaborate with humans in several important application domains. Robotic systems that control these robots are therefore becoming larger, more complex, and difficult to develop. In this scenario, Service-Oriented Architecture (SOA) has been investigated as a promising architectural style for the design of robotic systems in a flexible, reusable, and productive manner. Despite the existence of a considerable amount of Service-Oriented Robotic Systems (SORS), most of them have been developed in an ad hoc manner. The little attention and limited support devoted to the design of SORS software architectures may not only hamper the benefits of SOA adoption, but also reduce the overall quality of robotic systems, which are often used in safety-critical contexts. This thesis aims at improving the understanding and systematization of SORS architectural design
Py, Frederic. "Contrôle d'exécution dans une architecture hiérarchisée pour systèmes autonomes". Phd thesis, Université Paul Sabatier - Toulouse III, 2005. http://tel.archives-ouvertes.fr/tel-00011514.
Pełny tekst źródłaBenzerrouk, Ahmed. "Architecture de contrôle hybride pour systèmes multi-robots mobiles". Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2011. http://tel.archives-ouvertes.fr/tel-00669559.
Pełny tekst źródłaLebeau, Jean-François. "Une architecture de connaissance pour les systèmes tutoriels intelligents". Mémoire, Université de Sherbrooke, 2007. http://savoirs.usherbrooke.ca/handle/11143/4750.
Pełny tekst źródłaPy, Frédéric. "Contrôle d'exécution dans une architecture hiérarchisée pour systèmes autonomes". Toulouse 3, 2005. http://www.theses.fr/2005TOU30199.
Pełny tekst źródłaThere is an increasing need for advanced autonomy in complex embedded real-time systems such as robots or satellites. Still, this raises a major problem : on one side we have complex sys-tems - therefore, hard to validate - with little human intervention, on the other side these systems are used in domains where safety is critical. How can we guaranty that an autonomous system, with high level decisional capabilities, will exhibit a proper behavior and will not jeopardize the mission? The work we present here integrate an on-line execution control component for hierar-chical architectures. We first describe the role of this program. Then we introduce the R2C, our controller based on synchronous hypothesis, and the tool used to generate it. We then discuss why it is important to take into account the decisional components in our controller. We eventu-ally illustrate our contribution with some experimental results. We then conclude and give some possible future work in this area
Muller, Pierre-Alain. "L'intégration dans les systèmes logiciels complexes : modélisation et architecture". Mulhouse, 1993. http://www.theses.fr/1993MULH0296.
Pełny tekst źródłaMedeiros, Adelardo Adelino Dantas de. "Contrôle d'exécution pour robots mobiles autonomes : architecture, spécification et validation". Toulouse 3, 1997. http://www.theses.fr/1997TOU30027.
Pełny tekst źródłaZamaï, Eric. "Architecture de surveillance-commande pour les systèmes à événements discrets complexes". Toulouse 3, 1997. http://www.theses.fr/1997TOU30136.
Pełny tekst źródłaThe work presented deals with the supervision of flexible manufacturing systems. It presents the integration of real-time monitoring of process failures. The originality of this approach is to consider the control and the monitoring on the same level and not the monitoring as a palliative for the control. A structure of a monitoring-control module is proposed. This module is made up of two cooperating models based on the activity concept. The first one, the reference model for monitoring and control, gives all the functionalities of the monitoring system. The second one, the strategy model for monitoring and control, models the constraints imposed by the objectives of the firm and the users. The execution of a monitoring treatment is not limited to the strict sequence ¿ detection, diagnosis, decision and recovery ¿. Other elaborated sequences are allowed and can be executed by the module. Taking the executed activity into account, a supervisor integrated in each module of the hierarchy manages the information by directing each one to the suitable monitoring or control functions: detection, follow, control, diagnosis, decision, recovery or emergency. An example based on a manufacturing process illustrates the main benefits of the approach: monitoring flexibility, reactivity to the process evolutions, respect of the monitoring constraints imposed by the factory
Crubillé, Paul. "Réalisation de l'outil Mec : spécification fonctionnelle et architecture". Bordeaux 1, 1989. http://www.theses.fr/1989BOR10581.
Pełny tekst źródłaWippler, Jean-Luc. "Une approche paradigmatique de la conception architecturale des systèmes artificiels complexes". Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLX083/document.
Pełny tekst źródłaArchitecting seeks now to be distinct from its original domain, systems engineering, becoming an emergent domain. Far from being recognized as a science or a discipline, its practice is nowadays more and more widespread. However, this practice is still poorly formalized, and insufficiently being taught, lacking a well-established and accessible corpus of knowledge, techniques or approaches.This thesis contributes filling that gap by proposing a paradigm of the architectural design of artificial complex systems. The latter is built based on existing paradigms that are combined, then completed. It aims at providing architects with an effective, even performative framework. It results in an approach of the architectural design structured in four levels.A so-called archetypal level grasps the core principles of any approach of architectural design of artificial complex systems. These principles are derived from various approaches already applied, mainly in the field of system or product design, but also of architectural design of buildings.A so-called general level lies on the principle of a present-future division. In that sense, it differs from engineering approaches that usually rely on a problem-solution dichotomy. It is based on the following main idea: we should consent that when an architect designs, he does not solve problems, but he devises possible and plausible futures, requiring to perceive the present. This vision of the architect's way of working directly impacts the kind of artefacts he handles. We sho how to aggregate these artefacts into models, reflecting either his perception of the present, or his development of futures while progressing through some identified processes.A so-called particular level aims at allowing the storytelling of a given design. To achieve this goal, a notation of the design process is suggested. It lies on some basic mechanisms, one of them being the combination divergence-convergence, called the breathing of the architectural design.At last, a so-called toolbox level, not addressed in this thesis, would consist of various cognitive operations required for the architect in order to accomplish his task of designing (abstraction, questioning, judgement, comparison, decision, etc.)The whole approach is illustrated by an example of an architectural design of a complex system: a Safe City
Guadri, Ahmed. "Architecture pour la reconfiguration en temps réel des systèmes complexes". Phd thesis, Ecole Centrale de Lille, 2009. http://tel.archives-ouvertes.fr/tel-00579518.
Pełny tekst źródłaPorquet, Joël. "Architecture de sécurité dynamique pour systèmes multiprocesseurs intégrés sur puce". Phd thesis, Université Pierre et Marie Curie - Paris VI, 2010. http://tel.archives-ouvertes.fr/tel-00574088.
Pełny tekst źródłaLastera, Maxime. "Architecture sécurisée pour les systèmes d'information des avions du futur". Phd thesis, INSA de Toulouse, 2012. http://tel.archives-ouvertes.fr/tel-00938782.
Pełny tekst źródłaPorquet, Joël. "Architecture de sécurité dynamique pour systèmes multiprocesseurs intégrés sur puces". Paris 6, 2010. http://www.theses.fr/2010PA066511.
Pełny tekst źródłaDoufene, Abdelkrim. "Architecture des systèmes complexes et Optimisation - Application aux véhicules électriques". Palaiseau, Ecole polytechnique, 2013. http://www.theses.fr/2013EPXX0011.
Pełny tekst źródłaPérennou, Tanguy. "Une architecture à métaobjets pour systèmes répartis tolérant les fautes". Toulouse, INPT, 1997. http://www.theses.fr/1997INPT001H.
Pełny tekst źródłaWailly, Aurélien. "End-to-end security architecture for cloud computing environments". Electronic Thesis or Diss., Evry, Institut national des télécommunications, 2014. http://www.theses.fr/2014TELE0020.
Pełny tekst źródłaSince several years the virtualization of infrastructures became one of the major research challenges, consuming less energy while delivering new services. However, many attacks hinder the global adoption of Cloud computing. Self-protection has recently raised growing interest as possible element of answer to the cloud computing infrastructure protection challenge. Yet, previous solutions fall at the last hurdle as they overlook key features of the cloud, by lack of flexible security policies, cross-layered defense, multiple control granularities, and open security architectures. This thesis presents VESPA, a self-protection architecture for cloud infrastructures. Flexible coordination between self-protection loops allows enforcing a rich spectrum of security strategies. A multi-plane extensible architecture also enables simple integration of commodity security components.Recently, some of the most powerful attacks against cloud computing infrastructures target the Virtual Machine Monitor (VMM). In many case, the main attack vector is a poorly confined device driver. Current architectures offer no protection against such attacks. This thesis proposes an altogether different approach by presenting KungFuVisor, derived from VESPA, a framework to build self-defending hypervisors. The result is a very flexible self-protection architecture, enabling to enforce dynamically a rich spectrum of remediation actions over different parts of the VMM, also facilitating defense strategy administration. We showed the application to three different protection scheme: virus infection, mobile clouds and hypervisor drivers. Indeed VESPA can enhance cloud infrastructure security
Morin, Christine. "Architectures et systèmes distribués tolérants aux fautes". Habilitation à diriger des recherches, Université Rennes 1, 1998. http://tel.archives-ouvertes.fr/tel-00434053.
Pełny tekst źródłaGatti, Marc. "Évolution des Architectures des Systèmes Avioniques Embarqués". Electronic Thesis or Diss., Paris 6, 2016. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2016PA066725.pdf.
Pełny tekst źródłaNowadays, Embedded Systems are key elements of the Avionic Systems. As more and more functions are integrated, their complexity goes increasing. In order to keep mastering this complexity, Avionic Systems Architecture has also evolved so as to minimize the interactions between equipment. This evolution of the Architectures introduced, at the avionic level, the notion of network widely spread in the consumer domain. Our research works aim at accompanying this architectural evolution by minimizing the impact of the technological breakthroughs which were necessary to introduce to support this evolution. For that purpose, we propose an approach which is going to allow us to derisk every new technological brick before its introduction within the Embedded Systems. This introduction can thus be performed by having beforehand defined the conditions as well as the limits of use of every new technology that it is Hardware and/or Software
Azami, Ikram El. "Ingéniérie des Systèmes d'Information Coopératifs, Application aux Systèmes d'Information Hospitaliers". Thesis, Valenciennes, 2012. http://www.theses.fr/2012VALE0013.
Pełny tekst źródłaIn this thesis, we deal with hospital information systems (HIS), we analyze their design issues, interoperability and communication, with the aim of contributing to the design of a canonical, cooperative, and communicative HIS, and model the exchanges between its components and also with other systems involved in the management of patient in a healthcare network.We propose a structure and a conceptual model of a canonical HIS based on three main concepts involved in the production of healthcare data, namely, the pathological case, the Production Post of Healthcare Data (PPHD) and medical activity itself. The latter, being modeled as a tree, will allow better structuring of the care process.However, in view of ensuring continuity of care, we provide an XML-based model for exchanging medical data. This model consists of a set of relevant data organized around five categories: patient data, data on patient history, data of medical activity, data of medical prescriptions and medical records data (images, reporting ...).Finally, we describe a solution for integrating hospital information systems. The solution is inspired by the engineering of cooperatives information systems and consists of mediation-based architecture, structured into three levels: the level of information systems, the level of mediation, and the user level. The architecture offers a modular organization of hospital information systems and helps to insure data, function and workflow integration
Tlais, Mazen. "Architecture sans fil discontinue : problématiques, conception et évaluation". Rennes 1, 2008. ftp://ftp.irisa.fr/techreports/theses/2008/tlais.pdf.
Pełny tekst źródłaDans le domaine des réseaux mobiles, les progrès en matière de technologie de communication sans fil permettent d'envisager la mise en oeuvre d'applications réclamant des débits importants. Le plus souvent, les utilisateurs sont maintenant équipés de terminaux munis d'interface de communication sans fil et de fonctions de captures numériques (comme un appareil photo par exemple), avec lesquels ils souhaitent pouvoir regarder des films, ou bien encore capturer et stocker des photos et des séquences vidéo. De telles applications peuvent rapidement consommer la bande passante disponible dans l'infrastructure de communication. Dans ce contexte, les débits fournis par les réseaux mobiles actuels, en plus d'être d'un coût élevé, ne sont pas, le plus souvent, suffisants pour servir un grand nombre d'utilisateurs. L'objectif de cette thèse est de proposer et d'évaluer une architecture de réseau mobile offrant un haut débit, et ce pour un faible coût de déploiement. Cette architecture doit permettre à une densité élevée d'utilisateurs d'échanger des quantités importantes de données avec des serveurs applicatifs, et ce sans dégrader la qualité de service. Notre contribution repose sur trois parties. Dans un premier temps, nous proposons une architecture en mesure de fournir des transferts haut débit, pour des faibles coûts de déploiement. Cette architecture s'appuie sur une interconnexion de cellules radio de tailles réduites et n'offrant pas une couverture continue. On parle alors de réseau à couverture discontinue. Dans un deuxième temps, nous validons le fonctionnement de cette architecture pour les flux descendants et montants. Dans un troisième temps, nous décrivons les problèmes posés par un déploiement grande échelle du réseau proposé, et nous présentons des solutions adaptées
Bazm, Mohammad Mahdi. "Unified isolation architecture and mechanisms against side channel attacks for decentralized cloud infrastructures". Thesis, Nantes, 2019. http://www.theses.fr/2019NANT4042.
Pełny tekst źródłaSince their discovery by Ristenpart [Ristenpart et al., 2009], the security concern of sidechannelattacks is raising in virtualized environments such as cloud computing infrastructuresbecause of rapid improvements in the attack techniques. Therefore, the mitigationand the detection of such attacks have been getting more attention in these environments,and consequently have been the subject of intense research works.These attacks exploit for instance sharing of hardware resources such as the processorin virtualized environments. Moreover, the resources are often shared between differentusers at very low-level through the virtualization layer. As a result, such sharing allowsbypassing security mechanisms implemented at virtualization layer through such a leakysharing. Cache levels of the processor are the resources which are shared between instances,and play as an information disclosure channel. Side-channel attacks thus use this leakychannel to obtain sensitive information such as cryptographic keys.Different research works are already exist on the detection/mitigation of these attackin information systems. Mitigation techniques of cache-based side-channel attacks aremainly divided into three classes according to different layer of application in cloud infrastructures(i.e., application, system, and hardware). The detection is essentially done atOS/hypervisor layer because of possibility of analyzing virtualized instances behavior atboth layers.In this thesis, we first provide a survey on the isolation challenge and on the cachebasedside-channel attacks in cloud computing infrastructures. We then present differentapproaches to detect/mitigate cross-VM/cross-containers cache-based side-channel attacks.Regarding the detection of cache-based side-channel attacks, we achieve that by leveragingHardware performance Counters (HPCs) and Intel Cache Monitoring Technology (CMT)with anomaly detection approaches to identify a malicious virtual machine or a Linux container.Our experimental results show a high detection rate.We then leverage an approach based on Moving Target Defense (MTD) theory to interrupta cache-based side-channel attack between two Linux containers. MTD allows us tomake the configuration of system more dynamic and consequently more harder to attackby an adversary, by using shuffling at different level of system and cloud. Our approachdoes not need to carrying modification neither into the guest OS or the hypervisor. Experimentalresults show that our approach imposes very low performance overhead.We also discuss the challenge of isolated execution on remote hosts, different scenariosto secure execution of Linux containers on remote hosts and different trusted executiontechnologies for cloud computing environments. Finally, we propose a secure model fordistributed computing through using Linux containers secured by Intel SGX, to performtrusted execution on untrusted Fog computing infrastructures
Saint-jean, Nicolas. "Etude et conception de systèmes multiprocesseurs auto-adaptatifs pour les systèmes embarqués". Montpellier 2, 2008. http://www.theses.fr/2008MON20207.
Pełny tekst źródłaMounier, Jean-Luc. "Conception et mise en oeuvre d'un environnement système pour la modélisation, l'analyse et la réalisation de systèmes informatiques". Paris 6, 1990. http://www.theses.fr/1990PA06A632.
Pełny tekst źródłaNaqvi, Syed Salar Hussain. "Architecture de sécurité pour les grands systèmes ouverts, répartis et hétérogènes". Phd thesis, Télécom ParisTech, 2005. http://pastel.archives-ouvertes.fr/pastel-00001575.
Pełny tekst źródłaBouassida, Rodriguez Ismael. "Dynamic software architecture management for collaborative communicating systems. Gestion dynamique des architectures logicielles pour les systèmes communicants collaboratifs". Phd thesis, INSA de Toulouse, 2011. http://tel.archives-ouvertes.fr/tel-00583926.
Pełny tekst źródłaZAMAI, Eric. "Architecture de surveillance-commande pour les systèmes à événements discrets complexes". Phd thesis, Université Paul Sabatier - Toulouse III, 1997. http://tel.archives-ouvertes.fr/tel-00010078.
Pełny tekst źródłaIsavudeen, Ali. "Architecture Dynamiquement Auto-adaptable pour Systèmes de Vision Embarquée Multi-capteurs". Thesis, Paris Est, 2017. http://www.theses.fr/2017PESC1071.
Pełny tekst źródłaAn embedded multi-sensor vision system involves several types of image sensors such as colour, infrared or low-light sensor.Characteristics of the sensors are often various (different resolution, frame rate and pixel depth).Hence, the vision system has to deal with several heterogeneous image streams.That multiplicity and the heterogeneity of the sensors help to face various environmental contexts.We consider a multi-sensor vision system that has to work in different area (city, sea, forest) and handle several operations (multispectral fusion, panoramic, multifocus).The vision system has to also face various luminosity conditions : day, night or low-light condition.The challenge of designing architecture for such a vision system is that the working context can dynamically vary.The designer has to take in account this dynamic variation of the working context.The architecture should be enough flexible to adapt its processing to the requirements of the context.It also has to be able to detect any variation of the context and adapt itself according to the context.Above all, the design should satisfy area and power constraints of an embedded and portable system.In this thesis, we propose an embedded monitor enabling dynamic auto-adaptation of the current multi-stream architecture of Safran.The monitor accomplishes two tasks for the auto-adaptation of the architecture.First, he continuously observes changes of both external and internal contexts.Then, he decides the adaptation that the architecture needs in response to the context variation.Observation of the external context is about the type of the area and the luminosity conditions.While, observation of the internal context focuses on the current status of the vision system and its architecture.To perform the adaptation, the monitor sends adaptation commands toward controllers of the architecture.We introduce a Network-on-Chip (NoC) based interconnexion layer to fulfill monitoring communication.This NoC is inspired from our previous work cite{Ng2011}.This layer allows observing and commanding the processing stages without compromising the existing pixels streams.Routers of the NoC are responsible for routing observation data from processing stages to the monitor and adaptation commands from the monitor toward processing stages.The proposed NoC takes in account the heterogeneity of working frequencies.Finally, we present a memory controller that enables dynamic allocation of the frame memory.When the working context changes, memory resources requirements change too.For an optimised and economical resources utilisation, we propose to dynamically adapt the frame buffer allocation.Also, the proposed has the possibility to dynamically manage the bandwidth of the frame memory.We introduce a pondered round robin-based method with the ability to adapt the weights on-the-fly.Our proposition has been evaluated with a typical Safran multi-stream architecture.It has been implemented in a FPGA target.Area performances have been evaluated through synthesis for a ALTERA Cyclone V FPGA (5CGX).Latency performances have been evaluated thanks to ModelSim simulations
He, Ruan. "Architecture et mécanismes de sécurité pour l'auto-protection des systèmes pervasifs". Paris, Télécom ParisTech, 2010. https://pastel.hal.science/pastel-00579773.
Pełny tekst źródłaIn this thesis, we propose: - A three-layer abstract architecture: a three-layer self-protection architecture is applied to the framework. A lower execution space provides running environment for applications, a control plane controls the execution space, and an autonomic plane guides the control behavior of the control plane in taking into account system status, context evolution, administrator strategy and user preferences. - An attribute-based access control model: the proposed model (Generic Attribute-Based Access Control) is an attribute-based access control model which improves both the policy-neutrality to specify other access control policies and exibility to enable fine-grain manipulations on one policy. - A policy-based framework for authorization integrating autonomic computing: the policy-based approach has shown its advantages when handling complex and dynamic systems. In integrating autonomic functions into this approach, an Autonomic Security Policy Framework provides a consistent and decentralized solution to administer G-ABAC policies in large-scale distributed pervasive systems. Moreover, the integration of autonomic functions enhances user-friendliness and context-awareness. - A terminal-side access control enforcement OS: the distributed authorization policies are then enforced by an OS level authorization architecture. It is an effcient OS kernel which controls resource access through a dynamic manner to reduce authorization overhead. On the other hand, this dynamic mechanism improves the integrability of di_erent authorization policies. - An adaptation policy specifcation Domain Speci_c Language (DSL) for adaptation policy specification
Songsakdi, Rongviriyapanish. "Modélisation de la conception d'architectures de systèmes logiciels". Nancy 2, 2000. http://www.theses.fr/2000NAN22004.
Pełny tekst źródłaOur work joins in the theme of the help(assistant) the conception(design) of software architectures. We propose a model allowing to formalize styles of architecture. The model allows to develop in a incremental and joint way two documents: a formal description of the architecture and a history of the conception(design). The description of the architecture is without ambiguity and can be validated by means of existing tools. The history of the conception(design) allows to understand(include) the way the architecture was elaborated. This understanding facilitates its evolution and its re-use. Our model uses the formal language BINGOES as language of architectural description. The basic concepts and the criteria of evolution of the architecture are described by means of plans BINGOES. Based on a relation of behavioral equivalence of the algebra of process, the correction of architecture, maybe verified. We described architecture customer-waiter(-server) of a system of armament AEGIS from our plans and verified his(her,its) correction. Our model is based on the Proflat model. Under the Proflat model, any evolution of a conception(design) is to make by application of an operator of development. We consider that the rules(rulers) of conception(design) supplied by a style are constraints concerning the description of components, connectors and configuration of architecture. We use them to guide a conception(design). In our model, these rules(rulers) are described in the form of operators' library(bookcase) to be applied by the architecture
Guarisco, Michael. "Architecture auto-adaptative pour le transcodage vidéo". Thesis, Nancy 1, 2011. http://www.theses.fr/2011NAN10147/document.
Pełny tekst źródłaTranscoding is a key element in the video transmission allows a video to go from one encoding type to another in order to adapt better to the transport capacity of a transmission channel. The advantage of this type of treatment is to make the most of users with various terminals with spatial resolution, temporal resolution displayable, and type of channel used to access the media vary widely, and from that of a single source of quality and maximum resolution, stored on a server, for example. Transcoding is appropriate where you want to send a video to a recipient and whose path would consist of various transmission channels. We realized by a transcoder and a requantization transcoder by truncation. These two methods were compared and it appears that in terms of image quality in either of these methods is more effective depending on the context. Following our work is the study of the standard H.264 AVC scalable derivative of the standard SVC (Scalable Video Coding). We wanted to study as a transcoder, but also in spatial resolution which will rewrite the SVC flow in a stream stroke decodable by decoders on the market today. This mapping is achieved through are configurable architecture to adapt to many types of flow which may conform to standard SVC to H.264. The proposed study has accomplished a partial implementation of a transcoder type SVC to AVC. We propose here a description of the implementations on AVC transcoding and SVC