Tolerância a falhas em sistemas de tempo-real distribuídos e embebidos

Este documento descreve um modelo de tolerância a falhas para sistemas de tempo-real distribuídos. A sugestão deste modelo tem como propósito a apresentação de uma solu-ção fiável, flexível e adaptável às necessidades dos sistemas de tempo-real distribuídos. A tolerância a falhas é um aspeto extremamente importante na construção de sistemas de tempo-real e a sua aplicação traz inúmeros benefícios. Um design orientado para a to-lerância a falhas contribui para um melhor desempenho do sistema através do melhora-mento de aspetos chave como a segurança, a confiabilidade e a disponibilidade dos sis-temas. O trabalho desenvolvido centra-se na prevenção, deteção e tolerância a falhas de tipo ló-gicas (software) e físicas (hardware) e assenta numa arquitetura maioritariamente basea-da no tempo, conjugada com técnicas de redundância. O modelo preocupa-se com a efi-ciência e os custos de execução. Para isso utilizam-se também técnicas tradicionais de to-lerância a falhas, como a redundância e a migração, no sentido de não prejudicar o tempo de execução do serviço, ou seja, diminuindo o tempo de recuperação das réplicas, em ca-so de ocorrência de falhas. Neste trabalho são propostas heurísticas de baixa complexida-de para tempo-de-execução, a fim de se determinar para onde replicar os componentes que constituem o software de tempo-real e de negociá-los num mecanismo de coordena-ção por licitações. Este trabalho adapta e estende alguns algoritmos que fornecem solu-ções ainda que interrompidos. Estes algoritmos são referidos em trabalhos de investiga-ção relacionados, e são utilizados para formação de coligações entre nós coadjuvantes. O modelo proposto colmata as falhas através de técnicas de replicação ativa, tanto virtual como física, com blocos de execução concorrentes. Tenta-se melhorar ou manter a sua qualidade produzida, praticamente sem introduzir overhead de informação significativo no sistema. O modelo certifica-se que as máquinas escolhidas, para as quais os agentes migrarão, melhoram iterativamente os níveis de qualidade de serviço fornecida aos com-ponentes, em função das disponibilidades das respetivas máquinas. Caso a nova configu-ração de qualidade seja rentável para a qualidade geral do serviço, é feito um esforço no sentido de receber novos componentes em detrimento da qualidade dos já hospedados localmente. Os nós que cooperam na coligação maximizam o número de execuções para-lelas entre componentes paralelos que compõem o serviço, com o intuito de reduzir atra-sos de execução. O desenvolvimento desta tese conduziu ao modelo proposto e aos resultados apresenta-dos e foi genuinamente suportado por levantamentos bibliográficos de trabalhos de in-vestigação e desenvolvimento, literaturas e preliminares matemáticos. O trabalho tem também como base uma lista de referências bibliográficas.

Dimensionamento de Sistemas de Compensação do Fator de Potência com Filtragem Passiva de Harmónicos

A eficiência energética tem um papel de importância crescente devido a questões ambientais e ao aumento dos custos energéticos. Recentemente foram tomadas medidas para regular o consumo e o fornecimento de energia reativa em Portugal, que tornaram mais rigorosas as condições de faturação. O custo crescente da energia e a implementação das smart grids apontam para um futuro de maior rigor sobre a utilização da energia reativa. Não será de estranhar que as regras de faturação sejam mais severas daqui a uns anos. O desenvolvimento tecnológico nas áreas da análise da energia e nas formas de controlo da compensação de energia reativa permitem resultados muito mais eficazes que aqueles apresentados pelos vulgares sistemas a contactores que constituem a maioria dos cenários. Apesar de terem um custo inicial superior, os sistemas de compensação do fator de potência com filtragem passiva de harmónicos, desde que projetados corretamente, trazem vantagens evidentes na sua exploração a longo prazo. Com este trabalho pretende-se promover a sensibilização para o uso de sistemas mais eficientes na compensação de energia reativa e para que estes sejam projetados mais à medida das necessidades de cada local. Também se demonstra a extrema importância da adequação destes sistemas à qualidade de energia do local, principalmente em termos de conteúdo harmónico. Desta forma, os sistemas serão mais flexíveis em termos de utilização e possibilitam a sua adaptação às necessidades mesmo que as regras de faturação de energia reativa se tornem mais rigorosas.

Plataforma de Dados de Saúde - Portal Institucional

O presente documento de dissertação retrata o desenvolvimento do projeto PDS-Portal Institucional cujo cerne é um sistema para recolha, armazenamento e análise de dados (plataforma de Business Intelligence). Este portal está enquadrado na área da saúde e é uma peça fundamental no sistema da Plataforma de dados da Saúde, que é constituído por quatro portais distintos. Esta plataforma tem como base um sistema totalmente centrado no utente, que agrega dados de saúde dos utentes e distribui pelos diversos intervenientes: utente, profissionais de saúde nacionais e internacionais e organizações de saúde. O objetivo principal deste projeto é o desenvolvimento do PDS-Portal Institucional, recorrendo a uma plataforma de Business Intelligence, com o intuito de potenciar os utilizadores de uma ferramenta analítica para análise de dados. Estando a informação armazenada em dois dos portais da Plataforma de dados da Saúde (PDS-Portal Utente e PDS-Portal Profissional), é necessário modular um armazém de dados que agregue a informação de ambos e, através do PDS-PI, distribua um conjunto de análises ao utilizador final. Para tal este sistema comtempla um mecanismo totalmente automatizado para extração, tratamento e carregamento de dados para o armazém central, assim como uma plataforma de BI que disponibiliza os dados armazenados sobre a forma de análises específicas. Esta plataforma permite uma evolução constante e é extremamente flexível, pois fornece um mecanismo de gestão de utilizadores e perfis, assim como capacita o utilizador de um ambiente Web para análise de dados, permitindo a partilha e acesso a partir de dispositivos móveis. Após a implementação deste sistema foi possível explorar os dados e tirar diversas conclusões que são de extrema importância tanto para a evolução da PDS como para os métodos de praticar os cuidados de saúde em Portugal. Por fim são identificados alguns pontos de melhoria do sistema atual e delineada uma perspetiva de evolução futura. É certo que a partir do momento que este projeto seja lançado para produção, novas oportunidades surgirão e o contributo dos utilizadores será útil para evoluir o sistema progressivamente.

A plataforma Moodle no 1º ciclo do ensino básico e no ensino superior

Actualmente é indiscutível o papel das TIC como recurso pedagógico no processo de ensino-aprendizagem. Esta integração implica riscos, desafios, promessas e novas oportunidades que permitem a criação de um cenário educacional mais diversificado, mais aberto, mais comunicativo e mais abrangente. Esta comunicação apresenta dois casos de aplicação das TIC com recurso à plataforma Moodle: no 1º ciclo do Ensino Básico e no Ensino Superior. Esta mostrou ser uma plataforma flexível, pois adapta-se a destinatários com necessidades e objectivos diferentes, e que promove entusiasmo e motivação para a aprendizagem melhorando as práticas que se desenvolvem nas aulas.

Reabilitação do Aeroporto de Ondjiva em Angola

Com o progresso da tecnologia aeronáutica, a deslocação de pessoas e bens tornou-se bastante acessível para variados pontos de mundo, com espaço de tempo muito reduzido. Um dos motores essenciais deste avanço, concernente à mobilidade, é o transporte aéreo e a sua evolução. Este tipo de transporte requer a máxima segurança, sendo que um único acidente pode gerar centenas de vítimas. Atendendo a estas condições, a qualidade dos pavimentos aeroportuários é de grande importância para a segurança da movimentação das aeronaves em solo. Mas, por razões económicas e por vezes de espaço, perspetivas de novas construções perdem viabilidade comparativamente a soluções de reabilitação. A posição geográfica do aeroporto de Ondjiva faz com que seja um importante ponto de passagem entre a África do Sul e a Namíbia e, prevê-se que o número de voos que se efetuam no aeroporto cresça, sendo que o país está numa fase de grande evolução. O presente trabalho visa o conhecimento do processo de dimensionamento para pavimentos aeroportuários e soluções de correção para anomalias que possam apresentar, aplicando-os ao aeroporto de Ondjiva, em Angola. Atualmente, o aeroporto revela um grande desgaste das pistas de táxi, inadaptabilidade das cabeceiras face às cargas estáticas a que são submetidas e, largura insuficiente da pista para a aeronave de projeto, ou aeronave crítica, atendendo ao regulamento da ICAO (International Civil Aviation Organization). Para melhorar o conforto, a segurança e eficiência dos serviços aéreos, o dimensionamento do aeroporto deve obedecer aos princípios e regras da ICAO. Pretende-se também a modelação de uma solução de reforço para o pavimento existente, para que não seja necessário construir um aeroporto de raiz, minimizando custos. Após a realização do dimensionamento, foi estudada a sinalização horizontal e luminosa da pista, para que esteja em conformidade com as suas novas medidas.

Holistic Analysis for Fork-Join Distributed Tasks supported by the FTT-SE Protocol

11th IEEE World Conference on Factory Communication Systems (WFCS 2015). 27 to 29, May, 2015, TII-SS-2: Scheduling and Performance Analysis. Palma de Mallorca, Spain.

Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures supported by an FTT-SE Network

Distributed real-time systems such as automotive applications are becoming larger and more complex, thus, requiring the use of more powerful hardware and software architectures. Furthermore, those distributed applications commonly have stringent real-time constraints. This implies that such applications would gain in flexibility if they were parallelized and distributed over the system. In this paper, we consider the problem of allocating fixed-priority fork-join Parallel/Distributed real-time tasks onto distributed multi-core nodes connected through a Flexible Time Triggered Switched Ethernet network. We analyze the system requirements and present a set of formulations based on a constraint programming approach. Constraint programming allows us to express the relations between variables in the form of constraints. Our approach is guaranteed to find a feasible solution, if one exists, in contrast to other approaches based on heuristics. Furthermore, approaches based on constraint programming have shown to obtain solutions for these type of formulations in reasonable time.

A module for the FTT-SE protocol in ns-3

Demo in Workshop on ns-3 (WNS3 2015). 13 to 14, May, 2015. Castelldefels, Spain.

Multi-robot cooperative stereo for outdoor scenarios

13th International Conference on Autonomous Robot Systems (Robotica), 2013

Calibration Method for Underwater Visual Ground-Truth System

This work presents an automatic calibration method for a vision based external underwater ground-truth positioning system. These systems are a relevant tool in benchmarking and assessing the quality of research in underwater robotics applications. A stereo vision system can in suitable environments such as test tanks or in clear water conditions provide accurate position with low cost and flexible operation. In this work we present a two step extrinsic camera parameter calibration procedure in order to reduce the setup time and provide accurate results. The proposed method uses a planar homography decomposition in order to determine the relative camera poses and the determination of vanishing points of detected lines in the image to obtain the global pose of the stereo rig in the reference frame. This method was applied to our external vision based ground-truth at the INESC TEC/Robotics test tank. Results are presented in comparison with an precise calibration performed using points obtained from an accurate 3D LIDAR modelling of the environment.

Estudo e Projeto de uma variante urbana no Concelho de Cinfães

A criação de infraestruturas passa pela construção de estradas que ligam pontos estratégicos, permitindo acesso a bens e serviços, de forma cómoda e segura. No desenvolvimento deste trabalho é abordado o estudo e projeto de uma variante urbana no concelho de Cinfães, nas especificidades de traçado, pavimentos e sinalização. Inicia-se por uma apresentação sobre o trabalho, os objetivos, estrutura e metodologia utilizada na sua elaboração. São apresentados os softwares utilizados, como editores de imagem (Google Earth, Microsoft ICE e Caesium) que permitem obter e trabalhar imagens panorâmicas, o Civil 3D que possibilita a realização ágil de um projeto de vias, e o Alize-LCPC que determina as caraterísticas de dimensionamento de um pavimento flexível. São apresentados os estudos necessários para a construção da variante em questão passando pela localização da via, o trabalho sobre o levantamento topográfico fornecido pela Câmara Municipal, condicionantes de traçado e serviços afetados. Posteriormente, são abordados alguns conceitos teóricos como geometria do traçado, velocidade, tráfego e visibilidade. Descrevem-se as caraterísticas geométricas de infraestruturas rodoviárias a conhecer anteriormente à realização de um projeto de execução de uma via, como o traçado em planta (alinhamentos retos, curvas, raios, sobreelevação, sobrelargura), perfil longitudinal (trainéis, inclinações, concordâncias verticais) e perfil transversal (faixa de rodagem, bermas, valetas e taludes). É realizada ainda uma apresentação sobre os elementos integrantes de uma plataforma rodoviária e passeio, os seus critérios de dimensionamento, como caraterização do tráfego, temperaturas de serviço e deformações, assim como os elementos teóricos para o estudo de drenagem (período de retorno, precipitação e tipos de dispositivos). São ainda apresentadas as caraterísticas gerais de um projeto de sinalização e segurança, enunciando as marcas rodoviárias e a sinalização vertical. Termina-se apresentando as soluções encontradas e os meios utilizados, para a elaboração do projeto de uma via nova, alargamento de via existente e requalificação de pavimento de um troço de ligação à EN222, expondo ainda as conclusões obtidas na realização do projeto com propostas para desenvolvimento futuros.

Optimização do Processo de Maquinagem de Componentes para a Indústria Automóvel

A indústria automóvel exige, em geral, elevados índices de produtividade e qualidade. Para corresponder às exigências deste tipo de indústria, são requeridos métodos avançados de produção, tentando eliminar ao máximo operações que não gerem valor acrescentado e que possam introduzir problemas no processo de garantia da qualidade. A maquinagem por arranque de apara é um processo utilizado de forma intensiva na indústria automóvel. No entanto, enquanto em componentes críticos como o motor, os processos estão já altamente otimizados, o mesmo não se verifica na maior parte dos sistemas periféricos, normalmente realizados por empresas mais pequenas que gravitam em torno dos principais fornecedores da cadeia de produção de automóveis. Os sistemas responsáveis pela movimentação dos limpa pára-brisas e elevação dos vidros, entre outros, encontram-se neste grupo. Este trabalho visa essencialmente otimizar o processo de maquinagem de componentes periféricos de automóveis, sujeitos a diferentes operações em vários planos. No entanto, e tal como em muitas outras situações relacionadas com a variedade de versões existentes na indústria automóvel relativamente a cada sistema, pretende-se que o processo seja suficientemente versátil para poder ser aplicado em vários componentes de uma mesma família de produtos, necessitando de um número de ajustes o mais baixo possível. O estudo passou por uma análise profunda das similaridades geométricas dos diferentes componentes, análise dos planos de maquinagem de cada componente, operações envolvidas, elencagem da necessidade específica de ferramentas, elaboração de gabaritos de fabrico e apresentação da solução final, a qual passa pela introdução de um 4º eixo e do seu controlo através do sistema CNC já existente, assim como pela elaboração de novos programas.

Aperfeiçoamento dos Métodos Utilizados, para a Orçamentação e Planeamento de Obras Rodoviárias

Este relatório foi realizado no âmbito da unidade curricular de DIPRE (Dissertação/Projecto/Estágio) lecionada no Mestrado em Engenharia Civil – Infraestruturas, no Instituto Superior de Engenharia do Porto. O estágio foi realizado na Divisão Municipal de Obras e Iluminação Pública, na Câmara Municipal do Porto. Neste relatório procurou-se descrever e caracterizar todos os tipos de pavimentos, desenvolver e estudar novas técnicas de orçamentação e planeamento, e ainda analisar vários casos para mostrar a validade do que se realizou. Este relatório inicia-se com uma primeira parte de âmbito teórico, em que se faz referência aos diferentes tipos de pavimentos, analisando-se o seu comportamento, execução, patologias e métodos de dimensionamento. Para além disso faz-se a interpretação do Decreto-Lei nº 163/2006 e das questões de mobilidade urbana. Para o estágio foram necessárias diversas ferramentas de trabalho, não só fornecidas pela Divisão Municipal de Obras e Iluminação Pública, mas também propostas e exploradas pelo aluno. Com estas ferramentas conseguiu-se desenvolver um novo método de orçamentação, estudando os Rendimentos dos operários para um maior rigor nas estimativas de custo efetuadas. As soluções que se apresentam para mostrar o trabalho desenvolvido foram escolhidas de acordo com a sua importância e abrangência para demonstrar tudo o que foi acompanhado e realizado durante o estágio. Começando pela Rua do Dr. Magalhães Lemos, que foi selecionada porque houve a oportunidade de acompanhar e fiscalizar uma obra que contempla a execução de dois pavimentos distintos, o pavimento flexível e o rígido, em Betão Armado Contínuo. Optou-se também por selecionar dois casos de melhoria da acessibilidade no centro da cidade, porque foram dois projetos desenvolvidos pelo aluno em que se conseguiu explorar as diferentes decisões que teve de se tomar. Por fim, apresenta-se o estudo do dimensionamento da Rua de Santo Ildefonso de acordo com as diretrizes da Câmara Municipal do Porto no percurso académico.

Embalagens Flexíveis: estudo do processo de reticulação de adesivos e do coeficiente de atrito

A dissertação foi realizada em ambiente industrial, mais precisamente na empresa Monteiro, Ribas – Embalagens Flexíveis, S.A.. Esta empresa dedica-se à impressão e laminagem de filmes, assim como à confeção de sacos. Os seus produtos são direcionados na sua maioria para a indústria alimentar, exportando mais de 50% da sua produção, e dizem respeito a complexos (dois ou mais filmes unidos pela presença de um adesivo) que podem possuir impressão ou não. Estes complexos podem ser enviados para o cliente em bobina ou já em saco. Os objetivos propostos pela empresa diziam respeito a estudos relacionados com a força de laminagem dos complexos, com o coeficiente de atrito dos mesmos e com a identificação dos espetros dos componentes dos adesivos, assim como o estudo do processo de reticulação dos mesmos por espetrofotometria de Infravermelho. Relativamente aos resultados obtidos verificou-se que tanto a tinta como os metalizados influenciam negativamente a força de laminagem. Por sua vez o coeficiente de atrito é afetado por vários fatores. Através dos ensaios experimentais verificou-se que o adesivo, a tinta e o verniz mate favorecem o aumento do valor do COF. Além disso, nos complexos em que se utilizaram filmes de polietileno de maior espessura obtiveram-se valores de COF mais baixos, e no que diz respeito à temperatura e à tensão de enrolamento, verificou-se que valores mais elevados e muito baixos da primeira traduzem-se num aumento do valor do COF e uma tensão de enrolamento maior também tem o mesmo efeito. Relativamente ao tipo de filme impresso, substratos com maior energia superficial atraem mais o agente de deslizamento (slip). Por último, não se conseguiu perceber qual o tipo de adesivo (com ou sem solvente) que tem maior impacto no COF uma vez que em 55% dos casos o valor do COF é superior nas amostras que foram complexadas com adesivo sem solvente e em 45% o COF era superior nas amostras complexadas com adesivo base solvente. No que diz respeito aos espetros obtidos verificou-se que a reticulação dos adesivos é identificada pela diminuição da extensão do pico correspondente à ligação N=C=O.

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.