Overhead-aware schedulability evaluation of semi-partitioned real-time schedulers

Presented at IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2015). 19 to 21, Aug, 2015.

Study of the Reliability of Statistical Timing Analysis for Real-Time Systems

Presented at 23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.

Simulação de Robôs Quadrúpedes Utilizando o SimMechanics

Desde sempre o Homem procurou automatizar tarefas repetitivas. Tanto na indústria como no sector doméstico ou de comércio estão constantemente a surgir novos equipamentos procurando aumentar o nível de automação de diversas tarefas. A necessidade de empresas criadoras de produtos inovadores se manterem concorrenciais obrigou à adopção de métodos de projecto e planeamento mais estruturados e eficientes que eliminem os desperdícios tanto de material como de tempo. Diversas construções em termos orçamentais e o aumento da procura de produtos de alta qualidade a baixo custo deu origem a um novo tipo de programas, os programas de simulação virtual. Tal como na indústria, também na investigação nas Instituições de Ensino Superior se procuram adoptar os métodos de trabalho mais eficientes possíveis. Uma parte dos programas de simulação robótica utilizados hoje em dia na investigação no Instituto Superior de Engenharia do Porto estão concebidos em linguagem C. Embora esta linguagem seja extremamente capaz, existem métodos mais adequados de simulação que aceleram o processo de modelação permitindo a visualização do movimento e simulação de diversas situações potencialmente criticas sem existir a necessidade de construção de um protótipo funcional do robô. Durante o último ano, este projecto permitiu construir um modelo de um robô quadrúpede num programa de simulação virtual chamado Simmechanics™. Embora haja já algum trabalho desenvolvido nesta área, constatou-se que a informação existente possuía algumas lacunas. Com o trabalho desenvolvido preparou-se esta dissertação que pretende clarificar algumas questões que surgem na modelação de um robô. Neste documento explica-se como modelar um robô de corpo flexível, modelar as pernas e as respectivas juntas da anca e do joelho assim como também se apresenta a modelação de um contacto com o solo recorrendo a um modelo descrito na literatura. Este documento foi escrito a pensar no leitor, procurando-se explicar de forma simples mas concisa os diversos passos necessários para construir um modelo virtual de um robô. O autor espera, desta forma, ajudar futuros colegas que pretendam trabalhar com o Simmechanics™ a mais facilmente se integrarem com o programa aumentando desta forma o declive da curva de aprendizagem e permitindo um maior aproveitamento desta ferramenta.

Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 2015. San Antonio, U.S.A..

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 2015. San Antonio, U.S.A..

Real-time Parallel Applications on Many-core Architectures

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.

Run-time Monitoring Architecture for RealTime Systems

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.

Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments

EMC2 finds solutions for dynamic adaptability in open systems. It provides handling of mixed criticality multicore applications in r eal-time conditions, withscalability and utmost flexibility, full-scale deployment and management of integrated tool chains, through the entire lifecycle.

The characteristic time of glucose diffusion measured for muscle tissue at optical clearing

The study of agent diffusion in biological tissues is very important to understand and characterize the optical clearing effects and mechanisms involved: tissue dehydration and refractive index matching. From measurements made to study the optical clearing, it is obvious that light scattering is reduced and that the optical properties of the tissue are controlled in the process. On the other hand, optical measurements do not allow direct determination of the diffusion properties of the agent in the tissue and some calculations are necessary to estimate those properties. This fact is imposed by the occurrence of two fluxes at optical clearing: water typically directed out of and agent directed into the tissue. When the water content in the immersion solution is approximately the same as the free water content of the tissue, a balance is established for water and the agent flux dominates. To prove this concept experimentally, we have measured the collimated transmittance of skeletal muscle samples under treatment with aqueous solutions containing different concentrations of glucose. After estimating the mean diffusion time values for each of the treatments we have represented those values as a function of glucose concentration in solution. Such a representation presents a maximum diffusion time for a water content in solution equal to the tissue free water content. Such a maximum represents the real diffusion time of glucose in the muscle and with this value we could calculate the corresponding diffusion coefficient.

Cross-Layer Admission Control to Enhance the Support of Real-Time Applications in WSN

Real-time monitoring applications may be used in a wireless sensor network (WSN) and may generate packet flows with strict quality of service requirements in terms of delay, jitter, or packet loss. When strict delays are imposed from source to destination, the packets must be delivered at the destination within an end-to-end delay (EED) hard limit in order to be considered useful. Since the WSN nodes are scarce both in processing and energy resources, it is desirable that they only transport useful data, as this contributes to enhance the overall network performance and to improve energy efficiency. In this paper, we propose a novel cross-layer admission control (CLAC) mechanism to enhance the network performance and increase energy efficiency of a WSN, by avoiding the transmission of potentially useless packets. The CLAC mechanism uses an estimation technique to preview packets EED, and decides to forward a packet only if it is expected to meet the EED deadline defined by the application, dropping it otherwise. The results obtained show that CLAC enhances the network performance by increasing the useful packet delivery ratio in high network loads and improves the energy efficiency in every network load.

Fractional State Space Analysis of Temperature Time Series

Atmospheric temperatures characterize Earth as a slow dynamics spatiotemporal system, revealing long-memory and complex behavior. Temperature time series of 54 worldwide geographic locations are considered as representative of the Earth weather dynamics. These data are then interpreted as the time evolution of a set of state space variables describing a complex system. The data are analyzed by means of multidimensional scaling (MDS), and the fractional state space portrait (fSSP). A centennial perspective covering the period from 1910 to 2012 allows MDS to identify similarities among different Earth’s locations. The multivariate mutual information is proposed to determine the “optimal” order of the time derivative for the fSSP representation. The fSSP emerges as a valuable alternative for visualizing system dynamics.

Coordenação e gestão de obras em ambiente empresarial

O estágio foi um complemento da formação académica, disponibilizado pelo Instituto Superior de Engenharia do Porto, permitindo o contacto e a inserção do estagiário no mercado de trabalho. Este relatório retrata o percurso realizado durante o estágio, e representa o culminar do Curso de Mestrado em Engenharia civil no Ramo de Gestão de Obras. O estágio, com duração de 6 meses, realizou-se na empresa Cogedir – Gestão de Projetos S.A. sediada em Vila Nova de Gaia. A integração na empresa permitiu adquirir e desenvolver competências que habilitaram o estagiário a prestar funções de direção e fiscalização de obras, pois durante o período de estágio foram atribuídas diversas funções do ramo de gestão, como a coordenação e gestão de obras, resposta a concursos públicos e privados, orçamentação, entre outras, sendo que o estágio se focalizou sobretudo na coordenação e gestão da execução de um empreendimento destinado a um Hotel e Spa na região de Águeda. Este relatório tenta demonstrar que os conhecimentos obtidos ao longo do curso foram devidamente interiorizados e aplicados em ambiente empresarial e para isso serão abordadas as principais funções, responsabilidades e atividades desempenhadas ao longo da execução do empreendimento em foco tentando dar exemplos de cada atividade. Para além disso haverá lugar a um capítulo inteiramente dedicado à gestão do planeamento a nível de prazos e custos de uma das fases de execução do empreendimento. Essa gestão será realizada com recurso à ferramenta de gestão designada por Método EVM, incorporada no programa Microsoft Project 2013. Este método oferece a possibilidade de cálculo de vários indicadores de um projeto e será explicado de forma intuitiva, simples e completa, possibilitando a sua fácil consulta ao longo da vida profissional.

Melhoria e automação de linhas de montagem

Hoje em dia, e com os avanços tecnológicos a surgirem de forma constante, existem novas áreas que têm de ser consideradas com um foco importante por parte de todas as organizações, sendo uma delas a robótica industrial. Motivada em aumentar o seu output, as condições de trabalho para os seus colaboradores, bem como todas as condições de organização da logística interna, a Grohe Portugal, mais especificamente o departamento da montagem, achou relevante fazer um estudo de métodos e tempos, calculando os ganhos potenciais de aumento de output com introdução de robótica nas linhas dos cartuchos. Os objetivos principais seriam então, fazer uma restruturação de todo o layout dessas linhas, tendo como foco automatizar alguma(s) operação(ões), conseguindo assim uma melhoria significativa do output dessas linhas com o menor payback possível. Posto isto, esta dissertação pretende apresentar o trabalho desenvolvido junto da Grohe Portugal, que teve como objetivo fazer os estudos e a automatização de linhas de montagem de cartuchos, bem como melhorar algumas linhas de montagem tendo em conta fatores ergonómicos. Relativamente à automatização da linha dos cartuchos, foi importante estudar todos os seguintes aspetos:  utilização de unidades robóticas;  ergonomia;  ganhos de produtividade;  automatizar ou semi-automatizar operações;  simplificar processos de montagem;  simplificar setups;  solicitar orçamentos;  elaborar caderno de encargos. Para a realização deste projeto, o trabalho desenvolvido foi decomposto em várias etapas, entre as quais se destacam:  análise e estudo dos métodos e sequências de montagem;  levantamento de todos os componentes e operações de montagem até à obtenção do cartucho final;  estudo de tempos de todas essas operações de montagem;  caraterização de um novo layout para as linhas com a introdução de unidades robóticas, tanto quanto possível, mais adequadas;  elaboração de caderno de encargos para ser enviado a empresas, para estas poderem apresentar uma orçamentação, bem como indicar as unidades robóticas mais adequadas para as tarefas pretendidas;  automatização da linha dos cartuchos. Relativamente ao projeto de novas linhas de montagem tendo em conta fatores ergonómicos, de forma a melhorar os sistemas de abastecimento e as condições de trabalho por parte dos operadores, foram postos em prática diferentes passos, nomeadamente:  identificação de todos os processos de montagem realizados pelos operadores na linha a melhorar;  estudo e definição da disposição dos componentes na nova linha, bem como a sua forma de abastecimento;  projeto da nova linha de montagem em 3D com recurso ao software SolidWorks;  realização prática da linha, acompanhando e ajudando a equipa da ferramentaria. O balanço final do trabalho foi bastante positivo, tanto na automatização das linhas de montagem dos cartuchos, em que todo o seu estudo foi alcançado com sucesso, como no melhoramento ergonómico das linhas de montagem, tendo-se alcançado melhorias em alguns índices de qualidade, tempos de abastecimento, organização das linhas, e nas condições de iluminação, resultando essas melhorias numa avaliação positiva por parte dos colaboradores que nelas trabalham todos os dias.