Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Dispositivos mÃveis, tais como smartphones e tablets, dotados de uma sÃrie de sen-sores se tornaram comuns no nosso dia a dia. Esse cenÃrio propiciou que aplicaÃÃes dessas plataformas acessassem cada vez mais informaÃÃes contextuais do ambiente, do sistema e do usuÃrio para se adaptar de acordo ou oferecer serviÃos relevantes. AplicaÃÃes dotadas desse comportamento sÃo conhecidas como sensÃveis ao contexto. VÃrias infraestruturas jà foram criadas para auxiliar no desenvolvimento de aplicaÃÃes desse tipo. Essas infraestruturas faci-litam a aquisiÃÃo e o gerenciamento de informaÃÃes contextuais. Todavia, muitas delas nÃo sÃo apropriadas para o ambiente de execuÃÃo heterogÃneo e peculiar dos dispositivos mÃveis. Esse trabalho de dissertaÃÃo de mestrado apresenta uma infraestrutura para aquisiÃÃo de con-texto chamada CAM (Context Acquisition Manager). CAM à um framework projetado para utilizaÃÃo em dispositivos mÃveis dotados de sensores embarcados. Entre suas principais ca-racterÃsticas estÃo o fraco acoplamento entre ele e as aplicaÃÃes que o utilizam e a possibilidade de adaptaÃÃo no momento de implantaÃÃo ou de execuÃÃo. A adaptaÃÃo na implantaÃÃo permite ao desenvolvedor personalizar quais caracterÃsticas serÃo incluÃdas na instalaÃÃo do framework. Jà a adaptaÃÃo em tempo de execuÃÃo permite desabilitar ou habilitar partes do framework con-forme a demanda. Para avaliaÃÃo desse trabalho foi desenvolvida uma aplicaÃÃo sensÃvel ao contexto como prova de conceito que utiliza o framework CAM. AtravÃs do desenvolvimento dela, foi possÃvel perceber a clara separaÃÃo entre o cÃdigo de aquisiÃÃo de contexto, encapsu-lado no framework, do cÃdigo de uma aplicaÃÃo que o utiliza. TambÃm foi desenvolvido um protÃtipo de uma outra aplicaÃÃo, no qual foram realizados testes do mecanismo de adaptaÃÃo dinÃmica do framework. No experimento foi analisado o impacto da adaptaÃÃo na utilizaÃÃo do processador e da memÃria primÃria do dispositivo, que mostrou um aumento na economia de ambos. / Mobile devices, such as smartphones and tablets, with a number of sensors have become commonplace in our daily lives. This scenario promotes applications from these platforms to increasingly access contextual information of the environment, the user and the system, which adapt accordingly or offer relevant services. This behavior is known as context-awareness. Several infrastructures have been created to help in the development of context-aware applications. These infrastructures facilitate the acquisition and management of contextual information. However, many of them are not appropriated to the heterogeneous and particular environment of mobile devices. This work presents an infrastructure for context acquisition called CAM (Context Acquisition Manager). CAM is a framework designed for use in sensor rich mobile devices. Among its main features are the loosely coupling with the applications that use it and the possibility of adapting in deployment time or execution time. The deployment adaptation allows a developer to customize what features will be included in the installation of the framework. The adaptation in execution time allow the framework to enable or disable its features according to applications requirements. To evaluate this work we developed a context-sensitive application as a proof of concept that uses the framework CAM. Through the development of this application, it was possible to notice a clear separation between the context acquisition code, wrapped by the framework, and the application code. A prototype of another application in which tests were performed on the dynamic adaptation mechanism of the framework was also developed. In this experiment, the impact of the adaptation on the resources of the device was investigated, which showed an increased economy in memory and CPU.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / As Linhas de produtos de software sÃo uma forma de maximizar o reuso de software, dado que proveem a customizaÃÃo de software em massa. Recentemente, Linhas de produtos de software (LPSs) tÃm sido usadas para oferecer suporte ao desenvolvimento de aplicaÃÃes sensÃveis ao contexto nas quais adaptabilidade em tempo de execuÃÃo à um requisito importante. Neste caso, as LPSs sÃo denominadas Linhas de produtos de software sensÃveis ao contexto (LPSSCs). O sucesso de uma LPSSC depende, portanto, da modelagem de suas caracterÃsticas e do contexto que lhe à relevante. Neste trabalho, essa modelagem à feita usando o diagrama de caracterÃsticas e o diagrama de contexto. Entretanto, um processo manual para construÃÃo e configuraÃÃo desses modelos pode facilitar a inclusÃo de diversos erros, tais como duplicaÃÃo de caracterÃsticas, ciclos, caracterÃsticas mortas e falsos opcionais sendo, portanto, necessÃrio o uso de tÃcnicas de verificaÃÃo de consistÃncia. A verificaÃÃo de consistÃncia neste domÃnio de aplicaÃÃes assume um papel importante, pois as aplicaÃÃes usam contexto tanto para prover serviÃos como para auto-adaptaÃÃo caso seja necessÃrio. Neste sentido, as adaptaÃÃes disparadas por mudanÃas de contexto podem levar a aplicaÃÃo a um estado indesejado. AlÃm disso, a descoberta de que algumas adaptaÃÃes podem levar a estados indesejados sà pode ser atestada durante a execuÃÃo pois o erro à condicionado à configuraÃÃo atual do produto. Ao considerar que tais aplicaÃÃes estÃo sujeitas a um grande volume de mudanÃas contextuais, a verificaÃÃo manual torna-se impraticÃvel. Logo, à interessante que seja possÃvel realizar a verificaÃÃo da consistÃncia de forma automatizada de maneira que uma entidade computacional possa realizar essas operaÃÃes. Dado o pouco suporte automatizado oferecido a esses processos, o objetivo deste trabalho à propor a automatizaÃÃo completa desses processos com uma ferramenta, chamada FixTure (FixTure), para realizar a verificaÃÃo da construÃÃo dos modelos de caracterÃsticas para LPSSC e da configuraÃÃo de produtos a partir desses modelos. A ferramenta FixTure tambÃm provà uma simulaÃÃo de situaÃÃes de contexto no ciclo de vida de uma aplicaÃÃo de uma LPSSC, com o objetivo de identificar inconsistÃncias que ocorreriam em tempo de execuÃÃo. / Software product lines are a way to maximize software reuse once it provides mass software customization. Software product lines (SPLs) have been also used to support contextaware applicationâs development where adaptability at runtime is an important issue. In this case, SPLs are known as Context-aware software product lines. Context-aware software product line (CASPL) success depends on the modelling of their features and relevant context. However, a manual process to build and configure these models can add several errors such as replicated features, loops, and dead and false optional features. Because of this, there is a need of techniques to verify the model consistency. In the context-aware application domain, the consistency verification plays an important role, since application in this domain use context to both provide services and self-adaptation, when it is needed. In this sense, context-triggered adaptations may lead the application to undesired state. Moreover, in some cases, the statement that a contex-triggered adaptation is undesired only can be made at runtime, because the error is conditioned to the current product configuration. Additionally, applications in this domain are submitted to large volumes of contextual changes, which imply that manual verification is virtually not viable. So, it is interesting to do consistency verification in a automated way such that a computational entity may execute these operations. As there is few automated support for these proccesses, the objective of this work is to propose the complete automation of these proccesses with a software tool, called FixTure, that does consistency verification of feature diagrams during their development and product configuration. FixTure tool also supports contextual changes simulation during the lifecycle of a CASPL application in order to identify inconsistencies that can happen at runtime.