Dissertations / Theses on the topic 'Avionique'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Avionique.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Canu, Antoine. "Conversion Analogique / Numérique versatile dans un environnement avionique contraint." Thesis, Supélec, 2013. http://www.theses.fr/2013SUPL0004/document.
Full textAvionic embedded systems sense their environment through the use of various sensors. Currently, the electrical signals generated by these sensors are acquired by dedicated interface circuits, which limits the functionalities that can be implemented in the computer and slows down their evolution.Our work aims at replacing these interfacing circuits by a more flexible interface, called versatile interface, which has the ability to acquire different kind of signals. Avionic embedded systems usually operate in a pretty harsh environment, in which important common mode voltages of more than thirty volts can superimpose to useful signals. After a thorough exploration of this environment and its specifities, we propose an architecture of the versatile interface, based on a mixed signal ASIC and a FPGA. The ASIC includes a programmable analog signal conditioning stage which is able to withstand the high voltages present in the harsh avionic environment. The FPGA processes the different signals and extract the useful information from them. We also propose method which allows to correct the analog imprecisions due to mismatch or temperature drifts. This method uses analog and digital processing, and allow our versatile interface to be immune to process or temperature variations. A test circuit has been realized in a high voltage 0.35µm CMOS technology, in order to validate the different principles that we propose in this work
Grieu, Jérôme Fraboul Christian Francès Fabrice. "Analyse et évaluation de techniques de commutation ethernet pour l'interconnexion des systèmes avioniques." Toulouse : INP Toulouse, 2005. http://ethesis.inp-toulouse.fr/archive/00000084.
Full textNasr, Andre. "Nouvelles structures de machines électriques pour la génération embarquée avionique." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLN065.
Full textThis work addresses the subject of the embedded electric generation in future aircraft. The main objective is to find a new electrical machine structures that can meet the new avionic requirements. We have been particularly interested in a Hybrid Excited Flux Switching machine with a Magnetic Bridge (HEFSMMB). The structure of this machine has several advantages such as static excitation sources, a passive rotor and a unique stator structure which makes it possible to have a low residual voltage, thus respecting the safety constraints. We have presented in the first chapter a state of the art on singly and doubly excited flux switching machines. We have also given the rules which define the choice of the number of stator and rotor poles. Chapter 2 was devoted to study the electromagnetic performances of the HEFSMMB using a finite element model. This model has been validated by experimental measurements carried out on a 3 kW prototype. In the final chapter, we have put in place an optimization methodology in order to improve the overall performances of the HEFSMMB and to limit its residual voltage. The optimization results showed much improved performances. It can be concluded that the MCFDEPM is a good candidate to replace the three-stage machine in future aircraft
Agrou, Hicham. "Architecture multi-coeur déterministe pour l'avionique." Toulouse 3, 2014. http://thesesups.ups-tlse.fr/3070/.
Full textThe development of a real-time system requires deadlines for each task. Scheduling requires knowledge of all the possible scenarios of execution for the system in order to obtain the longest time between the activation of the task and the time of its termination. To increase the mean performance, the manufacturers have expanded the functionality of their architectures with more and more complex features. Reducing the average execution time, taking into account the scope of hardware and maintaining backward compatibility can explain this evolution, which makes it difficult to estimate the worst-case execution time. The introduction of multi-core processors in avionics raises questions, particularly about how the instructions should be executed. We propose a procedure for evaluating multicore architectures to highlight situations where transactions have abnormally high latencies due to the concurrency at interconnection level. We apply this test protocol to the Freescale(c) P4080, a PowerPC(c) processor often cited for future avionics solution. We highlight the key steps for configuring control trade and means for measuring the time until the detection of abnormal behaviors transaction. We also propose an interconnection whose principle of operation is to control the transactional behavior of any type of initiator, by implementing various hardware services to ensure spatial/temporal partitioning, and equitable access to shared resources. A measure of the temporal impact of the control units is also presented
Raingeaud, Yves. "Approche théorique d'aide à la conception et à la mise en oeuvre d'expérimentations en compatibilité électromagnétique : application à l'avionique." Limoges, 1993. http://www.theses.fr/1993LIMO0180.
Full textDazens, Véronique. "Polymérisation par ionisation : matrices hautes performances pour matériaux composites en avionique." Bordeaux 1, 1995. http://www.theses.fr/1995BOR10668.
Full textDelange, Julien. "Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d'intergiciels critiques." Phd thesis, Télécom ParisTech, 2010. http://pastel.archives-ouvertes.fr/pastel-00006301.
Full textCharara, Hussein Fraboul Christian. "Évaluation des performances temps réel de réseaux embarqués avioniques." Toulouse : INP Toulouse, 2008. http://ethesis.inp-toulouse.fr/archive/00000527.
Full textGatti, 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.
Full textNowadays, 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
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.
Full textLafaye, Michaël. "Modélisation de plate-forme avionique pour exploration de performance en avance de phase." Electronic Thesis or Diss., Paris, ENST, 2012. http://www.theses.fr/2012ENST0065.
Full textNowadays, real-time critical embedded systems are more and more complex due to an increase of the integrated components. Following that trend, avionic systems development complexity increases too. So early modeling processes are more and more used in order to anticipate on plat-forms performance and help sizing them. Particularly, hardware resources usage exploration is a key aspect for performance exploration. Current processes allow to model avionic platform from requirements to architectural level of abstraction, but they do not allow to model a behavioral avionic platform. Thus, they do not allow to explore the hardware resources usage of the platform, neither to compare some alternatives of architectures at early phase of development cycle. My PhD work presents our avionic platform modeling and simulation process that answer that problem. The goal is to complete current modeling processes to offer more accurate early performance analysis, and compare them with the system requirements. For that, we propose a for steps method : i) an application modeling and stimuli extraction step ; ii) an architectural modeling step, based on the AADL (Architecture Analysis and Design Language) and its ARINC653 annex ; iii) a behavioral execution platform model (hardware and middleware) generation step with SystemC-TLM ; iv) a simulation and analysis step, when performance are compared with system requirements. At last, we will present our validation part on an avionic case study
Cloute, François. "Étude de la conception des systèmes embarqués sur silicium : une approche de codesign matériel / logiciel." Toulouse, INPT, 2001. http://www.theses.fr/2001INPT018H.
Full textAfonso, George. "Vers une nouvelle génération de systèmes de test et de simulation avionique dynamiquement reconfigurables." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2013. http://tel.archives-ouvertes.fr/tel-00921874.
Full textLaarouchi, Youssef. "Sécurité (immunité et innocuité) des architectures ouvertes à niveaux de criticité multiples : application en avionique." Toulouse, INSA, 2009. http://eprint.insa-toulouse.fr/archive/00000333/.
Full textIn avionics, the design and development of critical software applications are strictly constrained in order to ensure a confidence level commensurate with the safety requirements of the implemented tasks. These constraints considerably increase the development and maintenance costs, making such critical systems very expensive. On the other hand, Commercial Off-The-Shelf (COTS) components (hardware and software) are widespread and offer extensive functionalities for a reasonable cost. However, such components are unreliable and vulnerable to malicious attacks. Nevertheless, it would be interesting to take advantage of such (hardware and software) COTS components for non-critical tasks in avionics while preventing them from detrimentally affecting critical tasks. To do so, we need to consider interactions between components with heterogeneous criticality levels. In this thesis, we propose an architecture allowing such interactions in a safe and secure manner, i. E. , such that correct operation of the critical components is not affected. This architecture is based on Totel’s model and uses virtualization to support the implementation of fault tolerance techniques to increase the confidence level of an application executed redundantly on untrusted COTS platforms. To demonstrate our approach, we have implemented a prototype based on two case studies identified with Airbus: a maintenance laptop and a take-off profile computation laptop
Berrebi, Johanna. "Contribution à l'intégration d'une liaison avionique sans fil. L'ingénierie système appliquée à une problématique industrielle." Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00800141.
Full textLaarouchi, Youssef. "Sécurités (immunité et innocuité) des architectures ouvertes à niveaux de criticité multiples : application en avionique." Phd thesis, INSA de Toulouse, 2009. http://tel.archives-ouvertes.fr/tel-00468923.
Full textChevalley, Philippe. "Approche statistique pour le test de logiciels critiques orientés-objet : expérimentation sur un logiciel avionique." École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007), 2001. http://www.theses.fr/2001ESAE0018.
Full textJean, Xavier. "Maîtrise de la couche hyperviseur sur les architectures multi-coeurs COTS dans un contexte avionique." Thesis, Paris, ENST, 2015. http://www.theses.fr/2015ENST0034/document.
Full textWe focus in this thesis on issues related to COTS multi-core processors mastering, especially regarding hard real-time constraints, in order to enable their usage in future avionics equipment. We aim at applying existing Worst Case Execution Time (WCET) evaluation methods on a set of tasks similar to those we can find in avionics software. At runtime, tasks executed among different cores are likely to access hardware resources at the same time, e.g. the main memory. It may lead to additional delays due to hardware contention, called “interferences”. Interferences slow down embedded software within ranges that may be important. Additionnally, no bound has been established for their impact on WCET when using COTS processors, that target larger markets than avionics. We try to provide guarantees that all interferences are eliminated through software, as COTS processors do not provide adequate mechanisms at hardware level. We extend deterministic software concepts that have been developed in the state of the art, in order to make them compliant with the use of legacy software. We introduce the concept of "control software", which is functionnaly neutral, is replicated among all cores, and performs active control of core's accesses to shared resources, so that concurrent accesses are temporally isolated. We formalize and study in this thesis the problem of control software feasibility on COTS processors, and questions of efficiency with regard to legacy avionics software
Jean, Xavier. "Maîtrise de la couche hyperviseur sur les architectures multi-coeurs COTS dans un contexte avionique." Electronic Thesis or Diss., Paris, ENST, 2015. http://www.theses.fr/2015ENST0034.
Full textWe focus in this thesis on issues related to COTS multi-core processors mastering, especially regarding hard real-time constraints, in order to enable their usage in future avionics equipment. We aim at applying existing Worst Case Execution Time (WCET) evaluation methods on a set of tasks similar to those we can find in avionics software. At runtime, tasks executed among different cores are likely to access hardware resources at the same time, e.g. the main memory. It may lead to additional delays due to hardware contention, called “interferences”. Interferences slow down embedded software within ranges that may be important. Additionnally, no bound has been established for their impact on WCET when using COTS processors, that target larger markets than avionics. We try to provide guarantees that all interferences are eliminated through software, as COTS processors do not provide adequate mechanisms at hardware level. We extend deterministic software concepts that have been developed in the state of the art, in order to make them compliant with the use of legacy software. We introduce the concept of "control software", which is functionnaly neutral, is replicated among all cores, and performs active control of core's accesses to shared resources, so that concurrent accesses are temporally isolated. We formalize and study in this thesis the problem of control software feasibility on COTS processors, and questions of efficiency with regard to legacy avionics software
Cosse, Ronan. "Le diagnostic de système de systèmes : une approche à base de modèles appliquée aux bancs d’intégration avionique." Thesis, Valenciennes, 2016. http://www.theses.fr/2016VALE0019.
Full textThe aim of this thesis is to study the diagnostic of test systems used at Airbus HELICOPTERS called avionics test benches. Helicopters embark twenty features to offer helicopter customers functions that will enable to operate the aircraft in all flight conditions (reduced visibility, restricted area, hostile terrain, in a combat zone). Integration tests are used to validate the embedded system with regards to a set of requirements defined by the European and US certification authorities. The state of avionics subsystems is assessed within the overall system, that is to say, using simulation of the real environment of the helicopter. AIRBUS HELICOPTERS wants to reduce the cost of the tests of the helicopter, preliminary testing in a simulated environment, called integration benches. The integration bench must be compliant with the various configurations of the helicopter and simulation environment.We are interested in this thesis in the diagnosis of avionics integration bench. The implementation of diagnostic methods is essential to identify the causes of failures of integration benches. We work on a diagnostic model adapted to the integration bench. functional and structural diagnostic concepts were defined and used for the establishment of a diagnostic algorithm. We have defined verfications functions we have integrate on test benches to validate our method
Damien, Aliénor. "Sécurité par analyse comportementale de fonctions embarquées sur plateformes avioniques modulaires intégrées." Thesis, Toulouse, INSA, 2020. http://www.theses.fr/2020ISAT0001.
Full textToday, air transportation is one of the safest transportation modes, with a continuous reduction in the risk of accidents since the early days of aviation. In recent decades, several advances have been achieved in avionics systems (such as connectivity, resource sharing, COTS) to improve the passenger experience and reduce costs. While these evolutions have been well managed from safety point of view, nevertheless, from the security point of view, they have led to new attack vectors. Considering recent attacks on embedded or critical systems, it is becoming essential to anticipate the potential malicious modification of an aircraft application in future systems. Recently, several studies have been carried out to improve aircraft security. Most of them focus on the aircraft interfaces (communication means or software updates) or on the development phase (risk analysis, vulnerability tests). A few works proposed in-depth defense measures (OS hardening, intrusion detection), in particular to protect against internal attackers.In this thesis, we assume that a malicious application was introduced inside an avionics computer. More specifically, we study the development of an intrusion detection system within an avionics computer. Taking into account the specific constraints related to avionics applications, we have formalized six specific objectives to develop such solution, related to detection efficiency, aircraft lifetime, performance, real-time impact, safety impact, and certification. To fulfill these objectives, this thesis presents a comprehensive approach to integrate an anomaly-based intrusion detection system into an avionics computer, based on the IMA (Integrated Modular Avionics) development process. The normal behavior of an avionics application is modeled during the integration phase, based on the static and deterministic characteristics of avionics applications, and on the existing means that have been developed for safety. This model of normal behavior is then embedded onboard the aircraft and allows to detect any deviation of behavior during the operation phase. In addition, an on-board anomaly analysis function offers a first level of on-board diagnosis and some flexibility once the aircraft is in operation.This approach has been implemented on two case studies to validate its feasibility and assess its detection capabilities and resource consumption. Firstly, an attack injection tool was developed in order to compensate for the lack of existing means to test our approach. Then, several behavioral detection solutions were proposed and evaluated, based on two types of models: OCSVM and Timed Automata. Two of them were implemented in an embedded prototype, and provided very good results in terms of detection efficiency and resource consumption. Finally, the anomaly analysis function has also been implemented, and the associated experiments showed encouraging results regarding the possibility to embed such a system onboard an aircraft
Charara, Hussein. "Évaluation des performances temps réel de réseaux embarqués avioniques." Toulouse, INPT, 2007. http://ethesis.inp-toulouse.fr/archive/00000527/.
Full textThe recent aircrafts need to accommodate more passengers or freight, with increasing safety and comfort conditions. The new embedded systems imply a large burst in the number and the volume of exchanged data. The avionic data buses cannot cope anymore with these new communications needs. Both Airbus and Boeing made the choice to replace these buses with a network using the Switched Ethernet technology. The main contribution of this thesis is a method, based on a simulation model, which evaluates the performances of this type of networks. We also propose approaches for the traffic classification allowing the reduction of the simulation space, in order to lead to a more refined analysis of the network behaviour. The results of these simplifications enabled us to establish a generic simulation model and to acquire distributions of the end to end delay for the majority of the virtual links, having to be studied on the selected real avionic configuration
Martin, Frank. "Modélisation et évaluation de performances prévisionnelles d'architectures avioniques modulaires intégrées." École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007), 1999. http://www.theses.fr/1999ESAE0014.
Full textPerseil, Isabelle. "Méthode C, une méthode de génie logiciel pour les systèmes avioniques temps-réel." Paris, Télécom ParisTech, 2009. http://www.theses.fr/2009ENST0057.
Full textWe present here a software engineering method for avionic fault-tolerant distributed, real-time and embedded (DRE) systems which covers the whole software lifecycle thanks to a seamless process. We have called this method the “C-Method” as C stands for the main notion of “continuum” that we have introduced between each phase of the lifecycle. Because these “DRE” systems have safety critical concerns, they require the use of formal languages (that allow non ambiguous and rigorous specifications) in order to be able to prove their non functional properties. Therefore, the “C-Method” relies on the use of formal languages in the earliest steps of the system specification and on the use of semi-formal languages in the analysis, design and programming steps. The fundamental question is how to integrate several languages with different levels of formalization and abstraction. Here we propose to “navigate” from one language to another one thanks to model transformations techniques at the analysis step and code generation at the design step, when a full mechanization of the process is required. As the systems that we are studying are complex systems, and also because they need modularity, change management (these systems have a long duration), reuse, to be taken into account, the model-driven approach is the most appropriate to start with Considering the previous arguments, the “C-Method” is founded upon the cooperation of models and languages, in a way that enables continuity
Beaulieu, Steve. "Analyse du déterminisme et de la fiabilité du protocole PCI express dans un contexte de certification avionique." Mémoire, École de technologie supérieure, 2012. http://espace.etsmtl.ca/965/1/BEAULIEU_Steve.pdf.
Full textRenard, Sébastien. "Évaluation des effets des neutrons atmosphériques sur l'électronique embarqué en avionique et recherche de solutions de durcissement." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-01015741.
Full textRousselin, Thomas. "Modélisation et interprétation des effets combinés vieillissement/SEE dans les technologies d'échelles nanométriques appliquées au domaine avionique." Thesis, Toulouse, ISAE, 2018. http://www.theses.fr/2018ESAE0044/document.
Full textCMOS technologies used in avionics are prone to both aging and soft error caused by cosmic rays. The ongoing technology scaling has improved the radiation sensitivity of memory cells while the contribution of degradations mechanisms remained unchanged. Considering this trend, the hypothesis that radiation sensitivity does not change over the lifetime of a component must be challenged. In order to do so, a modelling methodology is proposed. It is based on an existing radiation modelling device and includes an electrical aging modelling. This modelling is used to characterize the aging impact on radiation sensitivity of several memory cells under different radiative environment. The impact of diverse electrical parameters is noted and an operative avionics study is finally proposed
Gatti, Marc. "Évolution des Architectures des Systèmes Avioniques Embarqués." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066725/document.
Full textNowadays, 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
Delmas, Rémi. "Un cadre formel pour la modélisation et la vérification compositionnelles et hétérogènes des systèmes avioniques modulaires intégrés." École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007), 2004. http://www.theses.fr/2004ESAE0011.
Full textKoliatene, Flavien. "Contribution à l'étude de l'existence des décharges dans les systèmes de l'avionique." Toulouse 3, 2009. http://thesesups.ups-tlse.fr/496/.
Full textThanks to the progress realized in power electronics field, the electric power embarked on the transport vehicles (automobile, railroad, maritime. . . ) is in constant increase. This evolution is also occurring in aircrafts, leading inevitably to an increase of the voltage level. The control flexibility, the facilitated maintenance as well as the cost are the assumed assets of systems called "More Electric". However, the implementation of more electric systems can lead to the occurrence of unfavourable phenomenons to the insulation electrical systems such as discharges. It seemed therefore necessary to develop a study on initiation conditions of Partial Discharges (PD) to guarantee the reliability of insulation systems which is the whole chain of electric power. It is in this frame the work relates to and it is presented in this manuscript. A particular attention is carried out concerning the experimental characterization of the PD existence in the electric systems embarked in aircrafts. This is bound, on one hand, to the specific environment (pressure, temperature, humidity) and, on the other hand, to the increase of the voltage level. Until very recently, this phenomena was not taken into account in the specifications of the embarked electric equipments, considering the low functioning voltage level (115V AC and 28V DC). We remind first of all about the evolution and the need in electric power in the new generations of more and more electric aircraft. A state of the art on the measures of PD is then presented. The phenomenology of electric shocks in the air in particular Paschen law are explained. Finally, corrective expressions coming from the literature are presented and discussed. Then we present the bench test worked out allowing, on one hand the characterization of the electric strain of the air under controlled atmosphere (pressure, temperature and relative humidity) and on the other hand the measures of PD under avionics constraints. .
Bedin, França Ricardo. "Processus et outils qualifiables pour le développement de systèmes critiques certifiés en avionique basés sur la génération automatique de code." Thesis, Toulouse, INPT, 2012. http://www.theses.fr/2012INPT0028.
Full textThe development of safety-critical avionics software, such as aircraft flight control programs, presents many different constraints that are nearly contradictory, such as performance and safety requirements, and all must be met simultaneously. The objective of this Thesis is to propose modifications in the development cycle of Airbus flight control programs in order to improve their performance without weakening their verification processes or violating other industrial constraints. The main criterion for performance evaluation is the Worst-Case Execution Time (WCET), as it is used in the timing analysis that is performed in actual avionics software verification processes. In a first moment, the DO-178, which contains guidance for avionics software development approval, is presented. Both the DO-178B and the DO-178C are discussed, since the former was the reference for the development of many Airbus flight control programs and the latter shall be the reference for the development of new programs, starting from 2012. Then, the case study is presented. In order to better understand it, some historical context is provided by the study of other flight control programs - many of its life cycle activities reuse techniques that were successful in previous software projects. Each activity is evaluated in order to underline what are the performance bottlenecks in the flight control software development. Some potential underperforming activities are depicted and the main axis of study developed subsequently is the compilation phase: not only it is a well-known unoptimized activity that has important impacts over software performance, but it is also an activity that might undergo a paradigm change due to innovating compilers that are being developed by researchers. The CompCert compiler is presented and its use in the scope of this Thesis is justified - at the time of this Thesis, it was the compiler that was best prepared to perform meaningful experiments, such as compiling a large subset of the chosen case study. Its architecture is studied, together with its semantic preservation theorem, which is the backbone of its formally-verified part. Additional features that were developed in CompCert during this Thesis in order to meet Airbus's requirements - such as its annotation mechanism and its reference interpreter - are discussed in order to underline their usefulness in the development of flight control software. The evaluation of CompCert consists in a performance comparison with the current compilation strategy and an assessment of the impacts that its utilization might have over the verification strategy commonly employed in flight control software. The results of the performance comparison are promising, since CompCert-generated code has a WCET more than 10% lower than if it were compiled with a good quality non-optimizing compiler. As expected, the use of CompCert has impacts over some important verification activities but its formal development and increased verifiability helps in the development of new compiler verification activities that can keep the whole development process at least as safe as the current one. Some development strategy propositions are then presented, according to the certification credit that might be required by using CompCert
Ly, Khadijetou. "Étude de faisabilité d'une liaison haut débit sur fibre optique à base de VCSEL à 850 nm pour application avionique." Toulouse, ISAE, 2008. http://www.theses.fr/2008ESAE0014.
Full textLabiche, Yvan. "Contribution au test des logiciels orientés-objets : ordre de test, modèles et critères associés." Toulouse, INPT, 2000. http://www.theses.fr/2000INPT018H.
Full textDelange, Julien. "Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d'intergiciels critiques." Phd thesis, Paris, Télécom ParisTech, 2010. https://pastel.hal.science/pastel-00006301.
Full textSafety-critical software (used in avionics, military or aerospace domains) must preserve their integrity, ensure a continuous operational state and enforce security of their data. There requirements are met through a dedicated development process that analyzes and detects errors before system release. However, these methods are not sufficient and safety or security still occurs in such systems (e. G. Explosion of Ariane 5, mission failure of Mars Climate Orbiter, etc). In addition, meeting safety and security becomes more and more difficult due to an increasing number of functionalities. This thesis introduces a new method to build safety-critical systems and ensure their safety and security requirements. The approach proposes patterns for the specification of safe and secure systems. Then, a dedicated development process relies on them to (i) validate, (ii) automatically implement and (iii) certify the system, enforcing its requirements from the specifications to the code. System validation (i) detects specification errors, ensuring its correctness and feasibility prior any development effort. The automatic implementation process (ii) translates system specification into code and ensures their requirements enforcement. The certification (iii) aspect verifies that specification requirements are met in the implementation by analyzing the system during its execution. It also evaluates its compliance against certification standards (such as DO178B)
Kuntz, Fabien. "Une approche basée modèle pour l’optimisation du monitoring de systèmes avioniques relativement à leurs performances de diagnostic." Thesis, Bordeaux 1, 2013. http://www.theses.fr/2013BOR14825/document.
Full textAvionics systems become more and more complex. With the improvment of computing possibilities, new architectures based on resources sharing are growing up. Perform diagnosis of a system is no longer a trivial operation. The challenge is to develop efficient techniques of diagnosis while optimizing capabilities of monitoring required.This thesis give a model-based characterization of a system under diagnosis, and proposes techniques to assess diagnostic performances, as well as its monitoring ones (with respect to these diagnostic performances). The industrial context of this thesis brings other constraints, and in particular the need to handle the size of avionics systems to analyze. That thesis then examines the applicability of the introduced techniques to this particular context, and proposes an adaptation
Lastera, 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.
Full textGrieu, Jérôme. "Analyse et évaluation de techniques de commutation Ethernet pour l'interconnexion des systèmes avioniques." Phd thesis, Toulouse, INPT, 2004. http://oatao.univ-toulouse.fr/7385/1/grieu.pdf.
Full textDessiatnikoff, 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.
Full textMifdaoui, Ahlem. "Spécification et validation d'un réseau de communication de type Ethernet Commuté pour systèmes avioniques militaires de nouvelles générations." Toulouse, INPT, 2007. http://ethesis.inp-toulouse.fr/archive/00000603/.
Full textThe current military interconnection system in no longer effective in meeting the emerging needs of next generation military applications. In fact, the complexity and heterogeneity of this network limit system modularity and make the real time constraints guarantees difficult to prove. In this thesis, Full Duplex Switched Ethernet is put forward as a future interconnection technology to replace the current military avionic architecture. Our main contributions lie in the design and validation of two new avionics architectures. The first is based on decentralized control with an asynchronous communication pattern; while the second is based on a centralized control with a synchronous communication scheme. First, we detailed the characteristics of each one. Then, delay bound analysis are conducted to evaluate the deterministic guarantees offered by each proposed architecture. Theoretical analysis are then investigated in the case of a realistic military aircarft network
Badache, Nesrine. "Allocation temporelle de systèmes avioniques modulaires embarqués." Phd thesis, Toulouse, INPT, 2016. http://oatao.univ-toulouse.fr/15991/1/badache_.pdf.
Full textKuntz, Fabien. "Une approche basée modèle pour l'optimisation du monitoring de systèmes avioniques relativement à leurs performances de diagnostic." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-00873373.
Full textBourdil, Pierre-Alain. "Contribution à la modélisation et la vérification formelle par model checking - Symétries pour les Réseaux de Petri temporels." Thesis, Toulouse, INSA, 2015. http://www.theses.fr/2015ISAT0041/document.
Full textThis thesis deals with formal verification of critical systems where the system’s correction depends on compliance with time constraints. The first part studies the formal modeling and verification by model-checking of realtime systems in the context of the aerospace industry. The second part describes our method for symmetry reduction of Time Petri Net. We define a symmetric composition operator for building Net. Then we present our solution for construction of quotients of the state spaces by the equivalence relation induced by symmetries. Our method applies to Petri nets, temporal or not, but to our knowledge this is the first methodology for Time Petri Nets. Encouraging experimental results are presented
Kemayo, Georges Arnaud. "Evaluation et validation des systèmes distribués avioniques." Thesis, Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique, 2014. http://www.theses.fr/2014ESMA0010/document.
Full textAvionics systems are subject to hard real-time constrainst and criticality. To certify these systems, it is neccessaryto compute the upper bound of the end-to-end delay of each message transmitted in the network. In this thesis,we mainly focus on civils avionics systems that use AFDX (Avionics Full Duplex Switched Ethernet) networkand that has been introduced in the Airbus A380 architecture.In this context, we focus in the computation of the end-to-end delays of messages crossing the network. Amongthe existing methods, we interested in the trajectory approach precedently proposed by researchers. The goal ofthis method is to compute end-to-end delay upper bounds of messages in the nodes of AFDX network. As a firstcontribution, we prove that the end-to-end delays computed by this method can be optimistic. This means thatwithout any modification, it cannot be used to validate transmission end-to-end delays for the AFDX. Despitethe identification of these optimistic problems in the trajectory approach, a solution to remove them seems notto be simple from our point of view. Hence, as a second contribution, we propose a new approach to computethese delays based on the characterization of the worst-case traffic encountered by a packet on each crossednode
Champenois, Florient. "Configuration et analyse temporelle de réseaux avioniques à sauts multiples." Electronic Thesis or Diss., Institut polytechnique de Paris, 2024. http://www.theses.fr/2024IPPAT036.
Full textIn the field of embedded real times critical networks, the current trend is to increase requirements in terms of embeddability and bandwidth, in order to meet the new challenges posed by autonomous vehicles and drones. To meet these needs, Safran is establishing a new certifiable model of a distributed network based on a mesh topology. This thesis is taking place within this project, in order to propose a set of methods and tools to meet these needs and thus improve embedded critical networks.With this objective in view, the thesis consisted, firstly, of presenting a range of improvements to Safran's new network model by incorporating multi-path redundancy in place of the multi-plane redundancy currently used in aeronautics to satisfy fault tolerance constraints. The thesis also led to the adoption of several measures to improve others networks capabilities.Secondly, the work also focused on the implementation of a method for calculating a pessimistic worst-case transmission time bound. The presence of cycles of dependencies between data flows within these networks impedes the vast majority of current computation methods to converge on a result. Part of the work has therefore consisted in producing an adaptation of the trajectory approach that can address such networks, while offering optimizations to improve scaling.The final part of the work involved implementing a methodology to produce network configurations that satisfy constraints in terms of fault tolerance, transmission time, and embeddability. This method, which is based on a multi-criteria genetic algorithm, also enables the configuration produced to be optimized as a function of several criteria in order to offer a more than satisfactory result.Finally, the approaches presented in this thesis are tested using a complete set of experiments, allowing us to conclude that it is pertinent
Dang, Dinh Khanh. "Analyse de performance des technologies sans fil pour les systèmes embarqués avioniques de nouvelle génération." Thesis, Toulouse, ISAE, 2014. http://www.theses.fr/2014ESAE0057/document.
Full textThe current avionics communication architecture inherits significant weight and integration costs due to the increasing quantity of wires and connectors. In addition, avionics interconnects are still subject to structural failure and fire hazard which decrease reliability and ramify the maintenance. To cope with these arising issues, integrating wireless technologies in avionics context is proposed in this thesis as a main solution to decrease the wiring-related weight and complexity.To achieve this aim, we design an alternative backup avionic network based on HR-UWB technology implementing a TDMA arbitration protocol and various reliability mechanisms to guarantee predictability and reliability requirements.Afterwards, we conduct analytical performance evaluation of our proposal in terms of delays. Moreover, we investigate different solutions to reach further enhancements on the system scalability and reliability.Finally, the validation of our proposal through a realistic avionics case study has been conduced, and the obtained results highlight its ability to guarantee the system requirements in terms of predictability and reliability
Gamatié, Abdoulaye. "Modélisation polychrone et évaluation de systèmes temps réel." Phd thesis, Université Rennes 1, 2004. http://tel.archives-ouvertes.fr/tel-00879359.
Full textBeaugency, Aurélie. "Capacités dynamiques et compréhension des enjeux sectoriels : apports de l’intelligence technologique au cas de l’avionique." Thesis, Bordeaux, 2015. http://www.theses.fr/2015BORD0290/document.
Full textThe understanding of the scientific dynamics of an environment, whether technological orcompetitive, occupies a predominant place in the discussion of adaption and survival of firms. In thecase of avionics, the upheaval in the 2000’s is the consequence of profound changes in its two mainsectors, aeronautics and electronics. This drove the Computer Department, part of the AvionicsDivision of Thales Group, to question its ability to handle these evolutions. In this thesis, we examineone of these mechanisms, the sensing dynamic capability (defined as the aptitudes deployed by firmsin order to adapt routines and organizational capabilities) and we put it into practice throughtechnological intelligence capability.By studying the deployment of this ability inside the Department, we show how technologicalintelligence contributes to the learning process of the firm, as it is used by managers in order toinfluence the selection process of Product Policy. In order to achieve this, we adopted a researchinterventionmethodology (with the support of an industrial agreement CIFRE) based on two steps.First of all, we show that through the operationalization of the technological intelligence ability in thedepartment, managers put the latter to use in the selection of product policies. Secondly, the results ofthe technical studies conducted for this deployment add to the understanding of the scientific andtechnological dynamics of the avionics sector
Mbayed, Rita. "Contribution à la commande d'une machine synchrone à double excitation pour des applications embarquées." Phd thesis, Université de Cergy Pontoise, 2012. http://tel.archives-ouvertes.fr/tel-00837741.
Full textLegrand, Jean-Luc. "Étude de méthodes de compression d'images : application à la compression de bases de données cartographiques avionables." Compiègne, 1988. http://www.theses.fr/1988COMPD137.
Full textSentenac, Thierry. "Surveillance de scènes dynamiques avec une caméra CCD dans le proche infrarouge : application à la détection couplée de feu et de déplacements d'objets." Toulouse, INPT, 2002. http://www.theses.fr/2002INPT042H.
Full text