Família de DSLs para integrated modular avionics

Na atualidade existe a necessidade de produzir novos aviões de forma rápida, eficiente e económica com o objetivo de abrir novas rotas de voo, expansão das já existentes e substituição de aviões em fim de vida útil. Neste contexto, e sem nunca deixar de cumprir os apertados requisitos do domínio que incluem a exigência de elevada qualidade, a indústria adotou a arquitetura IMA que permite executar várias aplicações aviónicas num único sistema de computação partilhado. Com esta arquitetura, o desenvolvimento do software para as aeronaves ganhou uma elevada relevância, sendo necessário gerar código automaticamente, reutilizar código já testado proveniente de outras aplicações anteriormente desenvolvidas e garantir o mais cedo possível que o software desenvolvido se encontra de acordo com os standards. Apesar da complexidade do domínio, desenvolveu-se uma ferramenta que permite produzir a estrutura do código de novas aplicações para a aviónica. Aferramenta lida com a variabilidade das diversas linhas de produto e reduz o tempo de desenvolvimento. Uma DSL poderia ser uma solução apropriada, pois permite cobrir diversos requisitos exigidos, no entanto, esta solução não é exequível porque seria necessário produzir uma linguagem para cada configuração de software aviónico diferente se pretendêssemos tirar partido da especificidade. Com esta dissertação, solucionou-se esta dificuldade com recurso à noção de família de DSLs. Trata-se de um conjunto de linguagens para um domínio específico, que apresentam um conjunto comum de conceitos chave, mas que adaptam alguns desses conceitos para cumprir a variabilidade dos requisitos. Utilizou-se a abordagem MDD para desenvolver um gerador automático de DSLs que é capaz de produzir a linguagem desejada de acordo com a configuração de software pretendida para a partição pertencente a um módulo aviónico. As linguagens geradas apresentam um nível de usabilidade adequada para o domínio, bem como têm a capacidade de validar as construções efetuadas usando a DSL e produzir os artefactos pretendidos.

Criação de software para análise do batimento ciliar em peixe-zebra

O peixe-zebra é utilizado como modelo vertebrado para estudos in vivo de diversas patologias de origem genética. Neste trabalho pretendeu-se estudar a discinesia ciliar primária através do estudo in vivo do organizador da esquerda-direita destes peixes, conhecido por vesícula de Kupffer. Em particular, após análise de sequências de imagens captadas a alta velocidade, avaliou-se o com-portamento dinâmico de cílios normais e comparou-se com o de cílios com alte-rações genéticas com o objectivo de melhor compreender os processos que in-fluenciam a localização assimétrica dos órgãos internos, associados a esta doen-ça. De vídeos obtidos por microscopia de alta velocidade do interior da vesí-cula de Kupffer foram analisados 32 cílios, sendo 8 normais e os restantes cílios pertencentes a três alterações genéticas diferentes: subexpressão de Pkd2, so-brexpressão de Arl13b e mutação no gene deltaD. Para cada cílio calculou-se a frequência de batimento e caracterizou-se quantitativamente o movimento. Esta última análise teve como base a segmentação manual do cílio em quatro pontos definindo a base, o meio e a ponta. De seguida, estudou-se a dinâmica de cada uma das rectas constituídas por estas três estruturas ao longo do tempo. Com recurso à análise estatística ANOVA podemos comprovar diferenças no movi-mento entre os cílios alterados quando comparados com os normais. A análise da frequência demonstrou que todos os cílios estudados possu-em uma frequência média 34,9 Hz. Demonstrou-se ainda que, quando compa-rados com cílios normais, os cílios Pkd2 possuem um movimento 60% mais rí-gido, os Alr13b são caracterizados por amplitudes angulares 26% superiores no seu movimento e, por fim, a relação entre as amplitudes base/meio é 23% supe-rior nos cílios Delta D. Para implementar estes estudos, desenvolveu-se uma ferramenta baseada num plugin para ImageJ conjuntamente com códigos em R, que poderá vir a ser utilizada em investigações da discinesia ciliar primária em peixes-zebra.

Modelação não linear de estruturas metálicas e mistas em situação de incêndio no software OpenSees

Os incêndios em edifícios representam um fenómeno que pode ter consequências devastadoras quando não controlado, não só em termos de perdas de vidas humanas, como em termos económicos. No passado, a ocorrência de incêndios de grandes dimensões mostrou os efeitos do fogo descontrolado nos edifícios, assim como a ineficiência dos meios de segurança ativa ao fogo. Nas últimas duas décadas, estas questões motivaram o estudo e compreensão da ação dos incêndios nas estruturas dos edifícios. Neste trabalho estuda-se a modelação da ação do fogo em estruturas metálicas e mistas, com o objetivo de contribuir para a sua melhor caracterização. A presente tese foca-se na validação e compreensão da implementação de análises termo-mecânicas a estruturas mistas no software de elementos finitos OpenSees (Open System for Earthquake Engineering Simulation), contribuindo assim para futuros estudos, não só de análises de estruturas mistas sujeitas a incêndio, mas também de análises de estruturas mistas sujeitas a eventos consecutivos, como sismo seguido de incêndio. Neste trabalho é feita uma breve descrição do fenómeno fogo, assim como dos processos inerentes à dinâmica de um incêndio que constituem uma fonte de incerteza para a modelação de cenários de incêndio num edifício. Posto isto, são abordados alguns modelos de incêndios presentes nos Eurocódigos, assim como o recente modelo de fogos móveis(“Travelling fires”). São realizados exemplos de aplicação no software e dois casos de estudo. O primeiro consiste na modelação de dois ensaios ao fogo realizados na Alemanha em 1986 em estruturas metálicas à escala 1/4. O segundo consiste na modelação de um ensaio ao fogo a uma viga de betão armado simplesmente apoiada, realizado no Instituto Superior Técnico em 2010. Os modelos numéricos desenvolvidos no OpenSees contabilizam as não linearidades físicas e geométricas, com elementos finitos de plasticidade distribuída e com uma formulação baseada em deslocamentos. Os resultados numéricos são então comparados com os experimentais, de modo a validar as análises termo-mecânicas no OpenSees.

A solution for estimates in software development projects

The Corporate world is becoming more and more competitive. This leads organisations to adapt to this reality, by adopting more efficient processes, which result in a decrease in cost as well as an increase of product quality. One of these processes consists in making proposals to clients, which necessarily include a cost estimation of the project. This estimation is the main focus of this project. In particular, one of the goals is to evaluate which estimation models fit the Altran Portugal software factory the most, the organization where the fieldwork of this thesis will be carried out. There is no broad agreement about which is the type of estimation model more suitable to be used in software projects. Concerning contexts where there is plenty of objective information available to be used as input to an estimation model, model-based methods usually yield better results than the expert judgment. However, what happens more frequently is not having this volume and quality of information, which has a negative impact in the model-based methods performance, favouring the usage of expert judgement. In practice, most organisations use expert judgment, making themselves dependent on the expert. A common problem found is that the performance of the expert’s estimation depends on his previous experience with identical projects. This means that when new types of projects arrive, the estimation will have an unpredictable accuracy. Moreover, different experts will make different estimates, based on their individual experience. As a result, the company will not directly attain a continuous growing knowledge about how the estimate should be carried. Estimation models depend on the input information collected from previous projects, the size of the project database and the resources available. Altran currently does not store the input information from previous projects in a systematic way. It has a small project database and a team of experts. Our work is targeted to companies that operate in similar contexts. We start by gathering information from the organisation in order to identify which estimation approaches can be applied considering the organization’s context. A gap analysis is used to understand what type of information the company would have to collect so that other approaches would become available. Based on our assessment, in our opinion, expert judgment is the most adequate approach for Altran Portugal, in the current context. We analysed past development and evolution projects from Altran Portugal and assessed their estimates. This resulted in the identification of common estimation deviations, errors, and patterns, which lead to the proposal of metrics to help estimators produce estimates leveraging past projects quantitative and qualitative information in a convenient way. This dissertation aims to contribute to more realistic estimates, by identifying shortcomings in the current estimation process and supporting the self-improvement of the process, by gathering as much relevant information as possible from each finished project.

Uma abordagem ágil para transformar modelos cognitivos em modelos comportamentais e de domínio

No processo de desenvolvimento de software, um dos problemas recorrentes é garantir que as expectativas das partes interessadas (stakeholders) estão a ser satisfeitas. Expectativas essas que correspondem ao comportamento do sistema. A disciplina de Engenharia de Requisitos estuda a melhor forma de capturar, especificar, validar e gerir requisitos. No entanto, os modelos utilizados que expressam os comportamentos, muitas das vezes, não são entendidos por parte dos stakeholders. Com a introdução das metodologias ágeis, que se baseiam no princípio de uma colaboração ativa e contínua dos stakeholders durante o desenvolvimento de software, os pressupostos da disciplina de Engenharia de Requisitos foram questionados e fizeram nascer novas práticas. Uma prática que emergiu foi o Desenvolvimento Orientado ao Comportamento (BDD). Surgiu com a finalidade de dar a capacidade aos stakeholders de expressarem, sob a forma textual, o comportamento que desejam para o seu software, de forma simples e sucinta. No entanto, não existindo restrições nem validações automáticas na escrita dos stakeholders, é criada a possibilidade de introdução de ambiguidade e perda de informação quando a equipa de desenvolvimento utiliza os cenários descritos. Dado este problema, propomos uma abordagem em que os stakeholders consigam especificar cenários comportamentais, de forma cognitiva, com uma representação simples, clara e mais precisa. Criamos duas linguagens, o DomainMap e o BehaviorMap, que estão relacionadas entre si: uma para representar modelos de domínio e outra para representar cenários BDD, respetivamente. Foi executada uma experiência com 15 indivíduos para comparar o esforço cognitivo na compreensão entre cenários BehaviorMap e cenários textuais e os resultados mostraram que o BehaviorMap teve melhor desempenho.

Novo Software para análise do epitélio nasal humano

A discinesia ciliar primária (DCP) resulta de disfunção ciliar no ser humano, estando associada a um conjunto de sintomas muito diversificados. É uma doença respiratória rara caracterizada por infecções respiratórias, situs inversus, infertilidade e hidrocefalia. Em Portugal não existe nenhum centro de diagnóstico da doença. Mas a inten-ção de criar um surgiu, seguindo o método de centros de diagnóstico para DCP utilizado noutros países. Este diagnóstico consiste em recolher amostras dos cílios do nariz, através do método de escovagem nasal e obter a gravação do batimento das células ciliadas por uma câmara de alta velocidade acoplada a um microscópio com objectivas de alta resolução. É possível estudar a DCP através da análise do comportamento físico dos cílios, e, para uma melhor abordagem, foi desenvolvido um programa executável, em C#, para análise destas amostras. Este, após a escolha de uma zona de interesse da sequência de imagens pelo utilizador (ROI), detecta as frequências do bati-mento ciliar, indicando uma lista com as percentagens das frequências obtidas e cria um mapa de frequências do ROI. A ferramenta permite ainda calcular o comprimento do cílio e realizar um estudo do movimento do mesmo, algo que ainda não foi abordado por outros programas. O código desenvolvido permitirá, assim, obter um diagnóstico de DCP em Por-tugal, rápido e nalguns casos com um melhor desempenho do que a inspecção visual seguida noutros centros de diagnóstico.

Plataforma online de partilha e comparação de software para análise de imagens da retina

Nesta Tese foi desenvolvida uma plataforma online multiutilizador, que tem como objetivo principal comparar algoritmos de análise de imagens para de-terminar o seu grau de eficácia. Um exemplo de aplicação é a comparação de algoritmos de análise de imagens da retina para deteção de drusas. A compa-ração é feita considerando um dos algoritmos como referência padrão e sobre o este são avaliados os restantes. O funcionamento da plataforma é semelhante à de um fórum, onde é possível a um utilizador criar tópicos publicando imagens e seu descritivo. Após a cria-ção do tópico qualquer utilizador pode visualizar o mesmo, dando a hipótese de comentar ou de acrescentar imagens processadas com os seus próprios al-goritmos de análise. Com o aumento de imagens processadas, obtém-se uma base de dados de algoritmos de análise de imagens sobre a qual é possível avaliar o seu grau de eficácia. A plataforma pretende também criar comunidades onde os utilizadores pos-sam interagir uns com os outros comentando sobre os tópicos, contribuindo assim para o melhoramento dos algoritmos. Deste modo, além de uma base de dados que qualquer utilizador pode usar, obtém-se uma fonte de informação disponibilizada por outros profissionais da área.

O uso do software de edição áudio Audacity 2.0.5: aprendizagens decorrentes da sua utilização

Contém CD com áudio como anexo

Performance of the Vitek 2 system software version 5.03 in the bacterial identification and antimicrobial susceptibility test: evaluation study of clinical and reference strains of Gram-positive cocci

Introduction. The genera Enterococcus, Staphylococcus and Streptococcus are recognized as important Gram-positive human pathogens. The aim of this study was to evaluate the performance of Vitek 2 in identifying Gram-positive cocci and their antimicrobial susceptibilities. Methods. One hundred four isolates were analyzed to determine the accuracy of the automated system for identifying the bacteria and their susceptibility to oxacillin and vancomycin. Results. The system correctly identified 77.9% and 97.1% of the isolates at the species and genus levels, respectively. Additionally, 81.8% of the Vitek 2 results agreed with the known antimicrobial susceptibility profiles. Conclusion. Vitek 2 correctly identified the commonly isolated strains; however, the limitations of the method may lead to ambiguous findings.

Arquivos bancários em Portugal: requisitos para a gestão de documentos de arquivo

Versão corrigida e melhorada após a sua defesa pública

Modelação de processos para as principais áreas de recursos humanos

Esta dissertação tem por principal objetivo propor modelos BPMN que possam representar as boas práticas em gestão recursos humanos, a fim de facilitar a identificação dos principais requisitos dos pacotes de software para a Gestão de Recursos Humanos. Assim, foram estudadas as sub-áreas recrutamento e seleção, avaliação de desempenho, formação e desenvolvimento, cálculo e pagamento de salários e recompensas, e a gestão de carreira. Para o desenho dos modelos BPMN foi adotada a metodologia design science, adequada aos projetos de investigação em tecnologias e sistemas de informação que têm por objetivo o design de artefactos a partir de bases teóricas. Os modelos desenvolvidos foram disponibilizados para avaliação por gestores e executivos da área de gestão de recursos humanos o que permitiu refinar e melhorar os mesmos.

O impacto nos requisitos de capital de uma seguradora através da implementação de uma nova politica de resseguro

Neste projeto pretende-se explicar qual a importância que uma política de resseguro, adotada por uma empresa de seguros, no contexto do Solvência II. O desenvolvimento dessa política pretenderá ajudar a Seguradora a escolher os parâmetros contratuais de resseguro mais favoráveis à empresa, assim como definir quantos e por quais Resseguradores deverá optar nos tratados de resseguro, procurando criar uma nova política de resseguro que tenha um impato diminuto nos riscos de subscrição e de contraparte, ao mesmo tempo que garanta um retorno adequado para Companhia. A escolha das melhores soluções de resseguro serão efetuadas tendo em conta o menor custo na sua contratação e a otimização nos requisitos de capital face à necessidade de subscrição de novos negócios. Será neste ponto que se irá abordar o efeito que o risco de subscrição terá nos requisitos de capital através da criação de cenários, que terão por base a alteração de vários parâmetros. Esta análise mais específica será efetuada pela primeira vez nesta Seguradora. Os cenários criados terão em vista vários aspetos para a Seguradora, desde a otimização do custo de resseguro ao crescimento da sua carteira face ao seu apetite ao risco, através da alteração nos seus tratados de resseguro, mais especificamente nos seus parâmetros. Estas novas alterações pretendem ter impato mais favorável na sua margem de solvência face às anteriores políticas de resseguro implementadas. Em suma, pretende-se desenvolver uma nova política de resseguro que ajude a Seguradora a otimizar os seus riscos de subscrição e de contraparte, tendo em conta as análises e conclusões identificadas por cada cenário e determinar qual será o efeito nos requisitos de capital no âmbito do Solvência II.

Integração de energias renováveis num modelo de edifício de Balanço Energético Quase Zero (NZEB)

Neste estudo aborda-se o novo conceito dos edifícios com necessidades quase nulas de energia (Nearly Zero Energy Buildings, NZEB) no parque edificado Europeu, nomeadamente os edifícios de habitação que serão construídos a partir de 2020. Estes edifícios terão que respeitar os requisitos mínimos de eficiência energética de modo a reduzir a dependência dos combustíveis fósseis que tem vindo a aumentar significativamente ao longo dos últimos anos. Ao longo deste trabalho foi modelado e dimensionado um edifício de habitação unifamiliar situado na zona de Lisboa e recorreu-se a técnicas e estratégias que aumentam a eficiência energética do mesmo. Este dimensionamento foi feito recorrendo ao software DesignBuilder, tendo sido em seguida efetuada uma análise energética, com recurso ao software EnergyPlus. Posteriormente à análise estar feita, realizou-se um estudo utilizando o software SolTerm para se integrar sistemas de produção de energia renovável no edifício, de modo a tentar suprir as necessidades energéticas do edifício no que se refere a aquecimento ambiente, águas quentes sanitárias (AQS) e necessidades elétricas. Para suprir as necessidades de arrefecimento e aquecimento que o sistema solar térmico não tem capacidade de suprir foi introduzida uma bomba de calor, reduzindo assim o consumo elétrico tornando o edifício mais sustentável. Já para produção de energia elétrica foi inserido um sistema solar fotovoltaico. Foi avaliada também nesta fase a relação custo-benefício da aplicação de cada um destes sistemas, de modo a escolher aquele que maximiza o suprimento das necessidades e que ao mesmo tempo é economicamente viável. Por último foi realizada uma análise crítica aos resultados obtidos e é feito o enquadramento com o que é pretendido num edifício NZEB.