Hybrid hypervisor partially deployed on FPGA

Tese de Doutoramento em Engenharia Eletrónica e Computadores.

A UML-based approach for modeling industrial control applications

The main purpose of the poster is to present how the Unified Modeling Language (UML) can be used for diagnosing and optimizing real industrial production systems. By using a car radios production line as a case study, the poster shows the modeling process that can be followed during the analysis phase of complex control applications. In order to guarantee the continuity mapping of the models, the authors propose some guidelines to transform the use cases diagrams into a single object diagram, which is the main diagram for the next phases of the development.

Object-oriented inheritance of statecharts for control applications

This paper discusses how object-oriented iuheritance can be re-interpreted if statecharts are used for modelling the dynamic behaviour of an object. The support of inheritance of statecharts allows the improvement of systems' development by easing the reutilization of parts of already developed euccessful systems, aad by promoting the iterative and continuous models' refinement advocated by the operatioaal approach. Statechart is the formalism used within UML to specify reactive state.based behaviours. This paper covers the use of statecharts within the modelling of embedded systems for industrial control applxications, where performance and memory usage are main concerns.

Disseny d'un sistema HW/SW de control remot amb dispositius FPGA

El projecte que es presenta a continuació, té com a objectiu implementar un sistema HW/SW encastat en una FPGA, capaç d’executar funcions de control remot per infraroig en plataformes de televisió flexibles de Sony Corp. El disseny obtingut, s’incorporarà a un sistema més ampli de verificació i test de circuits impresos, dins del marc de producció SMD. La finalitat d’aquest projecte, és la realització d’un sistema flexible per a la implementació de comandaments de comunicació per infraroig amb circuits impresos. Prèviament, s’ha estudiat els conceptes bàsics referents a la implementació de sistemes amb FPGAs, la seva metodologia de desenvolupament i les principals característiques de la seva arquitectura. Com a especificacions, s’ha utilitzat l’estàndard de control remot per infraroig de Sony Corp SIRCS (Sony Infrared remote control system).

Sensores inalámbricos - monitorización y control remoto

Sistemas empotrados (embedded system).Monitorización y control de sensores inalámbricos.El sistema provee monitorización y control remoto vía internet y telefonía móvil además de acceso local y registros en base de datos.Dotado de un actuador físico para el control de elementos de potencia.

Sistema de comunicación basado en una comunicación sin hilos para el control de luminosidad y temperatura

Proyecto para gestión de valores de temperatura y luz obtenidos mediante RF, de una mote a otra conectada a un PC.

Sistema de control ambiental flexible per a la indústria agroalimentària (SCAFIA)

El present treball està basat en el desenvolupament d¿un sistema que permeti fer una demostració pràctica i útil amb els materials que l¿àrea de sistemes encastats posa a la nostra disposició. De forma resumida es tracta de motes/nodes amb possibilitat de comunicació inhalàmbrica entre ells i un sistema operatiu TinyOS programable amb el llenguatge nesC.

Regulación automática mediante una red de sensores inalámbricos de la insolación en un espacio habitable para control de su temperatura

Prototipo de un sistema de automatización de apertura y cierre de una persiana motorizada que permita regular la insolación de un determinado espacio habitable y colaborar a la regulación de su temperatura.

Capacity-approaching rate function for layered multiantenna architectures

The simultaneous use of multiple transmit and receive antennas can unleash very large capacity increases in rich multipath environments. Although such capacities can be approached by layered multi-antenna architectures with per-antenna rate control, the need for short-term feedback arises as a potential impediment, in particular as the number of antennas—and thus the number of rates to be controlled—increases. What we show, however, is that the need for short-term feedback in fact vanishes as the number of antennas and/or the diversity order increases. Specifically, the rate supported by each transmit antenna becomes deterministic and a sole function of the signal-to-noise, the ratio of transmit and receive antennas, and the decoding order, all of which are either fixed or slowly varying. More generally, we illustrate -through this specific derivation— the relevance of some established random CDMA results to the single-user multi-antenna problem.

Control d'il·luminació i ventilació d'un pàrquing

El treball presentat ve motivat per la necessitat d’instal•lació d’un pàrquing públic i privat de nova construcció a nivell d’il•luminació i ventilació. Per poder satisfer les necessitats del nostre client d’estalvi energètic i confort en l’edifici es decideix d’implementar una instal•lació immòtica que és l’aplicació de tècniques de gestió i control automatitzat a un edifici terciari amb bus de comunicació KNX/EIB. Per a la il•luminació s’han utilitzat fluorescents amb balasts DALI, que permeten la seva regulació i control, per així poder adequar en tot moment l’encesa i intensitat de llum d’aquests. En quant a la ventilació s’han utilitzat variadors de freqüència per també poder optimitzar el funcionament dels ventiladors podent posar-los en marxa quan realment sigui necessari i a la potència que calgui. Per enllaçar tots els elements de la instal•lació, detectors i actuadors, sorgeig la necessitat d’implementar xarxes de comunicació com el KNX/EIB, DALI, Modbus i Ethernet. Per gestionar variables, comunicacions i controlar elements, s´hi han implementen dos autòmats programables a més d’un PC integrat per la visualització i el control del pàrquing. S’ha aconseguit de realitzar un pàrquing totalment automàtic on no és necessaria l’actuació dels operaris i amb les principals càrregues elèctriques totalment regulables en potència. S’ha comprovat que la instal•lació funciona per sota de la potència nominal de les càrregues amb l’estalvi energètic que això suposa.

Development of a control banding tool for nanomaterials

Control banding (CB) can be a useful tool for managing the potential risks of nanomaterials. The here proposed CB, which should be part of an overall risk control strategy, groups materials by hazard and emission potential. The resulting decision matrix proposes control bands adapted to the risk potential levels and helps define an action plan. If this plan is not practical and financially feasible, a full risk assessment is launched. The hazard banding combines key concepts of nanomaterial toxicology: translocation across biological barriers, fibrous nature, solubility, and reactivity. Already existing classifications specific to the nanomaterial can be used "as is." Otherwise, the toxicity of bulk or analogous substances gives an initial hazard band, which is increased if the substance is not easily soluble or if it has a higher reactivity than the substance. The emission potential bands are defined by the nanomaterials' physical form and process characteristics. Quantities, frequencies, and existing control measures are taken into account during the definition of the action plan. Control strategies range from room ventilation to full containment with expert advice. This CB approach, once validated, can be easily embedded in risk management systems. It allows integrating new toxicity data and needs no exposure data. [Authors]

Temporizador y control temperatura

Desarrollo de una aplicación que controla un tiempo determinado en minutos, avisando con una alarma cuando se alcanza el tiempo marcado. También controla la temperatura de una habitación avisando con una alarma si sobrepasa los 30ºC. Estas alarmas son enviadas a un servidor web, que se encarga de enviar un mensaje al teléfono móvil.

An embedded real-time red peach detection system based on an OV7670 camera, ARM Cortex-M4 processor and 3D Look-Up Tables

This work proposes the development of an embedded real-time fruit detection system for future automatic fruit harvesting. The proposed embedded system is based on an ARM Cortex-M4 (STM32F407VGT6) processor and an Omnivision OV7670 color camera. The future goal of this embedded vision system will be to control a robotized arm to automatically select and pick some fruit directly from the tree. The complete embedded system has been designed to be placed directly in the gripper tool of the future robotized harvesting arm. The embedded system will be able to perform real-time fruit detection and tracking by using a three-dimensional look-up-table (LUT) defined in the RGB color space and optimized for fruit picking. Additionally, two different methodologies for creating optimized 3D LUTs based on existing linear color models and fruit histograms were implemented in this work and compared for the case of red peaches. The resulting system is able to acquire general and zoomed orchard images and to update the relative tracking information of a red peach in the tree ten times per second.

Design and implementation of FPGA-based LQ control of active magnetic bearings

The need for high performance, high precision, and energy saving in rotating machinery demands an alternative solution to traditional bearings. Because of the contactless operation principle, the rotating machines employing active magnetic bearings (AMBs) provide many advantages over the traditional ones. The advantages such as contamination-free operation, low maintenance costs, high rotational speeds, low parasitic losses, programmable stiffness and damping, and vibration insulation come at expense of high cost, and complex technical solution. All these properties make the use of AMBs appropriate primarily for specific and highly demanding applications. High performance and high precision control requires model-based control methods and accurate models of the flexible rotor. In turn, complex models lead to high-order controllers and feature considerable computational burden. Fortunately, in the last few years the advancements in signal processing devices provide new perspective on the real-time control of AMBs. The design and the real-time digital implementation of the high-order LQ controllers, which focus on fast execution times, are the subjects of this work. In particular, the control design and implementation in the field programmable gate array (FPGA) circuits are investigated. The optimal design is guided by the physical constraints of the system for selecting the optimal weighting matrices. The plant model is complemented by augmenting appropriate disturbance models. The compensation of the force-field nonlinearities is proposed for decreasing the uncertainty of the actuator. A disturbance-observer-based unbalance compensation for canceling the magnetic force vibrations or vibrations in the measured positions is presented. The theoretical studies are verified by the practical experiments utilizing a custom-built laboratory test rig. The test rig uses a prototyping control platform developed in the scope of this work. To sum up, the work makes a step in the direction of an embedded single-chip FPGA-based controller of AMBs.

Improving Information Problem Solving skills in Secondary Education through embedded instruction

This empirical study consists in an investigation of the effects, on the development of Information Problem Solving (IPS) skills, of a long-term embedded, structured and supported instruction in Secondary Education. Forty secondary students of 7th and 8th grades (13–15 years old) participated in the 2-year IPS instruction designed in this study. Twenty of them participated in the IPS instruction, and the remaining twenty were the control group. All the students were pre- and post-tested in their regular classrooms, and their IPS process and performance were logged by means of screen capture software, to warrant their ecological validity. The IPS constituent skills, the web search sub-skills and the answers given by each participant were analyzed. The main findings of our study suggested that experimental students showed a more expert pattern than the control students regarding the constituent skill ‘defining the problem’ and the following two web search sub-skills: ‘search terms’ typed in a search engine, and ‘selected results’ from a SERP. In addition, scores of task performance were statistically better in experimental students than in control group students. The paper contributes to the discussion of how well-designed and well-embedded scaffolds could be designed in instructional programs in order to guarantee the development and efficiency of the students’ IPS skills by using net information better and participating fully in the global knowledge society.