A utilização de Veículos Aéreos Não Tripulados (VANTs), também chamados UAV (Unmanned Aerial Vehicle) vem ganhando espaço nas mais diversas áreas, tais como inspeções em linhas de transmissão e em torres de fracionamento de refinarias, entre outros. Já na construção civil, estudos recentes estão sendo focados na utilização dos VANTs para inspeção de pontes, viadutos e estradas. O presente trabalho visa fornecer uma análise para o uso de VANT na área civil, na detecção de manifestações patológicas em revestimentos de argamassa, de forma a auxiliar na procura por fissuras em fachadas, sobretudo aqueles que a visualização esteja prejudicada, seja pela distância ou pela acessibilidade difícil ao local. Este trabalho analisa possíveis implementações de dois algoritmos de processamentos de imagens desenvolvidos a partir da ferramenta MATLAB para a indicação de presença de fissuras na alvenaria, obtendo o desempenho destes diferentes algoritmos quando executados em software em plataforma que possibilite a embarcação em VANTs. Utilizando a geração automática de código em C a partir do ambiente MATLAB, é realizada uma análise temporal em plataforma ARM e RISC dos algoritmos propostos, demonstrando a oportunidade de utilização de dispositivos na tarefa de processamento de imagem para a aplicação proposta. Esta análise possibilita a previsão do comportamento na utilização de um VANT, uma vez que isto pode impactar na velocidade durante a aplicação e consequentemente sua autonomia. / The use of Unmanned Aerial Vehicles (UAVs), has been gaining space in several areas, such as inspections of transmission lines, refineries fractionation towers among others. In the construction, recent studies have been focused on the use of UAVs for inspection of bridges, viaducts and roads. The present study aims to provide an analysis using UAVs in the civil construction area, in the detection of pathologic manifestations mortar coatings in order to aid in the search for cracks in the facades especially those that visualization is impaired, or may be the distance the accessibility difficult to spot. This paper provides an analysis of two algorithms of image processing developed from the Matlab tool for indicating the presence of cracks in masonry, getting the performance of these different algorithms when implemented in software platform that enables the vessel in UAV. Using the automatic generation of C/C++ code from the MATLAB environment is performed the temporal analysis on ARM and RISC plataform of the proposed algorithms demonstrates the opportunity to use devices in the image processing task for the proposed application. This analysis allows the prediction of the behavior of a UAV using one since it can impact velocity during application, and therefore their autonomy.

The need to have mechanisms and Technologies for the control of blood glucose levels is essential for people who have diabetes of any type. This disease still has no cure and is one of the main risk factors for cardiovascular diseases, such as heart attack, stroke, renal complications etc. The number of diabetic people in the world and in Brazil is alarming, in addition, Brazilians occupy the fourth place in the world ranking according to the last survey of the year, 2015, made by the International Diabetes Federation (IDF). Several studies has been conducted in order to obtain the best glycemic control of people with diabetes, one of the current forms of control under investigation is the development of an artificial pancreas. Through the union of three systems: glucose monitoring system, control algorithm and actuator system through an insulin infusion pump, it is possible to obtain efficient results in glycemic control as they already have studies. This work consists of developing a prototype of a low-cost and low-power embedded control system, Hardware in Loop (HIL), based on Arduino nano microcontroller, which can control the blood glucose level of a model of a type 1 diabetes patient, considering some perturbations and noises, using the Kalman filter as estimator. The results obtained with the implementation of the controller are analyzed in order to obtain a better performance. / A necessidade de ter mecanismos e tecnologias para o controle dos níveis de glicose no sangue é essencial para pessoas que possuem diabetes de qualquer tipo, visto que esta é uma doença que ainda não possui cura e é um dos principais fatores de riscos para doenças cardiovasculares, como infarto, AVC, complicações renais e etc. O número de pessoas diabéticas no mundo e no Brasil é alarmante, além disso, tem-se que os brasileiros ocupam o quarto lugar no ranking mundial de acordo com o último levantamento no ano de 2015 feito pela International Diabetes Federation (IDF). Vários estudos têm sido realizados no intuito de obter o melhor controle da glicemia de pessoas com diabetes, uma das formas de controle que está sendo pesquisada atualmente é o desenvolvimento de um pâncreas artificial. Através da união de três sistemas, sendo estes: o de monitoramento da glicemia, o de algoritmo de controle e o de atuador através de bomba de infusão de insulina, é possível que sejam obtidos resultados eficientes no controle da glicemia como já têm mostrado alguns estudos. Este trabalho consiste em desenvolver um protótipo de um sistema de controle embarcado, Hardware in Loop (HIL), baseado no microcontrolador nano Arduino, de baixo custo e de baixo consumo de energia que possa controlar o nível de glicose no sangue de um modelo de um paciente com diabetes tipo 1, considerando algumas perturbações e ruídos, utilizando o filtro de Kalman como estimador. Os resultados obtidos com a implementação do controlador são analisados buscando a obtenção de um melhor desempenho. / São Cristóvão, SE

Submitted by Geandra Rodrigues (geandrar@gmail.com) on 2018-03-27T14:38:40Z No. of bitstreams: 1 joaopedrocarvalhodesouza.pdf: 18276186 bytes, checksum: 402b9ec7121d8ad1bc3f51202005d04e (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2018-03-27T18:00:24Z (GMT) No. of bitstreams: 1 joaopedrocarvalhodesouza.pdf: 18276186 bytes, checksum: 402b9ec7121d8ad1bc3f51202005d04e (MD5) / Made available in DSpace on 2018-03-27T18:00:24Z (GMT). No. of bitstreams: 1 joaopedrocarvalhodesouza.pdf: 18276186 bytes, checksum: 402b9ec7121d8ad1bc3f51202005d04e (MD5) Previous issue date: 2018-02-08 / Os Veículos Aéreos Não Tripulados (VANTs) demonstram-se como tecnologia promissora visto sua alta aplicabilidade e custos reduzidos. Assim, esses veículos são estudados por engenheiros e pesquisadores que visam, além de aplicá-los, melhorar seu desempenho, segurança e torná-los autônomos e de fácil interação. Etapas de voos como decolagem, subida, cruzeiro, descida e aterrissagem são objetos de estudos para melhoria de perfomance dessas aeronaves. A aterrissagem é uma etapa delicada para o veículo, cuja operação inadequada pode resultar em acidentes e perdas. Com esse intuito, a presente dissertação propõe uma técnica para o pouso autônomo/assistido de VANTs embarcado ao veículo, sem a necessidade de estações base de processamento. Para o sensoriamento, é utilizado o algoritmo de visão computacional denominado Ar Track Alvar para identificação de marcadores artificiais, utilizados como local de pouso. A configuração do local de pouso visa a aplicação da aterrissagem em alturas mais elevadas, pois são utilizados diferentes marcadores artificiais para a sua composição. O algoritmo de pouso também é uma contribuição do presente trabalho, no qual a execução é realizada por uma Rede Neural Artificial (RNA), do tipo Multilayer Perceptron, cujo treinamento é supervisionado por uma lógica fuzzy que utiliza a inferência Mamdani. A utilização do fuzzy torna-se viável devido a sua característica não determinística, sendo menos susceptível a ruídos de sensoriamento. Outro ponto importante é a não necessidade de se ajustar ganhos para o procedimento para cada aeronave usada, tornando-se o processo perigoso e trabalhoso. Esse revés é visto em controladores clássicos como o PID. Apesar das vantagens da lógica fuzzy, essa se mostra computacionalmente custosa devido a seu processo Mamdani. Como uma RNA treinada é um conjunto de operações matriciais, é proposto o treinamento da mesma supervisionada pelo algoritmo fuzzy já funcional. Assim se reduz a complexidade computacional do algoritmo embarcado facilitando o processsamento de imagem. O firmware de aterrissagem proposto é desenvolvido sobre o framework Robot Operation System (ROS) e focado para replicação em dispositivos reais e embarcados. Os resultados são apresentados em Software in the Loop (SITL) e em experimentos reais em ambientes externos para locais de pouso estáticos e dinâmicos. A comparação de desempenhos dos algoritmos é mostrada. O desempenho atingido foi satisfatório e a capacidade da RNA, além da redução da complexidade computacional, foram verificadas. / Unmanned Aerial Vehicles (UAVs) are shown as promising technology because of their high applicability and low costs. Thus, these vehicles are engineers and researchers studies targets that aim, in addition to applying them, to improve their performance, safety and make them autonomous and easily interaction. Flight stages such as takeoff, ascent, cruise, descent and landing are objects of studies to improve these aircrafts performance. Landing is a delicate stage for the vehicle, whose improper operation can result in accidents and losses. With this purpose, the present dissertation proposes a technique for the UAVs autonomous/assisted landing onboard the vehicle, without the use of ground control stations. As a sensing, the Ar Track Alvar computational vision algorithm is used to identify artificial markers used as a landing site. The landing site configuration aims the application of landing at higher altitudes, as different artificial markers are used for its composition. The landing algorithm is also a contribution of the present work, in which the execution is performed by an Multilayer Perceptron Artificial Neural Network (ANN) whose training is supervised by a logic fuzzy that uses the Mamdani inference. The use of fuzzy becomes viable due to non-deterministic characteristic and is less susceptible to sensing noise. Another important point is the no need to adjust gains for the procedure for each aircraft used, making the process dangerous and laborious. This setback is seen in classic controllers like the PID. Despite the advantages of fuzzy logic, this is computationally costly due to its Mamdani process. As a trained RNA is a set of matrix operations, it is proposed to train it supervised by the already functional fuzzy algorithm. This reduces the computational complexity of the embedded algorithm, facilitating image processing. The proposed landing firmware is developed on the Robot Operation System (ROS) and is focused on replication on real and embedded devices. The results are presented in Software in the Loop (SITL) and in real experiments at outdoor environments for static and dynamic landing spots. Comparison of algorithm performances is also shown. The performance was satisfactory and the RNA capacity and computational complexity reduction were verified.

Cette thèse s'inscrit dans le cadre de la mise en œuvre de l’ingénierie dirigée par les modèles (IDM) pour le développement des systèmes embarquées. Ces systèmes ayant généralement des ressources limitées (mémoire et/ou calculs), exigent que le code généré soit le plus optimisé possible. L’objectif de cette thèse est de produire à partir d’un modèle spécifié dans le langage UML, un code assembleur plus compact que le code assembleur produit par les compilateurs de code. Malgré l’évolution croissante des compilateurs optimisés, les compilateurs les plus répandus comme le GCC (Gnu Compiler Collection) sont incapables d’effectuer certains types d’optimisations qu'il est possible d'effectuer à un plus haut niveau d'abstraction dans une phase de pré-génération de code. En effet, certaines informations (liées à la sémantique d’exécution du langage UML) sont perdues lors de la génération de code. Ces informations, utiles pour les optimisations de haut niveau, sont invisibles par le compilateur de code vue qu’il prend toutes les informations liées au système modélisé à partir du code généré. Nous proposons ainsi une nouvelle approche dirigée par les modèles pour le développement des systèmes à ressources limitées, qui élimine l’étape de la génération de code en remplaçant cette étape par une compilation directe des modèles. Nous avons développé le premier compilateur de modèles UML (GUML : le front-end UML pour le compilateur GCC) qui génère directement de l’assembleur (sans passer par un langage de programmation) à partir des modèles UML. GUML permet de compiler les classes, les activités et les machines à états UML. Il permet de générer, en compilant certaines machines à états, un code assembleur plus compact que le code assembleur produit par GCC. Deux optimisations de GCC sont améliorées : l’élimination de code mort et l’élimination des expressions redondantes. / Model-Based Development (MBD) provides an additional level of abstraction, the model, which allows dealing with the increasing complexity of systems. Models let engineers focus on the business aspect of the developed system and permits automatic treatments of these models with dedicated tools like for instance synthesis of system's application by automatic code generation. Embedded Systems are often constrained by their environment and/or the resources they own in terms of memory, energy consumption or performance requirements. Hence, an important problem to deal with in embedded system development is linked to the optimization of software part of those systems according to the resources provided by their platform. Although automatic code generation and the use of optimizing compilers bring some answers to application optimization issue, this thesis shows that optimization results may be enhanced by adding a new level of optimizations at the model level before the code generation step. Actually, during the code generation, an important part of the modeling language semantics which could be useful for optimization is lost, thus, making impossible some optimizations achievement. We propose in this thesis a novel MBD approach that compiles directly UML models. The biggest challenge for this approach –tackled in this thesis- is to propose a model compiler that is as efficient as code compiler. Our model compiler (GUML: the UML front end for GCC) performs optimizations that GCC is unable to perform resulting in a more compact assembly code. Two GCC optimizations are enhanced: the dead code elimination optimization and the block merging.

Maitriser et optimiser les performances et la consommation énergétique dans les systèmes embarqués est aujourd'hui crucial. Pour ce faire, des techniques d'estimation de ces métriques sont utilisées dans des environnements où la réalisation de mesures est difficile. Ce travail cible l'évaluation des performances et de la consommation énergétique du service du stockage secondaire dans un système d'exploitation embarqué utilisant une mémoire flash NAND. L'un des moyens de gérer ce type de média est l'utilisation de systèmes de fichiers dédiés (Flash File Systems, FFS), pour lequel on peut constater un manque de travaux dans la littérature concernant les techniques d'estimation des performances et de la consommation. Les contributions apportées dans cette thèse s'articulent autour d'une méthodologie de modélisation pour l'estimation des performances et de la consommation des systèmes de stockage embarqués de type FFS. Cette méthodologie est divisée en trois phases. En phase d'exploration on identifie, via des micro-benchmarks, les éléments du système de stockage impactant les performances et la consommation du système embarqué. En phase de modélisation, cet impact est représenté sous la forme de modèles de différents types, dont les principaux sont les modèles fonctionnels, de performances et de consommation. Les paramètres de ces modèles sont extraits via des mesures. En phase de simulation, les modèles sont implémenté dans un simulateur, développé dans le cadre de cette thèse, permettant d'obtenir des estimations concernant les performances et la consommation d'un système de stockage à base de mémoire flash soumis à une charge d'entrées / sorties donnée. / Controlling and optimizing embedded system performance and power consumption is critical. In this context, estimation techniques are used when performing measurement campaigns is difficult due to time or financial constraints. This work targets the performance and power consumption evaluation of the secondary storage service in an embedded operating system using NAND flash memory. One way to manage flash memory is to used dedicated Flash File Systems (FFS). One can observe a lack of work in the literature concerning FFS performance and power consumption estimation techniques.The contributions presented in this thesis rely on a three steps performance and power consumption modeling methodology. During the exploration phase, we identify through micro-benchmarking the main elements of a FFS based system impacting performance and power consumption of the embedded system. In the modeling phase, this impact is represented by building models of various types. The main models types are the functional, performance and power consumption models. Models parameters are extracted through measurements on a real platform. During the simulation phase the models are implemented in a simulator. This tool allows obtaining performance and power consumption estimations concerning a flash-based storage system processing a given I/O workload.

Several decades ago, computer control systems known as Electric Control Units (ECUs) were introduced to the automotive industry. Mechanical hardware units have since then increasingly been replaced by computer controlled systems to manage complex tasks such as airbag, ABS, cruise control and so forth. This has lead to a massive increase of software functions and data which all needs to be managed. There are several tools and techniques for this, however, current tools and techniques for developing real-time embedded system are mostly focusing on software functions, not data. Those tools do not fully support developers to manage run-time data at design time. Furthermore, current tools do not focus on visualization of relationship among data items in the system. This thesis is a part of previous work named the Data Entity approach which prioritizes data management at the top level of development life cycle. Our main contribution is a tool that introduces a new way to intuitively explore run-time data items, which are produced and consumed by software components, utilized in the entire system. As a consequence, developers will achieve a better understanding of utilization of data items in the software system. This approach enables developers and system architects to avoid redundant data as well as finding and removing stale data from the system. The tool also allows us to analyze conflicts regarding run-time data items that might occur between software components at design time. / A Data-Entity Approach for Component-Based Real-Time Embedded Systems Development

La croissance des flux d'information à travers le monde est responsable d'une importante utilisation de systèmes embarqués temps-réel, et ce notoirement dans le domaine des satellites. La présence de ces systèmes est devenue indispensable pour la géolocalisation, la météorologie, ou les communications. La forte augmentation du volume de ces matériels, impactée par l'afflux de demande, est à l'origine de l'accroissement de la complexité de ces derniers. Grâce à l'évolution du matériel terrestre, le domaine aérospatial se tourne vers de nouvelles technologies telles que les caches, les multi-coeurs, et les hyperviseurs. L'intégration de ces nouvelles technologies est en adéquation avec de nouveaux défis techniques. La nécessité d'améliorer les performances de ces systèmes induit le besoin de réduction du coût de fabrication et la diminution du temps de production. Les solutions technologiques qui en découlent apportent pour majeure partie des avantages en matière de diminution du nombre global de satellites à besoin constant. La densité d'information traitée est parallèlement accrue par l'augmentation du nombre d'exploitants pour chaque satellite. En effet, plusieurs clients peuvent se voir octroyer tout ou partie d'un même satellite. Intégrer les produits de plusieurs clients sur une même plateforme embarquée la rend vulnérable. Augmenter la complexité du système rend dès lors possible un certain nombre d'actes malveillants. Cette problématique autrefois à l'état d'hypothèse devient aujourd'hui un sujet majeur dans le domaine de l'aérospatial. Figure dans ce document, en premier travail d'exploration, une présentation des actes malveillants sur système embarqué, et en particulier ceux réalisés sur système satellitaire. Une fois le risque exposé, je développe la problématique temps-réel. Je m'intéresse dans cette thèse plus précisément à la sécurité des hyperviseurs spatiaux. Je développe en particulier deux axes de recherche. Le premier porte sur l'évolution des techniques de production et la mise en place d'un système de contrôle des caractéristiques temporelles d'un satellite. Le deuxième axe améliore les connaissances techniques sur un satellite en cours de fonctionnement et permet une prise de décision en cas d'acte malveillant. Je propose plus particulièrement une solution physique permettant de déceler une anomalie sur la gestion des mémoires internes au satellite. En effet, la mémoire est un composant essentiel du fonctionnement du système, et ses propriétés communes entre tous les clients la rend particulièrement vulnérable. De plus, connaître le nombre d'accès en mémoire permet un meilleur ordonnancement et une meilleure prédiction d'un système temps réel. Notre composant permet la détection et l'interprétation d'une potentielle attaque ou d'un problème de sûreté de fonctionnement. Cette thèse met en évidence la complémentarité des deux travaux proposés. En effet, la mesure du nombre d'accès en mémoire peut se mesurer via un algorithme génétique dont la forme est équivalente au programme cherchant le pire temps d'exécution. Il est finalement possible d'étendre nos travaux de la première partie vers la seconde. / Satellites are real-time embedded systems and will be used more and more in the world. Become essential for the geo-location, meteorology or communications across the planet, these systems are increasingly in demand. Due to the influx of requests, the designers of these products are designing a more and more complex hardware and software part. Thanks to the evolution of terrestrial equipment, the aero-space field is turning to new technologies such as caches, multi-core, and hypervisor. The integration of these new technologies bring new technical challenges. In effect, it is necessary to improve the performance of these systems by reducing the cost of manufacturing and the production time. One of the major advantages of these technologies is the possibility of reducing the overall number of satellites in space while increasing the number of operators. Multiple clients softwares may be together today in a same satellite. The ability to integrate multiple customers on the same satellite, with the increasing complexity of the system, makes a number of malicious acts possible. These acts were once considered as hypothetical. Become a priority today, the study of the vulnerability of such systems become major. In this paper, we present first work a quick exploration of the field of malicious acts on onboard system and more specifically those carried out on satellite system. Once the risk presentation we will develop some particular points, such as the problematic real-time. In this thesis we are particularly interested in the security of space hypervisors. We will develop precisely 2 lines of research. The first axis is focused on the development of production technics and implementing a control system of a satellite temporal characteristics. The objective is to adapt an existing system to the constraints of the new highly complex systems. We confront the difficulty of measuring the temporal characteristics running on a satellite system. For this we use an optimization method called dynamic analysis and genetic algorithm. Based on trends, it can automatically search for the worst execution time of a given function. The second axis improves the technical knowledge on a satellite in operation and enables decision making in case of malicious act. We propose specifically a physical solution to detect anomalies in the management of internal memory to the satellite. Indeed, memory is an essential component of system operation, and these common properties between all clients makes them particularly vulnerable to malicious acts. Also, know the number of memory access enables better scheduling and better predictability of a real time system. Our component allows the detection and interpretation of a potential attack or dependability problem. The work put in evidence the complementarity of the two proposed work. Indeed, the measure of the number of memory access that can be measured via a genetic algorithm whose shape is similar to the program seeking the worst execution time. So we can expand our work of the first part with the second.

With an imminent future of fully autonomous heavy duty vehicles in offroad applications, the need for advanced control system will increase accordingly. By implementing a raster map with tiles and pixels, to which a vehicle can record slope and position data while driving, it is possible to map earth's surface. By adding a heat parameter to every pixel, i.e. the number of passings through it historically, it is possible in future visits of the same are to generate a route prediction made up by the "hottest" pixels. By fetching the slope values in the hottest pixels, it is possible to generate a slope horizon that can be utilized by control systems, e.g. when planning gear shifts in hilly offroad terrain. To mange the incrementally growing map, a memory management system was implemented. It buffers the relevant map data from the database, i.e. the vehicles closest surroundings, which is then used for route prediction and horizon generation. As the vehicle moves into other areas, new data is read from the database, and the recently passed area is written back to the database, however updated from the recent passing. The system is implemented so that it runs through another application in the telematics electrical controller unit (ECU) in a Scania vehicle. The ECU contains a GNSS module from which the vehicle fetches satellite positioning data. Slope data is fetched from a slope sensor mounted on the truck. Due to implications during testing and debugging of the resulting application developed and implemented during this thesis project, the application's performance couldn't be assessed properly. However, it is concluded that the background the application is built on is reliable, although tweaks to get the application fit for usage in offroad terrain had to be made. Mainly, the horizon length and map building techniques should not be the same as in similar applications for onroad driving.

No description available.

The primary goal of this thesis is to exploit possibilites of aa entirely new hardware based on NXP LS2088 and FPGA. The secondary goal is to create firmware for this processor working out-of-box and perform optimisations of existing software for L7 analysis. This software was deeply bound to a previous hardware platform. The network processor NXP LS2088 contains many hardware accellerators and a virtual reconfigurable network. This thesis exploits all hardware parts of on this platform. Many tweaks and optimizations were performed based on this analysis to achieve maximum efficieny of software for L7 analysis. There were many intensive optimisations like rewriting for the DPDK library and new hardware or hardware synchronization of worker threads of this application. The main result of this thesis is working platform with efficient L7 analysis software which actively uses accelerators in FPGA and NXP network processor. SDK for new platform is also prepared.