Software transactional memory as a building block for parallel embedded realtime systems

The recent trends of chip architectures with higher number of heterogeneous cores, and non-uniform memory/non-coherent caches, brings renewed attention to the use of Software Transactional Memory (STM) as a fundamental building block for developing parallel applications. Nevertheless, although STM promises to ease concurrent and parallel software development, it relies on the possibility of aborting conflicting transactions to maintain data consistency, which impacts on the responsiveness and timing guarantees required by embedded real-time systems. In these systems, contention delays must be (efficiently) limited so that the response times of tasks executing transactions are upper-bounded and task sets can be feasibly scheduled. In this paper we assess the use of STM in the development of embedded real-time software, defending that the amount of contention can be reduced if read-only transactions access recent consistent data snapshots, progressing in a wait-free manner. We show how the required number of versions of a shared object can be calculated for a set of tasks. We also outline an algorithm to manage conflicts between update transactions that prevents starvation.

Compositional multiprocessor scheduling: the GMPR interface

Composition is a practice of key importance in software engineering. When real-time applications are composed, it is necessary that their timing properties (such as meeting the deadlines) are guaranteed. The composition is performed by establishing an interface between the application and the physical platform. Such an interface typically contains information about the amount of computing capacity needed by the application. For multiprocessor platforms, the interface should also present information about the degree of parallelism. Several interface proposals have recently been put forward in various research works. However, those interfaces are either too complex to be handled or too pessimistic. In this paper we propose the generalized multiprocessor periodic resource model (GMPR) that is strictly superior to the MPR model without requiring a too detailed description. We then derive a method to compute the interface from the application specification. This method has been implemented in Matlab routines that are publicly available.

Desenvolvimento de uma aplicação móvel para apoio a pessoas com perturbações psicóticas

A presente dissertação tem como objectivo descrever o trabalho desenvolvido sobre o projecto iCOPE, uma plataforma dedicada ao auxilio do processo psicoterapêutico para pessoas com perturbações psicóticas. A sua concepção e motivada pela necessidade de fornecer um meio psicoterapêutico com base na portabilidade dos dispositivos móveis. O desenvolvimento foi conseguido através de uma colaboração multidisciplinar, orientada por especialistas de terapia ocupacional, e pela engenharia de software. O iCOPE é um sistema centralizado, no qual o progresso de um paciente é registado e monitorizado através de outra aplicação, por um terapeuta designado. Esta filosofia levou à criação de uma API baseada em REST, capaz de comunicar com uma base de dados. A construção da API concretizou-se com recurso a linguagem PHP, aliada a micro-framework Slim. O objectivo desta API passa não só pela necessidade de fornecer um sistema acessível, mas também com a ambição de conceber uma plataforma com um potencial escalável e expansível, para o caso de ser necessário implementar novas funcionalidades futuras (future-proof). O autor desta dissertação foi responsável pelo levantamento de requisitos, o desenvolvimento da aplicação móvel, o desenvolvimento colaborativo do modelo de dados e base de dados e da interface da API de comunicação. No fim do desenvolvimento foi feita uma apreciação funcional pelos utilizadores alvo, que realizaram uma avaliação sobre a utilização e integração da aplicação no seu tratamento. Face aos resultados obtidos foram tiradas conclusões sobre o futuro desenvolvimento da aplicação e que outros aspectos poderiam ser integrados para efectivamente chegar a mais pacientes.

Analysis and Visualisation of Crowd-sourced Tourism Data

C3S2E '16 Proceedings of the Ninth International C* Conference on Computer Science & Software Engineering

Dimensionamento de estacas baseado nos princípios da dinâmica de cravação do SPT

Este trabalho insere-se no domínio da calibração energética dos equipamentos SPT, dando seguimento ao disposto na norma EN ISO 22476-3, de aplicação obrigatória em Portugal. Para tal foi utilizada uma vara instrumentada, cuja instrumentação consiste em strain-gauges e acelerómetros piezoeléctricos. Esta instrumentação encontra-se fixa a um trecho de vara com comprimento de 60 cm e para a aquisição dos dados foi utilizado o sistema SPT Analyzer® comercializado pela firma PDI. O sistema permite registar os dados provenientes da instrumentação: sinais de um par de strain-gauges, transformados em registos de força (F1 e F2) e sinais de um par de acelerómetros, convertidos em registos de velocidade (V1 e V2) ao longo do tempo. O equipamento permite a avaliação, em tempo real, da qualidade dos registos e da energia máxima transmitida à vara em cada golpe e o conhecimento do deslocamento vertical do trem de varas ocorrido em cada golpe do martelo. Por outro lado, baseando-se no tema acima referido, pretende-se ainda desenvolver esforços no sentido de melhorar o novo método interpretativo dos resultados dos ensaios SPT e sua aplicação ao dimensionamento de estacas, dado que a previsão da capacidade de carga de estacas constitui um dos desafios da engenharia de fundações por requerer a estimativa de propriedades do solo, alterações pela execução da fundação e conhecimento do mecanismo de interacção solo-estaca. Este novo procedimento baseia-se nos princípios da dinâmica, rompendo com as metodologias até aqui consagradas, de natureza essencialmente empírica. A nova forma de interpretar os ensaios SPT, consubstanciada nos princípios de conservação de energia na cravação do amostrador SPT, irá permitir converter analiticamente o valor Nspt numa força dinâmica de reacção à penetração. A decomposição desta força dinâmica permite efectuar análises comparativas entre as resistências unitárias mobilizadas no amostrador SPT (modelo) e as mobilizadas na estaca (protótipo).

Amostragem em auditoria

Dissertação apresentada ao Instituto Superior de Contabilidade para a obtenção do Grau de Mestre em Auditoria Orientada por Professor Doutor António Carvalho Pedrosa

A framework for the development of parallel and distributed real-time embedded systems

Embedded real-time applications increasingly present high computation requirements, which need to be completed within specific deadlines, but that present highly variable patterns, depending on the set of data available in a determined instant. The current trend to provide parallel processing in the embedded domain allows providing higher processing power; however, it does not address the variability in the processing pattern. Dimensioning each device for its worst-case scenario implies lower average utilization, and increased available, but unusable, processing in the overall system. A solution for this problem is to extend the parallel execution of the applications, allowing networked nodes to distribute the workload, on peak situations, to neighbour nodes. In this context, this report proposes a framework to develop parallel and distributed real-time embedded applications, transparently using OpenMP and Message Passing Interface (MPI), within a programming model based on OpenMP. The technical report also devises an integrated timing model, which enables the structured reasoning on the timing behaviour of these hybrid architectures.

Aplicação de métodos estocásticos na gestão de custos de construção de condutas de saneamento

O trabalho apresentado centra-se na determinação dos custos de construção de condutas de pequenos e médios diâmetros em Polietileno de Alta Densidade (PEAD) para saneamento básico, tendo como base a metodologia descrita no livro Custos de Construção e Exploração – Volume 9 da série Gestão de Sistemas de Saneamento Básico, de Lencastre et al. (1994). Esta metodologia descrita no livro já referenciado, nos procedimentos de gestão de obra, e para tal foram estimados custos unitários de diversos conjuntos de trabalhos. Conforme Lencastre et al (1994), “esses conjuntos são referentes a movimentos de terras, tubagens, acessórios e respetivos órgãos de manobra, pavimentações e estaleiro, estando englobado na parte do estaleiro trabalhos acessórios correspondentes à obra.” Os custos foram obtidos analisando vários orçamentos de obras de saneamento, resultantes de concursos públicos de empreitadas recentemente realizados. Com vista a tornar a utilização desta metodologia numa ferramenta eficaz, foram organizadas folhas de cálculo que possibilitam obter estimativas realistas dos custos de execução de determinada obra em fases anteriores ao desenvolvimento do projeto, designadamente numa fase de preparação do plano diretor de um sistema ou numa fase de elaboração de estudos de viabilidade económico-financeiros, isto é, mesmo antes de existir qualquer pré-dimensionamento dos elementos do sistema. Outra técnica implementada para avaliar os dados de entrada foi a “Análise Robusta de Dados”, Pestana (1992). Esta metodologia permitiu analisar os dados mais detalhadamente antes de se formularem hipóteses para desenvolverem a análise de risco. A ideia principal é o exame bastante flexível dos dados, frequentemente antes mesmo de os comparar a um modelo probabilístico. Assim, e para um largo conjunto de dados, esta técnica possibilitou analisar a disparidade dos valores encontrados para os diversos trabalhos referenciados anteriormente. Com os dados recolhidos, e após o seu tratamento, passou-se à aplicação de uma metodologia de Análise de Risco, através da Simulação de Monte Carlo. Esta análise de risco é feita com recurso a uma ferramenta informática da Palisade, o @Risk, disponível no Departamento de Engenharia Civil. Esta técnica de análise quantitativa de risco permite traduzir a incerteza dos dados de entrada, representada através de distribuições probabilísticas que o software disponibiliza. Assim, para por em prática esta metodologia, recorreu-se às folhas de cálculo que foram realizadas seguindo a abordagem proposta em Lencastre et al (1994). A elaboração e a análise dessas estimativas poderão conduzir à tomada de decisões sobre a viabilidade da ou das obras a realizar, nomeadamente no que diz respeito aos aspetos económicos, permitindo uma análise de decisão fundamentada quanto à realização dos investimentos.

Acompanhamento dos trabalhos de reabilitação de um edifício

O presente relatório diz respeito ao trabalho desenvolvido durante o período de estágio curricular que se enquadra no segundo ano do Mestrado em Engenharia Civil do Instituto Superior de Engenharia do Porto. O estágio decorreu na empresa Paviazeméis em ambiente de gabinete e obra, no cumprimento dos requisitos da unidade curricular DIPRE (Dissertação/Projeto/Estágio). Procurou-se neste documento enquadrar o estágio, e a sua importância, e apresentar a empresa onde teve lugar. A Paviazeméis é uma empresa vocacionada essencialmente para obras públicas de estradas. Uma das empreitadas adjudicadas incluiu a reabilitação de um edifício, tendo sido necessário reforçar a equipa, de modo a corresponder às expectativas propostas. O estágio desenvolvido passou pela integração na equipa responsável pela execução da empreitada, tendo como objetivo dar apoio à obra em questão. Para além do enquadramento do estágio e da obra, fez-se uma breve apresentação da proposta de intervenção, descrevendo os diversos projetos, o planeamento da obra e os trabalhos de execução, juntamente com os pormenores construtivos e imagens de obra. Foram referenciados também os diversos tipos de controlo executados em obra e por fim, o fecho da empreitada.

Análise dos sistemas termo-solares de produção de energia eléctrica

Actualmente a humanidade depara-se com um dos grandes desafios que é o de efectivar a transição para um futuro sustentável. Logo, o sector da energia tem um papel chave neste processo de transição, com principal destaque para a energia solar, tendo em conta que é uma das fontes de energias renováveis mais promissoras, podendo no médiolongo prazo, tornar-se uma das principais fontes de energia no panorama energético dos países. A energia solar térmica de concentração (CSP), apesar não ser ainda conhecida em Portugal, possui um potencial relevante em regiões específicas do nosso território. Logo, o objectivo deste trabalho é efectuar uma análise detalhada dos sistemas solares de concentração para produção de energia eléctrica, abordando temas, tais como, o potencial da energia solar, a definição do processo de concentração solar, a descrição das tecnologias existentes, o estado da arte do CSP, mercado CSP no mundo, e por último, a análise da viabilidade técnico-económica da instalação de uma central tipo torre solar de 20 MW, em Portugal. Para que este objectivo fosse exequível, recorreu-se à utilização de um software de simulação termodinâmica de centrais CSP, denominado por Solar Advisor Model (SAM). O caso prático foi desenvolvido para a cidade de Faro, onde foram simuladas quatro configurações distintas para uma central do tipo torre solar de 20 MW. Foram apresentados resultados, focando a desempenho diário e anual da central. Foi efectuada uma análise para avaliação da influência da variabilidade dos parâmetros, localização geográfica, múltiplo solar, capacidade de armazenamento de calor e fracção de hibridização sobre o custo nivelado da energia (LCOE), o factor de capacidade e a produção anual de energia. Conjuntamente, é apresentada uma análise de sensibilidade, com a finalidade de averiguar quais os parâmetros que influenciam de forma mais predominante o valor do LCOE. Por último, é apresentada uma análise de viabilidade económica de um investimento deste tipo.

A Real Time Vision System for Autonomous Systems: Characterization during a Middle Size Match

in RoboCup 2007: Robot Soccer World Cup XI

Estudo para a optimização dos sistemas de climatização com vista à obtenção de um edifício com baixas necessidades energéticas em climatização

A presente tese tem como principal objectivo abordar o tema da eficiência energética em edifícios, no que se refere aos sistemas de climatização. O desenvolvimento deste projecto realizou-se em torno dos consumos energéticos dos diferentes sistemas de climatização estudados (e por conseguinte da envolvente do edifício), focando o cumprimento dos requisitos térmico e energéticos das normas vigentes (RCCTE e RSECE) em Portugal, tendo como objectivo identificar os parâmetros com maior impacto e a relação tendencial entre as soluções construtivas e tecnológicas adoptadas, sempre com o horizonte de maximizar a eficiência energética e diminuir a dependência face à energia primária e consequentemente a emissão de gases que provocam o efeito de estufa. É âmbito desta tese comparar diferentes tipos de sistemas de climatização a nível energético e torná-los os mais eficientes possíveis, para que também se possam tornar monetariamente aliciantes e aumentar o rácio entre benefício/custo. Para tal, numa primeira fase foi feito um estudo térmico da envolvente do edifício, tendo sido utilizado um software de simulação energética de edifícios acreditado pela norma ASHRAE 140-2004 para se poder compreender como o edifício se comportava ao longo do ano, e introduzir algumas correcções na respectiva envolvente, para baixar as potências térmicas/eléctricas dos equipamentos do sistema de AVAC. De seguida foram estudados três sistemas possíveis de climatização para o edifício, de modo a identificar o mais eficiente numa base anual, bem como a possibilidade de combinar o uso de fontes de energia renováveis com o intuito de satisfazer ao máximo as necessidades térmicas do edifício e, ainda, de minimizar o consumo de energia de origem não renovável. Por fim, para avaliar as diferentes potencialidades de cada sistema de climatização estudado, fez-se o respectivo estudo à sua viabilidade económica. Nas considerações finais da presente tese é realizado um estudo aos benefícios que uma possível alteração da arquitectura do edifício pode trazer no aumento da iluminação natural do mesmo integrado com um controlo da iluminação artificial necessária para os diferentes espaços climatizados. Os resultados obtidos foram comparados entre si e corrigir a envolvente exterior reduz os consumos energéticos do edifício em cerca de 11%. As medidas correctivas propostas no sistema de climatização base originam uma redução energética igual a 43%. A nível ambiental, é possível a redução do número de emissões de CO2 em cerca de 72.1%.

Projeto de Térmica: Aplicação do Novo Regulamento de Desempenho Energético dos Edifícios de Habitação Novos

Neste trabalho estudou-se a nova regulamentação de térmica em edifícios, Decreto-Lei nº 118/2013, dando particular ênfase ao Regulamento de Desempenho Energético dos Edifícios de Habitação, REH. Para o efeito, aplicou-se a metodologia definida nesta legislação a um edifício de habitação unifamiliar e compararam-se os resultados obtidos com os resultados da ferramenta de cálculo automático elaborada pelo ITEcons. Fizeram-se ainda várias simulações para as diferentes zonas climáticas possíveis e comparou-se também com o mesmo edifício mas admitindo que todas as soluções construtivas são as de referência.

Aplicação das FPAA na realização de sistemas de ordem fraccionária

Esta tese de dissertação tem como principal objetivo a implementação de controladores fracionários utilizando diapositivos analógicos FPAA (Field Programable Analog Array). Embora estes dispositivos já não sejam um tecnologia recente, não tiveram grande aceitação comercial, daí não ter sido grande a sua evolução nesta última década. Mas para a elaboração de alguns circuitos analógicos, nomeadamente filtros, amplificadores e mesmo controladores PID (Proporcional-Integrativo-Derivativo) analógicos torna-se numa ferramenta que pode facilitar o projeto e implementação. Para a realização deste estudo, utilizou-se a placa de desenvolvimento da Anadigm AN231K04-DVLP3 juntamente com o software disponibilizado pela mesma empresa, o AnadigmDesigner2. Para a simulação e observação dos resultados foi utilizada a DAQ (Data Acquisition) Hilink da Zelton juntamente com o software Matlab. De forma a testar a implementação dos controladores fracionários nas FPAA foram realizados alguns circuitos no software e enviados para a FPAA comparando os resultados obtidos na simulação com os visualizados no osciloscópio. Por último foi projetado um controlador PIlDm recorrendo aos métodos de aproximação inteira descritos neste documento implementados na FPAA recorrendo ao uso de filtros de primeira e segunda ordem.

Criação de programa informático em ambiente Matlab® para estudo de estruturas planas pelo Método de Elementos Finitos.

Os modelos a ser analisados pelo Método de Elementos Finitos são cada vez mais complexos e, nos tempos que correm, seria impensável realizar tais análises sem um apoio computorizado. Existe para esta finalidade uma vasta gama de programas que permitem realizar tarefas que passam pelo desenho de estruturas, análise estática de cargas, análise dinâmica e vibrações, visualização do comportamento físico (deformações) em tempo real, que permitem a otimização da estrutura. Sob o pretexto de permitir a qualquer utilizador uma análise de estruturas simples com o Método dos Elementos Finitos, surge esta tese, onde se irá criar de raiz um programa com interface gráfica no ambiente MATLAB® para análise de estruturas simples com dois tipos de elemento finito, triangular de deformação constante e quadrangular de deformação linear. O software desenvolvido, verificado por comparação com um software comercial dedicado para o efeito, efetua malhagem com elementos bidimensionais triangulares e quadriláteros e resolve modelos arbitrados pelo Método de Elementos Finitos, representando estes resultados visualmente e em formato tabular.