Submitted by Mayara Nascimento (mayara.nascimento@ufba.br) on 2017-05-31T12:41:20Z No. of bitstreams: 1 dissertacao-mateus.pdf: 2862867 bytes, checksum: 9e64fec80f4c391286f91f1b09c290c3 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-02T14:10:15Z (GMT) No. of bitstreams: 1 dissertacao-mateus.pdf: 2862867 bytes, checksum: 9e64fec80f4c391286f91f1b09c290c3 (MD5) / Made available in DSpace on 2017-06-02T14:10:15Z (GMT). No. of bitstreams: 1 dissertacao-mateus.pdf: 2862867 bytes, checksum: 9e64fec80f4c391286f91f1b09c290c3 (MD5) / Linhas de produtos de software promovem o reuso em larga escala, apoiando a criação, evolução e gerenciamento de portfólios de produtos que compartilham um núcleo comum de características e se diferenciam com base em características variáveis. Na Engenharia de Linha de Produtos de Software, a arquitetura da linha de produtos é um ativo importante, que descreve os pontos de variabilidade da linha de produtos. Se estiver desatualizada ou ausente, pode ser parcialmente recuperada a partir da arquitetura implementada nos produtos da linha. As abordagens para recuperação de arquitetura de software existentes podem ser utilizadas para recuperar a arquitetura de cada produto da linha. Entretanto, técnicas e ferramentas de recuperação, especialmente concebidas para identificar e descrever pontos de variabilidade e comunalidade na arquitetura da linha de produtos propriamente dita, ainda são incipientes. Este trabalho apresenta uma abordagem para recuperação de arquitetura de linhas de produtos de software. A abordagem proposta inclui a técnica PLAR (Product Line Architecture Recovery) e a ferramenta PLAR Tool, que implementa a técnica PLAR. A técnica PLAR permite a identificação de pontos de variabilidade e comunalidade da linha de produtos em nível arquitetural. A ferramenta PLAR Tool apóia a recuperação de arquitetura de linhas de produtos, bem como a avaliação de seu grau de reuso. A ferramenta PLAR Tool foi objeto de um estudo realizado com desenvolvedores de linhas de produtos de software, com o propósito de avaliar o resultado da recuperação, com base em visões arquiteturais geradas pela ferramenta, e coletar sugestões de melhoria. Os desenvolvedores não identificaram erros de classificação de elementos arquiteturais com pontos de variabilidade nas arquiteturas recuperadas. Por outro lado, alguns elementos que implementam a variabilidade não foram classificados, sugerindo a necessidade de melhorar a seleção de produtos da linha para uso no processo de recuperação de arquitetura. A ferramenta foi utilizada em dois estudos empíricos, um com o propósito de recuperar a arquitetura de linha de produtos de projetos de código aberto e avaliar sua qualidade, e outro com o propósito de comparar dois métodos de geração de produtos: Padrão x T-Wise. Os principais resultados destes estudos são: existe uma relação estatística entre o número de produtos da linha usados pela técnica PLAR e o grau de reuso da arquitetura recuperada e, o uso do método de geração de produtos T-Wise permitiu que um número reduzido de produtos da linha fosse usado na recuperação de arquitetura, sem comprometer a precisão da recuperação

Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-07-21T20:44:57Z No. of bitstreams: 1 dissertacao-mateus.pdf: 2862867 bytes, checksum: 9e64fec80f4c391286f91f1b09c290c3 (MD5) / Approved for entry into archive by NUBIA OLIVEIRA (nubia.marilia@ufba.br) on 2017-07-25T20:08:12Z (GMT) No. of bitstreams: 1 dissertacao-mateus.pdf: 2862867 bytes, checksum: 9e64fec80f4c391286f91f1b09c290c3 (MD5) / Made available in DSpace on 2017-07-25T20:08:12Z (GMT). No. of bitstreams: 1 dissertacao-mateus.pdf: 2862867 bytes, checksum: 9e64fec80f4c391286f91f1b09c290c3 (MD5) / Linhas de produtos de software promovem o reuso em larga escala,apoiando a criação, evolução e gerenciamento de portfólios de produtos que compartilham um núcleo comum de características e se diferenciam com base em características variáveis.Na Engenha ria de Linha de Produtos de Software,a arquitetura da linha de produtos é um ativo importante,que descreve os pontos de variabilidade da linha de produtos.Se estiver desatualizada ou ausente,pode ser parcialmente recuperada a partir da arquitetura implementada nos produtos da linha. As abordagens para recuperação de arquitetura de software existentes podem ser utilizadas para recuperar a arquitetura de cada produto da linha. Entretanto, técnicas e ferramentas de recuperação, especialmente concebidas para identificar e descrever pontos de variabilidade e comunalidade na arquitetura da linha de produtos propriamente dita, ainda são incipientes. Este trabalho apresenta uma abordagem para recuperação de arquitetura de linhas de produtos de software. A abordagem proposta inclui a técnica PLAR (Product Line Architecture Recovery) e a ferramenta PLAR Tool, que implementa a técnica PLAR. A t´ecnica PLAR permite a identificação de pontos de variabilidade e comunalidade da linha de produtos em nível arquitetural. A ferramenta PLAR Tool apóia a recuperação de arquitetura de linhas de produtos, bem como a avaliação de seu grau de reuso. A ferramenta PLAR Tool foi objeto de um estudo realizado com desenvolvedores de linhas de produtos de software, com o propósito de avaliar o resultado da recuperação, com base em visões arquiteturais geradas pela ferramenta, e coletar sugestões de melhoria. Os desenvolvedores não identificaram erros de classificação de elementos arquiteturais com pontos de variabilidade nas arquiteturas recuperadas. Por outro lado, alguns elementos que implementam a variabilidade não foram classificados, sugerindo a necessidade de melhorar a seleção de produtos da linha para uso no processo de recuperação de arquitetura. A ferramenta foi utilizada em dois estudos empíricos, um com o propósito de recuperar a arquitetura de linha de produtos de projetos de código aberto e avaliar sua qualidade, e outro com o propósito de comparar dois métodos de geração de produtos: Padrão x T-Wise. Os principais resultados destes estudos são: existe uma relação estatística entre o número de produtos da linha usados pela técnica PLAR e o grau de reuso da arquitetura recuperada e, o uso do método de geração de produtos T-Wise permitiu que um número reduzido de produtos da linha fosse usado na recuperação de arquitetura, sem comprometer a precisão da recuperação. / Software Product Lines promote large scale reuse, supporting creation, evolution and management of product portfolio that shares a common core of characteristics that differentiates from each other based on variable characteristics The product line architecture is an important active to the product line software engineering. If it is absent or outdated, it can be partially recovered from products architecture generated by the SPL. The existing techniques and tools can be used to recover the architecture from each SPL product. However, techniques and recovery tools, conceived to identify and document the variability and communality points on the product line architecture still incipient. This work presents an approach to product line architecture recovery that includes the PLAR technique (Product Line Architecture Recovery) and the PLAR Tool. The PLAR technique supports identification and documentation of SPL implemented variabilities and commonalities in architectural level. The PLAR Tool implements the technique and supports recovery and evaluation of the reuse rate of product line architectures. The PLAR Tool was the object of a study conducted with software product line developers, with the goal of evaluating the recovery results of architectural views generated by the tool and collect feedback to improve the tool. Product line developers did not identify errors on the classification of variability elements on the architectures of SPL projects. However, some architectural elements were not classified, suggesting the need of improvement on the selection of SPL products used on the recovery process. Then, the tool was used in two empirical studies, one with the purpose of recovering the SPL architecture of open source projects and evaluate the architectural quality based on the reuse rate of its components. And another with the purpose of comparing to product generation methods: Standard x T-Wise. The main results of these two studies are: there is an statistical relation between the number of products used on the PLAR technique to recover the product line architecture and the reuse rate and, the T-Wise method for product generation allowed to reduce the number of individual products analyzed without compromising the precision of the recovery process.

MARINHO, Fabiana Gomes. PRECISE - Um processo de verificação formal para modelos de características de aplicações móveis e sensíveis ao contexto. 2012. 181 f. Tese (Doutorado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T19:42:02Z No. of bitstreams: 1 2012_tese_fgmarinho.pdf: 5103390 bytes, checksum: dd5da728cc7af5f3e122c8c7afaf49aa (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-25T11:39:31Z (GMT) No. of bitstreams: 1 2012_tese_fgmarinho.pdf: 5103390 bytes, checksum: dd5da728cc7af5f3e122c8c7afaf49aa (MD5) / Made available in DSpace on 2016-07-25T11:39:31Z (GMT). No. of bitstreams: 1 2012_tese_fgmarinho.pdf: 5103390 bytes, checksum: dd5da728cc7af5f3e122c8c7afaf49aa (MD5) Previous issue date: 2012 / SPLc have been used to develop different types of applications, including the ones that run on mobile devices and are able to adapt when the context elements in which they are located change. These applications can change due to variations in their execution environment and inconsistent adaptations can occur, compromising the expected behavior. Then there is a need for creating a verification process to check the correctness and consistency of these SPLs as well as to check the correctness of both derived products and adapted products from these SPLs. Thus, this work proposes PRECISE - A Formal Verification Process for Feature Models of Mobile and Context-Aware Applications. PRECISE helps to identify defects in the variability modeling of an SPL for mobile and context-aware applications, minimizing problems that can take place during the execution of products generated from this SPL. It is worth noting that PRECISE is defined based on a formal specification and a set of well-formedness properties developed using First-Order Logic, which are prerequisites for the achievement of an unambiguous variability modeling. To evaluate PRECISE, a validation is performed from the formal specification and well-formedness properties defined in the process. This validation intends to show that PRECISE is able to identify defects, anomalies and inconsistencies in a variability model of an SPL for mobile and context-aware applications. In this validation, five different techniques are used: UML Profile, OCL, Propositional Logic, Prolog and Simulation. While minimizing the defects and inconsistencies in the variability models of an SPL, PRECISE still benefits from the generality and flexibility intrinsic to the formal notation used in its specification. / As LPSs, além do seu uso em aplicações tradicionais, têm sido utilizadas no desenvolvimento de aplicações que executam em dispositivos móveis e são capazes de se adaptarem sempre que mudarem os elementos do contexto em que estão inseridas. Essas aplicações, ao sofrerem alterações devido a mudanças no seu ambiente de execução, podem sofrer adaptações inconsistentes e, consequentemente, comprometer o comportamento esperado. Por esse motivo, é essencial a criação de um processo de verificação que consiga checar a corretude e a consistência dessas LPSS, bem como checar a corretude tanto dos produtos derivados como dos produtos adaptados dessas LPSs. Sendo assim, nesta tese de doutorado é proposto o PRECISE - um Processo de Verificação Formal para Modelos de Características de Aplicações Móveis e Sensíveis ao Contexto. O PRECISE auxilia na identificação de defeitos na modelagem da variabilidade de uma LPS para aplicações móveis e sensíveis ao contexto e, assim, minimiza problemas que ocorreriam durante a execução dos produtos gerados a partir dessa LPS. É importante ressaltar que o PRECISE é definido com base em uma especificação formal e em um conjunto de propriedades de boa formação elaborados usando Lógica de Primeira Ordem. Essa especificação é um pré-requisito para a realização de uma modelagem da variabilidade sem ambiguidades. Para avaliar o PRECISE, uma validação é realizada a partir da especificação formal e das propriedades de boa formação definidas no processo. Essa validação tem como objetivo mostrar que o PRECISE consegue identificar defeitos, anomalias e inconsistências existentes em um modelo de variabilidades de uma LPS para aplicações móveis e sensíveis ao contexto. Nessa validação, cinco técnicas diferentes são utilizadas: Perfil UML, OCL, Lógica Proposicional, Prolog e Simulação. Além de minimizar os defeitos e inconsistências dos modelos de variabilidades das LPSs, o PRECISE ainda se beneficia da generalidade e flexibilidade intrínsecas à notação formal usada na sua especificação.

Made available in DSpace on 2016-06-02T19:05:59Z (GMT). No. of bitstreams: 1 4688.pdf: 9757048 bytes, checksum: 96d6db56757e5502ae7197266afabe0b (MD5) Previous issue date: 2010-07-07 / O conjunto de conceitos e tecnologias que caracterizam a Web 2.0 revolucionou e estendeu as práticas de comunicação assistidas por sistemas computacionais. Aplicações com comunicação multimídia síncrona, interfaces ricas, tendo a Web como plataforma são exemplos dessa revolução. No entanto, esse tipo de aplicação ainda é pouco explorada apesar do seu potencial. A maioria das comunicações apoiadas por meios computacionais acontece de forma textual através de blogs, wikis e redes sociais. Entende-se que com a evolução dos meios de transmissão de dados, as comunicações apoiadas por computador podem ser melhoradas com a incorporação de áudio e vídeo de qualidade, tornando essas comunicações mais próximas daquelas que fazemos quotidianamente de forma presencial. Neste trabalho, apresenta-se instrumentos tanto teóricos quanto tecnológicos para facilitar desenvolvimento de aplicações de comunicação síncrona com interfaces ricas usando a Web como plataforma. A experiência no domínio permite identificar desafios inerentes ao desenvolvimento desse tipo de aplicações e características comuns a essas aplicações. Este trabalho descreve uma abordagem de reúso de software para construção de aplicações de comunicação síncrona baseada nas idéias de linha de produtos de software para promover a racionalização do esforço de desenvolvimento. Essa abordagem, chamada de Linha de Produtos de Software para Comunicação Síncrona na Web (LPSCSW), é realizada em duas etapas: Engenharia de Domínio (ED) e Engenharia de Aplicação (EA). Na ED são construídos os assets ou ativos da linha de produtos, e na EA são construídos os diferentes produtos com reúso desses assets. Os assets incluem componentes, arquiteturas, padrões de projeto, técnicas e ferramentas que auxiliem tanto a ED como a EA.

Made available in DSpace on 2014-06-12T15:58:27Z (GMT). No. of bitstreams: 2 arquivo4304_1.pdf: 7145326 bytes, checksum: 4fe8c9f01fe37f5b27fb34b1356d093a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Faculdade de Amparo à Ciência e Tecnologia do Estado de Pernambuco / O framework i* é uma abordagem orientada a objetivos amplamente utilizada na academia. Seu reconhecimento se dá pela sua rica capacidade semântica de descrever as dependências sociais e intencionais entre atores organizacionais, bem como os requisitos funcionais e não funcionais de um software em desenvolvimento. Embora vastamente Empregado, um dos principais desafios é a diversidade de linguagens de modelagem que foram propostas tendo como base o i* e definidas por diferentes grupos de pesquisa para atender as suas necessidades específicas. Como resultado, novas linguagens e/ou elementos de modelagem surgiram. Neste cenário, o desenvolvimento do suporte ferramental para algumas destas linguagens foi realizado de forma distinta entre os grupos de pesquisa que criaram tais linguagens. Em outros casos, não há suporte ferramental para algumas linguagens devido ao custo elevado pra o seu desenvolvimento. Considerando as variações do i*, é possível identificar um conjunto comum de características (elementos de modelagem), afinal, são linguagens baseadas i*, bem como um conjunto de características variáveis. A partir disto é possível desenvolver um núcleo comum entre estas linguagens, identificando os elementos de modelagem comuns e separando os que são variáveis, para, posteriormente, configurá-los a fim de definir o metamodelo de uma nova linguagem baseada no i*e reduzir o esforço do desenvolvimento da ferramenta de modelagem (editor gráfico) correspondente. Este trabalho como principal contribuição a definição de um processo automatizado de criação de linguagens de modelagem baseadas no i*, chamado de AGILE (Automatic Generation of i* Languages) e geração automática de editores gráficos que dêem suporte às linguagens criadas

Made available in DSpace on 2016-06-02T19:05:46Z (GMT). No. of bitstreams: 1 3276.pdf: 2803726 bytes, checksum: df932fa4f96049ba4e039732b3b37e42 (MD5) Previous issue date: 2010-09-17 / Universidade Federal de Minas Gerais / GRN (Gestão de Recursos de Negócio Business Resource Management) pattern language provides a set of patterns in analysis level to support the development of applications which deal with rental, purchase, sale and maintenance transactions of a good or service. GRENJ-OO is an object-oriented (OO) application framework built to support the instantiation of Java applications in the GRN domain. GRENJ-OO instantiates applications that include in their architecture all framework variabilities. The units of this framework, which implement each GRN pattern and their variants, are highly coupled between them, because there are concern tangling and concern scattering related to each one of those patterns. So, the aspect-orientation (OA) techniques were used in each pattern to minimize those problems and a new framework version was obtained, called GRENJ-OA. The improvements of separation of concerns, the coupling reduction, the cohesion increasing and the reduction of the number of lines of code of the majority of the patterns implemented in GRENJ-OA was the result reached after performing a quantitative evaluation based on separation of concerns, coupling, cohesion and size metrics. From the approach used to modularize this framework is introduced the Framework Product Line concept, that consists in a product line which their products are frameworks instead of software applications. From the GRENJ-OO modularization was also possible to extract a process that can be applied to modularize frameworks. This process aims to transform a framework in a Framework Product Line. / A linguagem de padrões GRN (Gestão de Recursos de Negócio) fornece um conjunto de padrões em nível de análise que apóiam o desenvolvimento de aplicações que tratam de transações de aluguel, compra, venda e manutenção de um bem ou serviço. GRENJ-OO é um framework de aplicação orientado a objetos (OO) construído para apoiar a instanciação de aplicações no domínio da GRN na linguagem Java. O framework GRENJ-OO instancia aplicações que incluem em sua arquitetura todas as variabilidades do framework. As unidades desse framework, que implementam cada padrão da GRN e suas variantes, estão altamente acopladas entre si, em virtude da existência de entrelaçamento e espalhamento de interesses relacionados a cada um desses padrões. Assim, a orientação a aspectos (OA) foi utilizada em cada um dos padrões a fim de minimizar esses problemas e uma nova versão do framework foi obtida, denominada GRENJ-OA. A melhoria dos níveis de separação de interesses, a redução do acoplamento, o aumento da coesão e redução do número de linhas de código da maioria dos padrões implementados no GRENJ-OA foram os resultados obtidos após a realização de uma avaliação quantitativa com base em métricas de separação de interesses, acoplamento, coesão e tamanho. A partir da abordagem utilizada na modularização desse framework, é introduzido o conceito de Linha de Produtos de Frameworks, que consiste em uma linha de produtos na qual seus produtos são frameworks, ao invés de aplicações de software. Com a modularização do GRENJ-OO também foi possível extrair um processo, que pode ser aplicado na modularização de frameworks. Esse processo tem o objetivo de transformar um framework em uma Linha de Produtos de Frameworks.

Os sistemas de auxílio à visitação de museus apresentam um grau de reúso de software baixo, dado que o volume de trabalhos publicados contendo a proposta de um novo sistema e/ou modelagem é consideravelmente elevado, e com grau de referenciação entre tais trabalhos próximo de zero. Além disso, diversos estudos neste domínio de aplicações utilizam técnicas de ciência de contexto e fazem uso de dispositivos de Internet das Coisas (IoT), o que agrava o grau de reúso devido à variedade de sensores e dispositivos existentes. Este trabalho apresenta a Museum Touring and Tutoring Product Line (MTTPL), linha de produtos orientada a serviços para o domínio dos sistemas de auxílio à visitação de museus. Os requisitos desta linha de produtos foram coletados principalmente dos resultados de um mapeamento sistemático feito sobre sistemas E-learning e dispositivos IoT. Como forma de avaliação preliminar da linha de produtos proposta, foi realizada uma prova de conceito em que a MTTPL foi instanciada, dando origem ao SmartICMC, um museu virtual para apoiar a visitação ao Museu da Fauna e Flora do ICMC-USP. A prova de conceito fornece indícios de que a linha de produtos proposta é válida e aplicável para sistemas de auxílio à visitação de museus. Como principal contribuição, espera-se que a MTTPL possa ser utilizada para instanciar outros sistemas deste domínio, aumentando o reúso dos assets providos pela linha de produtos. / Museum visitation assisting systems present a low software reuse degree, given that the amount of published papers containing a proposal for a new system and/or modeling is considerably elevated, and with a referring degree among those works near to zero. Besides, many studies on this application domain use context awareness techniques and Internet of Things (IoT) devices, aggravating software reuse degree due to the variety of existing IoT devices. This work presents the Museum Touring and Tutoring Product Line (MTTPL), a service-oriented product line for the museum visitation assisting systems domain. Requirements for this product line were collected mainly from the results of a systematic mapping about E-learning systems and IoT devices. As a preliminary evaluation of the proposed product line, a proof of concept was held in which MTTPL was instantiated, giving rise to SmartICMC, a virtual museum to support the visit to the ICMC-USP Museum of Fauna and Flora. The proof of concept provided evidence that the proposed product line is valid and applicable to museum visitation support systems. As a major contribution, it is expected that MTTPL can be used to instantiate other systems in this domain, increasing the reuse of the assets provided by the product line.

Sistemas embarcados críticos (SEC) correspondem aos sistemas embarcados para aplicações críticas, que são aplicações nas quais falhas podem por vidas em perigo. A crescente imersão deste tipo de sistema em nossas atividades cotidianas aumentou sua demanda, e consequentemente, a necessidade por novas técnicas de desenvolvimento que possam aumentar a produtividade dos desenvolvedores. Linha de produtos (LP) é uma técnica de reúso, na qual famílias de produtos similares são desenvolvidos em conjunto, e portanto, objetiva-se o desenvolvimento em larga escala. Com a utilização de LP, pode-se reusar requisitos e arquitetura de forma sistemática. Entretanto, o reúso no domínio de sistemas embarcados críticos ainda é visto de forma cética. Por outro lado, o domínio de SEC tem obtido avanços de desenvolvimento por meio de técnicas orientadas a modelo. A Engenharia orientada a modelos (MDE) concentra-se na importância de modelos no ciclo de vida do sistema, tornando-os parte do produto final. Assim, mantêm-se os modelos simples, e a maioria da complexidade do software passa a pertencer às transformações, que podem ser obtidas automaticamente por motores de transformação. Isso ajuda a aumentar a qualidade do produto final, bem como facilitar a futura evolução do software, que poderá ser feita mudando-se os modelos de alto nível e obtendo-se, de forma automática, o novo produto. MDE é particularmente útil no domínio de SEC, pois a partir de modelos corretos do problema, a chance de introdução de erros durante a codificação é menor se geradores de aplicações forem utilizados em vez de codificação manual. Além disso, o aumento no nível de abstração proporcionado pelo MDE permite que técnicas de validação e verificação sejam usadas desde os estágios iniciais de desenvolvimento, tais como co-design e co-simulação. Portanto, este trabalho visa defender a tese de que é possível oferecer os benefícios do desenvolvimento em larga escala para o domínio de SEC e ainda continuar se beneficiando de técnicas de MDE. Para corroborar esta tese, define-se uma abordagem de desenvolvimento de linha de produtos de sistema com uso de técnicas de engenharia orientada a modelos para o desenvolvimento de famílias de sistemas embarcados críticos. Além disso, apresenta-se um estudo de caso de marca-passo elaborado segundo as indicações da abordagem proposta que indicam a viabilidade de sua utilização. / Safety-critical embedded systems (SCES) correspond to embedded systems for critical applications, i.e., applications where lives can be lost if they fail. The increasing immersion of this type of system in our daily activities increased their demand and, consequently, the need for new development techniques that can increase developers productivity. Product Line (LP) is a promising technique for reuse, in which families of similar products are developed together and, therefore, it aims at large-scale development. With the use of LP we can reuse requirements and architecture systematically. However, developers remain sceptical about reuse in the SCES domain, mainly due to problems in the past, such as the failure of the spacecraft Ariane 5. In addition, advances in development of techniques for the SEC domain have been obtained, for example through model-driven engineering (MDE) approaches. MDE focuses on the importance of models in the software life cycle, making them part of the final product. So, it keeps models simple, and most of the software complexity belongs to the transformations that can be obtained automatically by transformation engines. This helps increasing the quality of the final product, and facilitate the future development of software that can be done by changing the high level models and obtaining, automatically, the new product. MDE is particularly useful in the SCES domain because, from correct models of the problem, the chance of introducing errors during coding is smaller if generators are used in the development instead of manual coding. In addition, the increased level of abstraction provided by MDE allows the use of validation and verification techniques since the early stages of development, such as co-design and co-simulation. Therefore, this work aims to defend the thesis that it is possible to offer the benefits of large-scale development for the SCES domain and still continue to benefit from MDE techniques. In support of this thesis, we define a system product line approach using model-driven techniques for the development of safety-critical embedded families. In addition, we present a case study prepared according to the directions of approach.

Veículos Aéreos não Tripulados (VANTs) são aeronaves que voam sem tripulação e são capazes de realizar diversos tipos de missões, como vigilância, coleta de dados topográficos e monitoramento ambiental. Este é um domínio que tem muito a ganhar com a aplicação da abordagem de Linha de Produtos de Software (LPS), uma vez que é rico em variabilidades e cada modelo de VANT tem também muitas partes comuns. Neste trabalho é apresentada uma infraestrutura tecnológica e de configuração de ativos em Simulink, gerenciados pelas ferramentas Pure::variant e Hephaestos para uma LPS de VANTs. Um conjunto de padrões para especificação de variabilidades em Simulink é proposto, bem como uma extensão para a ferramenta Hephaestus. Uma comparação entre as ferramentas Pure::variants e Hephaestus é apresentada / Unmanned Aerial Vehicles (UAVs) are aircrafts that can fly without any crew and are capable to realize several types of missions such as surveillance, topographic data collection and environmental monitoring. This is a domain which can benefit very much with the adoption of the Software Product Lines (SPL) approach, as each UAV model is rich in variabilities and has many common parts. In this work it is presented a software asset configuration infrastructure for the Simulink environment, managed by the tools Pure::variants and Hephaestus for a UAV SPL. A set of patterns of variability specification in Simulink is proposed as well as an extension to Hephaestus to support a SPL product engineering for Simulink. A comparison between Pure::variants and Hephaestus is also presented

Linha de produtos de software (LPS) corresponde a uma das mais bem sucedidas formas de reúso, pois permite a reutilização de requisitos e arquitetura. Embora o desenvolvimento, manutenção e evolução de uma LPS ainda possua um custo alto quando comparado ao desenvolvimento de sistemas únicos (single systems), um lucro significativo pode ser obtido com a venda de diversos produtos derivados da LPS. No projeto de uma LPS analisa-se os sistemas coletivamente, ou seja, o domínio. Geradores de aplicações são ferramentas capazes de gerar artefatos a partir de uma especificação, e no caso de se ter a especificação de um domínio, é possível gerar aplicações para esse domínio. Web services representam uma tecnologia promissora para disponibilização de serviços na Web e desenvolvimento de software com arquitetura flexível e de fácil manutenção. Neste trabalho é proposta uma abordagem de desenvolvimento de linha de produtos com arquitetura orientada a serviços, na qual a geração de produtos é apoiada por um gerador de aplicações. A abordagem chama-se SoProL-WS e possui o objetivo de reduzir os custos e prazos de desenvolvimento da LPS e facilitar a sua manutenção, evolução e derivação de seus membros. SoProLWS apresenta as atividades e artefatos necessários para partir dos requisitos da LPS, projetar, implementar, configurar um gerador de aplicações e gerar seus membros a partir do gerador ou por meio de uma configuração manual. Além disso, é apresentado um estudo de caso com o desenvolvimento de uma linha de produtos de leilões Web seguindo os passos da abordagem, bem como são discutidas as alternativas de projeto relevantes para esse tipo de desenvolvimento / Software product lines (SPL) is a successful reuse technique that fosters requirements and architecture reuse. Although SPL costs with development, maintenance and evolution increases when compared to single system development, significant profit can be obtained by selling many products derived from SPL. In a SPL project, systems are analised collectively like a domain. Application generators are tools capable of generating artifacts based on an specification, in case of a domain specification, it is possible to generate applications in this domain. Web services represent a technology to make services available over a network and to develop a flexible and adaptable software architecture. This work presents an approach, called SoProL-WS, to develop SPL using service oriented architecture, where product derivation is supported by an applicator generator. The aim of this approach is to enhance flexibility, reuse and consequently decrease SPL development costs. In addition, this work presents a case study where SoProL-WS is applied to develop a Web auctions SPL