Hard real-time multiprocessor scheduling resilient to core failures

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

Real-Time Visual Ground-Truth System for Indoor Robotic Applications

The robotics community is concerned with the ability to infer and compare the results from researchers in areas such as vision perception and multi-robot cooperative behavior. To accomplish that task, this paper proposes a real-time indoor visual ground truth system capable of providing accuracy with at least more magnitude than the precision of the algorithm to be evaluated. A multi-camera architecture is proposed under the ROS (Robot Operating System) framework to estimate the 3D position of objects and the implementation and results were contextualized to the Robocup Middle Size League scenario.

Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.

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.

Previsão do Diagrama de Carga de Subestações da REN utilizando Redes Neuronais

A presente dissertação apresenta o estudo de previsão do diagrama de carga de subestações da Rede Elétrica Nacional (REN) utilizando redes neuronais, com o intuito de verificar a viabilidade do método utilizado, em estudos futuros. Atualmente, a energia elétrica é um bem essencial e desempenha um papel fundamental, tanto a nível económico do país, como a nível de conforto e satisfação individual. Com o desenvolvimento do setor elétrico e o aumento dos produtores torna-se importante a realização da previsão de diagramas de carga, contribuindo para a eficiência das empresas. Esta dissertação tem como objetivo a utilização do modelo das redes neuronais artificiais (RNA) para criar uma rede capaz de realizar a previsão de diagramas de carga, com a finalidade de oferecer a possibilidade de redução de custos e gastos, e a melhoria de qualidade e fiabilidade. Ao longo do trabalho são utilizados dados da carga (em MW), obtidos da REN, da subestação da Prelada e dados como a temperatura, humidade, vento e luminosidade, entre outros. Os dados foram devidamente tratados com a ajuda do software Excel. Com o software MATLAB são realizados treinos com redes neuronais, através da ferramenta Neural Network Fitting Tool, com o objetivo de obter uma rede que forneça os melhores resultados e posteriormente utiliza-la na previsão de novos dados. No processo de previsão, utilizando dados reais das subestações da Prelada e Ermesinde referentes a Março de 2015, comprova-se que com a utilização de RNA é possível obter dados de previsão credíveis, apesar de não ser uma previsão exata. Deste modo, no que diz respeito à previsão de diagramas de carga, as RNA são um bom método a utilizar, uma vez que fornecem, à parte interessada, uma boa previsão do consumo e comportamento das cargas elétricas. Com a finalização deste estudo os resultados obtidos são no mínimo satisfatórios. Consegue-se alcançar através das RNA resultados próximos aos valores que eram esperados, embora não exatamente iguais devido à existência de uma margem de erro na aprendizagem da rede neuronal.

Gestão de Energia Renovável para Sistemas Insulares - Projeto para Ilha de Santiago – Cabo Verde

A opção pela elaboração do presente projeto decorre da importância que as energias renováveis já têm, e poderão vir a assumir, no contexto do desenvolvimento económico das ilhas de Cabo Verde. O projeto foi elaborado com base nas necessidades reais do país, identificadas por estudos realizados por entidades especializadas na área, e visa desbravar vias para um possível e desejável alargamento da utilização de energias renováveis no país. O projeto é direccionado para a produção de energia visando complementar o abastecimento através da rede pública, que é gerida por uma empresa estatal, a ELECTRA. Pressupõe que toda a energia produzida é adquirida por esta empresa como, aliás, legalmente está estabelecido. Na elaboração do projeto teve-se em conta o impacto ambiental do mesmo, incluindo os seus efeitos no plano financeiro. O projeto assenta num diagnóstico relativamente aprofundado do setor de produção de energia elétrica e caracteriza o setor tal como se apresenta actualmente. Foi direccionado essencialmente para a ilha de Santiago, a maior do país, que congrega cerca de 56 % da população. Procedeu-se, em particular, a uma análise detalhada dos parques eólicos e solares existentes no país. O projeto avalia com relativa profundidade a evolução recente da procura de energia elétrica, e o potencial das energias renováveis, com ênfase nas energias eólica e solar, as mais relevantes para o país, pelo menos no futuro próximo. O sistema tarifário foi, igualmente, objecto de discussão no decurso da elaboração do projeto. Finalmente, a elaboração do projeto conduziu-nos ao estudo das orientações estratégicas, objetivos e políticas governamentais para a área da produção de energia elétrica. No plano financeiro, foram considerados três cenários baseados no grau de utilização da radiação solar (fotovoltaica) ou aproveitamento dos ventos (eólica). Para cada cenário foram avaliadas alternativas, que consistem basicamente na utilização de diferentes preços de venda, num leque que se situa em níveis comparáveis aos que actualmente são praticados.

Rede de Calor – Uma Solução a Biomassa para um Complexo de Hóteis

O recurso às energias renováveis é na actualidade um tema que atinge um grau de importância primordial face á crescente preocupação com o meio ambiente e o impacto negativo, que a produção de energia com base em combustíveis fósseis tem. Esta importância aliada a uma tendência cada vez maior para a criação de soluções de produção sustentável de energia, tem obrigado ao desenvolvimento desta vertente do sector energético e ao estudo e consequentemente implementação de soluções integradas que permitam uma economia competitiva. Os hotéis, sendo estabelecimentos comerciais que desenvolvem uma actividade que envolve, na generalidade, um nível de consumo energético considerável para garantir os seus serviços básicos de acomodação e lazer, tornam-se por excelência alvos primordiais no que concerne ao seu elevado potencial de poupança de energia. O ramo da hotelaria, dada a sua especificidade e a natureza dos edifícios que comporta, torna-os em excelentes candidatos para análise e optimização energética, e como tal um alvo de negócio para as empresas de comercialização de poupanças energéticas. As empresas dedicadas aos serviços de energia são conhecidas por ESCO (Energy Service Company ou Energy Savings Company). A sua actividade tem por base apresentar soluções de energia, nomeadamente a implementação de projectos de poupança energética que podem englobar produção, conservação e fornecimento de energia, bem como gestão de risco associada. O objectivo principal é apresentar soluções de optimização e eficiência energética levando á sua implementação em casos reais de exploração em edifícios ou sectores específicos, rentabilizando o investimento e partilhando o lucro dessa rentabilização com os clientes. No caso específico dos hotéis, mais concretamente um complexo de hotéis, como o estudado neste trabalho, esta análise pretende elaborar uma caracterização das necessidades energéticas do sector e apresentar um conjunto de soluções energéticas adequadas à realidade hoteleira. É também objecto de análise, toda a aproximação de um modelo de negócio energético a explorar por uma ESCO. O presente trabalho, realizado no âmbito da parceria entre a Gebio e a Confraria do Bom Jesus, tem por objectivo demonstrar as bases do contracto de performance entre uma empresa ESCO (Gebio – empresa concessionária do projecto) e um complexo de hotéis (constituído pelo Hotel do Lago, Hotel do Parque e Hotel do Templo), com vista a optimizar os consumos energéticos para a produção de energia térmica capaz de corresponder às necessidades do complexo. Foi desenvolvido um estudo completo das necessidades térmicas do complexo, com vista a projectar uma solução integrada de produção de energia térmica, com recurso a uma caldeira de biomassa, para os hotéis. Foi realizado um levantamento extensivo dos consumos e custos energético do complexo, nomeadamente para as águas quentes sanitárias. Desta análise obtiveram-se os custos reais do sistema e com os mesmos foi possível, numa primeira fase, elaborar os diversos projectos, hidráulico, eléctricos e civil, de forma a se definir a solução base e quais os orçamentos previstos para a instalação de um sistema de produção a biomassa, e numa segunda fase foi estudada a viabilidade da assinatura de um contracto de performance entre a ESCO e o complexo de hotéis.

As mulheres da família real portuguesa e a música: estudo preliminar de 1640 a 1754

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências Musicais, variante de Musicologia Histórica

Rede de Distribuição da ilha Graciosa: Análise e Exploração de Funcionamento

Nos tempos atuais as empresas que atuam no ramo dos sistemas elétricos de energias enfrentam desafios cada vez mais exigentes, dado o enquadramento normativo a que estão sujeitas por parte da entidade reguladora dos serviços energéticos. No caso do Arquipélago dos Açores, o normativo relativo ao regulamento da qualidade de serviço entrou em vigor em 2006, trazendo à EDA,S.A. (Eletricidade dos Açores), entidade responsável pelo transporte e distribuição de energia na região, novas exigências para adequados níveis de eficiência e de garantias aos clientes, no que respeita à qualidade de serviço que lhes é prestado. No âmbito deste trabalho, é efetuado o estudo do trânsito de potência sobre a rede distribuição 15 kV da ilha Graciosa. Para tal, é realizada a modelização da rede no software de rede elétricas porwerworld 8.0. e são idealizados um conjunto de cenários de exploração da rede, que visam simular situações reais que ocorrem na exploração diária da rede de distribuição da ilha. Nas simulações a efetuar consideram-se dois cenários com perfil de carga distintos, um referente à ponta máxima, e outro referente ao vazio mínimo, verificados no ano de 2014. Quanto ao modo de exploração da rede nos cenários a simular, é contemplado o modo de exploração normalmente operado pela empresa gestora, bem como diversas reconfigurações sobre o modo de exploração normalmente operado, realizadas através da abertura e fecho dos aparelhos de corte constituintes da rede. Em todos os cenários simulados, é realizado um estudo relativamente à potência de perdas do sistema, ao perfil da tensão nos diversos postos de transformação, e ao congestionamento de energia verificado nas linhas de distribuição da rede.

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.

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.