3 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos
em Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal
Resumo:
Uma linha de produtos de software (LPS), é um conjunto de produtos que partilham funcionalidades comuns, desenvolvidos de forma sistemática a partir de um conjunto de elementos de software base da LPS. As abordagens de desenvolvimento baseado em LPS revolucionaram a forma como as organizações realizam a engenharia de software. A obtenção de economias de escala, na concepção e distribuição de novos produtos, pela reutilização dos elementos de software base da LPS e instanciação dos variantes respectivos, é um dos principais benefícios na adopção desta abordagem. Numa LPS, a arquitectura de software de referência vai para além da dicotomia desenho/ codificação da arquitectura de software tradicional. A sua documentação, inclui a representação da arquitectura de software da LPS e respectivos pontos de variabilidade, bem como a descrição do processo para instanciação dos produtos. Numa pequena e média empresa (PME), os recursos humanos, técnicos e financeiros são escassos. A viabilidade da implementação de uma LPS adequa-se num contexto de redução de custos operacionais e eficiência do processo de produção dos produtos de software. O objectivo deste trabalho é o desenvolvimento e aplicação de uma metodologia para a gestão e implementação de uma LPS, adequada à realidade de uma PME. As principais contribuições do trabalho incluem: a) uma metodologia para a implementação e gestão de uma LPS adequada a uma PME, que prevê a definição da arquitectura de software da LPS com base num conjunto de produtos já existentes, b) a representação da arquitectura de software de uma LPS, suportado por modelos UML, estendidos através de um perfil UML, baseado em 3+1 perspectivas: dos requisitos, da implementação e dos componentes de execução, sendo que a vista (+1)ou “vista produtos” é uma instanciação das restantes três vistas no contexto particular da LPS ou de um produto, num determinado momento no tempo. A metodologia proposta foi aplicada à solução ARQUO™, uma solução real e em produção em diversas organizações.
Resumo:
Orientador: Alberto Manuel Rodrigues da Silva
Resumo:
Esta tese de mestrado descreve o desenvolvimento, implementação e teste de um sistema de medição de energia concebido para um ambiente doméstico, baseado no circuito integrado medidor de energia Teridian 71M6515H. O sistema desenvolvido envia periodicamente os valores monitorizados para uma base de dados, através de uma rede sem fios com base no protocolo IEEE 802.11 (Wi-Fi). Os dados podem ser acedidos remotamente em tempo real, através de uma página na internet, onde é possível consultar a quantidade de energia consumida acumulada. Na primeira fase deste trabalho realizou-se o enquadramento do tema no contexto atual, realizando-se o estudo de alguns sistemas domésticos de monitorização do consumo de energia elétrica existentes no mercado. Numa segunda fase foi realizado o estudo dos componentes a serem utilizados, o desenho da placa de circuito impresso e o desenvolvimento do firmware, para que todo o processamento e manipulação dos dados fossem realizados pela unidade de aquisição de dados. Em seguida procedeu-se à construção da unidade de aquisição e à programação para o registo dos valores numa base de dados. A última fase consistiu nos testes de funcionamento da unidade de aquisição em conjunto com a aplicação de registo de dados. Com a implementação do sistema desenvolvido o consumidor doméstico poderá ter conhecimento, em tempo real, do custo de funcionamento dos equipamentos que possui e assim tomar decisões para os utilizar de forma mais racional, o que se pode traduzir numa economia dos recursos energéticos.