Дисертації з теми "Génération de signaux de test"
Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Génération de signaux de test.
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 дисертацій для дослідження на тему "Génération de signaux de test".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
1
Mamgain, Ankush. "Génération sur puce de signaux sinusoïdaux à hautes fréquences en utilisant des techniques d'annulation d'harmoniques." Electronic Thesis or Diss., Université Grenoble Alpes, 2024. http://www.theses.fr/2024GRALT024.
Анотація:
Les techniques d'autotest intégré (BIST) jouent un rôle important dans les circuits analogiques, à signaux mixtes et RF (AMS-RF) afin d'améliorer le rendement des processus nanométriques avancés. Ces circuits remplacent les testeurs AMS-RF très sophistiqués et coûteux. Le générateur de stimuli est l'un des blocs importants des circuits BIST AMS-RF. En particulier, de nombreux tests analogiques-RF nécessitent un signal sinusoïdal de haute qualité comme stimuli de test. L'objectif de cette thèse est de comprendre les défis posés par la génération d'un signal sinusoïdal dans la gamme des GHz et d'atténuer ces défis en utilisant le principe d'annulation harmonique. Dans le principe d'annulation harmonique, un ensemble de signaux périodiques décalés dans le temps sont mis à l'échelle et ajoutés. Dans ce processus, les harmoniques du signal périodique sont annulées et la fréquence fondamentale est conservée à la sortie. Dans ce cas particulier, un générateur de signaux capable d'annuler les harmoniques inférieures à la 11e harmonique est nécessaire. Malgré son efficacité, cette technique est très sensible à la dégradation des performances en raison de l'inadéquation et des variations de processus. Ces variations affectent le décalage temporel et le rapport cyclique (également appelés imprécisions temporelles) du signal, en particulier dans les applications à haute fréquence où un contrôle précis devient de plus en plus difficile. Pour y remédier, une nouvelle architecture d'étalonnage utilise un mécanisme de cellule de retard grossier-fin, qui atténue efficacement l'impact des imprécisions temporelles. L'une des solutions proposées a été fabriquée en utilisant la technologie FDSOI 28 nm de ST et validée. Les résultats des mesures montrent un SFDR supérieur à 60dBc pour des fréquences supérieures à 1 GHz après optimisation, illustrant le potentiel de notre architecture dans l'amélioration de la fiabilité et de l'efficacité de la génération de signaux sinusoïdaux sur la puce pour les circuits intégrés AMS-RFBuilt-in self-test (BIST) techniques play an important role in Analog, Mixed-signal, and RF (AMS-RF) circuits so that the yield in advanced nanometric processes can be improved. These circuits replace highly sophisticated and expensive AMS-RF testers. The stimuli generator is one of the important blocks in AMS-RF BIST circuits. In particular, many analog-RF tests require a high-quality sinusoidal signal as test stimuli. The focus of this thesis is to understand the challenges of generating a sinusoidal signal in GHz range and mitigating these challenges using the harmonic cancellation principle. In harmonic cancellation principle, a set of time-shifted periodic signals are scaled and added. In this process, harmonics of the periodic signal are cancelled and the fundamental frequency is retained at the output. Particularly in this case, a signal generator that can cancel the harmonics below the 11th harmonic. Despite its efficiency, this technique is highly susceptible to performance degradation due to mismatch and process variations. These variations affect time-shift and the duty cycle (also called timing inaccuracies) of the signal, particularly in high-frequency applications where precise control becomes increasingly challenging. To address this, a novel calibration architecture employs a coarse-fine delay cell mechanism, which effectively mitigates the impact of timing inaccuracies. One of the proposed solutions was fabricated using ST 28-nm FDSOI technology and validated. The measurement results show an SFDR greater than 60dBc for frequencies greater than 1 GHz after optimization, illustrating the potential of our architecture in enhancing the reliability and effectiveness of on-chip sinusoidal signal generation for AMS-RF integrated circuits
2
Asokan, Anu. "Signal Integrity - Aware Pattern Generation for Delay Testing." Thesis, Montpellier, 2015. http://www.theses.fr/2015MONTS206/document.
Анотація:
La miniaturisation des circuits intégrés permet d'avoir une intégration plus élevée dans une même puce. Cela, conduit a des problèmes de qualité dans les signaux de communication et d’alimentation comme le phénomène de bruit de diaphonie entre les interconnections (Crosstalk) et de bruit dans le lignes d'alimentation (PSN, GB). Aussi problèmes de fiabilité peuvent éventuellement arriver a cause des variations dans les paramètres technologiques pendant le processus de fabrication. De ce fait, tout ces phénomènes ont un effet négatif sur le délai dans les circuits embarques (IC) et donnent lieu aux défauts sur le retard. Des échecs relie au délai dans les dispositifs semi conducteurs causes une augmentation de taux d'évasion de défaut, une perte de rendement et une diminution dans le taux de fiabilité. Techniques de Design-For-Test ont était développée a fin d'avoir une meilleur contrôlabilité et observabilité dans les nœuds internes du circuit pour détecter et localiser facilement l’emplacement des défauts. Cependant, ils ne sont pas toujours détectés par les modèles de défauts traditionnels.Cette thèse s’intéresse a l’analyse de ces phénomènes a fin de proposer de nouvelle méthodes de test du délai en considérant les phénomènes physiques pour faire face aux défauts provenant du processus de fabrication ou de problèmes physiques. Ces méthodes comprennent l'analyse de la variation du retard d'un chemin en présence du bruit de diaphonie, du bruit d'alimentation, et les variations de processus. Additionnellement, nous développons méthodes d'essai de retard sur un chemin pour identifier les motifs de test qui peuvent causer le pire des cas de retard sur un chemin cible. Les méthodes proposées peuvent être utilisées pour caractériser la vitesse de chemin et il contribue à résoudre le problème de «speed binning». En outre, ils peuvent être utilisés dans l'amélioration de l'approche classique ATPG de génération de «patterns» et elles sont indépendantes de la technologie. L'application de ces contributions peut apporter des améliorations considérables à la qualité de test IC en assurant une meilleure couverture des défauts et en aidant à augmenter le rendement de fabrication au cours de la vitesse du «binning» dans les puces IC. L’évolution en continue de la technologie en échelle nanométriqueAdvancing nanometer technology scaling enables higher integration on a single chip with minimal feature size. As a consequence, the effects of signal and power integrity issues such as crosstalk noise between interconnects, power supply noise and ground bounce in the supply networks significantly increases. Also, reliability issues are eventually introduced by variations in the manufacturing process. These issues will negatively impact the timing characteristics in an integrated circuit (IC), as they give rise to delay defects. Delay-related parametric failures increase the defect escape rate, yield loss and diminish reliability rate. Hence, design-for-test techniques are employed to have a better controllability and observability on the internal nodes to easily detect and locate the faults. However, they are not always detected by the traditional fault models. In our work, we target these challenges and propose novel physical design-aware path delay test methods to deal with delay faults coming from manufacturing defects or physical design issues. They include the investigation of path delay variations in the presence of crosstalk noise, power supply noise, ground bounce and process variations. Based on this, we develop technology independent test methods for identifying the test patterns that may cause a worst-case delay on a target path. Then, we develop a dedicated test pattern generation method for path delay testing in the presence of crosstalk noise, power supply noise and ground noise. The proposed methods can be used to characterize the path speed and it helps to address the speed binning problem. Also, they can be employed in improving the classical ATPG approach of pattern generation. The application of these contributions can bring tremendous improvements to the IC test quality by ensuring better defect coverage and for an increased manufacturing yield during speed binning of IC chips
3
Kervella, Gaël. "Circuits intégrés photoniques sur InP pour la génération de signaux hyperfréquences." Thesis, Rennes 1, 2016. http://www.theses.fr/2016REN1S008/document.
Анотація:
Cette thèse s'inscrit dans le cadre de l'optique micro-onde. Nous avons mis en oeuvre différentes solutions opto-électroniques dans le but de réaliser un synthétiseur hyperfréquence monolithiquement intégré, faiblement bruité et largement accordable jusqu'au domaine millimétrique. Le synthétiseur est basé sur l'intégration sur InP de deux lasers DFB, d'un coupleur optique et d'une photodiode rapide. En outre, un modulateur électro-optique est également implémenté sur la puce afin de transmettre un signal de données sur la porteuse générée. Les performances obtenues en terme de gamme d'accord et de transmission de données sans fil se sont révélées conformes aux objectifs. Ainsi, une gamme d'accord de 0 à 110 GHz et un débit de transmission de donnée sans fil à courte distance de 1 Gbit/s ont pu être démontrés, établissant notre système à l'état de l'art mondial pour ce type de composant totalement intégré. Les performances en terme de bruit de phase se sont en revanche révélées décevantes. Pour remédier à ce problème nuisant à la montée en débit supérieurs, nous avons investigué deux solutions de stabilisation de la fréquence porteuse. La première, basée sur un asservissement électronique (OPLL) de la puce, s'est pour le moment révélé infructueuse, mais a permis d'étudier plus avant les problématiques qui lui sont liées. La seconde solution, basée sur un système inédit de rétroinjection optique mutuelle et une stabilisation sur un oscillateur électronique externe a quant à elle répondu à nos souhaits. En effet, la stabilisation de la fréquence porteuse par cette technique a permis de démontré des largeurs de raies inférieure à 30 Hz et un bruit de phase réduit à -90 dBc/Hz à 10 kHz d'une porteuse accordée à 90 GHz. A la suite de ces travaux sur une première génération de composants, une deuxième génération a été développée afin d'améliorer les performances intrinsèques de la puce en remédiant aux limitations observées jusqu'alors. Ainsi, une nouvelle configuration de cavité a été conçue intégrant notamment des lasers plus longs ainsi que des miroirs haute réflectivité. Par ailleurs, une optimisation de la structure de la photodiode a été réalisée afin d'améliorer encore sa bande passante. Une telle source permet d’envisager la génération et la modulation de signaux microonde faible bruit de phase et largement accordables sur des composants monolithiquement intégrés répondant aux exigences de compacité, de reproductibilité et de performances haut débit requises par les industries des télécommunications, de la défense ou encore du domaine spatialThis thesis deals with the microwave photonics context. We have implemented various opto- electronic solutions in order to realize a monolithically integrated microwave synthesizer which has a low noise and a wide tunability until millimeter-wave frequencies. The synthesizer is based on the integration of two InP DFB lasers, an optical coupler and a fast photodiode. In addition, an electro-optic modulator is also implemented on the chip in order to transmit data on the generated carrier. The performances obtained in terms of tunability and wireless data transmission proved consistent with the objectives. Thus, a tuning range of 0-110 GHz and a short distance wireless data transmission rate of 1 Gbit /s have been demonstrated, establishing our system to the state of the art for this type of fully integrated component. Phase noise and linewidth performances have however been disappointing. To solve this problem affecting the data rate we have investigated two ways of stabilizing the carrier frequency. The first, based on an electronic feedback loop (OPLL) has yet proved unsuccessful but allowed us to further explore the related issues. However, the second solution, based on a new system of optical cross injection and stabilization to an external electronic oscillator has filled our wishes. Indeed, the stabilization of the carrier frequency by this technique has demonstrated linewidth less than 30 Hz and a reduced phase noise to -90 dBc / Hz at 10 kHz for a given carrier at 90 GHz. Next to the first generation components, a second generation was developed to improve the intrinsic performances of the chip by remedying the limitations previously observed. Thus, a new cavity configuration was designed including longer lasers and high reflectivity integrated mirrors made by materials deep etching. Moreover, optimization of the photodiode structure was carried out to further improve the bandwidth. Such a source allows to consider the generation and modulation of low phase noise and widely tunable microwave signals on monolithically integrated components matching the compactness, reproducibility and high speed performances required by the telecom, defense and space industries
4
Decrouez, Geoffrey. "Génération de signaux multifractals possédant une structure de branchement sous-jacente." Phd thesis, Grenoble INPG, 2009. http://www.theses.fr/2009INPG0002.
Анотація:
La géométrie fractale, développée par Mandelbrot dans les années 70, a connu un essor considérable ces 20 dernières années. Dans cette thèse, je m'intéresse à la génération de signaux dits fractals et multifractals. J'étudie en particulier 2 modèles, dont leur point commun est leur structure d'arbre de branchement sous jacente. Le premier modèle est une généralisation des Systèmes de fonctions Itérés ou IFS, introduits par Hutchinson dans les années 80. Les IFS constituent un moyen simple et efficace pour produire des ensembles et des processus fractals en itérant un nombre fixed d'opérateurs. L'idée est d'autoriser un nombre aléatoire d'opérateurs aléatoires à chaque itération de l'algorithme. Nous donnons des conditions simples et faciles à vérifier sous lesquelles l'IFS admet un point fixe. Quelques propriétés du point fixe sont également étudiées. Le deuxième modèle, que nous appellons Multifractal Embedded Branching Process (MEBP), s'obtient à l'aide d'un changement de temps multifractal d'un processus à invariance d'échelle discrète, le processus EBP Canonique (CEBP). Nous donnons un algorithm efficace de simulation "on-line" de ces processus, permettant de générer X(n + 1) à partir de X(n) en O(log n) opérations. Nous obtenons également un borne supérieure pour le spectre multifractal du changement de temps et confirmons les résultats théoriques à l'aide de simulations. Les mouvements Browniens en temps multifractal sont des cas particuliers des processus MEBP, ce qui suggère une application potentielle des processus MEBP en finance. Enfin, nous proposons d'imiter un mouvement Brownien fractionnaire à l'aide d'un processus MEBPFractal geometry, pioneered by Mandelbrot in the 70s, has been recognized in many areas of science. The novelty of this thesis is the generation of fractal and multifractal processes with underlying construction tree. I study two models in particular. The first one is a generalisation of Iterated Function Systems (IFS), introduced by Hutchinson in the early 80s. IFS are an efficient tool to generate fractal sets and functions, by iterating a given set of operators. The idea here is to allow a random number of random operators at each iteration of the algorithm. We derive simple conditions under which the IFS possesses a fixed point. A few properties of the fixed point are also investigated. The second model, called Multifractal Embedded Branching Process (MEBP), is obtained via a multifractal time change of a discrete self-similar process, the Canonical EBP (CEBP). We give an efficient simulation online algorithm which generates X(n+1) from X(n) in O(log n) steps. We also derive an upper bound of the multifractal spectrum of the time change and we confirm the theoretical results with simulations. Subordinated Brownian motions are particular cases of MEBP processes, which suggests a potential application of MEBP in finance. Finally, we propose to imitate a fractional Brownian motion with an MEBP
5
Decrouez, Geoffrey. "Génération de signaux multifractals possédant une structure de branchement sous-jacente." Phd thesis, Grenoble INPG, 2009. http://tel.archives-ouvertes.fr/tel-00353827.
Анотація:
La géométrie fractale, développée par Mandelbrot dans les années 70, a connu un essor considérable ces 20 dernières années. Dans cette thèse, je m'intéresse à la génération de signaux dits fractals et multifractals. J'étudie en particulier 2 modèles, dont leur point commun est leur structure d'arbre de branchement sous jacente.Le premier modèle est une généralisation des Systèmes de fonctions Itérés ou IFS, introduits par Hutchinson dans les années 80. Les IFS constituent un moyen simple et efficace pour produire des ensembles et des processus fractals en itérant un nombre fixed d'opérateurs. L'idée est d'autoriser un nombre aléatoire d'opérateurs aléatoires à chaque itération de l'algorithme. Nous donnons des conditions simples et faciles à vérifier sous lesquelles l'IFS admet un point fixe. Quelques propriétés du point fixe sont également étudiées. Le deuxième modèle, que nous appellons Multifractal Embedded Branching Process (MEBP), s'obtient à l'aide d'un changement de temps multifractal d'un processus à invariance d'échelle discrète, le processus EBP Canonique (CEBP). Nous donnons un algorithm efficace de simulation "on-line" de ces processus, permettant de générer X(n + 1) à partir de X(n) en O(log n) opérations. Nous obtenons également un borne supérieure pour le spectre multifractal du changement de temps et confirmons les résultats théoriques à l'aide de simulations. Les mouvements Browniens en temps multifractal sont des cas particuliers des processus MEBP, ce qui suggère une application potentielle des processus MEBP en finance. Enfin, nous proposons d'imiter un mouvement Brownien fractionnaire à l'aide d'un processus MEBP.
6
Lelièvre, Oriane. "Oscillateurs optoélectroniques pour la génération de signaux microondes à grande pureté spectrale." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLS061.
Анотація:
La génération de signaux microondes à grande pureté spectrale est fondamentale pour différentes applications (systèmes RADAR, échantillonnage large bande). L’optique propose des solutions prometteuses pour la montée en fréquence des d’oscillateurs à bas bruit de phase. L’objectif de cette thèse est d’étudier différentes configurations d’oscillateurs optoélectroniques (OEO) à 10 GHz. Pour cela, nous avons développé puis validé expérimentalement un modèle décrivant le bruit de phase, que nous avons ensuite étendu aux OEOs à boucles multiples. Cet outil unique nous a permis de concevoir un OEO à double boucles à l’état de l’art avec un encombrement réduit (premier mode parasite avec un niveau de bruit de phase de -146 dBc/Hz à 187 kHz de la porteuse). Nous avons également étudié des OEOs à amplification optique qui permettent de lever les verrous associés aux amplificateurs RF lors de la montée en fréquence (contribution de bruit et bande passante) tout en conservant d’excellentes performances. Enfin, nous nous sommes intéressés aux oscillateurs optoélectroniques couplés (COEOs), qui associent un laser à verrouillage de modes à un OEO. Nous avons modélisé le bruit de phase du laser en tenant en compte pour la première fois la non-orthogonalité des modes de la cavité, puis initié un modèle pour le COEO. Après une étude expérimentale des paramètres clef, nous avons réalisé un COEO proche de l’état de l’art, dont le bruit phase au voisinage de la porteuse est amélioré par rapport aux OEOs pour des longueurs de boucle plus courtesHigh purity microwave signal generation is required in various applications (RADAR systems, wideband sampling). For high frequency operations, optics offer promising solutions to generate low noise oscillators. The objective of this thesis consists in studying various optoelectronic oscillator (OEO) configurations at 10 GHz. We first worked on a phase noise model and its experimental validation, further extended to multiple loop OEOs. This comprehensive model allowed the design of a state-of-the-art dual loop OEO with consideration to its compactness (first spur located at 187 kHz from the carrier with a phase noise level of 146 dBc/Hz).We then focused on all photonic gain OEOs to get rid of RF amplifiers whose bandwidth and noise contributions are a limit for high frequency operations. Finally, we studied coupled optoelectronic oscillators (COEOs) which may simply be described as a combination of a mode locked laser and an OEO. We worked on a phase noise model for active and harmonically mode locked laser taking into account for the first time the non-orthogonality of the cavity modes. This model is the basis to a COEO model we began to develop. After experimentally determining key parameters, we designed and optimized a low noise COEO exhibiting a close-to-carrier phase noise similar to the state-of-the-art
7
Abdi, Abyaneh Mohammad. "Génération des signaux agrégés en fréquences dans le contexte de LTE-A." Electronic Thesis or Diss., Paris, ENST, 2016. https://pastel.hal.science/tel-03689710.
Анотація:
Dans ce travail de thèse, on a proposé une structure de génération des signaux multi-porteuse afin de créer plusieurs oscillateurs locaux (OL ) tout en utilisant qu’un modulateur I/Q. Ces signaux peuvent être utilisés dans les récepteurs de LTE-A pour la transposition des signaux agrégé en fréquence vers la bande de base. On développe la structure afin de l’utiliser en émetteur répondant aux normes du standard LTE-A. La nouvelle structure nous permet de générer n signaux agrégés en fréquences, de manière simultanée, par une seule chaîne de transmission (c.a.d un modulateur I/Q, un OL). En utilisant cette structure on réduit le nombre de circuits utilisés, en comparaison du cas où n signaux agrégés en fréquences sont générés par n émetteurs. La fréquence d’échantillonnage est réduite dans notre cas par rapport au cas où les signaux sont générés directement de la bande de base à la bande RF avec des convertisseurs analogiques numériques adéquats. Dans la troisième partie, on se concentre sur les imperfections et les non linéarités du modulateur I/Q dans le cadre de notre structure multibande. On modélise le fonctionnement du modulateur multi-bande en utilisant les échantillons en entrée et en sortie. Notre modèle est dérivé de la série de Volterra qui prends en compte les effets non linéaires et les effets mémoires ainsi que les imperfections du modulateur I/Q. Puis, on obtient la fonction "inverse" du modèle et on l’applique à l’entrée du modulateur afin de corriger et linéariser la sortie du modulateur I/Q. La fonction "inverse" est appelée DPD (en anglais : Digital Pre-Distortion). Enfin, on a évalué le modèle et la DPD en simulations et en mesuresIn this dissertation, a signal generation structure is proposed using which a multitone Local Oscillator (LO) signal is created by a single I/Q modulator. These LOs can be used in the CA receivers to down-convert the transmitted component carriers simultaneously. The multi-tone LO signal structure is further developed to be used at the transmitter as a CA generation solution. Using the proposed structure n-component carriers can be generated in parallel. This structures requires lower sampling rates with respect to the case where RF signals are synthesized directly by digital-to- analog converters. Moreover, less circuitry is required, because one single I/Q modulator is used to generate n component carriers, instead of n I/Q modulators. This work follows on investigating the origin of impairments and mild nonlinearities in our I/Q modulator. To overcome these problems, we focus on the functionality of the overall system rather than each component of the I/Q modulator. This method is called behavioral modeling. Once the nonlinear model is obtained, if its inverse function is applied to the input, a linearized output is expected. The generation of the inverse function is called Digital Pre-Distortion (DPD). We propose a tri-band behavioral model for nonlinearities and impairments in tri-band CA using our I/Q modulator. Furthermore, the DPD of the model is evaluated in simulations and experiments
8
Voon, Lew Yan, and Lew Fock Chong. "Contribution au test intégré déterministe : structures de génération de vecteurs de test." Montpellier 2, 1992. http://www.theses.fr/1992MON20035.
Анотація:
Ce memoire concerne la synthese de structures de generation de vecteurs de test (gvt) deterministes. Une etude empirique, basee sur des simulations exhaustives, des sequences generees par des registres a decalage a retroaction lineaire et non-lineaire montre que ces derniers sont inaptes a produire des sequences de vecteurs de test deterministes. Nous avons donc etendu notre recherche au cas general de machine d'etats finis lineaire et autonome (mefla) avec inversion. Apres avoir presente les principes fondamentaux d'une mefla avec inversion, nous proposons une methode de synthese de structures gvt deterministes et deterministe/pseudo-aleatoire
9
Damri, Laila. "Génération de séquences de test pour l'accélération d'assertions." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00838669.
Анотація:
Avec la complexité croissante des systèmes sur puce, le processus de vérification devient une tâche de plus en plus cruciale à tous les niveaux du cycle de conception, et monopolise une part importante du temps de développement. Dans ce contexte, l'assertion-based verification (ABV) a considérablement gagné en popularité ces dernières années. Il s'agit de spécifier le comportement attendu du système par l'intermédiaire de propriétés logico-temporelles, et de vérifier ces propriétés par des méthodes semi-formelles ou formelles. Des langages de spécification comme PSL ou SVA (standards IEEE) sont couramment utilisés pour exprimer ces propriétés. Des techniques de vérification statiques (model checking) ou dynamiques (validation en cours de simulation) peuvent être mises en œuvre. Nous nous plaçons dans le contexte de la vérification dynamique. A partir d'assertions exprimées en PSL ou SVA, des descriptions VHDL ou Verilog synthétisables de moniteurs matériels de surveillance peuvent être produites (outil Horus). Ces composants peuvent être utilisés pendant la conception (en simulation et/ou émulation pour le débug et la validation de circuits), ou comme composants embarqués, pour la surveillance du comportement de systèmes critiques. Pour l'analyse en phase de conception, que ce soit en simulation ou en émulation, le problème de la génération des séquences de test se pose. En effet, des séquences de test générées aléatoirement peuvent conduire à un faible taux de couverture des conditions d'activation des moniteurs et, de ce fait, peuvent être peu révélatrices de la satisfaction des assertions. Les méthodes de génération de séquences de test sous contraintes n'apportent pas de réelle solution car les contraintes ne peuvent pas être liées à des conditions temporelles. De nouvelles méthodes doivent être spécifiées et implémentées, c'est ce que nous nous proposons d'étudier dans cette thèse.
10
Martiel, Jean-Louis. "Étude par un modèle de la génération périodique des signaux chimiotactiques chez dictyostelium discoideum." Habilitation à diriger des recherches, Université Paris Sud - Paris XI, 1988. http://tel.archives-ouvertes.fr/tel-00328959.
11
Khwaja, Shaharyar. "Génération rapide de signaux radar d'environnements complexes pour la simulation de systèmes imageurs SAR." Phd thesis, Université Rennes 1, 2008. http://tel.archives-ouvertes.fr/tel-00371992.
Анотація:
Cette thèse traite de la simulation rapide de données SAR au moyen de méthodes de synthèse inverse. Pour ce faire, les algorithmes omega-k et chirp scaling inverses sont développés pour le cas d'une trajectoire lineaire. Une transformation est proposée, qui permet de produire des données brutes d'un objet mobile à partir d'image SAR d'un objet statique opérant dans le domaine spectral. Les déviations non-linéaires de trajectoire du capteur sont aussi prises en considération en simulant des données partiellement dans le domaine temporel avec l'approximation d'un faisceau d'antenne étroit en largeur ou avec l'approximation d'une largeur de bande réduite. Toutes ces techniques sont analysées et les résultats sont comparés avec ceux d'un simulateur temporel pris comme réfèrence. Les données brutes sont simulées pour une scène complexe comportant un ou plusiers bâtiments placés au sein d'un environnement naturel surfacique et ayant une réponse anisotrope. Finalement, la simulation d'images et de données interférometriques est abordée.
12
Goutain, Eric. "Etude et développement de diodes lasers sur InP pour la génération de signaux millimétriques." Lille 1, 1996. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1996/50376-1996-266.pdf.
Анотація:
Ce travail fait état de l'étude expérimentale de diodes lasers, sur substrat d'inp, avec 2 électrodes en vue de leur utilisation dans des systèmes de transmissions hyperfréquences. Une première partie du manuscrit est consacrée a une revue de la théorie des diodes lasers ainsi qu'à la mise en place des outils mathématiques utilises pour la compréhension des processus mis en jeu. La structure bi-électrode est alors présentée, avec le modelé de type circuit associe, pour l'évaluation des performances de ce type de composant. La technologie mise en œuvre pour réaliser les composants est alors décrite étape par étape. La partie suivante est consacrée à la caractérisation statique de ces lasers avec une analyse des divers comportements rencontres et notamment la bi stabilité. Une procédure d'évaluation rapide des qualités du composant est alors décrite. Les lasers bi-électrodes ont tout d'abord été utilises en q-switching pour générer des impulsions courtes dans une large gamme de fréquence de répétition. La démarche expérimentale a consisté à étudier différentes structures et à isoler les divers paramètres importants. Ceci a permis la définition d'une structure laser optimisée qui a montré la génération d'impulsions solitoniques courtes (25 ps) dans une gamme de fréquence allant de 2 gHz à 10 gHz. Ce type de composant pourra donc être intégré dans des systèmes de transmissions hautes débit. La modélisation des composants bi-électrodes a par ailleurs montre que la modulation d'absorption d'une des deux électrodes peut permettre d'améliorer de manière importante la réponse en fréquence de ces lasers. Nous avons vérifié expérimentalement ce nouveau concept. Les premiers résultats obtenus ont confirmé les améliorations attendues. Une optimisation des structures, avec en particulier l'utilisation de multi-puits contraints, a alors permis d'atteindre la fréquence de coupure record de 30 gHz avec un laser d. F. B. Sur substrat d'inp.
13
Frappé, Antoine. "Génération numérique de signaux RF pour les terminaux de communication mobile par modulation delta-sigma." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2007. http://tel.archives-ouvertes.fr/tel-00280968.
Анотація:
Dans le cadre de la radio logicielle, un transmetteur numérique, basé sur la modulation ΔΣ, est proposé. Son architecture est construite autour de deux modulateurs ΔΣ passe-bas suréchantillonnés du 3ème ordre qui fournissent un signal multiplexé sur 1 bit à haute cadence, qui code directement le signal RF dans le domaine numérique. La séquence de sortie peut ensuite être appliquée à l'entrée d'un amplificateur de puissance commuté ayant une bonne efficacité.Le standard UMTS a été choisi comme exemple d'application et un générateur de signaux RF 1 bit à 7,8Géch/s a été réalisé dans une technologie 90nm CMOS. Une arithmétique redondante comprenant des signaux complémentaires, une quantification de sortie non exacte et une évaluation anticipée de la sortie ont été implémentées pour parvenir à la cadence désirée. Une logique dynamique différentielle sur 3 phases d'horloge, générées par une DLL, a été utilisée au niveau circuit.
Le circuit intégré du transmetteur prototype démontre une fonctionnalité complète jusqu'à une fréquence d'horloge de 4GHz, permettant ainsi d'atteindre une bande passante de 50MHz autour d'une fréquence porteuse de 1GHz. Si la bande image est utilisée, la fréquence d'émission peut être déplacée jusqu'à 3GHz. Avec une fréquence d'horloge de 2,6GHz et un canal WCDMA de 5MHz modulé autour d'une fréquence porteuse à 650MHz, 53,6dB d'ACLR sont obtenus pour une puissance de canal en sortie de -3,9dBm. Pour la bande image (1,95GHz), l'ACPR est de 44,3dB pour une puissance maximale du canal en sortie de -15,8dBm, ce qui rentre dans les spécifications UMTS. L'aire active du circuit est de 0,15mm² et sa consommation de 69mW sous 1V à cette fréquence.
14
Campuzano, Gabriel. "Génération et télécontrôle de signaux radiofréquences par synchronisations optiques multiples de lasers à semi-conducteurs." Paris, ENST, 2003. http://www.theses.fr/2003ENST0046.
Анотація:
La génération de signaux RF, basée sur la transmission et le battement de signaux optiques de fréquences différentes et de phases fortement corrélées, est une des techniques attractives pour la provision des réseaux radio sur fibre. La synchronisation optique de deux lasers esclaves sur différentes bandes latérales de modulation d’un même laser maître accomplit la corrélation de phase. L'approche théorique, d’un côté, consiste à analyser les performances d’une telle liaison optique où le bruit de phase de la porteuse RF générée est calculé. Il est déterminé que les transmissions sans erreur, à une porteuse de 60 GHz modulée en QPSK 155 Mbps sur des distances ~15 km, sont faisables, pourvu que la dispersion chromatique de la fibre soit compensée par un retard différentiel entre les deux lasers esclaves. D’un autre côté, une méthode basée sur la théorie des ondes couplées pour décrire les variations optiquement induites de la fréquence et du gain des lasers à réaction distribuée permet d’établir la dépendance de la bande d’accrochage sur les caractéristiques du réseau de Bragg de la cavité. Dans l’approche expérimentale, la réflectométrie optique à faible cohérence est utilisée pour mesurer ces variations de fréquence et gain débouchant sur l’estimation du facteur d’élargissement d’Henry. Une procédure expérimentale est développée pour optimiser les caractéristiques spectrales des signaux RF en termes des densités spectrales de puissance des lasers et des conditions d’injection. Des porteuses RF montant jusqu’aux 20 GHz ont été générées gardant un bruit de phase inférieure au hertz, un signal sur bruit de 45dB et un taux de rejection de fréquences résiduelles >23dBRF signal generation, based on the transmission and heterodyning of optical signals with different frequency and strongly correlated phases, is an attractive technique for provisioning radio over fiber networks. Optical synchronization of two slave lasers on the modulation sidebands of a directly modulated master laser achieves a strong phase correlation. The theoretical approach, on the on hand, consists in analyzing the optical link performance where the phase noise of the RF generated carrier is calculated. It was determined that errorless transmissions using a 60 GHz carrier modulated by a QPSK 155 Mbps data stream over distances around 15 km are possible as long as the fiber dispersion is compensated by a differential delay between slave lasers. On the other hand, a method based on the coupled-wave theory for describing the optically induced frequency and gain variations of distributed feedback lasers allowed to establish the locking bandwidth dependence on the Bragg grating characteristics of the cavity. In the experimental approach, optical low-coherence reflectometry is used for measuring these frequency and gain variations giving as a result an estimation of the Henry linewidth enhancement factor. An experimental procedure is developed for optimizing the RF carrier spectral characteristics in terms of the power spectral densities of the lasers and of the injection conditions. RF carriers up to 20 GHz were generated with a sub-hertz phase noise, a signal to noise ratio >45dB, and residual frequency rejection rate >23dB
15
Rarivomanana, Jens A. "Système CADOC : génération fonctionnelle de test pour les circuits complexes." Phd thesis, Grenoble INPG, 1985. http://tel.archives-ouvertes.fr/tel-00319028.
Анотація:
Le système CADOC est un outil de conception assisté pour circuits VLSI, basé sur le langage CADOC-LD. Présentation du langage CADOC-LD en tenant compte de l'étude du langage de description de matériel CHDL. Application à partir du langage CADOC-LD basée sur les techniques d'exécution symbolique temporisée et de l'intelligence artificielle
16
Tka, Mouna. "Génération automatique de test pour les contrôleurs logiques programmables synchrones." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM020/document.
Анотація:
Ce travail de thèse, effectué dans la cadre du projet FUI Minalogic Bluesky, porte sur le test fonctionnel automatisé d'une classe particulière de contrôleurs logiques programmables (em4) produite par InnoVista Sensors. Ce sont des systèmes synchrones qui sont programmés au moyen d'un environnement de développement intégré (IDE). Les personnes qui utilisent et programment ces contrôleurs ne sont pas nécessairement des programmeurs experts. Le développement des applications logicielles doit être par conséquent simple et intuitif. Cela devrait également être le cas pour les tests. Même si les applications définies par ces utilisateurs ne sont pas nécessairement très critiques, il est important de les tester d'une manière adéquate et efficace. Un simulateur inclu dans l'IDE permet aux programmeurs de tester leurs programmes d'une façon qui reste à ce jour informelle et interactive en entrant manuellement des données de test. En se basant sur des recherches précédentes dans le domaine du test des programmes synchrones, nous proposons un nouveau langage de spécification de test, appelé SPTL (Synchronous Programs Testing Language) qui rend possible d'exprimer simplement des scénarios de test qui peuvent être exécutées à la volée pour générer automatiquement des séquences d'entrée de test. Il permet aussi de décrire l'environnement où évolue le système pour mettre des conditions sur les entrées afin d'arriver à des données de test réalistes et de limiter celles qui sont inutiles. SPTL facilite cette tâche de test en introduisant des notions comme les profils d'utilisation, les groupes et les catégories. Nous avons conçu et développé un prototype, nommé "Testium", qui traduit un programme SPTL en un ensemble de contraintes exploitées par un solveur Prolog qui choisit aléatoirement les entrées de test. La génération de données de test s'appuie ainsi sur des techniques de programmation logique par contraintes. Pour l'évaluer, nous avons expérimenté cette méthode sur des exemples d'applications EM4 typiques et réels. Bien que SPTL ait été évalué sur em4, son utilisation peut être envisagée pour la validation d'autres types de contrôleurs ou systèmes synchronesThis thesis work done in the context of the FUI project Minalogic Bluesky, concerns the automated functional testing of a particular class of programmable logic controllers (em4) produced by InnoVista Sensors. These are synchronous systems that are programmed by means of an integrated development environment (IDE). People who use and program these controllers are not necessarily expert programmers. The development of software applications should be as result simple and intuitive. This should also be the case for testing. Although applications defined by these users need not be very critical, it is important to test them adequately and effectively. A simulator included in the IDE allows programmers to test their programs in a way that remains informal and interactive by manually entering test data.Based on previous research in the area of synchronous test programs, we propose a new test specification language, called SPTL (Synchronous Testing Programs Language) which makes possible to simply express test scenarios that can be executed on the fly to automatically generate test input sequences. It also allows describing the environment in which the system evolves to put conditions on inputs to arrive to realistic test data and limit unnecessary ones. SPTL facilitates this testing task by introducing concepts such as user profiles, groups and categories. We have designed and developed a prototype named "Testium", which translates a SPTL program to a set of constraints used by a Prolog solver that randomly selects the test inputs. So, generating test data is based on constraint logic programming techniques.To assess this, we experimented this method on realistic and typical examples of em4 applications. Although SPTL was evaluated on EM4, its use can be envisaged for the validation of other types of synchronous controllers or systems
17
Bianchi, Christophe. "Génération fonctionnelle du test de circuits a haute densité d’intégration." Lyon, INSA, 1990. http://www.theses.fr/1990ISAL0053.
Анотація:
Ce mémoire de thèse présente une approche innovante dans le domaine de la génération du test de circuits à haute densité d'intégration. Dans le cadre d'un outil de conception de type compilateur de silicium, une méthodologie fonctionnelle de génération du test a été définie, mise en œuvre et validée. Les résultats obtenus prouvent la pertinence de cette méthodologie qui permet d'obtenir des tests efficaces et très adaptés à la validation fonctionnelle de prototypesThis document describes an innovative approach in the field of test generation for high density integrated circuits. In the framework of a silicon compiler design tool, a functional methodology for test generation has been defined, developped and validated. The results obtained show the pertinenc:yof this methodology that gives efficient test patterns adapted to the functional verification of prototypes
18
Rodriguez, Béatrice. "Contribution au test des pannes temporelles : diagnostic et génération de vecteurs de test orientée diagnostic." Montpellier 2, 1996. http://www.theses.fr/1996MON20111.
Анотація:
Cette these s'inscrit dans le cadre du test de pannes temporelles et concerne plus particulierement le diagnostic. Les pannes temporlles, ou fautes de delai, modelisent des defauts physiques (fabrication) ou des defauts de conception qui perturbent le fonctionnement normal d'un circuit a haute frequence uniquement. Nous proposons une methode de diagnostic dediee aux pannes temporelles pour traiter les circuits sequentiels synchrones. Cette approche represente une alternative a la simulation de fautes et repose sur une simulation multi-valuee et un trace de chemins critiques. Elle permet d'obtenir, par regroupement des chemins traces, une localisation approchee du site de la panne. Les resultats obtenus avec les circuits de reference iscas'89 ont valide l'efficacite de cette methode. La precision du diagnostic depend de la sequence de test. Il est possible d'ameliorer cette precision en generant des vecteurs de test en vue du diagnostic. Compte tenu des limitations des techniques deterministes (temps d'execution prohibitifs) et aleatoires (aucun controle de la creation des vecteurs de test), nous proposons une methode de generation de vecteurs de test orientee diagnostic basee sur les algorithmes genetiques. Cette approche permet d'obtenir, a partir d'une sequence de test initiale aleatoire, des vecteurs de test qui presentent de bonnes aptitudes a distinguer des fautes de delai les unes des autres, sans augmenter la longueur de test. Les resultats obtenus avec les circuits de reference iscas'85 ont permis de valider l'efficacite de cette approche par rapport aux techniques deterministes et/ou aleatoires
19
Ghannem, Adnane. "Test des applications WEB : modélisation et génération de séquences de test basées sur le contrôle." Thèse, Université du Québec à Trois-Rivières, 2006. http://depot-e.uqtr.ca/1973/1/000135081.pdf.
20
Desmoulin, Alexandra. "Test d'interopérabilité de protocoles : de la formalisation des critères d'interopérabilité à la génération des test." Rennes 1, 2007. ftp://ftp.irisa.fr/techreports/theses/2007/desmoulin.pdf.
Анотація:
Cette thèse s'intéresse au domaine du test d'interopérabilité de protocoles. Il s'agit de vérifier que plusieurs composants de réseaux sont capables de communiquer correctement tout en fournissant le service prévu dans leur spécification. Nous proposons une définition formelle de la notion d'interopérabilité via des critères d'interopérabilité qui précisent les conditions dans lesquelles des composants peuvent être considérés interopérables. Pour le contexte le plus utilisé du test d'interopérabilité de deux composants, nous proposons une méthode de génération automatique de tests. Cette méthode évite le problème d'explosion combinatoire généralement rencontrélors de la génération de tests d'interopérabilité. Un des problèmes spécifiques au domaine du test d'interopérabilité est celui de la vérification du traitement effectif par un composant d'un message qui lui a été envoyé. Nous proposons une solution basée sur les dépendances causales entre messages. Pour le contexte du test d'interopérabilité de multiple (plus de deux) composants, nous proposons une classification des architectures de test possibles, des définitions de critères d'interopérabilité, une méthodologie pour le choix des topologies d'interconnexion à utiliser et quelques éléments pour la dérivation des testsThis thesis deals with the domain of protocol interoperability testing. The objective is to verify that different network components are able to communicate correctly while providing the service described in their respective specification. We propose a formal definition of the interoperability notion using interoperability criteria that precise conditions to be verified by components to be considered interoperable. We propose an automatic test generation method for the most used context of two components interoperability testing. This method avoids the state space explosion problem that interoperability test generation generally faces. A specific problem of the interoperability testing domain is the verification of the actual reception of a message that was sent to a component. We propose a solution based on causal dependencies between messages. For the interoperability of multiple components (more than two), we propose a classification of the possible testing architectures, definitions of interoperability criteria, a methodology for the choice of interconnection topologies to be used and some elements for the test derivation
21
Bouchand, Romain. "Génération photonique de signaux micro-ondes très bas bruit de phase par peignes de fréquences optiques." Thesis, Paris 6, 2017. http://www.theses.fr/2017PA066507/document.
Анотація:
Les meilleurs oscillateurs dans le domaine micro-onde sont souvent des systèmes encombrants ou requérant une maintenance fastidieuse ce qui freine leur utilisation pour des applications mobiles ou dans des environnements aux conditions difficiles. L'avènement des peignes de fréquences optiques, récompensés par un prix Nobel en 2005, a ouvert de nouvelles perspectives en permettant un transfert des qualités inégalées des sources optiques vers le domaine micro-onde. Dans la technique utilisée au LNE-SYRTE, la division de fréquence optique, un signal micro-onde peut être extrait d'un laser ultra-stable dans l'infrarouge proche par photodétection, ce qui s'accompagne d'une réduction du bruit égale au carré du rapport des fréquences initiale et finale, soit plus de 8 ordres de grandeurs. Ce bénéfice est cependant réduit par différents processus collatéraux qui augmentent le niveau de bruit final. Le travail décrit dans cette thèse est la génération et la caractérisation du signal micro-onde le plus pur généré jusqu'à présent. Les différents processus introduisant un excès de bruit lors de la conversion opto-éléctronique sont étudiés et en partie surmontés. En particulier la conversion du bruit d'amplitude du laser femtoseconde vers la porteuse micro-onde est analysée en détail et son effet grandement réduit. Les résultats obtenus laissent penser que les techniques optiques de génération de micro-ondes vont bouleverser l'état de l'art. Les niveaux de pureté atteints et les techniques développées peuvent bénéficier un vaste éventail de domaines comme les radars mobiles, la métrologie temps-fréquence ou les prochaines générations de télécommunications à ultra-haut débitState-of-the-art microwave oscillators are typically bulky systems requiring tedious maintenance which is hindering their use in mobile applications or in demanding environments. The invention of the optical frequency combs, which was awarded a Nobel prize in 2005, was a game-changer as it enabled a high-fidelity transfer of the unrivalled properties of optical oscillators to the microwave domain. In the technique used at SYRTE, the optical frequency division, a microwave signal can be extracted from a near-infrared ultra-stable laser using photodetection. The transfer is accompanied by a reduction of phase noise equal to the microwave-to-optical frequency ratio squared, i.e. more than eight order of magnitudes. This benefit is however reduced by several processes producing excess noise during the transfer. The work described in this thesis is the generation of the lowest phase noise microwave signal ever reported. The different processes inducing excess noise are analyzed and, in part, overcome. Specifically, the conversion of the femtosecond laser intensity noise to the microwave phase noise is studied thoroughly and its effect significantly reduced. The results augur that the optical approaches in microwave generation are on the verge to disrupt the state-of-the-art. The noise levels demonstrated and the techniques developed can benefit a large range of applications such as mobile radars, time and frequency metrology or the next generation of ultrafast telecommunication networks
22
Ben, romdhane Manel. "Échantillonnage non uniforme appliqué à la numérisation des signaux radio multistandard." Phd thesis, Télécom ParisTech, 2009. http://pastel.archives-ouvertes.fr/pastel-00004780.
Анотація:
Cette thèse de Doctorat s'inscrit dans le domaine de la conception de circuits innovants pour la numérisation des signaux radio multistandard. La nouveauté dans ce travail de recherche provient de l'exploration, pour la première fois dans le domaine des systèmes radio, de l'apport de l'utilisation des techniques d'échantillonnage non uniforme (NUS, Non Uniform Sampling). L'innovation de recherche apportée concerne l'établissement de formulations analytiques pour le calcul des métriques d'évaluation des performances de la technique NUS et pour le dimensionnement d'un nouveau récepteur radio multistandard avec un convertisseur analogique numérique (ADC, Analog-to-Digital Converter) contrôlé par une horloge non uniforme. Les résultats de cette étude ont conduit à la synthèse d'un filtre anti-repliement unique pour les standards GSM/UMTS/WiFi et à la diminution la fréquence moyenne d'échantillonnage de l'ADC ce qui a permis de diminuer la consommation de puissance de l'ADC et d'éliminer le circuit du contrôle automatique de gain (AGC). L'étude analytique et la conception niveau système ont été complétées par la proposition d'une architecture numérique originale de génération d'horloge non uniforme permettant de s'affranchir des contraintes et limitations des oscillateurs non uniformes proposés dans la littérature. Ce circuit Pseudorandom Signal Sampler (PSS) a fait l'objet d'une synthèse et d'une validation préliminaire sur FPGA puis la conception d'un circuit VLSI en technologie CMOS numérique 65 nm. Les résultats d'implémentation du PSS ont permis d'obtenir, pour un facteur de quantification temporelle égal à 16, une surface active de 470 (µm)², des fréquences moyennes d'échantillonnage pouvant atteindre 200 MHz basées sur un synthétiseur de fréquence qui offre des fréquences jusqu'à 3.2 GHz et enfin une consommation de puissance de 1.45 à 290.4 µW pour des fréquences d'échantillonnage moyennes allant de 1 MHz à 200 MHz. Une validation expérimentale de l'étage de numérisation proposé a été effectuée grâce à la réalisation d'une plate-forme de test composée du circuit générateur PSS dont la sortie contrôle un ADC auquel est appliqué en entrée un signal sinusoïdal de test et d'un PC pour l'acquisition par FIFO mais aussi pour le traitement des données. Les résultats des tests expérimentaux obtenus ont permis de confirmer les résultats théoriques en termes de diminution de la consommation de l'ADC.
23
Karam, Margot. "Génération de test de circuits intégrés fondée sur des modèles fonctionnels." Phd thesis, Grenoble INPG, 1991. http://tel.archives-ouvertes.fr/tel-00339935.
Анотація:
Cette thèse concerne l'utilisation de modèles fonctionnels dans le test de circuits intégrés complexes. Dans la première partie, des vecteurs de test sont générés pour les automates d'états finis a partir de leurs spécifications de synthèse. Un premier ensemble de vecteurs de test est calcule en parcourant tous les arcs du graphe de contrôle. Les valeurs d'entrées non spécifiées sur les transitions sont fixées afin d'accroitre la couverture. Il est montre que ce test a une excellente couverture par rapport a sa longueur. Les fautes résiduelles sont détectées par une methode de distinction sur les modèles machine juste machine fausse. La deuxième partie est consacrée au test hiérarchisé de circuits complexes. Les vecteurs de test locaux aux blocs sont justifies vers les entrées primaires et propages en avant vers les sorties primaires en utilisant des variables symboliques et des modèles fonctionnels pour les blocs traverses. Des techniques originale de propagation retardée permettent de restreindre le nombre d'échecs des propagations. Un prototype en prolog a été expérimenté
24
Pravossoudovitch, Serge. "Contribution au test des circuits intégrés MOS : génération automatique de vecteurs de test au niveau transistors interrupteurs." Montpellier 2, 1987. http://www.theses.fr/1987MON20213.
Анотація:
Dans ce memoire est presente une methodologie de generation automatique de vecteurs de test pour circuits integres mos. L'approche proposee, basee sur une representation des circuits au niveau transistors, a pour but de permettre la prise en compte de structures et de modeles de pannes specifiques a ces technologies. Les concepts generaux d'une telle methodologie de generation de vecteurs de tests etant definis, l'etude realisee ici porte sur l'etablissement des conditions d'observations d'une panne affectant un sous-reseau (injection de pannes). Pour elaborer ces conditions un modele d'evaluation specifique base sur les notions de blocage et d'activation de chemins de conduction est defini
25
Joly, Jean-Luc. "Contributions à la génération aléatoire pour des classes d'automates finis." Thesis, Besançon, 2016. http://www.theses.fr/2016BESA2012/document.
Анотація:
Le concept d’automate, central en théorie des langages, est l’outil d’appréhension naturel et efficace de nombreux problèmes concrets. L’usage intensif des automates finis dans un cadre algorithmique s ’illustre par de nombreux travaux de recherche. La correction et l’ évaluation sont les deux questions fondamentales de l’algorithmique. Une méthode classique d’ évaluation s’appuie sur la génération aléatoire contrôlée d’instances d’entrée. Les travaux d´écrits dans cette thèse s’inscrivent dans ce cadre et plus particulièrement dans le domaine de la génération aléatoire uniforme d’automates finis.L’exposé qui suit propose d’abord la construction d’un générateur aléatoire d’automates à pile déterministes, real time. Cette construction s’appuie sur la méthode symbolique. Des résultats théoriques et une étude expérimentale sont exposés.Un générateur aléatoire d’automates non-déterministes illustre ensuite la souplesse d’utilisation de la méthode de Monte-Carlo par Chaînes de Markov (MCMC) ainsi que la mise en œuvre de l’algorithme de Metropolis - Hastings pour l’ échantillonnage à isomorphisme près. Un résultat sur le temps de mélange est donné dans le cadre général .L’ échantillonnage par méthode MCMC pose le problème de l’évaluation du temps de mélange dans la chaîne. En s’inspirant de travaux antérieurs pour construire un générateur d’automates partiellement ordonnés, on montre comment différents outils statistiques permettent de s’attaquer à ce problèmeThe concept of automata, central to language theory, is the natural and efficient tool to apprehendvarious practical problems.The intensive use of finite automata in an algorithmic framework is illustrated by numerous researchworks.The correctness and the evaluation of performance are the two fundamental issues of algorithmics.A classic method to evaluate an algorithm is based on the controlled random generation of inputs.The work described in this thesis lies within this context and more specifically in the field of theuniform random generation of finite automata.The following presentation first proposes to design a deterministic, real time, pushdown automatagenerator. This design builds on the symbolic method. Theoretical results and an experimental studyare given.This design builds on the symbolic method. Theoretical results and an experimental study are given.A random generator of non deterministic automata then illustrates the flexibility of the Markov ChainMonte Carlo methods (MCMC) as well as the implementation of the Metropolis-Hastings algorithm tosample up to isomorphism. A result about the mixing time in the general framework is given.The MCMC sampling methods raise the problem of the mixing time in the chain. By drawing on worksalready completed to design a random generator of partially ordered automata, this work shows howvarious statistical tools can form a basis to address this issue
26
Vassy, Jérôme. "Génération automatique de cas de test guidée par les propriétés de sûreté." Phd thesis, Université Joseph Fourier (Grenoble), 2004. http://tel.archives-ouvertes.fr/tel-00007373.
Анотація:
Ce travail porte sur le problème de la validation des logiciels réactifs synchrones par rapport à des propriétés de sûreté. Les propriétés de sûreté permettent de spécifier les comportements sûrs d'un logiciel. D'une manière générale, notre approche aborde la validation par le test. Dans ce cadre, nous avons défini une technique qui permet de déterminer, à partir des propriétés de sûreté seulement, toutes les données de test favorisant l'observation d'une violation de ces propriétés. Cette technique permet d'anticiper une violation future. Différentes heuristiques ont été implantées pour sélectionner les données de test de façon efficace. Notre proposition a été intégrée à l'outil Lutess. Ce dernier est capable de générer automatiquement et dynamiquement des données de test en s'appuyant sur divers guides. La capacité de nos heuristiques à guider le test vers des situations où la propriété de sûreté peut être violée a été évaluée sur une étude de cas significative proposée par un consortium d'industriels du secteur des télécommunications.
27
Virazel, Arnaud. "Test intégré des circuits digitaux : analyse et génération de séquences aléatoires adjacentes." Montpellier 2, 2001. http://www.theses.fr/2001MON20094.
28
Millo, Jacques. "Génération de signaux micro-ondes pour la métrologie à partir de références et de peignes de fréquences optiques." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2010. http://tel.archives-ouvertes.fr/tel-00637969.
Анотація:
Les travaux présentés dans cette thèse portent sur la réalisation d'un système de génération de signaux micro-ondes à haute stabilité de fréquence. De tels signaux sont obtenus en asservissant en phase un laser femtoseconde à fibre sur une référence de fréquence optique ultra-stable. On est ainsi capable de transférer la stabilité relative de fréquence d'une référence optique dans le domaine micro-onde. Des lasers ultra-stables ont d'abord été développés afin de servir de référence. Ils sont obtenus en asservissant en fréquence un laser sur une cavité Fabry-Perot. Une étude par calculs numériques puis expérimentale a permis de minimiser l'influence, sur les cavités, de la source de bruit dominante qu'est les vibrations. Grâce à cette démarche et à l'utilisation de miroirs de cavité en silice fondue, deux de ces lasers ultra-stables ont une stabilité relative de fréquence estimée à 4,1×10^(-16) @ 1 s. A partir du laser femtoseconde stabilisé sur l'un des lasers ultra-stable, un signal micro-onde à ~12 GHz est généré avec une stabilité de 3×10^(-15) à 1 s. Une horloge atomique à fontaine, interrogée avec ce signal, atteint une stabilité de 3,5×10^(-14)τ^(-1/2), sa limite fondamentale imposée par le bruit de projection quantique. On montre ainsi que la contribution du bruit du signal d'interrogation sur la stabilité de l'horloge (effet Dick) est rendue négligeable. Enfin, la limitation ultime du processus de transfert de l'optique vers la micro-onde a été mesurée en utilisant la même référence optique pour deux lasers femtosecondes identiques. Après optimisation du système, elle a été évaluée au niveau de 2-3×10^(-16) entre 1 s et 10 s.
29
Patin, Benjamin. "Matériaux et Dispositifs optoélectroniques pour la génération et la détection de signaux THz impulsionnels par photocommutation à 1,55µm." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00954635.
Анотація:
Le sujet de la thèse a porté sur la mise au point, la caractérisation et l'utilisation de matériaux semi-conducteurs, au sein desquels les porteurs libres ont un temps de vie extrêmement brefs (picoseconde ou sub-picoseconde), pour réaliser des antennes photoconductrices émettrices ou détectrices de rayonnement électromagnétique térahertz (THz). Contrairement au semi-conducteur LTG-GaAs (low temperature grown GaAs) à la technologie bien dominée et aux performances exceptionnelles lorsque photo-excité par des impulsions lasers de longueurs d'onde typiquement inférieures à 0,8 µm, le travail portait ici sur des matériaux permettant l'emploi de lasers dont les longueurs d'onde sont celles des télécommunications optiques, à savoir aux alentours de 1,5 µm. L'intérêt est de bénéficier de la technologie mature de ces lasers, et du coût relativement modique des composants pour les télécommunications optiques. Pour réaliser des antennes THz performantes et efficaces, le matériau semi-conducteur doit présenter plusieurs qualités : vie des porteurs libres très courte, grande mobilité des porteurs, haute résistivité hors éclairement, et bonne structure cristallographique pour éviter les claquages électriques. Pour obtenir une courte durée de vie, on introduit un grand nombre de pièges dans le semi-conducteur, qui capturent efficacement les électrons libres. Pour les matériaux de type InGaAs employés à 1,5 µm, le problème est que le niveau en énergie de ces pièges, par exemple pour les matériaux épitaxiés à basse température, est très proche de la bande de conduction du semi-conducteur. Cela est équivalent à un dopage n du matériau, ce qui en diminue fortement sa résistivité hors éclairement. Plusieurs solutions ont été apportées par différents laboratoires : compensation par dopage p pour les matériaux épitaxiés à basse température, bombardement ionique, implantation ionique, ou même structures à couches alternées où la photo-génération et la recombinaison des porteurs libres se produisent à des endroits différents. Le but du travail de thèse était de fabriquer des matériaux préparés suivant ces différentes techniques, de les caractériser et de comparer leurs performances pour l'optoélectronique THz. Les semi-conducteurs à étudier étaient de type InGaAs comme déjà publiés par la concurrence, l'originalité de thèse portant sur la comparaison de ces différents matériaux et si possible leur optimisation,. Au cours de ce travail de thèse, de nombreuses couches d'InGaAs ont été épitaxiées, en faisant varier les paramètres de dépôt, et des antennes THz ont été fabriquées. Les couches ont été caractérisées du point de vue cristallographique, ainsi que pour la conductivité électrique DC (mesures 4 pointes, mobilité Hall...), les propriétés d'absorption optique (spectroscopie visible et IR), la durée de vie des porteurs par mesure optique pompe-sonde. Pour les couches épitaxiées à basse température, l'influence d'un recuit thermique ainsi que du dopage en béryllium ont été étudiés. Dans le cas de couches bombardées ou implantées, plusieurs ions ont été utilisés, le brome, le fer et l'hydrogène. Les relations entre la cartographie des défauts structuraux et/ou des ions implantés et les propriétés électriques et de dynamique des porteurs ont été examinées en détail. Ces études permettent de comprendre le type de défauts qui piègent les porteurs dans ces matériaux, ainsi que leur formation lors du processus de fabrication et de traitement des couches. Finalement les meilleures couches fabriquées présentent des performances comparables à celles publiées par ailleurs. Les derniers travaux de thèse ont permis d'obtenir les premiers signaux de rayonnement THz générés par une antenne fabriquée avec l'InGaAs optimisé.
30
Jankowski, Andrzej. "Circuits intégrés photoniques sur InP pour la génération de signaux de puissance dans la gamme des ondes millimétriques." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAT126.
Анотація:
Les transmissions de signaux analogiques ou numériques à des longueurs d'ondes millimétriques jouent un rôle clé dans de nombreux domaines tels que les télécommunications, la spectroscopie ou les systèmes d'observation radar. La génération de signaux RF par voie optique permet de générer de tels signaux et ce dans une large gamme de fréquences. Dans cette thèse de doctorat, on utilise le battement hétérodyne de deux signaux optiques et une photodiode rapide utilisée comme photomélangeur. Nous nous sommes particulièrement intéressés à la possibilité de combiner plusieurs photodiodes en parallèle pour surmonter les limitations d'un seul composant et augmenter la puissance du signal millimétrique de sortie. Les photodiodes sont à transport unipolaire (Uni-Travelling-Carrier: UTC), elles sont intégrées dans un circuit à base d’InP comportant également des guides d'ondes optiques passifs, des coupleurs MMI et les circuits d’alimentation électrique et micro-ondes.Dans cette thèse de doctorat, deux approches pour la production de puissance de sortie élevée dans le domaine des ondes millimétriques sont étudiées. La première est basée sur la conception et la caractérisation d'une nouvelle génération de combineurs de puissance Wilkinson en technologie coplanaire avec 2 et 4 photodiodes UTC. Cette solution cible la gamme de fréquence autour de 70 GHz. La largeur de bande totale à laquelle le combineur de Wilkinson atteint des performances optimales est d'environ 6 GHz et 3 GHz pour les topologies à 2 voies et 4 voies, respectivement. La seconde approche est basée sur les structures de photodiodes UTC avec antenne intégrées. Les topologies d'antenne dipôle et d'antenne « noeud papillon » sont étudiées. Les structures à trois photodiodes et à antenne dipôle cible la gamme de fréquences de 90 GHz à 110 GHz, mais les résultats de simulation montrent que des bandes supplémentaires peuvent être atteintes jusqu'à 300 GHz. Quant à elles, les structures à antenne en « noeud papillon » montrent de plus grandes largeurs de bande utiles. Ainsi, la largeur de bande obtenue varie de 46 GHz, pour le circuit à trois photodiode, à 126 GHz dans le cas d'une structure à deux photodiodes. Tous les dispositifs ont été fabriqués en salle blanche sur substrat InP et ont été caractérisés expérimentalementThe analog or digital signal transmissions at millimeter wave frequencies play a key role in many industrial and research areas such as telecommunication, spectroscopy and IT. They also find several applications in radar observation systems. The optical signal generation provides efficient solutions to generate high frequency signals in a wide range. In this PhD thesis the heterodyne beat of two optical signals with a fast photodiode used as a photomixer is employed. We have focused our work on the development of optoelectronic integrated circuits that combine several photodiodes in order to overcome the single device limitations and increase the generated output power. The photomixers consist in Uni-Travelling-Carrier photodiodes (UTC-PD) that are integrated in an InP-based circuit also including passive optical waveguides, MMI couplers, electrical power supply and microwave devices.In this PhD thesis two approaches for high output power generation in the mm-wave frequency domain are studied. The first approach is based on the design and characterization of a new generation of the 2-way and 4-way Wilkinson power combiners with UTC photodiodes with coplanar waveguide output. This solution target the frequency range at ca. 70 GHz. The total bandwidth at which the Wilkinson power combiner achieves optimal performance is ca. 6 GHz and 3 GHz for the 2-way and 4-way topology, respectively. The second approach is based on the antenna-integrated UTC photodiodes structures. The folded-dipole and bow-tie antenna topologies are studied, designed and fabricated. The 3x folded-dipole antenna-integrated UTC PD design target the frequency range from 90 GHz to 110 GHz, but based on the HFSS simulation results, additional bands can be found up to 300 GHz. More broadband design is obtained with the bow-tie antenna structures. Obtained bandwidth varies from 46 GHz for the 3x bow-tie antenna-integrated UTC PD design, reaching 126 GHz in the case of 2x bow-tie antenna-integrated UTC PD. All devices have been fabricated on the same InP substrate using cleanroom processes and have been experimentally characterized
31
Do, Thi Phuong. "Oscillateurs optoélectroniques à base de résonateurs silicium pour applications à la génération de signaux hyperfréquences et aux capteurs." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLN024/document.
Анотація:
Ces travaux portent sur l'insertion de résonateurs en anneau de silicium dans des boucles d’oscillateurs optoélectroniques (OEO) pour la génération de signaux micro-ondes à faible bruit de phase et constituent une contribution à la future intégration complète des systèmes OEO en photonique silicium. L'orientation de l'application qui a été explorée a été d'évaluer la performance de ces systèmes pour la détection de variations d’indice optique en volume. Deux configurations différentes de résonateurs en anneau de silicium à base d'OEO ont été proposées et démontrées : des OEO à base de résonateurs en anneau silicium millimétriques et des OEO accordables à base d’anneaux plus compacts et d'un schéma spécifique de réinjection de porteuse optique.Dans la première approche, le signal optique est utilisé comme porteuse optique, qui est modulée par un modulateur d'intensité qui produit un ensemble de deux bandes latérales dans le domaine optique, tandis que le résonateur en anneau génère un peigne optique qui agit comme un filtre optique, transposant son intervalle spectral libre (ISL) dans le domaine micro-onde. Par le battement des deux raies optiques adjacentes dans un photodétecteur, l’information est ainsi traduite dans le domaine RF. La contribution de notre travail a été de démontrer que la réalisation de résonateurs millimétriques (environ 6mm) en photonique silicium était une approche viable et intéressante pour la réalisation directe d'OEO. Dans les configurations étudiées, les résonateurs en anneau SOI ont été optimisés pour satisfaire la cible requise d'un ISL d’environ 15 GHz et un facteur de qualité optique supérieur à 10^5. Les résultats expérimentaux obtenus ont démontré la viabilité et la stabilité de l'approche proposée, tandis qu’un niveau de bruit de phase de -100dBc/Hz à un décalage de 100 kHz par rapport à la porteuse et une capacité de détection du système d’environ 3,72 GHz/RIU ont été quantifiés pour une variation de l'indice de réfraction comprise entre 1,572 et 1,688, en bon accord avec les résultats des simulations.En complément de cette première étape, nous avons abordé la question très importante de l'accordabilité de la fréquence du signal hyperfréquence généré. À cette fin, nous avons proposé, conçu, puis développé et testé une configuration d’OEO originale, basée sur l'utilisation d'une seule bande de modulation et d'un mécanisme de réinjection de la porteuse optique du laser de la boucle. Dans ce schéma, le signal oscillant est créé par le battement entre le faisceau laser et une bande latérale unique du signal de modulation sélectionnée par un résonateur en anneau. Dans l'implémentation que nous avons réalisée, un résonateur photonique SOI avec un ISL de 77 GHz et un facteur de qualité optique à 8,1×10^4 a été utilisé. En modifiant la fréquence du laser tout en conservant une longueur d'onde de résonance du résonateur fixe, une accordabilité de 5,8 GHz à 18,2 GHz a été démontrée, qui est seulement limitée par le fonctionnement de l'amplificateur RF utilisé dans les expériences réalisées. Parallèlement, un niveau de bruit de phase de -115 dBc/Hz à une fréquence de décalage de 1 MHz a été obtenu pour tous les signaux générés, démontrant la possibilité de créer des fréquences d'oscillation élevées avec le même niveau de bruit de phase. Nous avons ensuite appliqué cette approche à la détection de l'indice de réfraction en volume et démontré une sensibilité de détection de 94350 GHz/RIU et une limite de détection d'indice de 10^-8 RIU. Au-delà de ces résultats expérimentaux, l'apport de cette seconde approche apporte une solution simple et flexible au problème de la génération de signaux hyperfréquences à fréquences variables à la demande, et ouvre des perspectives d'application très riches.Tous les résultats de la thèse contribuent à la question de l'intégration des OEO sur puces silicium et permettent d'anticiper diverses applications dans le domaine des communications et des capteursThis work focuses on the insertion of silicon ring resonators into the loops of optoelectronic oscillators (OEO) for the generation of low phase noise microwave signals and is a contribution to the future full integration of OEO systems on single silicon chips. The application orientation that was explored was to evaluate the performance of these systems for bulk optical index detection. Two different configurations of silicon ring resonators based OEO have been proposed and demonstrated: OEO based on millimeter-long silicon ring resonators and tunable OEO based on more compact silicon ring resonators and a specific optical carrier reinjection scheme.In the first approach, the optical signal is used as an optical carrier, which is modulated by an intensity modulator that produces a set of sidebands in the optical domain, while the ring resonator generates an optical comb that acts as an optical filter, translating its Free Spectral Range (FSR) into the microwave domain. By the beating of two adjacent optical comb lines in a photodetector, the optical spectral lines are then translated into the RF domain. The contribution of our work has been to demonstrate that the realization of millimeter resonators (about 6mm) in silicon photonics was a viable and interesting approach for the direct realization of OEO. In the investigated configurations, SOI ring resonators were optimized to satisfy the required target of a FSR of around 15GHz and an optical quality factor above 10^5. The demonstrated experimental results showed the viability and the stability of the proposed approach, while phase noise level of -100dBc/Hz at an offset of 100 kHz from carrier was obtained and sensing capability of the studied system was quantified to around 3.72 GHz/RIU for a refractive index variation in the range of 1.572 to 1.688, in good agreement with simulation results.In a complementary direction to this first step, we addressed the very important issue of the tunability of the frequency of the microwave signal generated. To this end, we proposed, designed, and then developed and tested an original OEO configuration based on the use of a single modulation band and a mechanism for reinjection of the optical carrier from the loop laser. In this scheme, the oscillation signal is created under the beating between the laser light beam and a single modulation signal sideband selected by an add-drop ring resonator working as an effective optical bandpass filter. In the implementation we have carried out, a SOI photonic resonator with a FSR of 77 GHz and an optical quality factor at 8.1×10^4 was used. By changing the laser frequency while keeping a fixed resonator resonance wavelength, a tunability from 5.8GHz to 18.2GHz was demonstrated, being only limited by the working operation of the RF amplifier used in the carried out experiments. Meanwhile, a phase noise level of -115 dBc/Hz at 1MHz offset frequency was obtained for all generated signals, showing the possibility of creating high oscillation frequencies with the same phase noise level. We then applied this approach for bulk refractive index sensing application and demonstrated a sensing sensitivity of 94350GHz/RIU and an index limit of detection of 10^-8 RIU by considering a signal resolution of 1MHz. Beyond these experimental results, the contribution of this second approach provides a simple and flexible solution to the problem of generating microwave signals with variable frequencies on demand, and opens up very rich application perspectives.All the results of the thesis contribute to the question of the integration of OEOs on silicon chips and make it possible to anticipate various applications in the field of communications and sensors
32
Leroux, (zinovieva) Elena. "Méthodes symboliques pour la génération de tests desystèmes réactifs comportant des données." Phd thesis, Université Rennes 1, 2004. http://tel.archives-ouvertes.fr/tel-00142441.
Анотація:
La complexité croissante des systèmes réactifs fait que le test devient une technique de plus en plus importante dans le développement de tels systèmes. Un grand intérêt est notamment accordé au test de conformité qui consiste à vérier si les comportements d'un système sous test sont corrects par rapport à sa spécication. Au cours des dernières années, les théories et outils de test de conformité pour la génération automatique de test se sont développés. Dans ces théories et algorithmes, les spécications des systèmes réactifs sont souvent modélisées par différentes variantes des systèmes de transitions. Cependant, ces théories et outils ne prennent pas explicitement en compte les données du système puisque le modèle sous-jacent de systèmede transitions ne permet pas de le faire. Ceci oblige à énumérer les valeurs des données avant de construire le modèle de système de transitions d'un système, ce qui peut provoquer le problème de l'explosion de l'espace d'états. Cette énumération a également pour effet d'obtenir des cas de test où toutes les données sont instanciées. Or, cela contredit la pratique industrielle où les cas de test sont de vrais programmes avec des variables et des paramètres. La génération de tels
cas de test exige de nouveaux modèles et techniques. Dans cette thèse, nous atteignons deux objectifs. D'une part, nous introduisons un modèle appelé système symbolique de transitions à entrée/sortie qui inclut explicitement toutes les données d'un système réactif. D'autre part, nous proposons et implémentons une nouvelle technique de génération de test qui traite symboliquement les données d'un système en combinant l'approche de génération de test proposée auparavant par notre groupe de recherche avec des techniques d'interprétation abstraite. Les cas de test générés automatiquement par notre technique satisfont des propriétés de correction: ils émettent toujours un verdict correct.
33
Bontron, Pierre. "Les schémas de test : une abstraction pour la génération de tests de conformité et pour la mesure de couverture." Phd thesis, Université Joseph Fourier (Grenoble), 2005. http://tel.archives-ouvertes.fr/tel-00010058.
Анотація:
L'activité de test est une partie de plus en plus importante dans les développements logiciels. Cette activité de test est souvent longue et répétitive, les travaux entrepris dans cette thèse ont pour objectif de décharger l'ingénieur de test des tâches les plus répétitives de la synthèse de tests. Notre approche, dans le cadre du test de conformité, se base sur le fait qu'il existe différents niveaux d'abstraction pour définir des tests les tests exécutables pour une cible technologique, les tests abstraits qui sont indépendants de la technologie et les objectifs de test qui ne représentent que partiellement le chemin d'un test dans la spécification. Nos travaux portent sur deux points. le premier point vise à réduire l'effort alloué à la conception des tests. Pour cela nous définissons un nouveau niveau d'abstraction : les schémas de test qui offrent une abstraction supplémentaire sur les instances et valeurs manipulées. L'outil TObiAs a été développé au cours de la thèse pour aider à la conception des schémas de test, les déplier en objectifs de test ou en cas de test, puis concrétiser ces cas de test. le deuxième point étudie la portée d'un schéma de test en mesurant sa couverture de la spécification, au niveau d'abstraction du schém de test. Pour ce faire nous étudions les relations entre les niveaux d'abstraction de test et la spécification. Nous présentons l'intérêt de proposer une notion de couverture au niveau des schémas de test en construisant une abstraction de la spécification ainsi que l'outil CoPAS que nous avons créé pour calculer la couverture a priori.
34
Al, Mahrous Mazen. "Génération de test fonctionnel de circuits digitaux décrits avec un langage déclaratif : Lustre." Phd thesis, Grenoble INPG, 1990. http://tel.archives-ouvertes.fr/tel-00337894.
35
Bannino, Joseph. "Approche connexionniste pour la génération automatique de séquences de test de circuits digitaux." Chambéry, 1997. http://www.theses.fr/1997CHAMS007.
Анотація:
Ce travail porte sur la génération automatique de séquences de test afin de détecter des défaillances de circuits logiques décrits au niveau structurel. Le problème posé étant NP-complet, une recherche exhaustive de solutions n'est pas exploitable. L'approche développée dans cette thèse définit un modèle connexioniste (pour représenter les circuits) et des principes de génération (méthodes de résolution pour générer des séquences de test). Le modèle, qui associe un réseau d'automates à seuil à une fonction logique, est parallèle par nature. Il est construit de façon à connaître l'état global du réseau en utilisant des fonctions qui sont calculées localement au niveau de chaque automate. Le principe de génération de séquences de test pour un circuit est fondé sur le comportement dynamique du réseau d'automates associé. Ce comportement est caractérisé par une fonction d'énergie. Le problème équivaut alors à minimiser cette fonction sachant qu'elle peut éventuellement présenter des minima locaux. Cette minimisation peut être réalisée de manière déterministe, probabiliste ou par une méthode mixte. Plusieurs générateurs de séquences de test ont été définis en utilisant des méthodes de génération telles que: «descente de gradient», «recuit simulé» ou «guidage par les fonctions locales». Ils ont permis d'obtenir des résultats comparables aux générateurs classiques (dont le modèle de circuit est un graphe) sans faire l'étude de cas particuliers de circuits.
36
Pous, Nicolas. "Analyse de signaux analogiques/radiofréquences à l'aide de ressources digitales en vue du test." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2011. http://tel.archives-ouvertes.fr/tel-00667202.
Анотація:
Les travaux présentés dans ce mémoire entrent dans le cadre de la réduction des coûts de production des circuits RF. En effet, la démocratisation de ces appareils pousse les industriels à chercher de nouvelles solutions afin de produire, à bas prix, ces circuits RF. Le test représentant une large partie du coût de ces produits, l'objectif de cette thèse a donc été de proposer une stratégie originale permettant d'effectuer l'analyse de signaux modulés à l'aide d'un équipement de test numérique faible coût. Tout d'abord, le manuscrit dresse un tableau général du test industriel et présente un éventail des solutions proposées dans la littérature pour réduire le coût du test des circuits RF, ainsi que des exemples d'utilisation du concept de " level-crossing ", méthode choisie pour effectuer la capture puis la reconstruction des signaux analogiques et RF. Les principes de base utilisés pour la reconstruction de signaux analogiques à partir d'informations temporelles sont ensuite abordés. L'élément clé des algorithmes de reconstruction est la détermination des instants de passage du signal par un seuil de tension prédéterminé. De cette information, il est ensuite possible de déterminer la phase, la fréquence et l'amplitude du signal observé. La suite est consacrée à l'analyse de signaux modulés. Dans un premier temps sur des modulations élémentaires, puis sur des schémas de modulations plus complexes, basés sur des cas d'étude concrets. Le travail se termine en abordant la prise en compte des non-idéalités de la chaîne d'acquisition. Il s'agit en particulier d'étudier l'impact de ces non-idéalités pour élaborer des algorithmes visant à compenser les erreurs résultantes.
37
Siegert, Raimund Ulrich. "Bruit engendré par les rotors d'hélicoptères. Etude des mécanismes de génération de bruit et contribution à l'analyse de signaux expérimentaux." Toulouse 3, 1995. http://www.theses.fr/1995TOU30290.
Анотація:
Ce travail a pour objectif l'etude du bruit engendre par les pales des rotors d'helicopteres sous deux aspects. La partie a concerne la modelisation physique des phenomenes de generation de bruit, cherchant a trouver des modeles qui nous permettent de calculer la pression acoustique en un point quelconque de l'espace. Les methodes etudiees sont formulees dans le domaine temporel et comportent les trois principales sources sonores: monopolaires modelisant le bruit d'epaisseur, dipolaires simulant l'effet des charges aerodynamiques et quadripolaires tenant compte de la compressibilite et du cisaillement de l'air. La partie b concerne les methodes de traitement et d'analyse de signaux mesures et simules dans le but de caracteriser les differentes sources de bruit. A partir d'une analyse de signaux issus d'enregistrements acoustiques d'un helicoptere en vol nous cherchons a extraire differents signaux impulsifs, tels que les interactions pale/tourbillon. Et enfin, ces techniques sont utilisees pour l'identification et la localisation d'helicopteres
38
Schnebelin, Côme. "Analyse et génération de signaux dans les boucles optiques à décalage de fréquence : analogie spatiale et nouveaux concepts d'auto-imagerie." Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAY028.
Анотація:
Les techniques de génération et de traitement des signaux souffrent des limitations intrinsèques des systèmes électroniques : bande passante limitée, sensibilité aux interférences électromagnétiques, encombrement et coût. Au contraire, les systèmes optiques s’affranchissent naturellement de ces contraintes et sont potentiellement très attractifs pour la génération et le traitement des signaux. Au cours de cette thèse, nous avons étudié un système optique original utilisé pour la photonique micro-onde : les boucles à décalage de fréquence.Les propriétés temporelles de ces boucles présentent un parallèle frappant avec certaines propriétés de l’effet Talbot en optique spatiale. Cette dualité s’est révélée particulièrement riche au cours de ce travail, car elle nous a conduits à démontrer de nombreuses propriétés à la fois en optique temporelle dans les boucles à décalage de fréquence, mais aussi en optique spatiale dans des montages simples de diffraction.Nous avons ainsi mis en évidence la possibilité de calculer analogiquement la transformée de Fourier et la transformée de Fourier fractionnaire d’un signal arbitraire, avec une très bonne résolution spectrale. Ceci nous a permis de mesurer le taux de « chirp » d’un signal à modulation linéaire de fréquence, ou d’améliorer le rapport signal sur bruit de certains signaux. Nous avons également montré la possibilité de générer des trains d’impulsions avec un taux de répétition ajustable, et de faire de la mise en forme spectrale de haute résolution, en amplitude et en phase. Ce résultat permet de générer des signaux arbitraires optiques ou radiofréquences, avec des bandes passantes de plusieurs dizaines de GHz et des durées pouvant aller jusqu’à plusieurs dizaines de ns.La richesse de la dualité entre l’optique spatiale et les boucles à décalage de fréquence nous a conduits à réinterpréter un certain nombre de propriétés de l’effet Talbot (formation des images, auto-réparation des images de Talbot) et à proposer des concepts nouveaux, tels que le contrôle des images de Talbot (période et taille) ou l’amplification d’imageSignal generation and processing techniques suffer from intrinsic limitations of electronic systems: limited bandwidth, sensitivity to electromagnetic interference, bulk and cost. On the contrary, optical systems naturally overcome these constraints and are potentially very attractive for the generation and processing of signals. During this thesis, we studied an original optical system used for microwave photonics: frequency shifting loops.The temporal properties of these loops have a strong link with some properties of the Talbot effect in spatial optics. This duality has been successful during this work, because it led us to demonstrate many properties both in time optics in the frequency shifting loops, and in spatial optics with simple diffraction setup.We have thus demonstrated the possibility of analogically calculating the Fourier transform and the fractional Fourier transform of an arbitrary signal, with a very good spectral resolution. This allowed us to measure the "chirp" rate of a linearly frequency modulated signal, or to improve the signal-to-noise ratio of some signals. We have also shown the possibility to generate pulse trains with an adjustable repetition rate, and to make spectral shaping of high resolution, in amplitude and phase. This result has been used to generate arbitrary optical or radiofrequency signals with bandwidths of several tens of GHz and durations of up to several tens of ns.The properties of the duality between spatial optics and frequency shifting loops led us to reinterpret a number of properties of the Talbot effect (image formation, self-healing of Talbot images) and to propose new concepts, such as control of Talbot images (period and size) or image amplification
39
Afonso, 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.
Анотація:
L'objectif de cette thèse est la proposition de nouvelles solutions dans le domaine des systèmes de test et de simulation avioniques et ce, à plusieurs niveaux. Dans un premier temps, nous avons proposé un modèle d'exécution dynamique permettant d'unifier les métiers du test et de la simulation, de répondre aux contraintes imposées, d'apporter de nouvelles possibilités et ainsi d'accélérer le cycle de développement des futurs équipements embarqués. Ensuite, un support matériel basé sur une architecture hétérogène CPU-FPGA a été défini afin de répondre à la problématique proposée et aux contraintes imposées par le domaine d'application telles que le respect du temps-réel et la capacité de reconfiguration dynamique hétérogène. A ce support matériel, est venue s'ajouter une méthodologie de développement permettant une meilleure prise en charge du code "legacy" de l'industriel. Enfin, un environnement unifié temps réel mou pour le test et la simulation avionique a été mis en avant, permettant de diminuer les coûts liés à la maîtrise et à la maintenance d'un nouvel environnement. Finalement, une étude de cas a permis de mettre en avant les capacités de reconfiguration dynamique et les performances de l'environnement développé.
40
Duffaut, Olivier. "Problématique multi-modèle pour la génération d'arbres de test : application au domaine de l'automobile." Toulouse, ENSAE, 1994. http://www.theses.fr/1994ESAE0005.
Анотація:
Ce travail concerne l'étude d'un système multi-modèle d'aide à la génération d'arbres de test. Son application a été menée sur les systèmes électroniques de commande embarqués sur véhicules automobiles. Le travail présenté met en évidence les problèmes actuels du développement manuel des arbres de test et propose une solution basée sur l'utilisation conjointe de plusieurs modèles du système traité. Dans l'architecture présentée, chaque modèle est considéré comme une entité indépendante qui participe à la construction de l'arbre de test en rendant des services. Ce processus est supervisé par une autre entité qui est dépositaire de la stratégie globale de test. Trois modèles ont été développés : un modèle fonctionnel, un modèle de comportement électrique normal et un modèle de comportement électrique anormal. La connaissance utilisée, les technique de génération de test et les services renuds dans un cadre multi-modèle sont décrits pour chaque modèle. Un maquette informatique a été réalisée. / Les arbres de test fournis ont été testés sur un système d'injection de carburant et évalués par rapport aux arbres de test existants.
41
Kebichi, Omar. "Techniques et outils de CAO pour la génération automatique de test intégré pour RAMs." Grenoble INPG, 1994. http://www.theses.fr/1994INPG0062.
Анотація:
Le bist (built-in self-test) est une technique de test autonome puisque toutes les fonctions necessaires pour le test sont implementees a l'interieur du circuit lui-meme. Il peut assurer la testabilite pendant la duree de vie du circuit (test apres fabrication au niveau puce et wafer, test au niveau carte et systeme, test de maintenance et test periodique pendant l'utilisation du circuit). En ce qui concerne le scan path, cette solution permet l'elimination des problemes de controlabilite et d'observabilite qui sont presents surtout lors du test de circuits enterres. L'inconvenient de cette technique est l'augmentation du temps de test. L'utilisation d'un circuit bist requiert generalement un peu plus de materiel, mais reduit considerablement le temps de test. Cependant, le choix de la solution de test la plus performante depend de differents criteres (taille de la memoire, temps de test, taux de couverture de fautes, effort de conception etc. ). Ainsi, dans cette these nous proposons plusieurs techniques scan path et bist pour memoires ram. Pour la solution scan path, nous proposons une technique divisant par n le temps d'application des donnees de test (n etant la longueur de la donnee de test). Pour l'observation des reponses plusieurs techniques tenant compte du temps d'observation et de la couverture de fautes sont etudiees. Concernant la solution bist, differentes techniques pour la generation d'adresses, la generation des donnees de test et la verification des reponses de sorties sont proposees. Un outil pour la generation automatique de ces schemas bist et scan path a ete realise. Cet outil permet aussi de choisir la technique de test la plus adequate. Toujours concernant la solution bist, une technique de realisation d'analyseurs de signature sans masquage et une autre pour le calcul exact du taux de masquage ont ete aussi proposees. Concernant le test periodique de rams qui est parfois obligatoire dans un systeme, nous proposons une architecture de bist transparent tres efficace qui permet de tester la ram sans detruire son contenu initial. Un outil de generation automatique de bist transparent pour rams a aussi ete developpe
42
Hamdi, Belgacem. "Outils CAO pour la génération automatique de parties opératives auto-controlables." Grenoble INPG, 1994. http://www.theses.fr/1994INPG0041.
Анотація:
Le travail presente dans cette these concerne l'etude et l'implementation d'outils cao pour la generation des circuits auto-controlables. Une bibliotheque de cellules dediees aux implementations auto-controlables est developpee. Un outil cao de generation automatique de parties operative (po) auto-controlables est realise autour de cette bibliotheque et integre a un outil cao standard en l'occurence cadence. Pour la realisation d'un tel outil, plusieurs approches ont ete envisagees. L'approche qui combinant l'utilisation de cellules standards et de cellules predefinies a ete retenue, car elle offre un meilleur compromis optimisation/flexibilite. L'un des points essentiels de cette these est qu'elle s'appuie sur une implementation efficace de po auto-controlables. Cette implementation repose sur trois techniques essentielles. La premiere consiste a combiner le code double-rail (pour les additionneurs, uals) et le code de parite (pour les autres blocs de la po). Avec cette approche, les convertisseurs de code sont evites. La deuxieme technique consiste en l'utilisation de portes differentielles specifiques qui sont concues de facon a inclure leurs duales. Leur duplication est ainsi evitee. Enfin, ce schema beneficie de l'approche appelee controle de la retenue et prediction de la parite (cr/pp). Cette approche evite la duplication des registres d'entree et des blocs complexes tels que celui de l'anticipation de retenue ou de retenue bondissante. Notre outil permet ainsi, l'implementation de po auto-controlables efficaces avec un minimum d'augmentation materielle. La generation est automatique. Elle offre, toutefois, au concepteur le choix de plusieurs parametres de la po (taille et type de l'ua/ual, nombre de bus de la po, taille de la memoire locale, etc). L'interet de ce travail reside dans le fait que, dans l'etat actuel des choses, les techniques de test en ligne ont un handicap majeur a savoir le temps de conception considerable en l'absence d'outils cao adequats. Les outils du type presentes dans cette these permettent de combler ce manque et de surmonter cet handicap
43
Ye, Wei-Ming. "Étude de la pertinence de modélisation paramétrique de signaux pour le test aléatoire des microprocesseurs." Toulouse, INPT, 1987. http://www.theses.fr/1987INPT004H.
Анотація:
Les methodes d'analyse de signature des signaux de microprocesseurs en test aleatoire permettent de detecter les pannes internes sous une contrainte spatiale. L'analyse est effectuee a la sortie sous la forme d'autocorrelation, d'etude spectrale, de distances cepstrales
44
Gouraud, Sandrine-Dominique. "Utilisation des Structures Combinatoires pour le Test Statistique." Phd thesis, Université Paris Sud - Paris XI, 2004. http://tel.archives-ouvertes.fr/tel-00011191.
Анотація:
Cette thèse propose une nouvelle approche pour le test statistique delogiciel à partir d'une description graphique des comportements du
système à tester (graphe de contrôle, statecharts). Son originalité
repose sur la combinaison de résultats et d'outils de combinatoire
(génération aléatoire de structures combinatoires) et d'un solveur de
contraintes, pour obtenir une méthode de test complètement automatisée.
Contrairement aux approches classiques qui tirent des entrées, la
génération aléatoire uniforme est utilisée pour tirer des chemins parmi
un ensemble de chemins d'exécution ou de traces du système à tester.
Puis, une étape de résolution de contraintes est utilisée pour
déterminer les entrées qui permettront d'exécuter ces chemins.
De plus, nous montrons comment les techniques de programmation
linéaire peuvent améliorer la qualité d'un ensemble de tests.
Une première application a été effectuée pour le test statistique
structurel défini par Thévenod-Fosse et Waeselynck (LAAS) et un
prototype a été développé.
Des expériences (plus de 10000 réalisées sur quatre fonctions issues
d'un logiciel industriel) ont été effectuées pour évaluer notre approche
et sa stabilité.
Ces expériences montrent que notre approche est comparable à celle
du LAAS, est stable et a l'avantage d'être complètement automatisée.
Ces premières expériences nous permettent également d'envisager un
passage à l'échelle de notre approche. Plus généralement, ces travaux
pourraient servir de base pour une nouvelle classe d'outils dans le
domaine du test de logiciel, combinant génération aléatoire de
structures combinatoires, techniques de programmation linéaire et
résolution de contraintes.
45
Florès, Laurent. "Branddelphi : une nouvelle méthode de génération d'idées pour la mise à jour des "signaux faibles" dans le développement des nouveaux produits." Grenoble 2, 2005. http://www.theses.fr/2005GRE21031.
Анотація:
Après avoir mis en perspective l'importance de la génération d'idées de qualité dans le processus de développement de nouveaux produits, sont mises en avant certaines faiblesses des méthodes existantes de génération d'idées en particulier dans leur capacité de mise à jour des idées de type "signal faible". Initialement issu du management stratégique, le concept de "signal faible" offre une perspective et des implications intéressantes dans le cadre du processus de développement de nouveaux produits. Une nouvelle méthode de mise à jour idées de type signal faible est proposée et développée suivant certains principes du brainstorming (Osborn, 1953), de la théorie de l'information (Shannon, 1948), de la méthode Delphi (Dalkey, 1969) et d'algorithmes génétiques et évolutifs (Seck, 1996, Goldberg, 2000). La méthode branddelphi est alors testée et validée au sens de sa fiabilité, de ses validités interne et externe dans deux catégories de produits, impliquante (ordinateurs) et non impliquante (yaourts). La nouvelle méthode confirme ses bonnes performances et s'avère dans certains cas supérieure a celles du brainstorming et Delphi. La recherche est conclue en offrant de nombreuses pistes de recherches futures relatives à la meilleure prise en compte de l'énonciation des idées (par rapport à l'énoncé) dans le développement de nouveaux concepts produits (Gavard-Perret, 1998), au contrôle du profil plus ou moins créatif ou leader des consommateurs (Von Hippel, 1986 ; Roger, 1983), à l'optimisation de l'algorithmique, et à la stimulation créative optimale des consommateurs impliqués (Zaltman, 2003)Having illustrated the importance of idea generation in the new product development process and certain weaknesses of existing methods to detect "weak signals" ideas to drive successful product innovation, the author offers the development of a new ideation method : Branddelphi. Inspired from certains principles of brainstorming (Osborn, 1953), information theory (Shannon, 1948), Delphi method (Dalkey, 1969), evolutionary and adaptive algorithms (Seck, 1996, Goldberg, 2000). The method is developed, tested and validadted in terms of reliability, internal and external validities in two product categories (involving, not involving) and show superior performance in comparison to brainstorming and Delphi method. Future research directions are highlighted with specific interest in idea stating rather than content only, the control and sequential involvement of different consumers (Roger, 1983), as well as different alternatives for algorithm optimization and consumers optimal creative simulation (Zaltman, 2003)
46
Molina, Villegas Alejandro. "Compression automatique de phrases : une étude vers la génération de résumés." Phd thesis, Université d'Avignon, 2013. http://tel.archives-ouvertes.fr/tel-00998924.
Анотація:
Cette étude présente une nouvelle approche pour la génération automatique de résumés, un des principaux défis du Traitement de la Langue Naturelle. Ce sujet, traité pendant un demi-siècle par la recherche, reste encore actuel car personne n'a encore réussi à créer automatiquement des résumés comparables, en qualité, avec ceux produits par des humains. C'est dans ce contexte que la recherche en résumé automatique s'est divisée en deux grandes catégories : le résumé par extraction et le résumé par abstraction. Dans le premier, les phrases sont triées de façon à ce que les meilleures conforment le résumé final. Or, les phrases sélectionnées pour le résumé portent souvent des informations secondaires, une analyse plus fine s'avère nécessaire.Nous proposons une méthode de compression automatique de phrases basée sur l'élimination des fragments à l'intérieur de celles-ci. À partir d'un corpus annoté, nous avons créé un modèle linéaire pour prédire la suppression de ces fragments en fonction de caractéristiques simples. Notre méthode prend en compte trois principes : celui de la pertinence du contenu, l'informativité ; celui de la qualité du contenu, la grammaticalité, et la longueur, le taux de compression. Pour mesurer l'informativité des fragments,nous utilisons une technique inspirée de la physique statistique : l'énergie textuelle.Quant à la grammaticalité, nous proposons d'utiliser des modèles de langage probabilistes.La méthode proposée est capable de générer des résumés corrects en espagnol.Les résultats de cette étude soulèvent divers aspects intéressants vis-à- vis du résumé de textes par compression de phrases. On a observé qu'en général il y a un haut degré de subjectivité de la tâche. Il n'y a pas de compression optimale unique mais plusieurs compressions correctes possibles. Nous considérons donc que les résultats de cette étude ouvrent la discussion par rapport à la subjectivité de l'informativité et son influence pour le résumé automatique.
47
Dargelas, Alain. "Approche multi-stratégique pour la génération déterministe de vecteurs de test de circuits séquentiels synchrones." Montpellier 2, 1997. http://www.theses.fr/1997MON20033.
Анотація:
Cette these propose une etude bibliographique exhaustive des techniques deterministes de generation de vecteurs de test pour circuits combinatoires et sequentiels synchrones. Une description exhaustive des difficultes specifique du test des circuits combinatoires et sequentiels est faite. Une approche pragmatique est menee pour repondre aux exigences industrielles de la generation de vecteurs de test pour les circuits combinatoires et sequentiels. Des methodes originales, visant les couches algorithmiques de haut niveau, telles que les strategies multiples de recherche structurelle ou les strategies multiples de recherche temporelle sont introduites. D'autres mecanismes de bas niveau tels que les mecanismes de remise en cause ou d'ordonnancement de decisions sont discutes. Une demonstration de l'efficacite des methodes proposees est faite par comparaison avec les meilleurs outils industriels. Cette efficacite se mesure par rapport au taux de couverture de fautes atteint, a la reduction du temps de generation et a la reduction des longueurs de sequences de test. Finalement, une ouverture des techniques utilisees par les generateurs de vecteurs de test vers d'autres disciplines de la microelectronique est exposee
48
Griche, Karim-Cyril. "Génération automatique de bouchons pour le test structurel basée sur l'analyse du flot de contrôle." Université Joseph Fourier (Grenoble), 2005. http://www.theses.fr/2005GRE10098.
Анотація:
Lors du développement d'un logiciel, plusieurs phases de test sont mises en oeuvre. Dans cette thèse, nous nous intéressons particulièrement à deux d'entre elles : les test unitaire et le test d'intégration. Dans le test unitaire, les entités du logiciel sont testées individuellement. Elles sont ensuite intégrée au sein d'un agrégat qui est soumis à un test d'intégration. Lors de cette phase, on cherche traditionnellement à tester les interactions entre ces entités. Nous nous intéressons plus particulièrement dans cette thèse au test structurel unitaire. Lors de cette phase de test, si l'entité contient des app rers d'autres entités, elles sont remplacées par des bouchons simples qui facilitent le test. Ces bouchons ne sont pas exempts de défauts. En particulier, ils sont généralement pas représentatifs des entités qu'ils remplacent. Les taux de couverture obtenus pendant le test ne représentent donc pas l'utilisatin éelle de la fonction testée. Dans cette thèse, nous proposons d'étendre la phase de test unitaire aux agrégats de fonctions. Tous les bouchons nécessaires sont produits automatiquement à partir du code des fonctions appelées. Pour cela, on se base sur une analyse et un découpage du flot de ontrôle de la fonction appelée en approximations, ainsi que sur la détermination de l'environnement particulier de chaque appel. Cet environnement ontient les informations sur les conditions d'appel à la fonction et sur l'impact de cet appel sur le flot de contrôle de la fonction appelante. On crée inalement le bouchon spécifique à un appel par filtrage des approximations par le contexte d'appel. On sélectionne ensuite une approximation pour chaque objectif de génération. L'ensemble de cette technique a été implanté au sein d'un prototype basé sur l'outil de test InkaWhile developing a software, many different tests are processed. Ln this thesis, we are focusing mainly on unitary test and integration test. During the unitary test phase, the software's entities are tested individually. Afterwards, they are integrated within an aggregate on which the integration test is lrocessed. During this phase, interactions between entities are tested. We are working on structural unitary test. During this test phase, when the entites under test contains calls to other entites, the called entities are replaced by stubbs designed to simplify test data generation for the calling function. Ln general, such stubbs do not represent correctly the behaviour of the entity they stand for. Therefore, the resulting covering rate does not represent the use of the calling function. In this thesis, we propose a new test phase, the unitary aggregate test phase, where ail necessary stubbs are automatically generated from the called function's code. The production of such a stubb is based on the slice of the called function's control flow into approximations. Tatic analysis is used to deterrnine the specifie environment of each cali. This environment con tains information on the calling conditions for a function and also on the impact ofthis cali on the calling function's control flow. The stubb for a specifie cali can be created by filtering the called function's approximations, using the calling context. Then, a single filtered approximation is kept for each generation objective within the calling function. A prototype of this method was implemented within the Inka test tool
49
Naha, Marius. "Génération de séquences de test à partir des diagrammes de collaboration UML : implémentation et évaluation." Thèse, Université du Québec à Trois-Rivières, 2004. http://depot-e.uqtr.ca/1489/1/000122261.pdf.
50
Ye, Wei-Ming. "Etude de la pertinence de la modélisation paramétrique de signaux pour le test aléatoire des microprocesseurs." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37610802g.