Tesis sobre el tema "Système embarquée"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores tesis para su investigación sobre el tema "Système embarquée".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Tavares, Cláudia. "Un système de types pour la programmation par réécriture embarquée". Phd thesis, Université Henri Poincaré - Nancy I, 2012. http://tel.archives-ouvertes.fr/tel-00702301.
Texto completoOliveira, Kiermes Tavares Claudia Fernanda. "Un système de types pour la programmation par réécriture embarquée". Thesis, Université de Lorraine, 2012. http://www.theses.fr/2012LORR0015/document.
Texto completoIn software engineering, type systems are often considered in order to prevent the occurrence of meaningless terms in regard to a type specification. When extending a given programming language with new dedicated features, the typing of these features must be compatible with the ones in the host language. This thesis is situated in the context of term rewriting embedded in object-oriented programming and aims to develop a safe type system featuring subtyping for the support of associative pattern matching on algebraic terms built from variadic operators. In this work we consider the Tom rewriting language that provides associative pattern matching constructs and rewrite strategies for Java. We describe Tom code evaluation through the definition of the operational semantics of the Tom language as an essential element to show that the type system is safe. The type system includes type checking and constraint-based type inference. The constraint language is composed of equality constraints solved by unification and subtyping constraints solved by a combination of simplification, generation of solution and garbage collecting. The type system was integrated in Tom which provides both stronger expressiveness and more safety able to ensure that the transformations described by rewrite rules preserve the type of terms
Oliveira, Kiermes Tavares Claudia Fernanda. "Un système de types pour la programmation par réécriture embarquée". Electronic Thesis or Diss., Université de Lorraine, 2012. http://www.theses.fr/2012LORR0015.
Texto completoIn software engineering, type systems are often considered in order to prevent the occurrence of meaningless terms in regard to a type specification. When extending a given programming language with new dedicated features, the typing of these features must be compatible with the ones in the host language. This thesis is situated in the context of term rewriting embedded in object-oriented programming and aims to develop a safe type system featuring subtyping for the support of associative pattern matching on algebraic terms built from variadic operators. In this work we consider the Tom rewriting language that provides associative pattern matching constructs and rewrite strategies for Java. We describe Tom code evaluation through the definition of the operational semantics of the Tom language as an essential element to show that the type system is safe. The type system includes type checking and constraint-based type inference. The constraint language is composed of equality constraints solved by unification and subtyping constraints solved by a combination of simplification, generation of solution and garbage collecting. The type system was integrated in Tom which provides both stronger expressiveness and more safety able to ensure that the transformations described by rewrite rules preserve the type of terms
Merriaux, Pierre. "Contribution à la localisation robuste embarquée pour la navigation autonome". Rouen, 2016. http://www.theses.fr/2016ROUES018.
Texto completoThere has been a great and quick development in autonomous mobile robotics over the past few years. This growth mainly concerns autonomous vehicles and service robotics. Whatever the field of application, the localization task plays a key role in the intelligence of the mobile robots. As a result, this thesis is focused on exploring new challenges in embedding this aspect of artificial intelligence over two topics. First, we tackled the ARGOS Challenge. We have proposed a 6 Degrees of Freedom localization method based on multi-layer LiDAR data. Results show that the localization is accurate enough to perform autonomous control of the robot. Targeted applications include Oil and Gas platform patrolling. Such environments are more challenging than regular environments found in the literature. The proposed method takes into account concerns regarding CPU and memory consumption as well as embeddability. The likelihood field concept was extended to 3D. The method was benchmarked in a lab, an industrial site with single-layer and multi-layer LiDARs and 3 different robots. Robots are being located in their environment with an average error of 2. 5cm using 16% of a CPU core. Secondly, we focused on topological localization. In fact, the approach used in the ARGOS Challenge requires a small area as initial step. Our second approach enables to find the location of a road vehicle over several square kilometers. Ourmethod is based on sensorswidely available on any modern cars (ABS and ESP). Themap used is a topological representation of OpenStreet map data. Based on this information, we achieve an average error of 4m. This figure is close to GPS-based accuracy. Finally, our works are based on a specific experimental approach. In fact, developing new localization algorithms requires fine tunings. Moreover, tests, reliability and certifications of autonomous systems are still challenging for either the scientific community or the industry actors. The proposed methodology tends to propose a solution by mixing simulation, small-scale testing and full-scale testing
Konlambigue, Kangbéni Djotiname. "Conception d'un système de localisation à l'intérieur de bâtiments par vision monoculaire embarquée". Thesis, Normandie, 2020. http://www.theses.fr/2020NORMR022.
Texto completoThis thesis aims at the design of an indoor localization system. Outdoors, the almost unavoidable localization system is GPS (Global Positionning System). By receiving signals from at least four satellites from the GPS network orbiting, a GPC receiver triangulates and estimates its position, whether on land, at sea or in the air. GPS makes it possible to determine the position of any receiver placed in visibility of the satellite network and the defect in this visibility generally leads to an erroneous or even impossible localization ; which is the case in indoor environment. The growing interest in navigation assistance services for people and goods in large indoor areas such as hospitals, airports and shopping malls for example has created the need for a reliable and functional tracking system for indoor environment. To respond to this problem, several solutions have been proposed. One of the most popular approaches to localization in indoor environment is that based on the WiFi network. By measuring the strength of the signals emitted by the various access points, this type of system is able to triangulate the position of a receiver. However, one of the main drawbacks of this approach is that it requires deploying a network of access points with the various known costs such as those related tosystem maintenance. In this thesis, the system we propose is based on computer vision. To be located, the user takes a photo of their surroundings and indexes a databasz of georeferenced images. This indexing consists in a comparison of features extracted from the different images using computer vision algorithms such as the SIFT (Scale Invariant Feature Transform) algorithm. In comparison with the WiFi system, we offer (almost) a pure software system, which does not require any deployment and therefore no maintenance costs
Elouardi, Abdelhafid. "Evaluation des rétines électroniques pour une définition architecturale d'un système monopuce (SoC) dédié à la vision embarquée". Paris 11, 2005. http://www.theses.fr/2005PA112055.
Texto completoOne of the solutions to resolve the computational complexity of image processing is to perform some low-level computations on the sensor focal plane. This work is built to get a general conclusion on the aptitude of retinas, as smart sensors, to become potential candidate for a system on chip reaching an algorithm/architecture adequacy. The study showed why retinas are advantageous, what elementary functions and/or operators should be added on chip and how to integrate image-processing algorithms (i. E. How to implement the smart sensor). The thesis includes recommendations on system-level architectures and discusses the limitations of the implementation of smart retinas which are categorized by the nature of image processing algorithms. To sustain the study, we have proposed a system-level architecture and a design methodology to integrate image processing within a CMOS retina on a single chip. This architecture model highlights a compromise between versatility, parallelism, processing speed and resolution. Our solution aims to take also into account the algorithms response times while reducing energy consumption to increase the system performances for embedding reasons. We have done a comparison relating four different architectures dedicated for a vision system on chip. Two models implement APS imagers and a microprocessor. A third model involves the same processor with a CMOS retina that implements hardware operators and analog microprocessors. The fourth model integrates a second CMOS retina and an embedded computer. The comparison is related to image processing speed, processing reliability, programmability, precision, subsequent stages of computations and power
Belwafi, Kais. "Conception d'une architecture embarquée adaptable pour le déploiement d'applications d'interface cerveau machine". Thesis, Cergy-Pontoise, 2017. http://www.theses.fr/2017CERG0896/document.
Texto completoThe main purpose of this thesis is to study and develop an embedded brain computer interface (BCI) system using HW/SW methodology in order to satisfy the system specifications. A complete BCI system integrated in an acquisition system (OpenBCI) and a hardware platform based on the FPGA were achieved. The proposed system can be used in a variety of contexts: medical (for early diagnosis of pathologies, assisting people with severe disabilities to control home devices system through thought), technological (ubiquitous computing), industrial (communication with Robots), games (control a joystick in video games), etc. In our study, the proposed ICM platform was designed to control home devices through the thought of people with severe disabilities. A particular attention has been given to the study and implementation of the filtering module, adaptive and dynamic filtering, in the form of a coprocessor coded in HDL in order to reduce its execution time as it is the critical block in the returned ICM algorithms. For the feature extraction and classification algorithms, they are executed in the Nios-II processor using ANSI-C language. The prototype operates at 200 MHz and performs a real time classification with an execution delay of 0.4 second per trial. The power consumption of the proposed system is about 0.7 W
Larcher, Anthony. "Modèles acoustiques à structure temporelle renforcée pour la vérification du locuteur embarquée". Phd thesis, Université d'Avignon, 2009. http://tel.archives-ouvertes.fr/tel-00453645.
Texto completoEngel, Céline. "Optimisation des performances du système optique et estimation de la polarisation instrumentale de l'expérience embarquée sous ballon stratosphérique PILOT". Phd thesis, Toulouse 3, 2012. http://thesesups.ups-tlse.fr/1891/.
Texto completoThe PILOT experiment will measure the polarized emission of interstellar dust grains, in the submillimeter range, at 240 and 550 µm. The scientific instrument will be on-board a stratospheric platform. A field of view of 0. 8°×1° and a resolution of about one arc minute are needed to reach the scientific objectives. For this purpose, the use of an extended focal plane, a large diameter primary mirror and a re-imaging system is needed. For the off axis telescope, we must respect a combination of shape and angle between the primary and secondary mirror, in order to optimize the image quality and to minimize the instrumental polarization. The aim of my thesis work was the evaluation of the performances of this optical system and the prediction of their variations in flight conditions. All the optical elements, except the primary mirror will be cooled to 3 K. The variations of the primary mirror characteristics with the environment must be well known in order to obtain optimal performances during the flight. For the evaluation of these characteristics, I used tridimensional measurements, submillimeter characterization and modelling of the deformations in various environmental conditions. The method used for the primary mirror was applied to the lenses of the reimaging system too. The actual modelling of the optical system includes these results and show that the optical performances are nominal. Using this realistic modelling, an optimization of the positionning of each optical element was done for the integration of the instrument. The polarization degree of the dust grain emission is expected to be only a few percent. For the interpretation of the instrument signal, it is necessary to have a good knowledge of the instrumental polarization. Using modelling with Zemax software, I have determined the Stokes parameters for several positions of the optical axis of the half waveplate, different orientations of the incident polarization state and for a set of positions in the field of view. During the ground tests of the integrated instrument, I will verify and optimize these parameters
Engel, Céline. "Optimisation des performances du système optique et estimation de la polarisation instrumentale de l'expérience embarquée sous ballon stratosphérique PILOT". Phd thesis, Université Paul Sabatier - Toulouse III, 2012. http://tel.archives-ouvertes.fr/tel-00821057.
Texto completoTritschler, Philip. "Optimisation de l'architecture électrique et gestion d'énergie pour un système à pile à combustible embarquée dédiée à l'application agricole". Phd thesis, Université de Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00565680.
Texto completoRullan, Lara José Luis. "Conception et implantation embarquée d'un système de localisation en utilisant les signaux radio pour la stabilisation d'un mini drone". Compiègne, 2011. http://www.theses.fr/2011COMP1984.
Texto completoThe Unmanned Aerial Vehicles are complex and difficult dynamic systems to control. In spite of the efforts realized on the stabilization approaches (nested saturation, back-stepping, etc. ), the control laws have been always focused to stabilize the orientation of the vehicle and few works has been developed to estimate its position. Since real measurements are noisy and are not directly observable or measurable from the sensors, the estimation of the position is a difficult problem to resolve. Numerous approaches have been proposed for position’s estimation. In particular, vision and GPS have been explored in indoor and outdoor, respectively. However, there remain many challenges to its application in UAVs. This dissertation presents a solution to the problem of location of UAV indoor using radio signals. The k-nearest neighbor (KNN) algorithm, the least squares algorithm and the Extended Kalman filter have been tested and validated in real time. The performances of the algorithms were validated during hover flight and path following flight of a mini helicopter. In order to validate the algorithms, I developed a mini helicopter with four rotors (quad rotor) with the computer architecture for implementing onboard embedded control laws for its stability and for the implementation of localization tasks
Avina, Bravo Eli Gabriel. "Conception, développement et validation d'un système intelligent de mesure physiologique et biomécanique embarqué : Vélo à assistance électrique avec IA pour les interventions thérapeutiques et la prévention santé". Electronic Thesis or Diss., Université de Toulouse (2023-....), 2024. https://theses.hal.science/tel-04651974.
Texto completoAccording to projections by the World Health Organization (WHO), it is estimated that by 2050, more than 22% of the global population will be aged 60 years or older. This demographic shift is accompanied by a growing prevalence of chronic diseases. In France, one in four individuals currently suffers from a chronic condition, a proportion that rises to three out of four among those aged 65 and above. These diseases significantly contribute to mortality, accounting for 74% of total deaths in 2019. Fortunately, many of these conditions can be prevented or delayed by adhering to the physical activity recommendations provided by the WHO. Extensive research has demonstrated the profound impact of physical activity on prolonging lifespan and enhancing overall quality of life across populations. With this perspective in mind, the research objectives of this study lie within the realm of Prognosis Health Management (PHM) and prescription sports, with a specific emphasis on the healthcare trajectory of patients with chronic conditions. However, the precise methodology for control, particularly the feedback mechanism pertaining to individuals' behavior during physical activity, remains to be delineated. To tackle this challenge, the project proposes the implementation of a connected medical device, specifically an electric-assisted bicycle integrated with embedded artificial intelligence. This combination aims to collect data and contribute to the prevention of chronic pathologies for individuals. The primary scientific endeavor entails designing and integrating an innovative and adaptable hardware and software architecture, incorporating state-of-the-art sensors that utilize flexible technology. This framework facilitates the monitoring of both occasional and experienced cyclists during their practice, enabling intelligent control of the level of electrical assistance and the implementation of medical instructions based on prior medical assessments
Hautiere, Nicolas. "Détection des conditions de visibilité et estimation de la distance de visibilité par vision embarquée". Phd thesis, Université Jean Monnet - Saint-Etienne, 2005. http://tel.archives-ouvertes.fr/tel-00068743.
Texto completoIdrissa, Abdourhamane. "Traçabilité sécurisée embarquée : authentification autonome d'objets et de systèmes embarqués". Phd thesis, Université Jean Monnet - Saint-Etienne, 2012. http://tel.archives-ouvertes.fr/tel-00961384.
Texto completoAdwan, Adam. "Étude d'un système de détection d'occupants pour les airbags intelligents". Paris 6, 2002. http://www.theses.fr/2002PA066384.
Texto completoLastapis, Mathieu. "Surveillance de la santé des structures aéronautiques en composites : développement d'un système embarqué à base d'accéléromètres". Thesis, Toulouse, INSA, 2011. http://www.theses.fr/2011ISAT0021.
Texto completoThe structural health monitoring, or SHM, represents today a key challenge today, with a massive use of composites in the field of transport. This material, lighter than a conventional alloy, is very attractive for airplanes, trains, boats or cars manufacturing. This allows significant energy savings, but can hide internal defects invisible from the outside. At this point, dedicated supervision is essential. Blades of turboprop plane (A400M, ATR, etc.) are in face of the same problems. Determination of structural defects by the use of sensors is the key solution for the research in this field. Thus, this problem has two solutions: studying blade performances and designing an embedded system able to record data and/or monitoring the structural health. The research studies presented in this thesis represent the first results of damaged blade performances. It leads to the design of a first embedded data recorder of blade parameters and computes a first dedicated algorithm for monitoring the blade structural health and damaging events (shocks, over-speeds, over-vibrations)
Escareno, Juan Antonio. "Conception, modélisation et commande d'un drone convertible". Compiègne, 2008. http://www.theses.fr/2008COMP1746.
Texto completoThe goal of this thesis is developing a convertible unmanned aerial vehicle (UAV). The project is divided in three objects : the design, the modeling and the control of the vehicle. The design of the vehicle is a trade-off between a fixed-wing vehicle (airplane) and a rotary-wing vehicle (helicopter), thanks to this combination it offers a great versatility to face different kind of missions. The modeling is obtained through the Newton-Euler and Lagrange formulation. In terms of control, the convertible aircraft require specific algorithms to manipulate the take-off, the haver, the forward flight and the transition between both operation modes
Charra, Olivier. "Conception de noyaux de systèmes embarqués reconfigurables". Grenoble 1, 2004. http://www.theses.fr/2004GRE10047.
Texto completoThe vision of the emergence of a global environment for the information management where most of the physical object around us will be equipped with processors, communication capabilities and interconnected through various networks forces us to redesign the computing systems. Instead of heavy, monolithic and non-evolutive systems, we must design light, flexible and reconfigurable systems. This work presents a new architecture allowing the conception and development of flexible and reconfigurable operating system kernels for embedded systems
Gatti, Marc. "Évolution des Architectures des Systèmes Avioniques Embarqués". Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066725/document.
Texto completoNowadays, 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
Gatti, 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.
Texto completoNowadays, 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
Dessiatnikoff, Anthony. "Analyse de vulnérabilités de systèmes avioniques embarqués : classification et expérimentation". Phd thesis, INSA de Toulouse, 2014. http://tel.archives-ouvertes.fr/tel-01032444.
Texto completoGemayel, Charbel El. "Approche comportementale pour la validation et le test système des systèmes embarqués : Application aux dispositifs médicaux embarqués". Thesis, Lyon, INSA, 2014. http://www.theses.fr/2014ISAL0135/document.
Texto completoA Biomedical research seeks good reasoning for solving medical problems, based on intensive work and great debate. It often deals with beliefs or theories that can be proven, disproven or often refined after observations or experiments. The problem is how to make tests without risks for patients, including variability and uncertainty on a number of parameters (patients, evolution of disease, treatments …). Nowadays, medical treatment uses more and more embedded devices such as sensors, actuators, and controllers. Treatment depends on the availability and well-functioning of complex electronic systems, comprising thousands of lines of codes. A mathematical representation of patient or device is presented by a number of variables which are defined to represent the inputs, the outputs and a set of equations describing the interaction of these variables. The objective of this research is to develop tools and methodologies for the development of embedded systems for medical fields. The goal is to be able to model and jointly simulate the medical device as well the human body, at least the part of the body involved in the medical device, to analyze the performance and quality of service (QoS) of the interaction of the device with the human body. To achieve this goal our study focused on several points described below. After starting by defining a prototype of a new global and flexible architecture of mathematical model of human body, which is able to contain required data, we begin by proposing a new global methodology for modeling and simulation human body and medical systems, in order to better understand the best way to model and simulate these systems and for detecting performance and the quality of services of all system components. We use two techniques that help to evaluate the calculated QoS value. The first one calculates an index of severity which indicates the severity of the case studied. The second one using a normalization function that represents the simulation as a point in order to construct a new error grid and use it to evaluate the accuracy of value measured by patients. Using Keil development tools designed for ARM processors, we have declared a new framework in the objective to create a new tester model for the glucose-insulin system, and to define the basic rules for the tester which has the ability to satisfy well-established medical decision criteria. The framework begins by simulating a mathematical model of the human body, and this model was developed to operate in the closed loop of the glucose insulin. Then, the model of artificial pancreas has been implemented to control the mathematical model of human body. Finally a new tester model was created in order to analyze the performance of all the components of the glucose-insulin system.. We have used the suitability of partially observable Markov decision processes to formalize the planning of clinical management
Lafaye, Michaël. "Modélisation de plate-forme avionique pour exploration de performance en avance de phase". Phd thesis, Télécom ParisTech, 2012. http://pastel.archives-ouvertes.fr/pastel-01001760.
Texto completoShi, Xiaomu. "Certification of an Instruction Set Simulator". Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00937524.
Texto completoVoiculescu, Sorin. "Fiabilité des systèmes embarqués". Phd thesis, Université d'Angers, 2009. http://tel.archives-ouvertes.fr/tel-00468219.
Texto completoSturtzer, Eric. "Modélisation en vue de l'intégration d'un système audio de micro puissance comprenant un haut-parleur MEMS et son amplificateur". Phd thesis, INSA de Lyon, 2013. http://tel.archives-ouvertes.fr/tel-00940463.
Texto completoDanilo, Robin. "Approches connexionnistes pour la vision par ordinateur embarquée". Thesis, Lorient, 2018. http://www.theses.fr/2018LORIS518/document.
Texto completoTo design embedded computer vision systems, two axes can be considered. The first focuses on designing new, more powerful, digital devices that can efficiently implement complex algorithms. The second targets the development of new, lightweight computer vision algorithms that can be effectively implemented on digital embedded systems. In this work, we favor the second axis by using connectionist models. In this context, we focus on two models of artificial neural networks: cluster-based networks and convolutional networks. The first model we use, i.e. cluster-based network, was never been used to perform computer vision tasks before. However, it seemed to be a good candidate to design embedded systems, especially through dedicated hardware architectures implementation. The goal was first to find out the kinds of tasks that could be performed using this network model. This model has been designed to implement associative memories which can come close to problems such as content- based image retrieval in computer vision domain. This type of application massively uses approximated nearest neighbor search algorithms which makes it a good candidate to focus on. The second type of network studied in this work, called convolutional network, is very popular to design computer vision systems. Our goal here was to find different ways to simplify their complexity while maintaining high performance. In particular, we proposed a technique that involves re-training quantified networks
Massot, Bertrand. "Conception, réalisation de capteurs non-invasifs ambulatoires et d'exocapteurs embarqués pour l'étude et le suivi de la réactivité émotionnelle". Phd thesis, INSA de Lyon, 2011. http://tel.archives-ouvertes.fr/tel-00863814.
Texto completoMihalache, Alin Gabriel. "Modélisation et évaluation de la fiabilité des systèmes mécatroniques : application sur système embarqué". Phd thesis, Université d'Angers, 2007. http://tel.archives-ouvertes.fr/tel-00467950.
Texto completoGuénette, Samuel. "Objets distribués pour systèmes embarqués". Mémoire, Université de Sherbrooke, 2002. http://hdl.handle.net/11143/5486.
Texto completoRobert, Jérémy. "De l'usage d'architectures Ethernet commutées embarquées dans les lanceurs spatiaux". Thesis, Université de Lorraine, 2012. http://www.theses.fr/2012LORR0128.
Texto completoCurrent space launchers, and particularly Ariane 5, use the deterministic network MIL-STD-1553B. According to the new objectives of cost and system mass reduction and of multimedia traffic support, this technology is not optimal anymore. Among the potential candidates, this thesis highlights the fact that such objectives can be achieved through the use of Ethernet standard based on components-on-the-shelf. The first contribution focuses on time performance evaluation of switched architectures. The gain and limits related to the communication mode (from master/slaves to producers/consummers) and future avionic distribution are studied. This study relies on a deterministic evaluation of the end-to-end delay by using network calculus, simulations and experiments. These results are validated with two switched architectures by using a scenario considered as representative of current flights. The second contribution is the network availability improvement. A real-time path reconfiguration strategy is proposed through active network supervision. Based on critical requirements, it is also suggested to use multiple spanning-trees for anticipating network element failures. The last contribution deals with the issue that in switched and segmented architectures it is not possible to collect all the traffic as in a bus. In order to do so, this thesis introduces the configurations under which a clock synchronization protocol could contribute to generate a single network trace from many collecting points. This work will enable to identify the tests for a future Ethernet standard validation in the framework of space launchers
Khenfri, Fouad. "Optimisation holistique pour la configuration d’une architecture logicielle embarquée : application au standard AUTOSAR". Thesis, Nantes, 2016. http://www.theses.fr/2016NANT4002/document.
Texto completoAUTOSAR (AUTomotive Open System ARchitecture) has been created by automotive manufacturers, suppliers and tools developers in order to establish an open industry standard for automotive E/E(Electrical/Electronic) architectures. AUTOSAR provides a set of concepts and defines a common methodology to develop automotive software platforms. The key features of this standard are modularity and configurability of automotive software; this allows functional reuse of software modules provided by different suppliers and guarantees interoperability of these modules through standardized interfaces. However, the development of an embedded application according to AUTOSAR necessitates configuring a lot of parameters related to the large number of Software Components (SWCs), their allocations to the hardware platform and then, the configurationof each Electronic Control Unit (ECU). Different alternatives are possible during the design of such systems. Each implementation decision may impact system performance and needs therefore to be evaluated and compared against performance constraints and optimization goals. In this thesis, we introduce a holistic optimization approach to synthesizearchitecture E/E of an embedded AUTOSAR system. This approach is based on heuristic and metaheuristic methods. The metaheuristics (e.g. genetic algorithm) has the role to find the most satisfactory allocations of SWCs to ECUs. Each allocation step, two heuristics are developed to solve the problem of the ECU configuration (the number of tasks and priorities, allocation of runnables to tasks, etc.) and networks configuration (the number of messagesand priorities, allocation of data-elements to messages, etc.). In order to evaluate the performance of each allocation, we propose a new analysis method to calculate the response time of tasks, runnables, and end-to-end paths. The architectural exploration approach proposed by this thesis considers the model for periodic applications and is evaluated using generic and industrial applications
Robert, Jérémy. "De l'usage d'architectures Ethernet commutées embarquées dans les lanceurs spatiaux". Electronic Thesis or Diss., Université de Lorraine, 2012. http://www.theses.fr/2012LORR0128.
Texto completoCurrent space launchers, and particularly Ariane 5, use the deterministic network MIL-STD-1553B. According to the new objectives of cost and system mass reduction and of multimedia traffic support, this technology is not optimal anymore. Among the potential candidates, this thesis highlights the fact that such objectives can be achieved through the use of Ethernet standard based on components-on-the-shelf. The first contribution focuses on time performance evaluation of switched architectures. The gain and limits related to the communication mode (from master/slaves to producers/consummers) and future avionic distribution are studied. This study relies on a deterministic evaluation of the end-to-end delay by using network calculus, simulations and experiments. These results are validated with two switched architectures by using a scenario considered as representative of current flights. The second contribution is the network availability improvement. A real-time path reconfiguration strategy is proposed through active network supervision. Based on critical requirements, it is also suggested to use multiple spanning-trees for anticipating network element failures. The last contribution deals with the issue that in switched and segmented architectures it is not possible to collect all the traffic as in a bus. In order to do so, this thesis introduces the configurations under which a clock synchronization protocol could contribute to generate a single network trace from many collecting points. This work will enable to identify the tests for a future Ethernet standard validation in the framework of space launchers
Souissi, Youssef. "Méthodes optimisant l'analyse des cryptoprocesseurs sur les canaux cachés". Phd thesis, Paris, Télécom ParisTech, 2011. https://pastel.hal.science/pastel-00681665.
Texto completoThe security of modern embedded systems has been the subject of intensive research in engineering areas. Recent threats called Side-Channel Analysis (SCA) have attracted much attention in embedded security areas. SCAs are passive attacks, in that the device under attack is not aware of its leaks being recorded. Therefore, the need of securing and evaluating the robustness of embedded systems against SCAs becomes obvious. Basically, four aspects of security evaluation analysis should be taken into consideration: the acquisition of Side-channel traces, the preprocessing of traces acquired, the detection and extraction of cryptographic patterns from the preprocessed traces, and finally the recovery of sensitive information, referred to as the secret key. This thesis investigates new techniques in the analysis of systems for Side-channel attacks. It considers how evaluation targets are characterized, how their behaviour may be simulated -- in order to hone targets for empirical analysis and then how data can be collected and analysed. The overall goal is the establishment of a methodological basis for this work. The first part of this thesis focuses on physical cryptanalysis. Several solutions and generic Side-channel attacks are addressed. The second part of this thesis is devoted to the pre-processing of the Side-channel leaked information. We propose new techniques and efficient pre-processing algorithms to get rid off the issues related principally to the noise and de-synchronisation problems. In the last part of this thesis, we establish a methodological framework, which aims at best organizing the task of the evaluator. We also highlight common pitfalls made by evaluators
Souissi, Youssef. "Méthodes optimisant l'analyse des cryptoprocesseurs sur les canaux cachés". Phd thesis, Télécom ParisTech, 2011. http://pastel.archives-ouvertes.fr/pastel-00681665.
Texto completoSadou, Nabil. "Aide à la conception des systèmes embarqués sûrs de fonctionnement". Phd thesis, INSA de Toulouse, 2007. http://tel.archives-ouvertes.fr/tel-00192045.
Texto completoSchweppe, Hendrik. "Sécurité et protection de la vie privée dans les systèmes embarqués automobiles". Thesis, Paris, ENST, 2012. http://www.theses.fr/2012ENST0062/document.
Texto completoElectronic equipment has become an integral part of a vehicle's network architecture, which consists of multiple buses and microcontrollers called Electronic Control Units (ECUs). These ECUs recently also connect to the outside world. Navigation and entertainment system, consumer devices, and Car2X functions are examples for this. Recent security analyses have shown severe vulnerabilities of exposed ECUs and protocols, which may make it possible for attackers to gain control over a vehicle. Given that car safety-critical systems can no longer be fully isolated from such third party devices and infotainment services, we propose a new approach to securing vehicular on-board systems that combines mechanisms at different layers of the communication stack and of the execution platforms. We describe our secure communication protocols, which are designed to provide strong cryptographic assurances together with an efficient implementation fitting the prevalent vehicular communication paradigms. They rely on hardware security modules providing secure storage and acting as root of trust. A distributed data flow tracking based approach is employed for checking code execution against a security policy describing authorized communication patterns. Binary instrumentation is used to track data flows throughout execution (taint engine) and also between control units (middleware), thus making it applicable to industrial applications. We evaluate the feasibility of our mechanisms to secure communication on the CAN bus, which is ubiquitously implemented in cars today. A proof of concept demonstrator also shows the feasibility of integrating security features into real vehicles
Maillet, Luc. "Spécification et validation d'une architecture de système distribué pour le contrôle d'exécution d'applications temps réel complexes". Toulouse, ENSAE, 1996. http://www.theses.fr/1996ESAE0007.
Texto completoKocik, Rémy. "Optimisation des systèmes distribués temps réel embarqués : application au prototypage rapide d'un véhicule électrique autonome". Rouen, 2000. http://www.theses.fr/2000ROUES021.
Texto completoJovanovic, Slavisa. "Architecture reconfigurable de système embarqué auto-organisé". Thesis, Nancy 1, 2009. http://www.theses.fr/2009NAN10099/document.
Texto completoThe growing complexity of computing systems, mostly due to the rapid progress in Information Technology (IT) in the last decade, imposes on system designers to orient their traditional design concepts towards the new ones based on self-organizing and self-adaptive architectural solutions. On the one hand, these new architectural solutions should provide a system with a suf?cient computing power, and on the other hand, a great ?exibility and adaptivity in order to cope with all non-deterministic changes and events that may occur in the environnement in which it evolves. Within this framework, a recon?gurable MPSoC self-organizing architecture on the FPGA recon?gurable technology is studied and developped during this PhD
Escolá, Ricardo. "Traitements de signaux neuronaux sur système embarqué". Lyon, INSA, 2008. http://theses.insa-lyon.fr/publication/2008ISAL0020/these.pdf.
Texto completoLe domaine des neurosciences s'intéresse à comprendre la façon dont les réseaux neuronaux codent et décodent l'information pour interagir avec le monde extérieur. Pour cela, un des enjeux actuels est de pouvoir simultanément : enregistrer les activités d'un grand nombre de cellules au sein de grands réseaux de neurones, et stimuler de manière dynamique ces réseaux (par exemple pour en contrôler les activités). Aujourd'hui, il est possible de maintenir en vie un explant de tissu nerveux dans un milieu de survie sur des systèmes micro électrodes (Micro Electrode Array) permettant d'enregistrer les activités électriques neuronales sur une centaine de voies. Le passage à de grands réseaux de neurones avec une résolution spatiale suffisante nécessite de mettre au point de nouvelles générations de systèmes offrant un nombre de voies de mesures beaucoup plus important. A cet effet, des technologies l'électronique intégrée sont en cours de développement pour aboutir à des systèmes d'encombrement raisonnable et, à terme, à des implants pour rétablir des fonctions altérées chez l'homme. Dans le cadre de cette thèse on s'intéresse à la compression de signaux neuronaux sur un système intégrée (ASIC) préalable à l'extraction des données. En effet, un effort important a été fait depuis des dizaines d'années dans la compréhension et le développement des techniques embarquées complètement autonomes. Actuellement on constate trois verrous principaux: la puissance dissipée par le système, le flux de données transmis et l'autonomie du système (ceci s'avère indispensable pour des applications implantées). Les potentiels d'action neuronaux (ou spikes) ont été largement acceptés comme étant l'unité de base de l'information neurologique. Ils sont aussi responsables pour la plupart du flux de données enregistré à l'étape d'acquisition. On a donc choisi une approche visant à extraire l'information fonctionnelle de l'activité neuronale de manière à réussir un taux de compression maximale, tout en conservant l'information fonctionnelle des signaux enregistrés. Le traitement des spikes requiert deux étapes: la détection et la classification des spikes en identifiant à quel neurone correspondent les potentiels d'action détectés. Les méthodes traditionnelles de détection et de tri ne sont généralement pas bien adaptées à une implémentation embarquée autonome. Dans cette thèse, on propose des méthodes de détection et de tri non supervisées basées sur des architectures numériques compatibles avec une architecture embarquée de basse puissance. L'étape de détection est basée sur la théorie des ondelettes, ce qui permet d'améliorer la détectabilité des spikes tout en gardant une complexité calculatoire faible. En parallèle on propose un système d'extraction de spikes ``à la volée'' qui minimise la puissance de calcul en utilisant de manière optimale les ressources de la mémoire embarquée. Pour le tri des spikes, on propose un système automatique de classification. L'estimation de puissance nous montre qu'il est compatible avec un système embarqué basse consommation. Notre système réagit en temps réel aux changements dans le tissu nerveux et estime automatiquement les paramètres nécessaires pour réaliser la classification en temps réel. De plus, on propose un outil de simulation de signaux neuronaux qui permet de tester la performance des algorithmes de traitement et de mieux comprendre la dynamique des réseaux neuronaux étudiés
Portolan, Michele. "Conception d'un système embarqué sûr et sécurisé". Grenoble INPG, 2006. http://www.theses.fr/2006INPG0192.
Texto completoThis PhD researches a global methodology enabling to improve the dependability and security level against transient logic faults (natural or provoked) appearing inside a hardware/software integrated system, like for instance a smart cardo Results can be applied to all systems built around a synthesisable microprocessor core and a set of specialised peripherals. The protection methods operate simultaneously and in complementary manner on hardware, application software and interface layers (most noticeably, the operating system). High level modifications have been favoured for their advantages in terms of generality, configurability, portability and perpetuity. The proposed approach aims at achieving a good trade-off between robustness and overheads, from both hardware and performance point of views. It is applied on a significant system example, representative of an embedded monoprocessor system
Ibrahim, Mohamed Ali. "Agents mobiles natifs pour systèmes embarqués". Thèse, Université de Sherbrooke, 2014. http://savoirs.usherbrooke.ca/handle/11143/5336.
Texto completoMarchetti, Olivier. "Dimensionnement des mémoires pour systèmes embarqués". Paris 6, 2006. http://www.theses.fr/2006PA066383.
Texto completoTout, Mohamad. "Conception optimisée de systèmes énergétiques embarqués". Thesis, Bordeaux, 2020. http://www.theses.fr/2020BORD0212.
Texto completoDecision-making is a difficult and important step in the design process. It aims at guiding designers in the selection of design solutions between numerous alternatives. A specific process, derived from the combination between Model Based Systems Engineering (MBSE) and Morphogenesis, Observation, Interpretation, Aggregation (MOIA) ontology, and applied to vehicle embedded systems, is presented in this manuscript in order to find the optimal solution that responds to several demanded objectives. This process is based on an optimization algorithm, coupling models of both physical behaviors and designers’ preferences. It integrates a machine-learning algorithm in order to generate reduced simulation models operating in real-time mode. By using these simulation models, the computation time decreases. This improves the decision-making process and introduces a dynamic optimization process that lies on a dynamic vision of specifications, scenarios, client needs and preferences. This method is applied to optimize the powertrain of an electric vehicle, which includes battery, inverter, electric motor and gearbox, responding to three major objectives: autonomy, performance and cost.In addition, we develop a one-page user interface for the electric vehicle powertrain design case. This interface represents the design optimization framework using MOIA which provides a convenient way to structure the design problem. It is regarded as a proof of concept of an interactive tool where the different actors participating in the design process can check immediately the evolution of the design problem and the consequences of their decisions.Moreover, we evaluate through work sessions the acceptability of the different techniques of interpretation and aggregation used in the MOIA method. This assessment leads to a better understanding of the industrial environment of the decision-making process in the design phases. We finally aim to develop a decision-support tool that helps decision-makers to negotiate solutions that are probably optimal and acceptable for them in the preliminary design phases. This tool is considered as a collaborative tool aims at minimizing the iterative exchanges between the different actors participating in the design process
Poulhiès, Marc. "Conception et implantation de système fondé sur les composants. Vers une unification des paradigmes génie logiciel et système". Phd thesis, Grenoble, 2010. http://www.theses.fr/2010GRENM009.
Texto completoSoftware development for embedded systems has many challenges. Ln this thesis, we address those related to the interactions between the three following phases of the software development process: the design phase, the implementation phase and the validation phase. We study the design language characteristics and compilation techniques. Ln our approach, they allow the creation of both an implementation of the system and a model for this implementation. Provided that this model faithfully corresponds to the implementation, the analysis of the model can validate the implemented system. We propose a process for building a language based on software components for which the dynamic behavior is supposed to be given. We illustrate this process with a prototype called Buzz. Buzz uses Think components enriched with their operation al behavioral model in BIP. We developed a compiler for Buzz by extending the current Think compiler. Il generates both an architecture of Think components for the implementation and a BIP model for the analysis. We evaluate Buzz through two experiments. The first ex periment details the software development for an academical example on which we show the soundness of our technical choices. Think provides implementation support (compilation, optimization, deployment) and BIP allows us to verify the system's dynamic properties. The second ex periment focuses on porting to Buzz an application convention ail y developed for a sensor network radio protocol. It underlines the efficiency of our proposaI both in terms of programming language (the result is more structured and simpler than the original code) and in terms of compilation tools and verifications
Poulhiès, Marc. "Conception et Implantation de Système Fondé sur les Composants. Vers une Unification des Paradigmes Génie Logiciel et Système". Phd thesis, Université de Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00514504.
Texto completoMenighed, Kamel. "Commandes coopératives embarquées et tolérantes aux défauts". Phd thesis, Université Henri Poincaré - Nancy I, 2010. http://tel.archives-ouvertes.fr/tel-00545412.
Texto completoIdrees, Muhammad Sabir. "Ingénierie des exigences pour la conception d'architectures de sécurité de systèmes embarqués distribués". Thesis, Paris, ENST, 2012. http://www.theses.fr/2012ENST0045/document.
Texto completoDuring the last ten years, the impact of security concerns on the development and exploration of distributed embedded systems never ceased to grow. This is mainly related to the fact that these systems are increasingly interconnected and thus vulnerable to attacks, and that the economic interest in attacking them has simultane- ously increased. In such a context, requirement engineering methodologies and tools have become necessary to take appropriate decisions regarding security early on. Security requirements engineering should thus strongly support the elicitation and specifica- tion of software security issues and solutions well before designers and developers are committed to a particular implementation. However, and that is especially true in embedded systems, security requirements should not be considered only as the abstract expression of a set of properties independently from the system architecture or from the threats and attacks that may occur. We believe this consideration is of utmost importance for security requirements engineering to be the driving force behind the design and implementation of a secure system. We thus describe in this thesis a security engineering requirement methodology depending upon a constant dialog between the design of system functions, the requirements that are attached to them, the design and development of the system architecture, and the assessment of the threats to system assets. Our approach in particular relies on a knowledge-centric approach to security requirement engineering, applicable from the early phases of system conceptualization to the enforcement of security requirements