Dissertations / Theses on the topic 'Logiciel temps réel pour la radio-logicielle'

La migration récente des plateformes mono-cœur vers multi-cœur, dans le domaine automobile, révèle de grands changements dans le processus de développement du logiciel embarqué. Tout d’abord, les concepteurs de logiciel ont besoin de nouvelles méthodes leur permettant de combler le fossé entre la description des applications (versus Autosar) et le déploiement de tâches. Deuxièmement, l’utilisation du multi-cœur doit assurer la compatibilité avec les contraintes liées aux aspects temps-réel et à la Sûreté de fonctionnement. Au final, les développeurs ont besoins d’outils pour intégrer de nouveaux modules dans leur système multi-cœur. Confronter aux complexités ci-dessus, nous avons proposé une méthodologie afin de repartir, de manière optimale, les applications sous forme de partitions logiques. Nous avons ainsi intégré dans notre processus de développement, un outil de distribution des traitements d’un système embarqué sur différents processeurs et compatible avec le standard AUTOSAR (AUTomotive Open System ARchitecture). Les solutions de partitionnement traitent simultanément l’allocation des applications ainsi que la politique d’ordonnancement. Le périmètre d’étude du partitionnement est automatique, les solutions trouvées étant évaluées par nos fonctions de coût. Elles prennent aussi en compte des critères tels que, le coût de communication inter-cœur, l’équilibrage de la charge CPU entre les cœurs et la gigue globale. Pour la partie ordonnancement, nous présentons une formalisation des dépendances sous forme périodiques pour répondre au besoin automobile. L’algorithme d’ordonnancement proposé prend en compte cette spécificité ainsi que les contraintes temps-réel et fonctionnelles, assurant l’applicabilité de notre méthodologie dans un produit industriel. Nous avons expérimenté nos solutions avec une application de type contrôle moteur, sur une plateforme matérielle multi-cœur<br>The recent migration from single-core to multi-core platforms in the automotive domain reveals great challenges for the legacy embedded software design flow. First of all, software designers need new methods to fill the gap between applications description and tasks deployment. Secondly, the use of multiple cores has also to remain compatible with real-time and safety design constraints. Finally, developers need tools to assist them in the new steps of the design process. Face to these issues, we proposed a method integrated in the AUTOSAR (AUTomotive Open System ARchitecture) design flow for partitioning the automotive applications onto multi-core systems. The method proposes the partitions solution that contains allocation of application as well as scheduling policy simultaneously. The design space of the partitioning is explored automatically and the solutions are evaluated thanks to our proposed objective functions that consider certain criteria such as communication overhead and global jitters. For the scheduling part, we present a formalization of periodic dependencies adapted to this automotive framework and propose a scheduling algorithm taking into account this specificity. Our defined constraints from real-time aspect as well as functional aspect make sure the applicability of our method on the real life user case. We leaded experiments with a complex and real world control application onto a concrete multi-core platform

AUTOSAR (AUTomotive Open System Architecture) est un standard industriel mondial créé en 2003 dans le but de standardiser le développement des architectures logicielles automobiles. Il fournit un ensemble de concepts et définit une méthodologie commune pour le développement des logiciels embarqués automobiles. Les principales caractéristiques de ce standard sont la modularité et la « configurabilité» de logiciels qui permettent la réutilisation fonctionnelle des modules logiciels fournis par des fournisseurs différents. Cependant,le développement d’une application embarquée AUTOSAR nécessite la configuration d’un grand nombre de paramètres liés principalement au grand nombre de composants logiciels (software component« SWC ») de l’application. Cette configuration commence par l’étape d’allocation des SWCs à la plateforme matérielle (calculateursconnectés par des réseaux), jusqu’à l’étape de configuration de chaque calculateur et du réseau de communication. Différentes alternatives sont possibles pendant ces étapes de configuration etc chaque décision de conception peut impacter les performances temporelles du système, d’où la nécessité d’automatiser ces étapes de configuration et de développer un outil d’évaluation d’architectures.Dans ce travail de thèse, nous introduisons une approche holistique d’optimisation afin de synthétiser l’architecture E/E d’un système embarqué AUTOSAR. Cette approche se base sur des méthodes métaheuristique et heuristique. La méthode métaheuristique (i.e. algorithme génétique) a le rôle de trouver les allocations les plus satisfaisantes des SWCs aux calculateurs. A chaque allocation proposée, deux méthodes heuristiques sont développées afin de résoudre le problème de la configuration des calculateurs (le nombre de tâches et ses priorités, allocation des runnables aux tâches, etc.) et des réseaux de communication (le nombre de messages et ses priorités, allocation des « data-elements » aux messages,etc.). Afin d’évaluer les performances de chaque allocation, nous proposons une nouvelle méthode d’analyse pour calculer le temps de réponse des tâches, des runnables, et de bout-en-bout de tâches/runnables. L’approche d’exploration architecturale proposée par cette thèse considère le modèle des applications périodiques et elle est évaluée à l’aide d’applications génériques et industrielles<br>AUTOSAR (AUTomotive Open System ARchitecture) has been created by automotive manufacturers, suppliers and tools developers in order to establish an open industry standard for automotive E/E(Electrical/Electronic) architectures. AUTOSAR provides a set of concepts and defines a common methodology to develop automotive software platforms. The key features of this standard are modularity and configurability of automotive software; this allows functional reuse of software modules provided by different suppliers and guarantees interoperability of these modules through standardized interfaces. However, the development of an embedded application according to AUTOSAR necessitates configuring a lot of parameters related to the large number of Software Components (SWCs), their allocations to the hardware platform and then, the configurationof each Electronic Control Unit (ECU). Different alternatives are possible during the design of such systems. Each implementation decision may impact system performance and needs therefore to be evaluated and compared against performance constraints and optimization goals. In this thesis, we introduce a holistic optimization approach to synthesizearchitecture E/E of an embedded AUTOSAR system. This approach is based on heuristic and metaheuristic methods. The metaheuristics (e.g. genetic algorithm) has the role to find the most satisfactory allocations of SWCs to ECUs. Each allocation step, two heuristics are developed to solve the problem of the ECU configuration (the number of tasks and priorities, allocation of runnables to tasks, etc.) and networks configuration (the number of messagesand priorities, allocation of data-elements to messages, etc.). In order to evaluate the performance of each allocation, we propose a new analysis method to calculate the response time of tasks, runnables, and end-to-end paths. The architectural exploration approach proposed by this thesis considers the model for periodic applications and is evaluated using generic and industrial applications

Dans ce mémoire, on présente une nouvelle architecture d’un chandail intelligent pour surveiller la respiration en temps réel. Ce vêtement intelligent comporte une architecture qui offre une méthode de détection innovante assurant une suivie de l’activité respiratoire en continue. Tout d’abord le chandail détecte la déformation du haut du thorax pendant la respiration à l’aide d’une antenne intégrée dans le chandail. L’antenne a été conçue dans les laboratoires du centre d’optique, photonique et laser de l’université Laval. Un capteur Bluetooth intégré dans le même chandail détecte par la suite la variation du signal RSSI (indicateur d’intensité du signal reçu) et l’envoie à une unité de traitement et d’analyse de données sans fils (un ordinateur ou une tablette). Une interface d’analyse des données a été crée pour permettre la détermination du rythme respiratoire et le caractériser selon le signal de respiration reçu. En plus, le chandail intelligent est alimenté par une source d’énergie sans fils et hybride fonctionnant avec une batterie rechargeable ou par un lien inductif. Deux versions de chandail ont été testées. La première contient un seul capteur alors que la deuxième possède six capteurs positionnés sur la partie frontal du vêtement. En plus, différents paramètres ont été pris en considération durant les tests citant entre autres la morphologie, l’âge et le sexe des utilisateurs. Des tests ont démontré une détection réussie de plusieurs informations pertinentes comme les cycles de respiration (inspiration, expiration), la fréquence respiratoire et d’autres mesures statistiques pour les diagnostics.<br>In this thesis, we present a new architecture of a smart T-shirt to monitor breathing in real time. This smart garment has an architecture that offers an innovative detection method ensuring continuous monitoring of respiratory activity. First the T-shirt detects deformation of the upper chest during breathing using an antenna built into the T-shirt. The antenna was designed in the laboratories of the optics, photonics and laser center of Laval University. A Bluetooth sensor integrated in the same T-shirt subsequently detects the variation of the RSSI signal (indicator of received signal strength) and sends it to a wireless data processing and analysis unit (a computer or tablet). A data analysis interface has been created to allow determination of the respiratory rate and characterization according to the received breathing signal. In addition, the smart T-shirt is powered by a wireless, hybrid power source powered by a rechargeable battery or by an inductive link. Two versions of the T-shirt were tested. The first contains a single sensor while the second has six sensors positioned on the front of the garment. In addition, different parameters were taken into account during the tests, citing among others the morphology, age and sex of the users. Tests have demonstrated successful detection of several relevant information such as breathing cycles (inspiration, expiration),respiratory rate and other statistical measures for diagnosis.

Le projet fondateur de l'acroe est le developpement et la promotion d'outils de simulation informatique d'objets du monde reel par la modelisation des phenomenes physiques qui le composent et le regissent. Ce projet donne naissance a des recherches sur trois axes : la definition d'un formalisme de conception modulaire des modeles physiques (cordis-anima), la conception de logiciels implementant ce formalisme et la recherche d'outils d'interaction homme-machine a haute performance. Mon etude porte sur la realisation d'un logiciel de simulation en temps reel exploitant au maximum l'architecture teluris composee d'un ordinateur powerchallenge multiprocesseur de silicon graphics avec sa carte video, d'une carte d'entree-sortie sonore specifique et du transducteur gestuel retroactif de l'acroe. La premiere partie du document propose une etude de la mise en forme algorithmique du formalisme cordis-anima dans tous ses aspects : caracterisation des modules et placement de leur execution dans des algorithmes sequentiels en respectant le flux de donnees circulant entre ces modules pour des simulations mono a multifrequence et mono a multiprocesseur. La deuxieme partie presente l'analyse des performances de calcul des dispositifs d'interaction et de la machine de calcul. Nous y observons en particulier le debit de communication entre ces elements ainsi qu'entre les processeurs et la memoire de la machine de calcul et par extension entre les processeurs pour une simulation multiprocesseur par memoire partagee. Y sont aussi developpes quelques elements decrivant le comportement du compilateur de langage c du systeme qui nous ont permis d'ecrire du code a haut rendement pour les processeurs mips r8000. Enfin, dans une troisieme partie, je decris l'implementation du moteur de calcul faite en fonction des observations de performance effective et de la compilation des diverses experimentations de modelisation et de simulation constituant le patrimoine de l'acroe.

Notre proposition consiste à présenter un modèle et une infrastructure d'exécution orienté composant pour le domaine des applications multi-tâches à contraintes temps réel souples et embarquées (nommé Tinap).<br /><br />Nous définissons un modèle de composant reposant sur plusieurs vues : une vue structurelle, placée au centre du cycle de conception, reposant initialement sur le modèle Fractal, une vue dynamique permettant au concepteur, dans une démarche descriptive, de personnaliser l'architecture métier pour définir les aspects de son applicatif liés à la concurrence, et enfin une vue implantation et une vue comportement fournissant respectivement une abstraction de l'implantation interne des composants et de leur comportement à l'égard de leur environnement. De plus, notre proposition est intégrée à un cadre méthodologique dirigé par les modèles.<br /><br />Nous avons également expérimenté le paradigme composant à différents niveaux d'abstraction : pour l'applicatif et pour celui de l'infrastructure d'exécution qui les implante. Enfin, au niveau du système d'exploitation fournissant les services élémentaires nécessaires. Cette démarche est motivée par la volonté d'exploiter notre modèle multi-vues canonique et de l'adapter en fonction des besoins de chaque niveau d'abstraction. Cette expérimentation est menée avec Think, une implantation en C des spécifications Fractal.<br /><br />Nous expérimentons Tinap par deux cas d'étude que nous avons prototypés. En premier lieu, pour concevoir une application d'analyse et de contrôle de flux multimédias par l'intermédiaire de disques vinyles. En second lieu pour expérimenter la mise en oeuvre du modèle d'exécution Accord (une méthodologie de conception pour applications temps-réel).

Cette étude s’inscrit dans le cadre de l’amélioration et de la maîtrise de l’utilisation d’un robot appliquée à la projection thermique sur des formes de géométrie complexe. Différentes voies ont été étudiées pour mener à bien ce projet. Sur la base d’une structure logicielle dénommée (RobotStudio™), une trousse à outil dédiée à la projection thermique dite « Thermal Spray Toolkit » a été développée. Cette trousse à outil comporte trois modules (« PathKit », « MonitorKit », « ProfileKit ») qui fournissent respectivement les créations de la trajectoire robot, le contrôle du robot en ligne et l’analyse du profil du dépôt dans un environnement de projection thermique. Dans un premier temps, les principes de l’extension logicielle pour RobotStudio™ ont été étudiés et la structure globale du programme d’extension a été établie. Puis, des méthodes et protocoles de communication ont été analysés et testés pour la connexion avec le robot. Plusieurs expérimentations ont été effectuées pour tester les fonctionnalités et la stabilité du logiciel développé. Les résultats présentés montrent que ce développement est bien adapté à la génération et l’optimisation de trajectoires robot hors-ligne pour la projection thermique<br>The aim of this study was to improve robot trajectories control during the thermal spraying process on complex geometric objects. Many researches have been done to support this project. A commercial software (RobotStudio™) has been installed and the robot off-line programming has been tested and achieved. A toolkit dedicated to thermal spray called “Thermal Toolkit Spray” was developed on the platform “RobotStudio™”. This toolkit consists of three modules (“PathKit”, “MonitorKit”, “ProfileKit”) which respectively provide the generation of the robot trajectory, the real-time monitoring of the robot and the analysis of the profile of the deposit. Initially, the principles of the add-in program for RobotStudio™ were studied and the structure of the software was established. Then, the methods and communication protocols were analyzed and tested for the connection with the robot. Several experiments were carried out to test the software functions and its stability. The results show that this development can perfectly be used to create, optimize and monitor the robot program in the whole process of thermal spraying

Etant donné le développement actuel des communications numériques le codage de la parole a bénéficié d’un grand nombre d’études. D’importantes réductions de débit peuvent ainsi être obtenues par des algorithmes de compression efficaces, qui tiennent compte des redondances naturelles de la parole. Le plus connu de ces codeurs paramétriques est le codeur de type CELP (Code-Excited Linear Prediction) conçu pour le codage de la parole à des débits allant de 6 à 16 kbits/s. Face à la complexité croissante de ces applications, les outils et méthodologies de conception et de vérification classiques apparaissent inadaptés à la réalisation des systèmes embarqués dans des délais raisonnables. Les nouvelles approches envisagées reposent sur une élévation du niveau d’abstraction de la spécification d’un système, permettant d’orthogonaliser les choix d’implantation relatifs à chaque sous système (Implantation en matériel où en logiciel, choix des interfaces de communications…) et d’accélérer la vérification d’un système à différents niveaux d’abstraction. Afin d’accélérer le raffinement de la spécification abstraite d’un système en une architecture synthétisable, l’intégration des différents blocs fonctionnels qui le constituent privilégie la réutilisation de composants prédéfinis et prévérifiés. Ce sont les composants virtuels ou blocs IP (Intellectual Property). Nous proposons dans cette thèse d’implanter une architecture dédiée au traitement de la parole satisfaisant la norme de codage G729, pour laquelle les parties critiques en ce qui concerne la contrainte temps réel seront intégrées par des composants virtuels matériels, tandis que les autres parties du système seront traitées de manière logicielle<br>Considering the expansion of digital communication systems, voice decoding benefited from a great number of studies. Important reductions of flow can thus be obtained by effective algorithms of compression, which take account of the natural redundancies of the word. Most known of these parametric coders is the CELP coder (Code-Excited Linear Prediction) commonly applied for encoding speech signals at 6 to 16 kbits/s. Considering the increasing complexity of these applications, the tools and methodologies of traditional design and verification appear unsuited to the realization of the embedded systems within reasonable times. The new approaches considered are based on system level description , co-design techniques and reuse IP cores. These techniques have to cope with heavy constraints like real time performances and cost. We propose in this thesis to establish an architecture dedicated to the speech processing, for which the critical parts with regard to the constraint real time will be integrated as hardware virtual components, while the other parts of the system will be treated in a software way

Alors que les préoccupations concernant le réchauffement climatique deviennent de plus en plus sérieuses, l'une de ses premières causes: la consommation d'électricité, continue à croître. Une des manières d'endiguer le phénomène pourrait être de mieux équilibrer la consommation et la production, afin d'allumer moins de gros groupes de production, et de permettre l'intégration de plus de sources renouvelables. Le nouveau paradigme du marché de l'électricité incite les consommateurs à réduire leur pic de consommation, et à différer leur consommation quand la demande est moindre, à l'aide d'incitations tarifaires. De nouveaux algorithmes d'optimisation, et de nouvelles méthodologies sont donc nécessaires pour optimiser la puissance d'électrique utilisée par les consommateurs. Schneider Electric propose, à travers le projet européen Arrowhead, d'étudier trois cas applicatifs : un ascenseur avec plusieurs sources énergétiques, une usine manufacturière et un réseau d'eau potable. Pour chacune de ces trois applications, une méthodologie pour optimiser les pics de puissance consommée (parfois à l'aide d'une fonction de coût de l'électricité) est donnée, ainsi que des algorithmes d'optimisation. Dans le cas de l'ascenseur multi-sources, deux contrôleurs couplés sont proposés : l'un au niveau stratégique résolvant un problème linéaire, et l'autre à base de règles au niveau tactique. Dans le cas de l'usine, la méthodologie que nous avons utilisée pour faire des mesures, construire des modèles énergétiques, et finalement optimiser est expliquée. De plus, trois formulations linéaires, ainsi qu'une procédure de recherche locale, et une formulation naïve de programmation par contraintes sont données afin de résoudre le problème d'ordonnancement NP-difficile. Dans le cas du réseau d'eau, une formulation à contraintes quadratiques est utilisée pour comparer des plans de pompage optimisés avec la tactique utilisée habituellement dans le réseau. Les méthodes proposées entraînent des gains sur la facture énergétique de 1.5% à 114%, dépendamment du contexte. De plus, elles permettent aux consommateurs de participer au nouveau marché de l'énergie. Finalement, les connaissances retirées de l'étude de ces trois pilotes sont résumées, et des lignes directrices sont données pour l'optimisation de la facture énergétique d'un système quelconque consommant de l'énergie<br>While concerns about global warming have never been so important, one of its first causes: global electricity consumption, is still growing. One way to stem the phenomenon could be to better balance demand and production, in order to switch on less big production groups and to allow the integration of more renewable production sources. The new paradigm of electricity market incites customers to reduce their electricity consumption peak and to shift their consumption when the demand is lower, by introducing economical incentives. Thus, new optimization algorithms and methodologies are needed at the customers side to optimize power usage over time. Schneider Electric proposes, through the Arrowhead European project, to study three application use-cases: an elevator with multiple electricity sources, a manufac- turing plant, and a drinking water network. For each of these use-cases, a methodology to optimize power consumption peaks (sometimes through an electricity cost function) is given, as well as optimization algorithms. For the multisource elevator case, two coupled controllers are proposed: one at the strategic level solving a linear problem, the other one rule-based at the tactical level. For the manufacturing plant, the methodology we used to monitor, build energy models, and finally optimize is explained. Furthermore, three linear formulations are given, as well as a simple local search procedure and a naive constraint satisfaction formulation to handle the NP-hard scheduling problem. For the water network use-case, a quadratically constrained formulation is used to compare optimized pumping plans with the Business As Usual tactic. The methods proposed bring between 1.5% to 114% savings on the energy bill, depending on the context. Moreover, they allow electricity consumers to participate in the demand-response market. Finally, the knowledge extracted from our three use-cases is summarized, and guide- lines are given to optimize the electricity bill of any electricity consumer system

Du fait de leur complexité croissante, le développement des systèmes embarqués et temps réel nécessitent conjointement l'application de principes de génie logiciel et l'application de techniques formelles. Le travail développé pendant cette thèse propose une approche et des outils basés sur les modèles. Ces modèles, basés sur UML (Unified Modeling Language), permettent de définir un style architectural appelé SAIA (Sensors Actuators Independent Architecture) dont l'objectif est le développement et la mise au point de systèmes temps réel en intégrant l'évolution et la variabilité des plateformes. On entend ici par plateforme les services de communication entre le système et son environnement physique, c'est-à-dire des opérations de lecture et d'écriture via les capteurs et les actionneurs.<br /><br />Pour répondre à cet objectif, l'idée de SAIA est de séparer clairement le modèle de plateforme du modèle de l'application. À cette fin, SAIA propose l'introduction d'une plateforme de communication abstraite avec le processus. Cette plateforme abstraite est composée d'entrées et de sorties utiles pour effectuer le contrôle, mais indépendantes d'une technologie de capteurs/actionneurs particulière. L'application est développée en se basant sur les services fournis par la plateforme abstraite.%Une application temps réel ne peut pas être validée en ne considérant que ses aspects fonctionnels.<br />La stabilité d'une application de contrôle et sa qualité de contrôle sont, entre autres, dépendantes des caractéristiques temporelles de la plateforme abstraite. Cette dernière est donc composée d'un ensemble de services ainsi que d'une description de ses caractéristiques temporelles (notées QoS pour Quality of Service). La description de la QoS de la plateforme abstraite reflète le comportement temporel, sous forme de omega-expression régulière de la plateforme abstraite pour laquelle l'application a le comportement souhaité. Ainsi, nous avons d'un côté un modèle de la plateforme abstraite et de la QoS permettant la correction de l'application et de l'autre un modèle de la plateforme réelle dont la QoS a été analysée. Afin de connecter la plateforme abstraite à la plateforme réelle, SAIA s'appuie sur un connecteur complexe. Ce connecteur complexe est un assemblage de composants, décrit formellement par des automates temporisés réalisant des services de formatage, d'interprétation, de fusion de données et enfin d'adaptation de la QoS.<br />Le connecteur complexe possède un comportement et modifie donc la QoS de la plateforme réelle. Afin d'évaluer l'impact du connecteur complexe sur la QoS de la plateforme réelle, une analyse formelle basée sur la simulation exhaustive du connecteur complexe est réalisée. Il est alors nécessaire de s'assurer que cette QoS nouvellement évaluée satisfait la QoS de la plateforme abstraite et permet ainsi la réalisation d'un système correct. La vérification de cette satisfaction est basée sur l'établissement d'un contrat de QoS. Dans SAIA, l'établissement d'un contrat de QoS est basé sur une relation de satisfaction (équivalence de trace) entre systèmes à transitions étiquetés. Enfin, SAIA a été mis en oeuvre à plusieurs reprises dont, lors de deux concours d'implémentation de robots d'exploration terrestre dans le cadre de workshop satellites de RTSS (Real Time System Symposium).