User-centric product derivation in software product lines

Software Product Line (SPL) engineering aims at achieving efficient development of software products in a specific domain. New products are obtained via a process which entails creating a new configuration specifying the desired product’s features. This configuration must necessarily conform to a variability model, that describes the scope of the SPL, or else it is not viable. To ensure this, configuration tools are used that do not allow invalid configurations to be expressed. A different concern, however, is making sure that a product addresses the stakeholders’ needs as best as possible. The stakeholders may not be experts on the domain, so they may have unrealistic expectations. Also, the scope of the SPL is determined not only by the domain but also by limitations of the development platforms. It is therefore possible that the desired set of features goes beyond what is possible to currently create with the SPL. This means that configuration tools should provide support not only for creating valid products, but also for improving satisfaction of user concerns. We address this goal by providing a user-centric configuration process that offers suggestions during the configuration process, based on the use of soft constraints, and identifying and explaining potential conflicts that may arise. Suggestions help mitigating stakeholder uncertainty and poor domain knowledge, by helping them address well known and desirable domain-related concerns. On the other hand, automated conflict identification and explanation helps the stakeholders to understand the trade-offs required for realizing their vision, allowing informed resolution of conflicts. Additionally, we propose a prototype-based approach to configuration, that addresses the order-dependency issues by allowing the complete (or partial) specification of the features in a single step. A subsequent resolution process will then identify possible repairs, or trade-offs, that may be required for viabilization.

Dimensionamento mecânico de um equipamento de aproveitamento de energia das ondas pelo sistema YOYOGEN

Nos últimos anos tem havido um grande investimento nas energias renováveis tendo como principal objetivo a redução das emissões de dióxido de carbono. Em vários ramos das renováveis a tecnologia já atingiu um estado de maturidade, como no caso da energia hídrica, eólica e solar. No entanto o mesmo não se passa com a energia das ondas onde ainda não se encontrou uma solução viável, que juntamente com o ele-vado potencial para a produção de energia elétrica abre o caminho para o estudo de abordagens alternativas a esta fonte de energia. O principal objetivo deste trabalho foi o dimensionamento do sistema mecânico do equipamento de aproveitamento de energia das ondas YOYOGEN, composto por um veio e vários geradores e engrenagens planetárias. Foi utilizado o software SolidWorks® para modelar em 3D todos os componen-tes do sistema mecânico. Nos cálculos para dimensionamento das engrenagens foram utilizadas as normas Britânicas e para os cálculos dos outros componentes as fórmulas da resistência dos materiais. Os resultados obtidos mostram que embora do ponto de vista dinâmico o sistema funcione, os requisitos de projeto para que o sistema funcione submerso durante 20 anos sem manutenção resultaram numa solução com engrenagens de dimensões e peso consideráveis. Estes resultados poderão por em causa a viabilidade do projeto visto que o sistema mecânico tem de se mover dentro de água com uma largura de aproxi-madamente 4 metros e uma massa a rondar as 3 toneladas.

Uma abordagem SDN para o controlo e admissão de tráfego

Nos últimos anos tem-se verificado uma modificação nos hábitos de consumo da Internet. As suas aplicações necessitam de certas garantias que são cada vez mais exigentes e, para as acompanhar, métodos cada vez mais avançados de classificação de tráfego são utilizados de modo a lhes atribuir os seus requisitos. Este comportamento provoca no entanto um aumento da complexidade da rede, criando problemas na sua gestão e no processamento de toda a informação. Com o aumento de tráfego, a situação tende a ser cada vez pior. A solução apresentada nesta dissertação passa pela construção de duas lógicas de processamento de controladores Software-Defined Networking (SDN), que atribuem garantias às aplicações utilizando métodos de classificação de tráfego simplistas, utilizando uma metodologia first-come, first-served (FCFS), diminuindo o processamento requerido em relação a outras técnicas. Independentemente do tipo de tráfego, caso a rede consiga assegurar garantias, estas serão atribuídas. Existe um comportamento diferenciado na zona central da rede e na zona de ingresso, de modo a criar uma rede mais escalável, em que a zona de ingresso, lidando com um menor número flows, prepara-os para serem enviados para a zona central bastando a estes apenas encaminhar o tráfego para o seu destino, retirando carga desta zona onde a quantidade de flows é superior. Obtém-se assim uma rede que garante qualidade de serviço a determinados flows, evitando a utilização de técnicas pesadas ao nível de classificação, tornando-a mais escalável.

Proposta de um modelo de medição e análise da satisfação de clientes em empresas de software : caso prático do ambiente business-to-business

Os estudos da satisfação e lealdade do cliente em ambiente Business-to-Business têm emergido devido ao interesse práctico e académico. Recorreu-se a um caso práctico de uma empresa de software internacional, ESRI, a operar em Portugal com modelo de negócio B2B e comportamento de compra extensivo. Desenvolveu-se um modelo estrutural com 11 variáveis latentes: lealdade; satisfação; imagem; atmosfera; cooperação; adaptação; processos; tecnologia; orientação ao cliente; competências; colaboradores e comunicação. Foram analisadas 304 respostas ao questionário de satisfação e de seguida aplicou-se o modelo a seis grupos de clientes segmentados de acordo com a contribuição do cliente para as receitas e o comportamento no processo de decisão de compra. Recorreu-se a modelos SEM (Structural Equation Modelling) com estimação dos parâmetros através da metodologia PLS (partial Least Squares). Os resultados mostram nos seis segmentos, que os valores da empresa, a cooperação através da competência dos colaboradores e da orientação ao cliente e a tecnologia são factores mais importantes para a satisfação e lealdade dos clientes.

HEP-Frame: A software engineered framework to aid the development and efficient multicore execution of scientific code

This work was supported by FCT (Fundação para a Ciência e Tecnologia) within Project Scope (UID/CEC/00319/2013), by LIP (Laboratório de Instrumentação e Física Experimental de Partículas) and by Project Search-ON2 (NORTE-07-0162- FEDER-000086), co-funded by the North Portugal Regional Operational Programme (ON.2 - O Novo Norte), under the National Strategic Reference Framework, through the European Regional Development Fund.

Improving quality of medical service with mobile health software

An increasing number of m-Health applications are being developed benefiting health service delivery. In this paper, a new methodology based on the principle of calm computing applied to diagnostic and therapeutic procedure reporting is proposed. A mobile application was designed for the physicians of one of the Portuguese major hospitals, which takes advantage of a multi-agent interoperability platform, the Agency for the Integration, Diffusion and Archive (AIDA). This application allows the visualization of inpatients and outpatients medical reports in a quicker and safer manner, in addition to offer a remote access to information. This project shows the advantages in the use of mobile software in a medical environment but the first step is always to build or use an interoperability platform, flexible, adaptable and pervasive. The platform offers a comprehensive set of services that restricts the development of mobile software almost exclusively to the mobile user interface design. The technology was tested and assessed in a real context by intensivists.

Estudo comparativo entre as normas ISO 21931:2010, NBR 15575 e os requisitos das certificações AQUA e LEED

The construction sector is responsible for generating large environmental impacts in order to minimize these impacts, environmental standards and seals for the construction were created. This article presents a comparative study between the preliminary requirements of ISO 21931: 2010 Sustainable Building, the requirements of AQUA-HQE stamps, LEED and the Performance Standard NBR 15575: 2013. For this, a literature search was conducted to carry out a comparative analysis of the requirements of each of them in order to know those common to all of them. As a result of this work was identified that the standard of performance, the AQUA seal and LEED are well aligned with the sustainability criteria, comfort and health of the user, and has the ISO 21931 standard has some of these items as options.

Desenvolvimento de um processador VLIW

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

Estudo e implementação de testes de software em desenvolvimento ágil

Dissertação de mestrado em Engenharia de Sistemas

Frameworks no desenvolvimento de software: o caso da Elevation da PRIMAVERA BSS

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Multithreading RTOS processor design

Tese de Doutoramento Plano Doutoral em Engenharia Eletrónica e de Computadores.

Hybrid hypervisor partially deployed on FPGA

Tese de Doutoramento em Engenharia Eletrónica e Computadores.

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

Requisitos de gestão e técnicos no Laboratório de Análises das Águas do Porto à luz da norma NP EN ISO-IEC 17025

Dissertação de mestrado em Técnicas de Caracterização e Análise Química