No description available.

No description available.

No description available.

No description available.

No description available.

No description available.

Os robôs móveis omnidirecionais para aplicações industriais estão em grande crescimento como se pode constatar pelos novos modelos de marcas consagradas como a KUKA. No entanto os custos associados ainda são muito elevados. Neste projeto pretende-se desenvolver um robô móvel omnidirecional mas com conceitos Lean, ou seja usando sensores e atuadores adequados de modo a ter-se um produto a custos adequados ao mercado das pequenas e médias empresas e não apenas às grandes empresas. O estudante contribuirá para o projeto com o desenvolvimento de um seguidor de caminhos omnidirecional e de uma interface Canopen com os drivers que serão utilizados. O código desenvolvido será em linguagem C++ e em ROS.

In today's fast moving world, it is a challenge for any company to continuously maintain and improve the quality and efficiency of software systems development. In many software projects, testing is neglected because of time or cost constraints. This leads to a lack of product quality, followed by customer dissatisfaction and ultimately to increased overall quality costs. Additionally, with the increasingly more complex software projects, the number of hours spent on testing increases as well, but without the support of suitable tools, the test efficiency and validity tends to decline.Some software testing tasks, such as extensive low-level interface regression testing, can be laborious and time consuming to do manually. In addition, a manual approach might not always be effective in finding certain classes of defects. Test automation offers a possibility to perform these types of testing effectively. Once automated tests have been developed, they can be run quickly and repeatedly. However, test automation systems usually lack reporting, analysis and meaningful information about project status.The end goal of this research work is to create a prototype that can create and organize test batteries by recording user interaction, reproduce the recorded actions automatically, detect failures during test execution and generate reports, while also setting up the test environment, all in a automatic fashion and develop techniques to create more maintainable test cases.This tool can help bring technical advantage in automated web testing by creating new and more maintainable recorded test cases with minimal user action and allow testers to better evaluate the software project status.

O número de utilizadores da Internet continua a aumentar todos os anos e a Internet é cada vez mais uma ferramenta diária na vida de cada indivíduo, utilizada como instrumento de trabalho ou de entretenimento. Contudo, ao navegar na Internet, os utilizadores tornam-se possíveis alvos de ataques informáticos um vez que efetuam transações de dados, muitas vezes privados e sensíveis, com servidores remotos.Entre os diferentes ataques informáticos existentes, destaca-se o ataque MitB que deu origem ao tema desta dissertação. Os ataques MitB são realizados com recurso a Malware instalado e em execução nos computadores dos utilizadores, que tem acesso às informações das janelas dos navegadores de Internet - por exemplo através de bibliotecas de funções do sistema operativo ou até recorrendo a extensões dos navegadores de Internet. Estes ataques utilizam âncoras do DOM para identificar as secções de uma página web onde pretendem atacar - recolhendo dados ou modificando a própria página. O resultado do ataque será diretamente influenciado pela capacidade do Malware em identificar os pontos de ataque numa determinada página web.O Polimorfismo é um conceito geral que pode ser aplicado a páginas web como uma ferramenta para neutralizar e derrotar este tipo de ataques informáticos, tal como foi documentado pela empresa Shape Security, Inc. em 2014. Aplicando técnicas de polimorfismo a páginas web, as respostas de um servidor serão textualmente diferentes entre si, mas o resultado visual apresentado ao utilizador será sempre o mesmo. Concretamente, os valores dos atributos estáticos e a estrutura dos documentos HTML poderão ser modificados no servidor, criando assim versões polimorfas de uma página web. Estas transformações podem ser realizadas em tempo real no servidor ou pré-calculadas. Desta forma, nunca dois documentos HTML serão textualmente iguais, tornando as páginas em alvos em movimento, dificultando os ataques MitB. Este nível de proteção é necessário uma vez que todas as alterações da página realizadas pelo atacante são locais e portanto difíceis de detectar pelas estruturas de segurança e controlo implementadas nos servidores dos fornecedores dos serviços.Neste dissertação, pretende-se desenvolver uma ferramenta baseada em polimorfismo para proteger páginas web e os seus utilizadores dos ataques MitB que recorrem a âncoras do DOM. Esta ferramenta será avaliada em precisão e eficiência. A precisão será avaliada comparando a lista de erros e de avisos gerada pela navegador de Internet para a página original e as várias versões polimorfas produzidas, enquanto que a eficiência será calculada recorrendo a tentativas automáticas de alterações indevidas das páginas protegidas com a ferramenta desenvolvida. / The number of Internet users keeps growing every year. Moreover, the Internet is becoming a daily tool, which impacts the individual's lives used either as a work tool or for entertainment purposes. However, by using it, people become possible targets for cyber attacks as they keep exchanging data, sometimes sensitive and private data, with remote servers.Among all the different attacks types, MitB is the reason behind the genesis of this thesis subject. MitB attacks are performed by a computer program running on user's computer that is commonly known as Malware, which has access to what happens inside a browser window. It can be a system library or even a browser extension programmed to, automatically, misrepresent the source code of the client-side server response, and other information stored in user's browsers. They rely on markup and DOM anchors to identify sections of a web page to attack. The end result of an attack will be dictated by the malware's ability to successfully identify the right location on the web page to perform the attack.Polymorphism is a broad concept that can be applied to web pages as a tool to both neutralize and defeat such kind of attacks, as documented by Shape Security, Inc. in 2014. Applying polymorphic techniques to web pages, the server response will be textually different between requests, but the visual display to the user will always be the same. That is, the values of static attributes and the structure of HTML documents may be modified on the server immediately before responses are sent off, creating a polymorphic version of the web page, or by pre-building this new versions on the server to decrease the real time computational costs. Therefore, no two HTML documents will be textually the same, turning web pages in somehow a moving target against MitB attacks. This level of protection is necessary since all changes are made locally, client side, making their detection difficult by control and security structures implemented on the service provider's servers.In this thesis, we aim to develop a tool based on polymorphism to protect web pages and users from MitB attacks based on markup and DOM anchors. This tool will be evaluated by accuracy and efficiency. The first metric will be evaluated by recording and comparing the list of errors and warnings generated by original web pages and by their polymorphic versions created with our tool. The efficiency will be evaluated by running automated attempts for tampering web pages protected by our tool.

O fornecimento de um sistema personalizável permite que clientes e parceiros expandam as funcionalidades do produto para abranger as suas necessidades e os seus objetivos específicos. Mas as alterações ou adições de funcionalidades ao sistema-base requerem um profundo conhecimento da sua estrutura e do seu funcionamento, assim como competências técnicas que garantam alterações totalmente funcionais. Com o intuito de minimizar as dificuldades inerentes ao processo de desenvolvimento e teste destas customizações, os fornecedores de software disponibilizam ferramentas e documentação de suporte.O principal foco do presente trabalho consiste na análise de projetos de customização, suas ferramentas e documentação de suporte ao desenvolvimento, para a resolução ou minimização das dificuldades e problemas do processo de customização. Através da definição de uma estratégia de suporte à customização que propõe a extracção de conhecimento como forma de documentação orientada pelos conceitos dos Collective Knowledge Systems. E uma ferramenta que aumenta a simplicidade e a fiabilidade do processo apresentando de uma forma intuitiva ao utilizador a análise do código produzida pelo compilador.O presente trabalho contempla ainda a implementação dessa estratégia de suporte ao processo de customização do Manufacturing Execution System (MES) da Critical Manufacturing (CMF), com vista a validar a sua eficácia.O Critical Manufacturing MES é um sistema de informação personalizável que realiza a gestão das operações em ambientes avançados de fabricação garantindo um elevado desempenho e competitividade. A CMF garante a personalização do sistema para corresponder aos requisitos dos clientes e parceiros, mas a complexidade inerente à oferta de um sistema completo e competitivo implica uma estratégia de apoio à customização que garanta um processo simples, rápido e fiável.Os resultados esperados para o presente trabalho, e consequentes da definição de uma estratégia de apoio à customização de software são: (1) uma ferramenta e documentação de apoio que orientem os clientes e parceiros no seu processo de customização e (2), um aumento da confiança e eficiência dos clientes e parceiros no desenvolvimento das suas personalizações através de um processo mais rápido e fiável. A estratégia de apoio à customização definida procura ser a mais abrangente e genérica possível de forma a facilitar a sua adoção por outras entidades. / Providing a customizable system allows customers and partners to expand product functionality to meet their specific needs and goals. But the changes or additions of functionalities to the base system require a deep knowledge of its structure and functionality, as well as technical skills that ensure fully functional modifications. In order to minimize the inherent difficulties of the development and testing process of these customizations, software suppliers provide support tools and documentation.The main focus of the present work is the analysis of customization projects, their support tools and documentation, to solve or minimize the customization process difficulties and problems. Through the definition of a customization support strategy that proposes knowledge extraction as a kind of documentation guided by the Collective Knowledge Systems concepts. And a tool that improves the process simplicity and reliability due to displaying intuitively the compilers code analysis to the user. The present work also covers the implementation of this support strategy to the process of customization of the Manufacturing Execution System (MES) of Critical Manufacturing (CMF), in order to validate its effectiveness.Critical Manufacturing MES is a customizable information system that performs operations management in advanced manufacturing environments while ensuring high performance and competitiveness. CMF provides system customizations to meet customer and partner requirements, but the inherent complexity in offering a complete and competitive system implies a customization support strategy that ensures a simple, fast and reliable process.The expected results for the present work, and following the definition of a software customization support strategy are: (1) a tool and documentation that support and guide customers and partners in their customization process, and (2) an increase in the confidence and efficiency of customers and partners on the development of their customizations through a more rapid and efficient process. The customization support strategy seeks to be as comprehensive and generic as possible to facilitate its adoption by other entities.