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.

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.

Effects of Exercise on Physical and Mental Health, and Cognitive and Brain Functions in Schizophrenia: Clinical and Experimental Evidence

Exercise promotes several health benefits, such as cardiovascular, musculoskeletal and cardiorespiratory improvements. It is believed that the practice of exercise in individuals with psychiatric disorders, e.g. schizophrenia, can cause significant changes. Schizophrenic patients have problematic lifestyle habits compared with general population; this may cause a high mortality rate, mainly caused by cardiovascular and metabolic diseases. Thus, the aim of this study is to investigate changes in physical and mental health, cognitive and brain functioning due to the practice of exercise in patients with schizophrenia. Although still little is known about the benefits of exercise on mental health, cognitive and brain functioning of schizophrenic patients, exercise training has been shown to be a beneficial intervention in the control and reduction of disease severity. Type of training, form of execution, duration and intensity need to be better studied as the effects on physical and mental health, cognition and brain activity depend exclusively of interconnected factors, such as the combination of exercise and medication. However, one should understand that exercise is not only an effective nondrug alternative, but also acts as a supporting linking up interventions to promote improvements in process performance optimization. In general, the positive effects on mental health, cognition and brain activity as a result of an exercise program are quite evident. Few studies have been published correlating effects of exercise in patients with schizophrenia, but there is increasing evidence that positive and negative symptoms can be improved. Therefore, it is important that further studies be undertaken to expand the knowledge of physical exercise on mental health in people with schizophrenia, as well as its dose-response and the most effective type of exercise.

Metodologia BIM, aplicada à preparação, controlo e gestão de obra

O âmbito deste trabalho envolve o teste do modelo BIM numa obra em construção pela Mota-Engil – Engenharia, na extração experimental de peças desenhadas de preparação e apoio à execução de obra. No capítulo 1 deste relatório são definidos o âmbito e os objetivos deste trabalho, é feito um enquadramento histórico do tema e abordados conceitos e atividades da preparação de obra, na sua forma tradicional. O estado do conhecimento da preparação de obras e mais em concreto da tecnologia BIM a nível nacional e internacional é abordado no capítulo 2. Nesse sentido procura-se definir os conceitos principais inerentes a esta nova metodologia, que passa por identificar e caraterizar a tecnologia envolvida e o seu nível de desenvolvimento. Com suporte em casos práticos de preparação de obra na sua forma tradicional, identificados e desenvolvidos no capítulo 3, foi compilado um processo tipo de peças desenhadas de suporte identificadas e caracterizadas no capítulo 4, frequentes e comuns à execução de diversos tipos de obras de edifícios. Assente na compilação baseada em casos práticos e no estudo do projeto de execução da empreitada que sustenta o presente trabalho, com base no qual o modelo BIM foi concebido, identificou-se um conjunto de peças desenhadas de preparação e apoio à execução dos trabalhos, em 2D, a extrair do modelo. No capítulo 5, é feita uma descrição do modo como foi estudado o projeto da obra, com evidência para os fatores mais relevantes, especificando os desenhos a extrair. Suportada pelo programa de modelação ArchiCAD, a extração do conjunto de desenhos identificados anteriormente foi conseguida com recurso às funcionalidades disponíveis no software, que permite a criação de desenhos 2D atualizáveis ou não automaticamente a partir do modelo. Qualquer alteração introduzida no modelo virtual é automaticamente atualizada nos desenhos bidimensionais, caso o utilizador assim o pretenda. Ao longo desse trabalho foram detetados e analisados os condicionalismos inerentes ao processo de extração, referidos no capítulo 6, para estabelecimento de regras de modelação padrão a adotar em futuras empreitadas, que possam simplificar a obtenção dos elementos desenhados de preparação necessários à sua execução. No ponto 6.3 são identificadas melhorias a introduzir no modelo. Em conclusão no capítulo 7 são abordadas especificidades do setor da construção que sustentam e evidenciam cada vez mais a necessidade de utilizar as novas tecnologias com vista à adoção de práticas e ferramentas padrão de apoio à execução de obras. Sendo a tecnologia BIM, transversal a todo o setor, a sua utilização com regras padrão na conceção dos modelos e na extração de dados, potencia a otimização dos custos, do tempo, dos recursos e da qualidade final de um empreendimento, ao longo de todo o seu ciclo de vida, para além de apoiar com elevada fiabilidade as tomadas de decisão ao longo desse período. A tecnologia BIM, possibilita a antevisão do edifício a construir com um elevado grau de pormenor, com todas as vantagens que daí advêm.

PIASA: A power and interference aware resource management strategy for heterogeneous workloads in cloud data centers

Cloud data centers have been progressively adopted in different scenarios, as reflected in the execution of heterogeneous applications with diverse workloads and diverse quality of service (QoS) requirements. Virtual machine (VM) technology eases resource management in physical servers and helps cloud providers achieve goals such as optimization of energy consumption. However, the performance of an application running inside a VM is not guaranteed due to the interference among co-hosted workloads sharing the same physical resources. Moreover, the different types of co-hosted applications with diverse QoS requirements as well as the dynamic behavior of the cloud makes efficient provisioning of resources even more difficult and a challenging problem in cloud data centers. In this paper, we address the problem of resource allocation within a data center that runs different types of application workloads, particularly CPU- and network-intensive applications. To address these challenges, we propose an interference- and power-aware management mechanism that combines a performance deviation estimator and a scheduling algorithm to guide the resource allocation in virtualized environments. We conduct simulations by injecting synthetic workloads whose characteristics follow the last version of the Google Cloud tracelogs. The results indicate that our performance-enforcing strategy is able to fulfill contracted SLAs of real-world environments while reducing energy costs by as much as 21%.

Gestão de Componentes em Dinâmico

A crescente evolução das tecnologias de informação e comunicação, aliadas ao desenvolvimento industrial, proporcionou um aumento de competitividade entre as indústrias, originando uma subida do nível da relação qualidade preço. Esta premissa causou uma maior preocupação com a procura contínua pela melhoria dos processos, de forma a aumentar as actividades de valor acrescentado, eliminando todo o tipo de desperdícios. Nesta conjuntura, a Grohe Portugal Componentes Sanitários, Lda propôs uma melhoria no âmbito da gestão de stocks de componentes existentes em dinâmico. Esta acção de melhoria passa pela definição e implementação de um método de gestão destes componentes, acompanhado por um conjunto de regras de identificação de actividades e respectivos intervenientes, por forma a optimizar os meios existentes e evitar a ocorrência de falhas de componentes nas linhas. Trata-se de um método baseado no cálculo das necessidades das linhas, que através da procura média semanal e constituição dos produtos finais define um nível de prioridade entre os componentes, identificando quais os mais requisitados pelas linhas e possibilitando a gestão do dinâmico. Na contínua tentativa de combater possíveis falhas, desenvolveu-se um sistema de gestão do tipo Kanban com a capacidade de gerir o produto semi-acabado para consumo interno. Foram, ainda, criadas melhorias que permitem um acréscimo de eficiência na gestão dos componentes em estante dinâmica, diminuindo o capital imobilizado investido em stocks, levando a um rearranjo de layouts, proporcionando melhores condições de trabalho e optimizando percursos e recursos. Descreve-se detalhadamente o processo de (i) actualização, definição e implementação do método de gestão de componentes em dinâmico, acompanhado pelo respectivo conjunto de regras, (ii) a implementação de um sistema do tipo Kanban orientado às reais preocupações da empresa, (iii) a redefinição de layouts em conformidade com a actualização dos dinâmicos e (iv) a identificação e execução de um conjunto de melhorias. Todas estas actividades acompanhadas pelo impacto financeiro na organização. Por fim, efectua-se o balanço deste projecto e sugerem-se oportunidades de melhoria.

Análise de Soluções Construtivas no Âmbito do seu Desempenho Térmico

No presente relatório de estágio académico é mencionado o trabalho desenvolvido na empresa Civigest – Gestão de Projetos, Lda. por um período de seis meses, entre Dezembro de 2012 e Junho de 2013. O relatório que se apresenta é, antes de mais, o reflexo do produtivo período passado na empresa, na qual se executou diversificadas tarefas, atribuindo-se maior ênfase ao estudo e elaboração de projetos e fiscalização de empreitadas em todas as suas componentes. Procura-se pois abordar áreas de conhecimento que têm relacionamento direto com os projetos de engenharia civil. No âmbito do planeamento em empresas de projeto de engenharia, as previsões assumem-se como uma ferramenta incontornável para o cumprimento dos objetivos. A calendarização dos projetos e o esforço dos técnicos para o seu cumprimento são fundamentais, visto que as despesas fixas desta atividade prendem-se sobretudo com o custo de mão-de-obra. Incontornavelmente ligado ao departamento de estudos e projetos encontra-se o departamento de orçamentação, auxiliando os técnicos projetistas a optar por soluções que não comprometam os valores alvo da empreitada. O relatório de estágio descreve as atividades desenvolvidas nos vários departamentos da organização, com destaque para o departamento de fiscalização de empreitadas, que tem como principais objetivos a coordenação e gestão de obras envolvendo a elaboração e aprovação de autos de medição e autos de pagamento, a verificação do estrito cumprimento dos projetos, a promoção de alterações de melhoria de projeto, a verificação das especificações técnicas dos materiais e sua correta aplicação, bem como promover um bom relacionamento e diálogo entre as partes interessadas da empreitada. A passagem pelo departamento de fiscalização de empreitadas é fulcral para uma melhor perceção das dificuldades encontradas em obra. Por outro lado, o relatório aborda outra atividade relativa à análise de soluções construtivas, visando o desempenho térmico dos edifícios. Este é o conceito do relatório de estágio onde serão apresentados alguns casos de obras iniciadas na Civigest e posteriormente acompanhadas em obra. Relativamente a este ponto serão analisadas soluções de melhoria térmica. Com menor ênfase no trabalho, mas não menos importante, referir-se-á a profissão de coordenação de segurança em obra.

ezGo: A voice operated wheelchair with biosignal monitoring for home environments

In this paper we present ezGo, an electric powered wheelchair with a speech based interface and biosignal monitoring instrumentation. The user can use the voice, a natural communication method, for controlling the chair movement and obtain information about his health. Additionally a set of semi-autonomous modes with macro recording enable the execution of navigation tasks with little effort and improved precision. The main purpose of the system is to provide severely disabled persons with an assistive device that can improve their confidence and daily independence. The obtained results on usability tests showed that users consider ezGo a valuable help on their daily tasks and a very desirable addition to standard wheelchairs.

Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional