Les systèmes électroniques embarqués dans les véhicules ont une complexité sans cesse croissante. Cependant, il est crucial d'en maîtriser le comportement temporel afin de garantir la sécurité ainsi que le confort des passagers. La vérifica- tion des contraintes temporelles de bout-en-bout est donc un enjeu majeur lors de la conception d'un véhicule. Dans le contexte de l'architecture logicielle AUTOSAR standard dans les véhicules, nous décomposons la vérification d'une contrainte de bout-en-bout en sous-problèmes d'ordonnancement sur les calculateurs et sur les réseaux de communication que nous traitons ensuite séparément. Dans un premier temps, nous présentons une approche permettant d'améliorer l'utilisation des calculateurs exécutant un grand nombre de composants logiciels, compatible avec l'introduction progressive des plateformes multi-coeurs. Nous dé- crivons des algorithmes rapides et efficaces pour lisser la charge périodique sur les calculateurs multi-coeurs en adaptant puis en améliorant une approche existant pour les bus CAN. Nous donnons également des résultats théoriques sur l'efficacité des algorithmes dans certains cas particuliers. Enfin, nous décrivons les possibili- tés d'utilisation de ces algorithmes en fonction des autres tâches exécutées sur le calculateur. La suite des travaux est consacrée à l'étude des distributions de temps de réponse des messages transmis sur les bus CAN. Dans un premier temps nous pré- sentons une approche de simulation basée sur la modélisation des dérives d'horloges des calculateurs communicant sur le réseau. Nous montrons que nous obtenons des distributions de temps de réponse similaires en réalisant une longue simulation avec des dérives d'horloge ou en faisant un grand nombre de courtes simulations sans dérives d'horloge. Nous présentons enfin une technique analytique pour évaluer les distributions de temps de réponse des trames CAN. Nous présentons différents para- mètres d'approximation permettant de réduire le nombre très important de calculs à effectuer en limitant la perte de précision. Enfin, nous comparons expérimentale- ment les résultats obtenus par analyse et simulation et décrivons les avantages et inconvénients respectifs de ces approches.

Le besoin d’appareils compacts et autonomes dédiés à la détection d’espèces chimiques pour des analyses de terrain est d’actualité dans un contexte international en rapide mutation (agroalimentaire, développement durable, sécurité, etc.). La thèse présentée au sein de ce manuscrit, financée par la Délégation Générale de l’Armement, développe de nouvelles solutions de capteurs résonants à ondes élastiques de volume à modes harmoniques élevés (HBARs) pour la détection de gaz et plus particulièrement de composés explosifs. Ces résonateurs de très haute compacité se composent d’un transducteur reporté ou déposé sur une cavité résonante multimode, produisant un spectre de raies modulant sa propre réponse fréquentielle. De nature dipolaire, ces résonateurs permettent toutefois la mise au point de quadripôles par couplage latéral de modes mis à profit dans nos travaux. L’étude théorique du comportement de résonateurs à base de niobate de lithium aminci et reporté sur quartz ou fondés sur un empilement de nitrure d’aluminium et de silicium a permis de déterminer les propriétés gravimétriques spécifiques de chaque combinaison de matériaux et des modes associés. Des méthodes de calibrage en phase liquide et gazeuse sont proposées pour valider l’analyse théorique et permettre le choix de la structure la mieux adaptée à une configuration expérimentale donnée. Les résultats obtenus, comparés à ceux d’une microbalance à ondes guidées sur quartz, mettent en évidence les forces (compacité, cinétique chimique réduite, nature multi-physique des mesures) et faiblesses (sensibilité gravimétrique imposant des structures d’épaisseur inférieure à 100 μm) de notre solution face à cette référence. Nous avons également développé une électronique de traitement en boucle ouverte des informations issues de nos dispositifs, permettant des modes de détection rapide ou de haute précision (quelques milli-degrés de variation de phase). L’électronique dédiée a pour vocation de fournir la flexibilité nécessaire au suivi de nombreux modes à diverses fréquences fixes et de s’affranchir des temps longs de balayage en fréquence des analyseurs de réseaux généralistes. Une version à8 voies permet enfin la manipulation de plusieurs capteurs ou l’étude en parallèle des modes de 2 HBARs, donnant ainsi lieu à un système multi-physique efficace associé à des capteurs capables de sonder plusieurs grandeurs dans un volume de très petite dimension (quelques mm3). La limite de détection est déterminée par le bruit de phase de l’oscillateur local. Le système ainsi réalisé est exploité pour la détection de gaz mais aussi pour le pilotage de grandeurs physiques telles que la température ou la viscosité (milieux aqueux) dans différents contextes expérimentaux. / The demand for compact and autonomous systems devoted to field detection of gaseous compounds is still persisting in arapidly changing international context (food-processing, sustainable development, security, and so on). The thesis reportedin this manuscript, supported by the Délégation Générale de l’Armement, develops new resonant sensor solutions basedon high overtone bulk acoustic waves (so-called HBARs) for chemical compound detection and more specifically explosivesubstances. These high compactness resonators are built using a transducer bound or deposited onto a resonant cavity,yielding a comb spectrum modulating its own frequency response. They are used generally as dipoles, but a quadrupolestructure allowing for transverse mode coupling has been particularly used for our developments. A theoretical study ofthe behaviour of these devices based on lithium niobate-on-quartz or qluminum nitride-on-silicon material stack has beenachieved to determine the gravimetric properties of these configurations accounting for their mode specificities. Variouscalibration techniques have been implemented to confirm the theoretical analysis and to define the most appropriate structurefor a given application. The produced results have been compared to those of a quartz guided-wave micro-balance toemphasize the strength (compactness, reduced chemical kinetics, multiphysics measurements) and weakness (gravimetricsensitivity requiring device thickness less than 100 μm) of our devices. An embedded signal processing electronics alsohas been developed to treat the information provided by our sensors, offering fast or accurate (millidegree range) detectionprotocols. The dedicated electronics aims at providing the flexibility needed to track multiple modes at variaous fixed frquencieswhile getting rid of the long sweep time of general purpose network analyzers. A eight-channel version of thissystem has been set to process several sensor in parallel or to monitor several modes of two HBAR sensors for effectivemuti-physics measurements in a reduced analysis domain (a few cubic mm). Phase noise is the limiting factor determiningthe detection limit. The system has been deployed for gas detection as well as for monitoring other physical parameters suchas temperature or viscosity under various experimental condition including fluid media.

Les systèmes électroniques embarqués dans les véhicules ont une complexité sans cesse croissante. Cependant, il est crucial d'en maîtriser le comportement temporel afin de garantir la sécurité ainsi que le confort des passagers. La vérification des contraintes temporelles de bout-en-bout est donc un enjeu majeur lors de la conception d'un véhicule. Dans le contexte de l'architecture logicielle AUTOSAR standard dans les véhicules, nous décomposons la vérification d'une contrainte de bout-en-bout en sous-problèmes d'ordonnancement sur les calculateurs et sur les réseaux de communication que nous traitons ensuite séparément. Dans un premier temps, nous présentons une approche permettant d'améliorer l'utilisation des calculateurs exécutant un grand nombre de composants logiciels, compatible avec l'introduction progressive des plateformes multi-coeurs. Nous décrivons des algorithmes rapides et efficaces pour lisser la charge périodique sur les calculateurs multi-coeurs en adaptant puis en améliorant une approche existant pour les bus CAN. Nous donnons également des résultats théoriques sur l'efficacité des algorithmes dans certains cas particuliers. Enfin, nous décrivons les possibilités d'utilisation de ces algorithmes en fonction des autres tâches exécutées sur le calculateur. La suite des travaux est consacrée à l'étude des distributions de temps de réponse des messages transmis sur les bus CAN. Dans un premier temps nous présentons une approche de simulation basée sur la modélisation des dérives d'horloges des calculateurs communicant sur le réseau. Nous montrons que nous obtenons des distributions de temps de réponse similaires en réalisant une longue simulation avec des dérives d'horloge ou en faisant un grand nombre de courtes simulations sans dérives d'horloge. Nous présentons enfin une technique analytique pour évaluer les distributions de temps de réponse des trames CAN. Nous présentons différents paramètres d'approximation permettant de réduire le nombre très important de calculs à effectuer en limitant la perte de précision. Enfin, nous comparons expérimentalement les résultats obtenus par analyse et simulation et décrivons les avantages et inconvénients respectifs de ces approches / The complexity of electronic embedded systems in cars is continuously growing. Hence, mastering the temporal behavior of such systems is paramount in order to ensure the safety and comfort of the passengers. As a consequence, the verification of end-to-end real-time constraints is a major challenge during the design phase of a car. The AUTOSAR software architecture drives us to address the verification of end-to-end real-time constraints as two independent scheduling problems respectively for electronic control units and communication buses. First, we introduce an approach, which optimizes the utilization of controllers scheduling numerous software components that is compatible with the upcoming multicore architectures. We describe fast and efficient algorithms in order to balance the periodic load over time on multicore controllers by adapting and improving an existing approach used for the CAN networks. We provide theoretical result on the efficiency of the algorithms in some specific cases. Moreover, we describe how to use these algorithms in conjunction with other tasks scheduled on the controller. The remaining part of this research work addresses the problem of obtaining the response time distributions of the messages sent on a CAN network. First, we present a simulation approach based on the modelisation of clock drifts on the communicating nodes connected on the CAN network. We show that we obtain similar results with a single simulation using our approach in comparison with the legacy approach consisting in numerous short simulation runs without clock drifts. Then, we present an analytical approach in order to compute the response time distributions of the CAN frames. We introduce several approximation parameters to cope with the very high computational complexity of this approach while limiting the loss of accuracy. Finally, we compare experimentally the simulation and analytical approaches in order to discuss the relative advantages of each of the two approaches

Le besoin d'appareils compacts et autonomes dédiés à la détection d'espèces chimiques pour des analyses de terrain est d'actualité dans un contexte international en rapide mutation (agroalimentaire, développement durable, sécurité, etc.). La thèse présentée au sein de ce manuscrit, financée par la Délégation Générale de l'Armement, développe de nouvelles solutions de capteurs résonants à ondes élastiques de volume à modes harmoniques élevés (HBARs) pour la détection de gaz et plus particulièrement de composés explosifs. Ces résonateurs de très haute compacité se composent d'un transducteur reporté ou déposé sur une cavité résonante multimode, produisant un spectre de raies modulant sa propre réponse fréquentielle. De nature dipolaire, ces résonateurs permettent toutefois la mise au point de quadripôles par couplage latéral de modes mis à profit dans nos travaux. L'étude théorique du comportement de résonateurs à base de niobate de lithium aminci et reporté sur quartz ou fondés sur un empilement de nitrure d'aluminium et de silicium a permis de déterminer les propriétés gravimétriques spécifiques de chaque combinaison de matériaux et des modes associés. Des méthodes de calibrage en phase liquide et gazeuse sont proposées pour valider l'analyse théorique et permettre le choix de la structure la mieux adaptée à une configuration expérimentale donnée. Les résultats obtenus, comparés à ceux d'une microbalance à ondes guidées sur quartz, mettent en évidence les forces (compacité, cinétique chimique réduite, nature multi-physique des mesures) et faiblesses (sensibilité gravimétrique imposant des structures d'épaisseur inférieure à 100 μm) de notre solution face à cette référence. Nous avons également développé une électronique de traitement en boucle ouverte des informations issues de nos dispositifs, permettant des modes de détection rapide ou de haute précision (quelques milli-degrés de variation de phase). L'électronique dédiée a pour vocation de fournir la flexibilité nécessire au suivi de nombreux modes à diverses fréquences fixes et de s'affranchir des temps longs de balayage en fréquence des analyseurs de réseaux généralistes. Une version à 8 voies permet enfin la manipulation de plusieurs capteurs ou l'étude en parallèle des modes de 2 HBARs, donnant ainsi lieu à un système multi-physique efficace associé à des capteurs capables de sonder plusieurs grandeurs dans un volume de très petite dimension (quelques mm3 ).La limite de détection est déterminée par le bruit de phase de l'oscillateur local. Le système ainsi réalisé est exploité pour la détection de gaz mais aussi pour le pilotage de grandeurs physiques telles que la température ou la viscosité (milieux aqueux) dans différents contextes expérimentaux.