Control and Localisation for the ISePorto Robotic Soccer Team

International Conference on Advanced Robotics, Coimbra, Portugal, Julho 2003

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

P-SOCRATES: A parallel software framework for time-critical many-core systems

Article in Press, Corrected Proof

Semi-Partitioned Scheduling of Fork-Join Tasks using Work-Stealing

13th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2015). 21 to 23, Oct, 2015, Session W1-A: Multiprocessing and Multicore Architectures. Porto, Portugal.

Vision-Based Assisted Teleoperation for Inspection Tasks with a Small ROV

It is well-known that ROVs require human intervention to guarantee the success of their assignment, as well as the equipment safety. However, as its teleoperation is quite complex to perform, there is a need for assisted teleoperation. This study aims to take on this challenge by developing vision-based assisted teleoperation maneuvers, since a standard camera is present in any ROV. The proposed approach is a visual servoing solution, that allows the user to select between several standard image processing methods and is applied to a 3-DOF ROV. The most interesting characteristic of the presented system is the exclusive use of the camera data to improve the teleoperation of an underactuated ROV. It is demonstrated through the comparison and evaluation of standard implementations of different vision methods and the execution of simple maneuvers to acquire experimental results, that the teleoperation of a small ROV can be drastically improved without the need to install additional sensors.

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.

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.

Obtenção de fotografia aérea para fins civis em Portugal, com câmara digital DMC

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gestão do Território na Área de Especialização em Detecção Remota e Sistemas de Informação Geográfica

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.

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.

Passive Fault-Tolerance Management in Component-based Embedded Systems

It is imperative to accept that failures can and will occur, even in meticulously designed distributed systems, and design proper measures to counter those failures. Passive replication minimises resource consumption by only activating redundant replicas in case of failures, as typically providing and applying state updates is less resource demanding than requesting execution. However, most existing solutions for passive fault tolerance are usually designed and configured at design time, explicitly and statically identifying the most critical components and their number of replicas, lacking the needed flexibility to handle the runtime dynamics of distributed component-based embedded systems. This paper proposes a cost-effective adaptive fault tolerance solution with a significant lower overhead compared to a strict active redundancy-based approach, achieving a high error coverage with the minimum amount of redundancy. The activation of passive replicas is coordinated through a feedback-based coordination model that reduces the complexity of the needed interactions among components until a new collective global service solution is determined, improving the overall maintainability and robustness of the system.

Orçamentação e Gestão da Reconstrução de uma Obra: Caso de estudo de um edifício

O presente relatório, desenvolvido no âmbito do estágio curricular realizado na Cociga-Construções Civis de Gaia, SA, tem como objetivo principal caracterizar as diversas etapas que constituem o desenvolvimento de uma obra, que consiste na reconstrução de um edifício. Para tal, procedeu-se à descrição e análise dos respetivos métodos organizacionais, construtivos e orçamentais aplicados na execução da obra para a Caetano Parts. O trabalho teve início com a caracterização da obra em questão e respetivo enquadramento espacial e regional. De seguida, foram descritas as principais etapas do desenvolvimento da obra, como concurso/adjudicação, preparação, contrato, execução e fecho da mesma. Não esquecendo que uma das tarefas mais importantes na fase inicial da obra, após a adjudicação, foi a organização da documentação necessária para que esta pudesse ter início. Na fase referente à execução, foram descritos de forma detalhada e acompanhados, em alguns casos, de registos de imagens, os procedimentos que constituíram as diferentes fases da obra, assim como os métodos construtivos correspondentes. O presente trabalho engloba o registo e a catalogação dos documentos necessários para as diferentes etapas da obra de reconstrução. Durante a realização das diferentes etapas e respetivo registo das mesmas, foi possível concluir que a boa qualidade da prestação de serviços por parte dos trabalhadores da empresa e dos subempreiteiros, possibilitou a concretização de uma obra com altos padrões de qualidade e de acordo com os objetivos do proprietário e da empresa responsável pela execução da mesma. Por último, a realização deste trabalho possibilitou o registo, análise e posterior reflexão sobre os procedimentos legais, logísticos e técnicos a ter em conta aquando da realização de uma obra e que são fatores fundamentais para que se possam manter os padrões de qualidade, rigor e sucesso da mesma.

Desenvolvimento de sequenciador para um Problema de Roteamento de Veículos

Este projecto tem como objectivo a optimização das rotas dos técnicos de serviço após venda da Schmitt+Sohn Elevadores, associadas à realização das manutenções preventivas a cada elemento contratado à empresa (elevadores, escadas rolantes, etc). Como tal, é necessário fazer uma distribuição dos equipamentos que se encontram em carteira, por um dos técnicos que assegura a manutenção, pelos vários dias úteis de cada mês, e pelas horas de trabalho de cada dia. Apesar do técnico ter disponíveis, por dia, 8h de trabalho, apenas 6h podem ser preenchidas com manutenções preventivas. As 2h restantes são essencialmente para possíveis manutenções correctivas para as quais o técnico seja solicitado. Caso o técnico não seja contactado para resolver nenhuma avaria, essas horas podem ser utilizadas pelo mesmo para adiantar trabalho do dia seguinte, isto é, visitar já alguns dos próximos pontos de manutenção preventiva do dia seguinte, ou para compensar trabalho que esteja atrasado. De salientar que, para cada dia, as deslocações do técnico de qualquer local ao primeiro ponto de uma rota ou de regresso do último ponto de uma rota não são contabilizadas. O trabalho desenvolvido nesta dissertação pretende dar resposta ao problema apresentado pela Schmitt+Sohn Elevadores. Para isso foi desenvolvida uma heurística para a optimização das rotas dos técnicos. Esta é baseada no conceito de “vizinho mais próximo” que procura sempre o ponto que se apresenta mais perto do último ponto que foi adicionado à rota. Com base nesta metodologia, nos processos de escolha dos pontos que formam clusters, e na selecção dos pontos iniciais de cada uma das rotas diárias, a ferramenta de optimização resultante define as rotas diárias para que o percurso efectuado por cada técnico num mês seja o menor possível. São feitas alterações às rotas definidas inicialmente quando encontrados pontos de uma mesma entrada a serem visitados em dias diferentes. Isto obrigaria o técnico a fazer duas viagens ao mesmo local. Por fim, o resultado é apresentado num documento Word a ser utilizado pelo técnico como guia diário das suas deslocações aos equipamentos que necessitam de verificações periódicas. Os resultados obtidos foram comparados com as rotas que estavam a ser usadas pela empresa, tendo apresentado resultados de melhor qualidade, constatando-se a eficiência da solução criada pelo algoritmo proposto neste trabalho.

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 Parallel Applications on Many-core Architectures

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