A Bacia do Alto Paraguai é definida pelo trecho compreendido entre as nascentes do Rio Paraguai e a confluência deste com o Rio Apa, e abrange planaltos, depressões e a vasta planície do Pantanal, a maior zona úmida continental do planeta. O objetivo geral deste trabalho é propor uma compartimentação do Pantanal com base em seu funcionamento atual. Para isto, utilizou-se de um conjunto de métodos, análise em componentes principais (ACP), análise em fatores de correspondência (AFC), e análise de deconvolução pelo modelo EMMA (End-Members Mixing Analysis). Essas análises foram aplicadas em amostragens de águas coletadas sob diferentes escalas, desde a da Bacia do Alto Paraguai até a da Nhecolândia, uma sub-região do Pantanal (MS). Esses procedimentos permitiram discriminar, hierarquizar e espacializar os fatores responsáveis pela variabilidade química das águas. Os resultados mostram que a composição química das águas que alimentam a planície pode ser considerada como uma mistura de três perfis químicos, definidos pelo tipo de rocha (calcário, arenito, cristalino) que explica 50% da variância total, e pelo uso e ocupação do solo (adubação de nitrogênio no planalto) responsável por 15% da variância total. As distribuições dos perfis químicos permitiram identificar grandes regiões, e áreas limítrofes entre elas com justaposição de perfis químicos contrastados, tanto no planalto quanto na planície. Apesar de ter-se observado algumas modificações na composição química das águas entre as estações seca e úmida, essas duas amostragens mantém discriminadas as mesmas regiões. Na subregião da Nhecolândia, a evaporação e as precipitações salinas a ela associadas (calcita e Mg-calcita, Mg-silicatos K-silicatos) respondem por 76% da variância total. A influência antrópica (adubação com potássio e nitrogênio nas zonas agrícolas do planalto) respondem por cerca de 10% da variância total. Evaporação, processos redox, uso e ocupação do solo foram apontados como as principais fontes de variabilidade na composição química das águas na Nhecolândia. / The Upper Paraguay Basin is defined by the stretch from the headwaters of the Paraguay River to the confluence with the Apa River. It includes plateaus, depressions and the vast floodplain of the Pantanal, the world largest continental wetland. The aim of this work is to propose a partitioning of the Pantanal based on its current functioning. A set of methods was used, including, principal components analysis (PCA), correspondence factor analysis (CFA), and A PCA-based EMMA procedure (End-Members Mixing Analysis). These methods were applied to water sampling collected at different scales, from the Upper Paraguay River Basin to the Nhecolândia, a sub-region of the Pantanal (MS). It allowed discriminating, prioritizing and spatializing the factors responsible for the variability in water chemistry. The results show that the chemical composition of the waters that supply the floodplain can be considered as a mixture of three end-members, defined by the type of rock (limestone, sandstone, crystalline), which explains 50% of the total variance, and the land use (nitrogen fertilization on the plateau), which accounted for 15% of the total variance. The distributions of chemical profiles discriminated large regions, and areas with juxtaposition of contrasting chemical profiles, both in the highlands and the floodplain. Although some changes occur in the chemical composition of water between dry and wet seasons, these two sets of samples have drawn the same regions. In the sub-region of the Nhecolândia, evaporation and associated salt precipitations (Mg-calcite and calcite, Mg-silicates silicates K) account for 76% of the variance. The anthropogenic influence (K and N-fertilization in agricultural areas of the plateau) accounts for about 10% of the variance. Evaporation, redox processes, land use were identified as major sources of variability in the chemical composition of surface waters in the Nhecolândia.

A Bacia do Alto Paraguai é definida pelo trecho compreendido entre as nascentes do Rio Paraguai e a confluência deste com o Rio Apa, e abrange planaltos, depressões e a vasta planície do Pantanal, a maior zona úmida continental do planeta. O objetivo geral deste trabalho é propor uma compartimentação do Pantanal com base em seu funcionamento atual. Para isto, utilizou-se de um conjunto de métodos, análise em componentes principais (ACP), análise em fatores de correspondência (AFC), e análise de deconvolução pelo modelo EMMA (End-Members Mixing Analysis). Essas análises foram aplicadas em amostragens de águas coletadas sob diferentes escalas, desde a da Bacia do Alto Paraguai até a da Nhecolândia, uma sub-região do Pantanal (MS). Esses procedimentos permitiram discriminar, hierarquizar e espacializar os fatores responsáveis pela variabilidade química das águas. Os resultados mostram que a composição química das águas que alimentam a planície pode ser considerada como uma mistura de três perfis químicos, definidos pelo tipo de rocha (calcário, arenito, cristalino) que explica 50% da variância total, e pelo uso e ocupação do solo (adubação de nitrogênio no planalto) responsável por 15% da variância total. As distribuições dos perfis químicos permitiram identificar grandes regiões, e áreas limítrofes entre elas com justaposição de perfis químicos contrastados, tanto no planalto quanto na planície. Apesar de ter-se observado algumas modificações na composição química das águas entre as estações seca e úmida, essas duas amostragens mantém discriminadas as mesmas regiões. Na subregião da Nhecolândia, a evaporação e as precipitações salinas a ela associadas (calcita e Mg-calcita, Mg-silicatos K-silicatos) respondem por 76% da variância total. A influência antrópica (adubação com potássio e nitrogênio nas zonas agrícolas do planalto) respondem por cerca de 10% da variância total. Evaporação, processos redox, uso e ocupação do solo foram apontados como as principais fontes de variabilidade na composição química das águas na Nhecolândia. / The Upper Paraguay Basin is defined by the stretch from the headwaters of the Paraguay River to the confluence with the Apa River. It includes plateaus, depressions and the vast floodplain of the Pantanal, the world largest continental wetland. The aim of this work is to propose a partitioning of the Pantanal based on its current functioning. A set of methods was used, including, principal components analysis (PCA), correspondence factor analysis (CFA), and A PCA-based EMMA procedure (End-Members Mixing Analysis). These methods were applied to water sampling collected at different scales, from the Upper Paraguay River Basin to the Nhecolândia, a sub-region of the Pantanal (MS). It allowed discriminating, prioritizing and spatializing the factors responsible for the variability in water chemistry. The results show that the chemical composition of the waters that supply the floodplain can be considered as a mixture of three end-members, defined by the type of rock (limestone, sandstone, crystalline), which explains 50% of the total variance, and the land use (nitrogen fertilization on the plateau), which accounted for 15% of the total variance. The distributions of chemical profiles discriminated large regions, and areas with juxtaposition of contrasting chemical profiles, both in the highlands and the floodplain. Although some changes occur in the chemical composition of water between dry and wet seasons, these two sets of samples have drawn the same regions. In the sub-region of the Nhecolândia, evaporation and associated salt precipitations (Mg-calcite and calcite, Mg-silicates silicates K) account for 76% of the variance. The anthropogenic influence (K and N-fertilization in agricultural areas of the plateau) accounts for about 10% of the variance. Evaporation, redox processes, land use were identified as major sources of variability in the chemical composition of surface waters in the Nhecolândia.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-09-04T20:48:36Z No. of bitstreams: 1 AdorilsonBezerraDeAraujo_DISSERT.pdf: 1520413 bytes, checksum: c9a4bb003f34cd8b94eb21679d5d37e0 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-09-06T20:51:39Z (GMT) No. of bitstreams: 1 AdorilsonBezerraDeAraujo_DISSERT.pdf: 1520413 bytes, checksum: c9a4bb003f34cd8b94eb21679d5d37e0 (MD5) / Made available in DSpace on 2017-09-06T20:51:39Z (GMT). No. of bitstreams: 1 AdorilsonBezerraDeAraujo_DISSERT.pdf: 1520413 bytes, checksum: c9a4bb003f34cd8b94eb21679d5d37e0 (MD5) Previous issue date: 2017-02-14 / A plataforma Android ? atualmente a mais popular para o desenvolvimento de aplica??es m?veis, ocupando mais de 80% do mercado de sistemas operacionais para dispositivos m?veis, criando uma demanda por customiza??es de aplica??es para lidar com diferentes dispositivos, tais como, tamanho de tela, poder de processamento e mem?ria dispon?vel, idiomas e necessidades espec?ficas dos usu?rios. J? foram disponibilizadas 23 novas vers?es da plataforma Android desde o seu lan?amento. De forma a permitir a execu??o com sucesso das aplica??es em diferentes dispositivos, ? fundamental oferecer suporte ?s m?ltiplas vers?es da API (Application Programming Interface). Esta disserta??o de mestrado tem como objetivo: analisar, caracterizar e comparar t?cnicas utilizadas por aplica??es Android para oferecer suporte a m?ltiplas vers?es da API. Em especial, o trabalho busca: (i) identificar na literatura quais as t?cnicas indicadas para suporte ?s m?ltiplas vers?es da API Android; (ii) analisar aplica??es reais para quantificar o uso dessas t?cnicas; e (iii) comparar as caracter?sticas e consequ?ncias do uso de tais t?cnicas. Um estudo emp?rico foi conduzido para atingir tal objetivo, no qual foram analisadas 25 aplica??es Android populares. Os resultados do estudo mostram que existem tr?s t?cnicas para prover suporte ?ss m?ltiplas vers?es da API: i) pacote de compatibilidade, variabilidades de granularidade grossa da API que envolvam um conjunto de classes; ii) re-implementa??o de recurso, para situa??es pontuais e granularidade grossa em n?vel de classe ou quando o recurso n?o est? dispon?vel em pacote de compatibilidade; e iii) uso expl?cito da nova API, variabilidades de granularidade fina da API que envolva a chamada de m?todos espec?ficos. Atrav?s da an?lise de 25 aplica??es identificamos que pacote de compatibilidade foi utilizada por 23 aplica??es, re-implementa??o de recurso por 14 e uso expl?cito da nova API por 22. A API de fragmentos cont?m os elementos mais comuns dentre os lan?ados em vers?es superiores da plataforma que s?o usados pelas aplica??es durante sua evolu??o, sendo referenciados por 68% delas. No geral, as aplica??es poderiam aumentar o seu mercado em potencial com adapta??es de, em m?dia, 15 trechos de c?digo, por outro lado, os desenvolvedores das aplica??es t?m se preocupado em evitar c?digo-morto em fun??o da API da plataforma.Na an?lise de 7 aplica??es, 4 delas continham c?digo-morto, mas os quais em geral n?o representam mais do que 0,1% do seu c?digo total. / Android is currently the most popular platformfor the development of mobile applications, representing more than 80% of the operating systems market for mobile devices. This causes demands for application customizations to handle different devices such as screen size, processing power and available memory, languages, and specific user needs. Twenty-three new versions of Android platformhave been released since its first release. In order to enable the successful execution of applications on different devices, it is essential to support multiple versions of the Application Programming Interface (API). This dissertation aims to analyze, characterize and compare techniques used by Android applications to support multiple versions of the API. In particular, the work seeks: (i) to identify the used techniques to support multiple versions of the Android API in the literature; (ii) to analyze real applications to quantify the usage of these techniques; and (iii) to compare the characteristics and consequences of using such techniques. An empirical study, in which 25 popular Android apps were analyzed, was conducted to achieve this goal. The results of the study show that there are three techniques to support multiple versions of the API: i) compatibility package, that adrresses API coarse granularity variabilities involving a set of classes; ii) re-implementation of resource used for specific situations and coarse granularity at class level or when resource is not available in compatibility package; and iii)explicit use of the new API that allows implementing fine grained variabilities of the API that involves calling of specific methods. Through the analysis of 25 applications, we have identified that compatibility package was used by 23 applications, re-implementation of resource was used by 14 applications and the explicit usage of the new API was used by 22 applications. The API fragments contains the most common elements among those released in higher versions of the platformthat are used by applications during their evolution, and it is referenced by 68% of them. In general, applications could increase their potential market with adaptations of, on average, 15 code snippets. On the other hand, application developers have been worried about how avoiding dead code based on platform API. In the analysis of 7 applications, 4 of them contained dead code, but it did not represent more than 0.1% of total code.

A popularização dos dispositivos móveis em todas as camadas sociais tem motivado o desenvolvimento de aplicações educacionais móveis, denominadas aplicações de m-learning. Neste cenário, as aplicações existentes, mesmo possuindo diversos benefícios e facilidades no que diz respeito ao ensino e aprendizagem, apresentam problemas e desafios relacionados, sobretudo no que se refere ao desenvolvimento, reuso e padronização arquitetural. Por outro lado, na vertente do reúso de software, percebe-se uma crescente adoção do conceito de Linha de Produtos de Software (LPS). Esse paradigma possibilita às organizações explorar as similaridades e variabilidades de seus produtos, aumentando a reutilização de artefatos e, como consequência, diminuindo custos e tempo de desenvolvimento. Neste trabalho é apresentada uma LPS voltada ao domínio das aplicações de m-learning, denominada M-SPLearning. A proposição da M-SPLearning envolveu desde o estudo inicial para a obtenção de uma análise de domínio efetiva, até a implementação dos componentes previamente analisados. A LPS concebida teve seus respectivos produtos avaliados experimentalmente no cenário industrial, fornecendo evidências de que sua utilização pode acelerar o time-to-market de produtos de m-learning, com um número reduzido de defeitos. / The popularity of mobile devices in all social classes has motivated the development of mobile educational applications, called m-learning applications. The existing applications, even having many benefits and facilities in relation to teaching and learning, also have problems and challenges, especially regarding the development, reuse and architectural standardization. Particularly, there is an increasing adoption of the concept of Software Product Line (SPL) in researches related to reuse. This paradigm enables organizations to explore the similarities and variabilities of their products, increasing the reuse of artifacts and, consequently, reducing costs and development time. This work presents an SPL focused on the domain of m-learning applications, named M-SPLearning. The development of M-SPLearning has comprised since the initial study for an effective domain analysis until the implementation of the components previously analyzed. Such SPL had its products experimentally evaluated in the industrial scenario, providing evidences that its use can accelerate the time-to-market of m-learning applications, with a reduced number of faults.

A popularização dos dispositivos móveis em todas as camadas sociais tem motivado o desenvolvimento de aplicações educacionais móveis, denominadas aplicações de m-learning. Neste cenário, as aplicações existentes, mesmo possuindo diversos benefícios e facilidades no que diz respeito ao ensino e aprendizagem, apresentam problemas e desafios relacionados, sobretudo no que se refere ao desenvolvimento, reuso e padronização arquitetural. Por outro lado, na vertente do reúso de software, percebe-se uma crescente adoção do conceito de Linha de Produtos de Software (LPS). Esse paradigma possibilita às organizações explorar as similaridades e variabilidades de seus produtos, aumentando a reutilização de artefatos e, como consequência, diminuindo custos e tempo de desenvolvimento. Neste trabalho é apresentada uma LPS voltada ao domínio das aplicações de m-learning, denominada M-SPLearning. A proposição da M-SPLearning envolveu desde o estudo inicial para a obtenção de uma análise de domínio efetiva, até a implementação dos componentes previamente analisados. A LPS concebida teve seus respectivos produtos avaliados experimentalmente no cenário industrial, fornecendo evidências de que sua utilização pode acelerar o time-to-market de produtos de m-learning, com um número reduzido de defeitos. / The popularity of mobile devices in all social classes has motivated the development of mobile educational applications, called m-learning applications. The existing applications, even having many benefits and facilities in relation to teaching and learning, also have problems and challenges, especially regarding the development, reuse and architectural standardization. Particularly, there is an increasing adoption of the concept of Software Product Line (SPL) in researches related to reuse. This paradigm enables organizations to explore the similarities and variabilities of their products, increasing the reuse of artifacts and, consequently, reducing costs and development time. This work presents an SPL focused on the domain of m-learning applications, named M-SPLearning. The development of M-SPLearning has comprised since the initial study for an effective domain analysis until the implementation of the components previously analyzed. Such SPL had its products experimentally evaluated in the industrial scenario, providing evidences that its use can accelerate the time-to-market of m-learning applications, with a reduced number of faults.

Software Product Line Engineering (SPLE) has been proven to reduce development and maintenance costs, improving the time-to-market, and increasing the quality of product variants developed from a product family via systematic reuse of its core assets. SPLE has been successfully used in the development of safety-critical systems, especially in automotive and aerospace domains. Safety-critical systems have to be developed according to safety standards, which demands safety analysis, Fault Tree Analysis (FTA), and assurance cases safety engineering artefacts. However, performing safety analysis, FTA, and assurance case construction activities from scratch and manually for each product variant is time-consuming and error-prone, whereas variability in safety engineering artefacts can be automatically managed with the support of variant management techniques. As safety is context-dependent, context and design variation directly impact in the safety properties changing hazards, their causes, the risks posed by these hazards to system safety, risk mitigation measures, and FTA results. Therefore, managing variability in safety artefacts from different levels of abstraction increases the complexity of the variability model, even with the support of variant management techniques. To achieve an effective balance between benefits and complexity in adopting an SPLE approach for safety-critical systems it is necessary to distinguish between reusable safety artefacts, whose variability should be managed, and those that should be generated from the reused safety artefacts. On the other hand, both industry and safety standards have recognized the use of model-based techniques to support safety analysis and assurance cases. Compositional safety analysis, design optimization, and model-based assurance cases are examples of techniques that have been used to support the generation of safety artefacts required to achieve safety certification. This thesis aims to propose a model-based approach that integrates model-based development, compositional safety analysis, and variant management techniques to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering. The approach contributes to reduce the effort and costs of performing safety analysis and assessment for a particular product variant, since such analysis is performed from the reused safety artefacts. Thus, variant-specific fault trees, Failure Modes and Effects Analysis (FMEA), and assurance case artefacts required to achieve safety certification can be automatically generated with the support the model-based safety analysis and assurance case construction techniques. / Engenharia de Linha de Produtos de Software (ELPS) contribui para a redução dos custos de desenvolvimento e de manutenção, a melhoria do time-to-market, e o aumento da qualidade de produtos desenvolvidos a partir de uma família de produtos por meio do reuso sistemático dos ativos principais da linha de produtos. A ELPS vem sendo utilizada com sucesso no desenvolvimento de sistemas embarcados críticos, especificamente nos domínios de sistemas automotivos e aeroespaciais. Sistemas embarcados críticos devem ser desenvolvidos de acordo com os requisitos definidos em padrões de segurança, que demandam a produção de artefatos de análise de segurança, árvores de falhas e casos de segurança. Entretanto, a realização de atividades de análise de segurança, análise de árvores de falhas e construção de casos de segurança de forma manual para cada produto de uma linha de produtos é uma tarefa demorada e propensa a erros. O gerenciamento de variabilidade em artefatos de análise de segurança pode ser automatizado com o apoio de técnicas de gerenciamento de variabilidades. Em virtude de safety ser uma propriedade dependente de contexto, a variabilidade no projeto e contexto inerente uma linha de produtos software impacta na definição de propriedades de segurança do sistema, modificando as ameaças à segurança do sistema, suas causas e riscos, medidas de mitigação aplicáveis, e resultados de análise de árvore de falhas. Dessa forma, gerenciar variabilidades em artefatos relacionados à safety em diferentes níveis de abstração aumenta a complexidade do modelo de variabilidade mesmo com o apoio de técnicas de gerenciamento de variabilidades. Para alcançar o equilíbrio eficaz entre os benefícios e a complexidade da adoção de uma abordagem de ELPS para o desenvolvimento de sistemas embarcados críticos é necessário fazer a distinção entre artefatos de safety reusáveis, em que a variabilidade deve ser gerenciada, e artefatos de safety que devem ser gerados a partir de artefatos reusáveis. Por outro lado, tanto a indústria quanto os padrões de segurança têm reconhecido o uso de técnicas dirigidas a modelos para apoiar a análise segurança e a construção de casos de segurança. Técnicas de análise de segurança composicional e otimização de projeto, e de construção de casos de segurança dirigido a modelos vêm sendo utilizadas para apoiar a geração de artefatos de safety requeridos para certificação. O objetivo desta tese é a proposta de uma abordagem dirigida a modelos que integra técnicas de desenvolvimento dirigido a modelos, análise de segurança composicional e otimização de projeto, e construção de casos de segurança dirigido a modelos para apoiar o reuso sistemático e a geração de artefatos de safety em engenharia de linhas de produtos de sistemas embarcados críticos. A abordagem proposta reduz o esforço e os custos de análise e avaliação de segurança para produtos de uma linha de produtos, uma vez que tal análise é realizada a partir de artefatos de safety reusados. Assim, artefatos como análises de árvores de falhas e de modos de falha e efeitos, e casos de segurança requeridos para certificação podem ser gerados automaticamente com o apoio de técnicas dirigidas a modelos.

Software Product Line Engineering (SPLE) has been proven to reduce development and maintenance costs, improving the time-to-market, and increasing the quality of product variants developed from a product family via systematic reuse of its core assets. SPLE has been successfully used in the development of safety-critical systems, especially in automotive and aerospace domains. Safety-critical systems have to be developed according to safety standards, which demands safety analysis, Fault Tree Analysis (FTA), and assurance cases safety engineering artefacts. However, performing safety analysis, FTA, and assurance case construction activities from scratch and manually for each product variant is time-consuming and error-prone, whereas variability in safety engineering artefacts can be automatically managed with the support of variant management techniques. As safety is context-dependent, context and design variation directly impact in the safety properties changing hazards, their causes, the risks posed by these hazards to system safety, risk mitigation measures, and FTA results. Therefore, managing variability in safety artefacts from different levels of abstraction increases the complexity of the variability model, even with the support of variant management techniques. To achieve an effective balance between benefits and complexity in adopting an SPLE approach for safety-critical systems it is necessary to distinguish between reusable safety artefacts, whose variability should be managed, and those that should be generated from the reused safety artefacts. On the other hand, both industry and safety standards have recognized the use of model-based techniques to support safety analysis and assurance cases. Compositional safety analysis, design optimization, and model-based assurance cases are examples of techniques that have been used to support the generation of safety artefacts required to achieve safety certification. This thesis aims to propose a model-based approach that integrates model-based development, compositional safety analysis, and variant management techniques to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering. The approach contributes to reduce the effort and costs of performing safety analysis and assessment for a particular product variant, since such analysis is performed from the reused safety artefacts. Thus, variant-specific fault trees, Failure Modes and Effects Analysis (FMEA), and assurance case artefacts required to achieve safety certification can be automatically generated with the support the model-based safety analysis and assurance case construction techniques. / Engenharia de Linha de Produtos de Software (ELPS) contribui para a redução dos custos de desenvolvimento e de manutenção, a melhoria do time-to-market, e o aumento da qualidade de produtos desenvolvidos a partir de uma família de produtos por meio do reuso sistemático dos ativos principais da linha de produtos. A ELPS vem sendo utilizada com sucesso no desenvolvimento de sistemas embarcados críticos, especificamente nos domínios de sistemas automotivos e aeroespaciais. Sistemas embarcados críticos devem ser desenvolvidos de acordo com os requisitos definidos em padrões de segurança, que demandam a produção de artefatos de análise de segurança, árvores de falhas e casos de segurança. Entretanto, a realização de atividades de análise de segurança, análise de árvores de falhas e construção de casos de segurança de forma manual para cada produto de uma linha de produtos é uma tarefa demorada e propensa a erros. O gerenciamento de variabilidade em artefatos de análise de segurança pode ser automatizado com o apoio de técnicas de gerenciamento de variabilidades. Em virtude de safety ser uma propriedade dependente de contexto, a variabilidade no projeto e contexto inerente uma linha de produtos software impacta na definição de propriedades de segurança do sistema, modificando as ameaças à segurança do sistema, suas causas e riscos, medidas de mitigação aplicáveis, e resultados de análise de árvore de falhas. Dessa forma, gerenciar variabilidades em artefatos relacionados à safety em diferentes níveis de abstração aumenta a complexidade do modelo de variabilidade mesmo com o apoio de técnicas de gerenciamento de variabilidades. Para alcançar o equilíbrio eficaz entre os benefícios e a complexidade da adoção de uma abordagem de ELPS para o desenvolvimento de sistemas embarcados críticos é necessário fazer a distinção entre artefatos de safety reusáveis, em que a variabilidade deve ser gerenciada, e artefatos de safety que devem ser gerados a partir de artefatos reusáveis. Por outro lado, tanto a indústria quanto os padrões de segurança têm reconhecido o uso de técnicas dirigidas a modelos para apoiar a análise segurança e a construção de casos de segurança. Técnicas de análise de segurança composicional e otimização de projeto, e de construção de casos de segurança dirigido a modelos vêm sendo utilizadas para apoiar a geração de artefatos de safety requeridos para certificação. O objetivo desta tese é a proposta de uma abordagem dirigida a modelos que integra técnicas de desenvolvimento dirigido a modelos, análise de segurança composicional e otimização de projeto, e construção de casos de segurança dirigido a modelos para apoiar o reuso sistemático e a geração de artefatos de safety em engenharia de linhas de produtos de sistemas embarcados críticos. A abordagem proposta reduz o esforço e os custos de análise e avaliação de segurança para produtos de uma linha de produtos, uma vez que tal análise é realizada a partir de artefatos de safety reusados. Assim, artefatos como análises de árvores de falhas e de modos de falha e efeitos, e casos de segurança requeridos para certificação podem ser gerados automaticamente com o apoio de técnicas dirigidas a modelos.

Made available in DSpace on 2014-12-17T15:47:04Z (GMT). No. of bitstreams: 1 FellipeAA_TESE.pdf: 3718694 bytes, checksum: ce9f8bd2cb41f94ca63270d9cfe0484c (MD5) Previous issue date: 2013-08-19 / Nowadays, the importance of using software processes is already consolidated and is considered fundamental to the success of software development projects. Large and medium software projects demand the definition and continuous improvement of software processes in order to promote the productive development of high-quality software. Customizing and evolving existing software processes to address the variety of scenarios, technologies, culture and scale is a recurrent challenge required by the software industry. It involves the adaptation of software process models for the reality of their projects. Besides, it must also promote the reuse of past experiences in the definition and development of software processes for the new projects. The adequate management and execution of software processes can bring a better quality and productivity to the produced software systems. This work aimed to explore the use and adaptation of consolidated software product lines techniques to promote the management of the variabilities of software process families. In order to achieve this aim: (i) a systematic literature review is conducted to identify and characterize variability management approaches for software processes; (ii) an annotative approach for the variability management of software process lines is proposed and developed; and finally (iii) empirical studies and a controlled experiment assess and compare the proposed annotative approach against a compositional one. One study a comparative qualitative study analyzed the annotative and compositional approaches from different perspectives, such as: modularity, traceability, error detection, granularity, uniformity, adoption, and systematic variability management. Another study a comparative quantitative study has considered internal attributes of the specification of software process lines, such as modularity, size and complexity. Finally, the last study a controlled experiment evaluated the effort to use and the understandability of the investigated approaches when modeling and evolving specifications of software process lines. The studies bring evidences of several benefits of the annotative approach, and the potential of integration with the compositional approach, to assist the variability management of software process lines / A ind?stria de software encontra-se, nos dias de hoje, em um cen?rio altamente din?mico, o qual reflete o mundo dos neg?cios e a sociedade como um todo. A demanda por sistemas de software ?, dessa forma, cada vez mais crescente e visa atender a diferentes dom?nios. Nesse cen?rio, onde sistemas de software complexos precisam ser desenvolvidos com um excelente n?vel de qualidade e consumindo menor quantidade de recursos; aumenta a import?ncia da defini??o de processos de software. Por?m, tais processos necessitam ser devidamente adaptados aos contextos espec?ficos de cada projeto, de forma a garantir a qualidade dos produtos de software desenvolvidos bem como o uso eficaz dos recursos dispon?veis. Para que essa adapta??o dos processos de software ocorra de forma eficaz, ? necess?rio promover a reutiliza??o de especifica??es de processos j? existentes, bem como experi?ncias e pr?ticas de sucesso passadas. Este trabalho explora a ado??o de t?cnicas de engenharia de linha de produtos de software de forma a promover a ger?ncia de variabilidades de fam?lias de processos de software. Para um melhor entendimento do problema em quest?o foi realizada uma revis?o sistem?tica da literatura, a qual identificou um conjunto de abordagens para a ger?ncia de variabilidades em processos de software e suas principais caracter?sticas. Tamb?m foi realizada a proposta de uma abordagem anotativa para a ger?ncia de variabilidades em processos de software, bem como um estudo explorat?rio visando a concretiza??o dessa abordagem e a implementa??o de um prot?tipo de ferramenta para auxiliar na aplica??o da mesma. A abordagem anotativa proposta foi, ent?o, avaliada e comparada com a abordagem composicional do EPF Composer. Tais avalia??es foram conduzidas por meio da realiza??o de estudos emp?ricos e um experimento controlado. Nos estudos emp?ricos as abordagens foram avaliadas: (i) qualitativamente de acordo com um conjunto de crit?rios de an?lise da especifica??o de suas variabilidades; e (ii) quantitativamente por meio da compara??o de valores obtidos para m?tricas de modularidade, tamanho e complexidade para as especifica??es de uma mesma linha de processo usando as abordagens anotativa e composicionais. O experimento controlado teve como objetivo comparar as abordagens anotativa e composicional sob a perspectiva do esfor?o e entendimento das abordagens quando utilizadas na especifica??o de variabilidades em uma linha de processos de software. Os estudos evidenciaram diversos benef?cios proporcionados pela abordagem anotativa no contexto de linhas de processos de software e seu potencial de integra??o com abordagens composicionais para auxiliar na modelagem de variabilidades em processos de software