Procesador a medida en FPGA para la navegación de un dispositivo móvil autónomo

El objetivo de este trabajo es diseñar y construir un controlador a medida para un Dispositivo Móvil Autónomo (DMA) implementado en una FPGA XC4010E de Xilinx [Xil01]. Este dispositivo debe ser capaz de recorrer un camino previamente establecido con la suficiente autonomía como para decidir, en ciertos puntos del recorrido, el camino a seguir. Dada la generalidad y amplitud del tema, se restringe el prototipo a un sistema de navegación por marcas artificiales, utilizado para representar ciertos recorridos con (re)abastecimientos múltiples. Todo esto, en entornos aptos para el desenvolvimiento del dispositivo.Eje: FPGARed de Universidades con Carreras en Informática (RedUNCI

Scheduling Techniques for Operating Systems for Medical and IoT Devices: A Review

Software and Hardware synthesis are the major subtasks in the implementation of hardware/software systems. Increasing trend is to build SoCs/NoC/Embedded System for Implantable Medical Devices (IMD) and Internet of Things (IoT) devices, which includes multiple Microprocessors and Signal Processors, allowing designing complex hardware and software systems, yet flexible with respect to the delivered performance and executed application. An important technique, which affect the macroscopic system implementation characteristics is the scheduling of hardware operations, program instructions and software processes. This paper presents a survey of the various scheduling strategies in process scheduling. Process Scheduling has to take into account the real-time constraints. Processes are characterized by their timing constraints, periodicity, precedence and data dependency, pre-emptivity, priority etc. The affect of these characteristics on scheduling decisions has been described in this paper

Meeting the challenges of decentralized embedded applications using multi-agent systems

International audienceToday embedded applications become large scale andstrongly constrained. They require a decentralized embedded intelligencegenerating challenges for embedded systems. A multi-agent approach iswell suited to model and design decentralized embedded applications.It is naturally able to take up some of these challenges. But somespecific points have to be introduced, enforced or improved in multiagentapproaches to reach all features and all requirements. In thisarticle, we present a study of specific activities that can complementmulti-agent paradigm in the ”embedded” context.We use our experiencewith the DIAMOND method to introduce and illustrate these featuresand activities

Scheduling Techniques for Operating Systems for Medical and IoT Devices: A Review

Software and Hardware synthesis are the major subtasks in the implementation of hardware/software systems. Increasing trend is to build SoCs/NoC/Embedded System for Implantable Medical Devices (IMD) and Internet of Things (IoT) devices, which includes multiple Microprocessors and Signal Processors, allowing designing complex hardware and software systems, yet flexible with respect to the delivered performance and executed application. An important technique, which affect the macroscopic system implementation characteristics is the scheduling of hardware operations, program instructions and software processes. This paper presents a survey of the various scheduling strategies in process scheduling. Process Scheduling has to take into account the real-time constraints. Processes are characterized by their timing constraints, periodicity, precedence and data dependency, pre-emptivity, priority etc. The affect of these characteristics on scheduling decisions has been described in this paper

Rigorous System Design

The monograph advocates rigorous system design as a coherent and accountable model-based process leading from requirements to correct implementations. It presents the current state of the art in system design, discusses its limitations, and identifies possible avenues for overcoming them. A rigorous system design flow is defined as a formal accountable and iterative process composed of steps, and based on four principles: (1) separation of concerns; (2) component-based construction; (3) semantic coherency; and (4) correctness-by-construction. The combined application of these principles allows the definition of a methodology clearly identifying where human intervention and ingenuity are needed to resolve design choices, as well as activities that can be supported by tools to automate tedious and error-prone tasks. An implementable system model is progressively derived by source-to-source automated transformations in a single host component-based language rooted in well-defined semantics. Using a single modeling language throughout the design flow enforces semantic coherency. Correct-by-construction techniques allow well-known limitations of a posteriori verification to be overcome and ensure accountability. It is possible to explain, at each design step, which among the requirements are satisfied and which may not be satisfied. The presented view for rigorous system design has been amply implemented in the BIP (Behavior, Interaction, Priority) component framework and substantiated by numerous experimental results showing both its relevance and feasibility. The monograph concludes with a discussion advocating a system-centric vision for computing, identifying possible links with other disciplines, and emphasizing centrality of system design

Simulador de ambiente automotivo para injeções eletronicas

Orientador: Carlos Alberto dos Reis FilhoDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de ComputaçãoResumo: Este trabalho irá descrever o desenvolvimento de um sistema baseado em computador pessoal, que simula um ambiente automotivo para unidades de controle de sistemas de injeção eletrônica (centralinas) e adquire as informações relativas à sua atuação sobre o veículo. O usuário controla os diversos parâmetros do ambiente simulado e verifica a resposta da centralina através de uma interface gráfica interativa e acessível via mouse. Este sistema visa propiciar uma assistência técnica eficiente, diagnosticando problemas em campo com rapidez e confiabilidade, substituindo os simuladores manuais atuais que são adaptados para um único modelo de centralina e dependem de outros equipamentos como um osciloscópio para visualização dos sinais de interesse. Além de substituir todo um conjunto desses simuladores por um único sistema, nossa abordagem também oferece a possibilidade de efetuar testes dinâmicos e fornece uma ferramenta que atenda a diversos usuários com diferentes necessidades. Outras características a serem apresentadas pelo nosso sistema são portabilidade, adequação ao ambiente industrial e flexibilidade, para permitir uma fácil atualização a novos equipamentos de aquisição de dados (prevenção contra a obsolescência)Abstract: This work describes the development of a PC-based system, who simulates an automotive environment for Electronic Fuel Injection Control Units (EFIs) and acquires information about their acting over the vehicle. The user is able to control several parameters of the simulated environment and verify the EFI performance through an interactive graphical interface, accessible by mouse. This system intends to provide an eficient technical support, promptly and reliably diagnosing field problems, replacing the existing manual simulators. Indeed, these manual simulators are generally adapted to a single EFI model and hang upon other equipments such as an osciloscope for singals visualization. The solution presented in this work intends to replace a hole set of these manual simulators for a single system, with the capability of performing dynamic tests, being a tool to supply different users with different requirements. Other outstanding characteristics of the developed system are portability, industrial environment compliance and flexibility, to allow easy upgrade to new data acquisition equipmentsMestradoAutomaçãoMestre em Engenharia Elétric

Digital processors performance estimation applied to low cost, three-phase electrical machines

Orientador: Ernesto Ruppert FilhoDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de ComputaçãoResumo: Este trabalho tem como objetivo apresentar um avaliador de desempenho de processadores digitais para utilização em aplicações de controle de motores de indução trifásicos, .especialmente aquelas destinadas a aplicações de baixo custo e adequadas a produtos de consumo. A concepção destes produtos exige que o processador seja corretamente dimensionado uma vez que o custo deste dispositivo é significativo face ao custo total do acionamento. .O método de avaliação aqui proposto utiliza um conjunto de métricas que permite predizer se um dado processador irá atender às restrições de tempo impostas pela aplicação, de forma a escalonar todas as tarefas que a compõe, bem como estimará o tamanho da memória de programa necessária para implementá-la. Os dados de diversos processadores disponíveis comercialmente foram aplicados no método de avaliação aqui proposto e um deles foi utilizado no desenvolvimento de um protótipo experimental, onde se coletaram dados para verificar a eficácia do avaliador. Estes resultados, bem como as divergências entre o real e o avaliado, estão apresentados neste trabalhoAbstract: The aim of this work is to show a digital processor performance simulator, to be used in three-phase induction motor control, specially those which are used in low cost products. The conception of these products demands the correct processor's specification, because its cost is expressive facing the overall drive's cost. The proposed simulation method uses a metrics set which enables to predict if one microprocessor will be in compliance with timing constraints imposed by the application in order to schedule all the software tasks, as well will estimate the necessary program memory size to implement it. Several commercially available microprocessor's data, were used with this simulation method and one of them were chose to be used in an experimental laboratory prototype, in order to collect data to verify the effectiveness of the proposed method. The results, as well the divergences between experimental and simulation, are shown in this workMestradoAutomaçãoMestre em Engenharia Elétric