Estudo de viabilidade de paralelização de códigos de análise de dados em PROOF

Dissertação de mestrado em Engenharia Informática

Secure multiParty computation protocols

Dissertação de Mestrado em Engenharia Informática

Monitoring energy consumption in android applications

Dissertação de Mestrado em Engenharia Informática

Unfuzzying fuzzy parsing

Dissertação de Mestrado em Engenharia Informática

Escalonamento de processos

Apresenta os principais conceitos de escalonamento de processos. Trata-se sobre filas de processos, a ordem como os recursos são alocados de acordo com a necessidade e/ou prioridade já estabelecida pelos processos, como essas prioridades são tratados para que tenham o máximo de utilização dos recursos como processador, memória, tempo de execução de cada processo já escalonado. Também são tratadas as políticas de escalonamento, os algoritmos que envolvem essas tarefas por parte do processador como algoritmos preemptivos, não preemptivos, escalonamentos de tempo real. O escalonamento de threads em Java também será abordado de forma resumidamente. Tais conteúdos são indicados aos alunos de graduação da área de Engenharia de Computação, Sistemas de Informação e correlatos.

Plataforma para o suporte de blended peer assisted learning

Este projecto foi realizado na Universidade da Madeira, no âmbito do Mestrado em Engenharia Informática e tem como título “Plataforma para o suporte de Blended Peer Assisted Learning”. Ao longo da nossa pesquisa sobre os vários métodos de aprendizagem online, deparamo-nos com uma grande lacuna que abrange a maior parte dos sistema de ensino assistidos por computador, ou seja, todas elas preocupam-se com a passagem de conhecimentos, mas raras são aquelas que têm em atenção o tipo de utilizador, qual a seu percurso académico e profissional, qual a metodologia que fará com que o mesmo capte melhor os conteúdos, etc. Com este objectivo em mente, e tendo em atenção as diversas plataformas e metodologias de ensino existentes, optou-se por elaborar uma arquitectura de uma plataforma capaz de centralizar na mesma, um conjunto de funcionalidades e metodologias que possibilitassem um acompanhamento mais específico do utilizador, proporcionando um maior conhecimento, através do qual poderia encaminhar o utilizador para a estratégia de aprendizagem que mais se adequasse a um utilizador com as suas características. Como se poderá constatar no decorrer desta dissertação, a plataforma desenhada e o módulo desenvolvido têm como base teórica o Peer Assisted Learning (PAL) e as suas estratégias de aprendizagem. O PAL é um conceito relativamente novo, que se encontra em plena ascensão, sendo cada vez maior o número de instituições/organizações que adoptam o PAL como metodologia de ensino para a formação dos seus membros. Este crescimento deve-se em grande parte às várias estratégias PAL que visam uma maior adequação ao tipo de utilizador, contribuindo assim para uma aprendizagem mais rápida e eficaz. Uma vez que a implementação da plataforma na sua totalidade seria de todo impossível, optouse por desenvolver apenas um dos módulos referente à estratégia de PAL – Peer Tutoring (PT). No final, o objectivo principal, passa não só por fornecer as bases necessárias ao desenvolvimento da referida plataforma, mas também pela disponibilização do módulo de PT que servirá de referência para o desenvolvimento das restantes estratégias. Tendo em atenção toda a investigação efectuada, facilmente se depreende as inúmeras vantagens que podem advir da utilização do PAL, das quais se salienta, a adequação da estratégia PAL mais indicada para cada tipo de utilizador.

WISE-MANager: criação e gestão de sessões colaborativas em redes de sensores sem fio

As redes de sensores sem fios (WSN- WSN-Wireless Sensor Network) utilizam um grande número de dispositivos sem fios (sensores), que são de baixo custo e equipados com interfaces wireless. Utilizam um conjunto de sensores autónomos que colaboram entre si para efectuar a monitorização das condições ambientais, tais como: temperatura, oxigénio, luz, humidade, pressão, gases poluentes, entre outras. Estas redes podem operar durante largos períodos de tempo, sem intervenção humana, sendo que esse tempo depende do nível de bateria desses nós. De modo a que os gestores de um Museu possam gerir de forma mais adequada as obras de arte e arquivos históricos, surge o projecto WISE-MUSE – Environmental Monitoring based on Wireless Sensor Networks, que permite implementar soluções para a monitorização museológica, com a utilização de redes de sensores sem fios. Actualmente, a colaboração entre o utilizador e a WSN é muito ténue, sendo que apenas existe colaboração entre os nós sensores. De forma a aumentar esta colaboração, e no âmbito do projecto WISE-MUSE surge o CWSN – Collaborative Wireless Sensor Network Model, que define um modelo de colaboração na rede de sensores sem fios, permitindo a utilização de sessões colaborativas para a monitorização da rede. Com o intuito de obter o máximo rendimento da rede, é necessário definir qual o deployment a utilizar. O tipo de deployment de uma WSN é a forma como os nós são distribuídos pela rede. Em zonas longínquas, ou de difícil acesso, os nós são colocados de forma aleatória, por exemplo, caiem de um avião. Nos locais de fácil acesso, podem ser colocados no local exacto. Portanto, este projecto de Mestrado de Engenharia Informática apresenta duas contribuições principais: (i) um estudo de propagação no Museu da Baleia; e; (ii) o WISE-MANager, um sistema de gestão de sessões colaborativas. De forma a definir qual o deployment da rede a instalar no Museu da Baleia, será apresentado um estudo de propagação do sinal empírico, que determinou a melhor posição física dos nós, para que a rede tenha uma boa performance. O sistema WISE-MANager permite a criação, monitorização e gestão de sessões colaborativas numa WSN baseada no protocolo Zigbee. O intuito da utilização de sessões colaborativas é proporcionar uma melhor interacção entre o utilizador e a WSN, visto que o utilizador pode personalizar o tipo de monitorização a efectuar (por nó sensor, por fenómeno ou por intervalo de tempo), e interrogar à rede e aos seus componentes, aumentando assim a flexibilidade da WSN.A gestão de redes de sensores sem fios é muito importante para que o utilizador tenha controlo sobre a mesma ao saber quais os dispositivos da rede, assim como o seu nível de energia. Por tanto, através de WISE-MANager, os gestores do Museu serão capazes de analisar a rede, detectar eventuais problemas e obter parâmetros específicos.

Implementação de um sistema autónomo para a geração de visualizações 3D de dados ambientais

Este trabalho foi realizado na Universidade da Madeira, no âmbito do Mestrado em Engenharia Informática, tendo como título “Implementação de um sistema autónomo para a geração de visualizações 3D de dados ambientais”. A visualização 3D tem vindo a ganhar terreno em áreas como o entretenimento, medicina, arquitetura e desenho de equipamentos, entre outros. Relativamente à visualização de dados ambientais (oceano e atmosfera) em 3D, esta é uma área pouco explorada. Como tal, foi proposto o estudo e criação de um sistema autónomo capaz de gerar imagens 3D de dados ambientais e disponibilizar as mesmas na web. O estudo iniciou-se com testes às ferramentas que permitem a visualização 3D de dados ambientais, de forma a escolher a que mais se adequa ao sistema a implementar. Após diversos testes às várias ferramentas, a que mais se destacou foi o IDV (Integrated Data Visualization), pelas suas funcionalidades e capacidade de ser executado de forma automática. A implementação do sistema foi efetuada ao longo de diversas etapas: pré-processamento dos dados; escolha das visualizações a disponibilizar na web; escrita do script responsável pelo processo; criação das páginas web para visualização das imagens e implementação de todo o sistema em ambiente Linux. Este sistema foi desenvolvido tendo em conta a adição de novas visualizações, assim como a alteração das visualizações existentes. A possibilidade de adicionar/alterar visualizações de forma simples também foi tida em conta, de forma a não ser necessário reestruturar todo o sistema.

Desenvolvimento de serviços de publicação de anúncios publicitários na Ad8biz

Este relatório pretende apresentar tanto o projeto desenvolvido assim como a ex-periência vivenciada durante a realização do estágio curricular de conclusão de curso do Mestrado em Engenharia Informática, da Universidade da Madeira. O objetivo de principal foi de desenvolver as minhas áreas de conhecimento, de forma a torna-las em ferramentas úteis para o âmbito profissional. Durante este estágio, foi desenvolvido um projeto de veiculação de anúncios pu-blicitários para toda a rede da empresa ad8biz. Este projeto aborda métodos e técnicas publicitárias assim como, através de Engenharia Reversa, uma possível implementação. Na realização deste projeto foram também abordadas áreas como a Engenharia de Software e Gestão de Projetos, pois foram considerados aspetos relacionados com boas práticas e metodologias de desenvolvimento de software, renegociação de requisitos, e gestão de tarefas.

Desenvolvimento de software na Ad Infinitum Business

Este relatório tem como objetivo apresentar e descrever alguns projetos realizados, metodologias utilizadas e toda a experiência que adquiri durante o meu estágio curricular para finalizar o curso de Mestrado em Engenharia Informática da Universidade da Madeira. O principal objetivo deste estágio foi experienciar um ambiente empresarial e ganhar alguma experiência profissional, algo que é bastante requisitado no mercado de trabalho nos dias de hoje. Neste relatório estão referenciadas algumas das responsabilidades que me foram atribuídas, como a liderança de uma equipa e a apresentação de algumas soluções para certos problemas técnicos, bem como a implementação das mesmas. Serão também caracterizadas e criticadas algumas decisões, procedimentos e metodologias utilizadas pela empresa que afetaram de certa forma o desenvolvimento de software de um ponto de vista geral e o próprio sucesso da empresa. Este relatório poderá servir de exemplo, não só para soluções para um problema técnico semelhante aos que aqui apresentei, mas também demonstrar o resultado de certos procedimentos e metodologias utilizadas na empresa no desenvolvimento de software.

On reducing test length for FSMs with extra states

A long-standing problem when testing from a deterministic finite state machine is to guarantee full fault coverage even if the faults introduce extra states in the implementations. It is well known that such tests should include the sequences in a traversal set which contains all input sequences of length defined by the number of extra states. This paper suggests the SPY method, which helps reduce the length of tests by distributing sequences of the traversal set and reducing test branching. It is also demonstrated that an additional assumption about the implementation under test relaxes the requirement of the complete traversal set. The results of the experimental comparison of the proposed method with an existing method indicate that the resulting reduction can reach 40%. Experimental results suggest that the additional assumption about the implementation can help in further reducing the test suite length. Copyright (C) 2011 John Wiley & Sons, Ltd.

MODEL PARTITIONS AND COMPACT TEST CASE SUITES

We present a generalized test case generation method, called the G method. Although inspired by the W method, the G method, in contrast, allows for test case suite generation even in the absence of characterization sets for the specification models. Instead, the G method relies on knowledge about the index of certain equivalences induced at the implementation models. We show that the W method can be derived from the G method as a particular case. Moreover, we discuss some naturally occurring infinite classes of FSM models over which the G method generates test suites that are exponentially more compact than those produced by the W method.

A holistic approach to model-based testing of Web service compositions

The behavior of composed Web services depends on the results of the invoked services; unexpected behavior of one of the invoked services can threat the correct execution of an entire composition. This paper proposes an event-based approach to black-box testing of Web service compositions based on event sequence graphs, which are extended by facilities to deal not only with service behavior under regular circumstances (i.e., where cooperating services are working as expected) but also with their behavior in undesirable situations (i.e., where cooperating services are not working as expected). Furthermore, the approach can be used independently of artifacts (e.g., Business Process Execution Language) or type of composition (orchestration/choreography). A large case study, based on a commercial Web application, demonstrates the feasibility of the approach and analyzes its characteristics. Test generation and execution are supported by dedicated tools. Especially, the use of an enterprise service bus for test execution is noteworthy and differs from other approaches. The results of the case study encourage to suggest that the new approach has the power to detect faults systematically, performing properly even with complex and large compositions. Copyright © 2012 John Wiley & Sons, Ltd.

Desenvolvimento de aplicações que marcam presença na web

O principal objectivo deste relatório é documentar a experiência como estagiário na empresa The Silver Factory – Marketing, Design e Gestão Comercial, Lda, no âmbito da unidade curricular de Estágio do Mestrado em Engenharia-Informática – Computação Móvel (MEI-CM). Sendo este estágio uma parte integrante para a obtenção do grau de Mestre, foram postos em prática conhecimentos adquiridos ao longo do meu percurso universitário (Licenciatura e 1º ano de Mestrado) de modo a concluir com sucesso todos os projetos que me foram propostos. Durante este estágio trabalhei na área da comunicação online, através do desenvolvimento de websites e auxiliando na gestão do alojamento dos clientes. O principal objetivo foi desenvolver um backoffice e os seus respetivos componentes. Dos vários componentes desenvolvidos os mais importantes foram o Content Management System que permite fazer a gestão do conteúdo apresentado em frontend, e o Projetct Management Tool, que permite a uma empresa gerir os seus clientes, e os projetos que desenvolve para os mesmos, com a possibilidade de visualização do progresso de desenvolvimento desses projetos utilizando um gráfico de Gantt interativo.

CultuRAM: agenda cultural da Região Autónoma da Madeira

A Região Autónoma da Madeira é uma região turística com uma oferta cultural intensa e diversificada, que é dinamizada por um considerável número de entidades. A necessidade de gerir toda essa oferta torna-se cada vez mais premente. Com esta necessidade surge o conceito de agenda cultural única, um mecanismo que congregue toda a atividade cultural desenvolvida na região. O projeto Agenda Cultural da Região Autónoma da Madeira, designado por CultuRAM, consiste numa aplicação web direcionada às entidades regionais que desenvolvam atividades no domínio da cultura. Essas entidades podem ser públicas ou privadas que estejam ligadas à promoção e divulgação de eventos culturais. Esta plataforma de gestão e divulgação de conteúdos tem por principal objetivo a centralização da gestão e divulgação da atividade cultural desenvolvida na região, posicionando-se como uma agenda cultural única. Com esta ferramenta pretende-se criar as condições necessárias aos diversos intervenientes, de modo a assegurar uma melhor oferta cultural, tanto aos residentes, como aos turistas que nos visitam. Este relatório descreve e documenta os métodos de investigação e fases de desenvolvimento do projeto, com enfase na referência e fundamentação dos modelos e tecnologias utilizadas.