As metodologias clássicas de análise de desempenho de sistemas sobre silício (System on chip, SoC) geralmente são descritas em função do tempo de execução do pior-caso1 das tarefas a serem executadas. No entanto, nas aplicações do mundo real, o tempo de execução destas tarefas pode variar devido à presença dos diferentes eventos de entrada que ativam o sistema, colocando uma exigência diferente de execução sobre os recursos do sistema. Geralmente, um modelo da carga de trabalho é uma parte integrante de um modelo de desempenho utilizado para avaliar o desempenho de um sistema. O quão bom for um modelo de carga de trabalho determina em grande medida a qualidade das soluções do projeto e a precisão das estimativas de desempenho baseadas nele. Nesta tese, é abordado o problema de modelar a carga de trabalho para o projeto de sistemas de tempo-real cuja funcionalidade envolve processamento de fluxos de multimídia, isto é, fluxos de dados representando áudio, imagens ou vídeo. O problema de modelar a carga de trabalho é abordado sob a premissa de que uma caracterização acurada do comportamento temporal do software embarcado permite ao projetista identificar diversas exigências variáveis de execução, apresentadas para os diversos recursos de arquitetura do sistema, tanto na operação individual do conjunto de tarefas de software, assim como na execução global da aplicação, em fase de projeto. A caracterização do comportamento de cada tarefa foi definida a partir de uma análise temporal dos códigos de software associados às diferentes tarefas de uma aplicação, a fim de identificar os múltiplos modos de operação que o código pode apresentar dentro de um processador. Esta caracterização é feita através da realização de uma análise estática das rotas do código executável, de forma que para cada rota de execução encontrada, estimam-se os tempos extremos de execução (WCET e BCET)2, baseando-se na modelagem da microarquitetura de um processador on-chip. Desta forma, cada rota do código executável junto aos seus respectivos tempos de execução, constitui um modo de operação do código analisado. A fim de agrupar os diversos modos de operação que apresentam um grau de semelhança entre si de acordo a uma perspectiva da medida de processamento utilizado do processador modelado, foi utilizado o conceito de cenário, o qual diferencia o comportamento de cada tarefa em relação às entradas que a aplicação sob análise pode receber. Partindo desta caracterização temporal de cada tarefa de software, as exigências da execução global da aplicação são representadas através de um modelo analítico de eventos. O modelo considera as diferentes tarefas como atores temporais de um grafo de fluxo síncrono de dados, de modo que os diferentes cenários de operação da aplicação são definidos em função dos tempos variáveis de execução identificados previamente na caracterização de cada tarefa. Uma descrição matemática deste modelo, baseada na Álgebra de Max-Plus, permite caracterizar analiticamente os diferentes fluxos de eventos entre a entrada e a saída da aplicação, assim como os fluxos de eventos entre as diferentes tarefas, considerando as mudanças nas exigências de processamento associadas aos diversos cenários previamente identificados. Esta caracterização analítica dos diversos fluxos de eventos de entrada e saída é a base para um modelo de curvas de carga de trabalho baseada em cenários de aplicação, e um modelo de curvas de serviços baseada também em cenários, que dão lugar a caracterizar o dinamismo comportamental da aplicação analisada, determinado pela diversidade de eventos de entrada que podem ativar diferentes comportamentos do sistema em fase de execução. / Classical methods for performance analysis of Multiprocessor System-on-chip (MPSoCs) are usually described in terms of Worst-Case Execution Times (WCET) of the executed tasks. Nevertheless, in real-world applications the running time of tasks varies due to different input events that trigger the system, imposing a different workload on the system resources. Usually, a workload model is a part of a performance model used to evaluate the performance of a system. How good is a workload model largely determines the quality of design solutions and the accuracy of performance estimations based on it. This thesis addresses the problem of modeling the workload for the design of real-time systems which functionality involves multimedia streams processing, i.e, data streams representing audio, images or video. The workload modeling problem is addressed from the assumption that an accurate characterization of timing behavior of real-time embedded software enables the designer to identify several variable execution requirements that the individual operation of the software tasks and the overall execution of the application will present to the several system resources of an architecture, in design phase. The software task characterization was defined from a timing analysis of the source code in order to identify the multiple operating modes the code can exhibit within a processor. This characterization is done by performing a static path analysis on the code, so that for each given path the worst-case and bestcase execution times (WCET and BCET) were estimated, based on a microarchitectural modeling of an on-chip processor. Thus, every execution path of the code, with its estimated execution times, defines an operation mode of the analyzed code. In order to cluster the several operation modes that exhibit certain degree of similarity according to the required amount of processing in the modeled processor, the concept of scenario was used, which differentiates every task behavior with respect to the several inputs the application under analysis may receive. From this timing characterization of every application task, the global execution requirements of the application are represented by an analytical event model. It describes the tasks as timed actors of a synchronous dataflow graph, so that the multiple application scenarios are defined in terms of the variable execution times previously identified in the task characterization. A mathematical description of this model based on the Max-Plus Algebra allows one to characterize the different event sequences incoming to, and exiting from, the application as well as the event sequences between the different tasks, having in count changes in the processing requirements associated with the various scenarios previously identified. This analytical characterization between the input event sequences and the output event sequences states the basis for a model of scenario-based workload curves and a model of scenario-based service curves that allow characterizing the behavioral dynamism of the application determined by the several input events that activate several system behaviors, in the execution phase.

As metodologias clássicas de análise de desempenho de sistemas sobre silício (System on chip, SoC) geralmente são descritas em função do tempo de execução do pior-caso1 das tarefas a serem executadas. No entanto, nas aplicações do mundo real, o tempo de execução destas tarefas pode variar devido à presença dos diferentes eventos de entrada que ativam o sistema, colocando uma exigência diferente de execução sobre os recursos do sistema. Geralmente, um modelo da carga de trabalho é uma parte integrante de um modelo de desempenho utilizado para avaliar o desempenho de um sistema. O quão bom for um modelo de carga de trabalho determina em grande medida a qualidade das soluções do projeto e a precisão das estimativas de desempenho baseadas nele. Nesta tese, é abordado o problema de modelar a carga de trabalho para o projeto de sistemas de tempo-real cuja funcionalidade envolve processamento de fluxos de multimídia, isto é, fluxos de dados representando áudio, imagens ou vídeo. O problema de modelar a carga de trabalho é abordado sob a premissa de que uma caracterização acurada do comportamento temporal do software embarcado permite ao projetista identificar diversas exigências variáveis de execução, apresentadas para os diversos recursos de arquitetura do sistema, tanto na operação individual do conjunto de tarefas de software, assim como na execução global da aplicação, em fase de projeto. A caracterização do comportamento de cada tarefa foi definida a partir de uma análise temporal dos códigos de software associados às diferentes tarefas de uma aplicação, a fim de identificar os múltiplos modos de operação que o código pode apresentar dentro de um processador. Esta caracterização é feita através da realização de uma análise estática das rotas do código executável, de forma que para cada rota de execução encontrada, estimam-se os tempos extremos de execução (WCET e BCET)2, baseando-se na modelagem da microarquitetura de um processador on-chip. Desta forma, cada rota do código executável junto aos seus respectivos tempos de execução, constitui um modo de operação do código analisado. A fim de agrupar os diversos modos de operação que apresentam um grau de semelhança entre si de acordo a uma perspectiva da medida de processamento utilizado do processador modelado, foi utilizado o conceito de cenário, o qual diferencia o comportamento de cada tarefa em relação às entradas que a aplicação sob análise pode receber. Partindo desta caracterização temporal de cada tarefa de software, as exigências da execução global da aplicação são representadas através de um modelo analítico de eventos. O modelo considera as diferentes tarefas como atores temporais de um grafo de fluxo síncrono de dados, de modo que os diferentes cenários de operação da aplicação são definidos em função dos tempos variáveis de execução identificados previamente na caracterização de cada tarefa. Uma descrição matemática deste modelo, baseada na Álgebra de Max-Plus, permite caracterizar analiticamente os diferentes fluxos de eventos entre a entrada e a saída da aplicação, assim como os fluxos de eventos entre as diferentes tarefas, considerando as mudanças nas exigências de processamento associadas aos diversos cenários previamente identificados. Esta caracterização analítica dos diversos fluxos de eventos de entrada e saída é a base para um modelo de curvas de carga de trabalho baseada em cenários de aplicação, e um modelo de curvas de serviços baseada também em cenários, que dão lugar a caracterizar o dinamismo comportamental da aplicação analisada, determinado pela diversidade de eventos de entrada que podem ativar diferentes comportamentos do sistema em fase de execução. / Classical methods for performance analysis of Multiprocessor System-on-chip (MPSoCs) are usually described in terms of Worst-Case Execution Times (WCET) of the executed tasks. Nevertheless, in real-world applications the running time of tasks varies due to different input events that trigger the system, imposing a different workload on the system resources. Usually, a workload model is a part of a performance model used to evaluate the performance of a system. How good is a workload model largely determines the quality of design solutions and the accuracy of performance estimations based on it. This thesis addresses the problem of modeling the workload for the design of real-time systems which functionality involves multimedia streams processing, i.e, data streams representing audio, images or video. The workload modeling problem is addressed from the assumption that an accurate characterization of timing behavior of real-time embedded software enables the designer to identify several variable execution requirements that the individual operation of the software tasks and the overall execution of the application will present to the several system resources of an architecture, in design phase. The software task characterization was defined from a timing analysis of the source code in order to identify the multiple operating modes the code can exhibit within a processor. This characterization is done by performing a static path analysis on the code, so that for each given path the worst-case and bestcase execution times (WCET and BCET) were estimated, based on a microarchitectural modeling of an on-chip processor. Thus, every execution path of the code, with its estimated execution times, defines an operation mode of the analyzed code. In order to cluster the several operation modes that exhibit certain degree of similarity according to the required amount of processing in the modeled processor, the concept of scenario was used, which differentiates every task behavior with respect to the several inputs the application under analysis may receive. From this timing characterization of every application task, the global execution requirements of the application are represented by an analytical event model. It describes the tasks as timed actors of a synchronous dataflow graph, so that the multiple application scenarios are defined in terms of the variable execution times previously identified in the task characterization. A mathematical description of this model based on the Max-Plus Algebra allows one to characterize the different event sequences incoming to, and exiting from, the application as well as the event sequences between the different tasks, having in count changes in the processing requirements associated with the various scenarios previously identified. This analytical characterization between the input event sequences and the output event sequences states the basis for a model of scenario-based workload curves and a model of scenario-based service curves that allow characterizing the behavioral dynamism of the application determined by the several input events that activate several system behaviors, in the execution phase.

Orientador: Prof. Dr. Carlos Eduardo Capovilla / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Engenharia Elétrica, 2015. / O desenvolvimento de software embarcado se tornou um gargalo para a introdu- ¸c¿ao de produtos complexos no mercado, como os sistemas de automa¸c¿ao, ve'ýculo, aeronaves e plantas industriais de controle, pois, dever'a interagir com processos f'ýsicos garantindo suporte 'a opera¸c¿ao em tempo real e de forma concorrente, ainda mantendo os custos reduzidos. Com isso, o n'ývel de integra¸c¿ao conseguido com sistemas embarcados 'e ainda maior, e aumentando a complexidade do desenvolvimento do software. Portanto, uma metodologia efetiva deve ser estabelecida em todos os est'agios, envolvendo ferramentas de software que suportem a gera¸c¿ao autom'atica ou semi-autom'atica de c'odigo, al'em da possibilidade de reuso de c'odigo. O desenvolvimento baseado em modelos tem sido empregado com sucesso na implementa¸c¿ao de sistemas de software de uso geral e com isso reduzindo o n'umero de erros e reduzindo os ciclos e custos, surgindo como uma solu¸c¿ao para os problemas de desenvolvimento de software embarcado dentro da academia e ind'ustria. Devido a utilizar um ambiente de desenvolvimento unificado, pode ser utilizado como uma ferramenta de comunica¸c¿ao e desenvolvimento atrav'es das diferentes disciplinas de engenharia. O objetivo principal da metodologia 'e a mudan¸ca de paradigma de desenvolvimento de software de forma manual a partir de especifica¸c¿oes informais para a captura de requisitos funcionais e n¿ao funcionais do software embarcado a partir de modelos matem'aticos do sistema. Claramente, um modelo matem'atico oferece um modo comum para a integra¸c¿ao sistem'atica e coerente dos diferentes esfor¸cos na especifica¸c¿ao do sistema, projeto, s'ýntese (gera¸c¿ao de c'odigo), an'alise (valida¸c¿ao), execu¸c¿ao e manuten¸c¿ao(evolu¸c¿ao do projeto). Esse trabalho emprega a metodologia de desenvolvimento baseada em modelos de computa¸c¿ao para o desenvolvimento de um medidor de energia, composto por um microcontrolador e hardware espec'ýfico para a medi¸c¿ao de consumo de energia el'etrica. Ao final ser¿ao disponibilizados os dados de testes comparativos entre o medidor de precis¿ao de energia el'etrica WT3000 da Yokogawa e o prot'otipo desenvolvido, para a valida¸c¿ao da metodologia no prot'otipo desenvolvido. / Embedded software design has become the bottleneck in the market introduction of complex products such as automation systems, automobiles, airplanes, and industrial control plants, it must interact with physical processes guaranteeing support for hard real-time operation and concurrency, also, with tight cost. Furthermore, the level of integration with embedded system is even bigger, increasing software development complexity. Due to the increasing complexity and shrinking time-to-market, an effective methodology must at all stages involve automatic and semi-automatic support by software tools and favor code re-use. Model-based desing has been successfully used for development of general-purpose software systems and it is known to reduce development errors, shorten development cycles and thereby decrease overall development costs, emerging as a solution to embedded software design issues as witnessed by both accademic and industrial efforts, also uses a common environment for design and communication throughout the different engineering disciplines. The core principle of this methodology is to move away from manual coding from informal specifications by capturing embedded software functional and nonfunctional requirements from abstract mathematical models. Clearly, a mathematical model offers a common ground for a systematic and coherent integration of diverse efforts in system specification, design, synthesis (code generation), analysis (validation), execution (runtime support), and maintenance (design evolution). The present work investigates the application of software model based development for an energy meter, which is composed by a microcontroller and some specific hardware peripherals to measure electricity usage. At the end it will be conducted comparative tests between the energy power meter WT3000 from Yokogawa and the developed energy meter, to validate the used methodology into developed energy meter.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-07-26T13:52:12Z No. of bitstreams: 1 Debora Stefanello.pdf: 4211863 bytes, checksum: 01fdbcf038800472fbd854b22bc2e341 (MD5) / Made available in DSpace on 2017-07-26T13:52:12Z (GMT). No. of bitstreams: 1 Debora Stefanello.pdf: 4211863 bytes, checksum: 01fdbcf038800472fbd854b22bc2e341 (MD5) Previous issue date: 2017-01-25 / CAPES / In recent years, some research has taken into account problems related to the development of software systems, especially those that make use of context, i.e. context-aware systems. In this dissertation the complexity of context-aware system development is discussed. The proposed solution aims to provide support for the context-aware system development through a framework based on MDE and Weaving. On the one hand, MDE allows the use of models to manage complexity in software development, while the weaving technique supports the creation of interrelations between elements of different but complementary models. The weaving technique is used to create a weaving model that establishes interrelationships between the elements of a Platform Independent Model (PIM) and several Platform Description Model (PDMs). An implementation of the proposed framework and an illustrative example help to understand the proposal and its feasibility. A comparison between the proposed solution and the works found in the literature Done, showing the negative and positive points of the proposed solution. / Nos últimos anos, algumas pesquisas têm levado em conta as problemáticas relacionadas ao desenvolvimento de sistema de software, em especial, aqueles que fazem o uso de contexto, i.e. context-aware systems. Nesta dissertação de mestrado, abordase a complexidade no desenvolvimento de context-aware system. A solução proposta visa fornecer suporte para o desenvolvimento de context-aware system através de um framework baseado em MDE e Weaving. Por um lado, MDE permite a utilização de modelos para gerenciar a complexidade no desenvolvimento de sofware, enquanto a técnica de weaving suporta a criação de inter-relacionamentos entre elementos de modelos diferentes, mas complementares. A técnica de weaving é utilizada para criar um modelo de weaving que estabelece inter-relacionamentos entre os elementos de um PIM (Platform Independent Model) e de vários PDMs (Platform Description Model). Uma implementação do framework proposto e um exemplo ilustrativo ajudam a entender a proposta e mostram a sua viabilidade. Um comparativo entre a solução proposta e os trabalhos encontrados na literatura é feito, mostrando os pontos negativos e positivos da solução proposta.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-04-07T11:44:34Z No. of bitstreams: 1 Marilia Marta.pdf: 1791339 bytes, checksum: 4b1d16d2c77f148ff69597765e114fa2 (MD5) / Made available in DSpace on 2017-04-07T11:44:34Z (GMT). No. of bitstreams: 1 Marilia Marta.pdf: 1791339 bytes, checksum: 4b1d16d2c77f148ff69597765e114fa2 (MD5) Previous issue date: 2017-02-20 / CAPES / Artificial intelligence (AI) is a branch of computer science that studies the intelligent behavior of living beings, and mimics this intelligence by deploying it in computer programs, machines and systems in order to solve problems related to searching, optimization, planning, control, automation, etc. One of the areas of artificial intelligence is evolutionary computation, which is inspired by the principle of natural evolution of species. Within the evolutionary computation several methods based on the intelligence of plants have been recently proposed. How the plants survive and adapt in harsh environments has aroused great interest of researchers in AI. It is remarkable that the life cycle of a plant is extremely intriguing. The way the plants reproduce, propagate, disperse their seeds and select the most resistant is undoubtedly an evidence of intelligence of plants when optimize their existence. In this sense, several computer algorithms based on the intelligent lifecycle of plants have been proposed recently, these algorithms are in many cases, simple to implement, and very efficient in solving complex problems. In this work, the performance of some algorithms, the flower pollination algorithm, strawberry plant algorithm, invasive weed optimization and plant life cycle algorithm, all of them based on the intelligent behavior of plants, are analyzed when applied to optimization of test functions, and they are also compared with classical genetic algorithms. / A inteligência artificial (IA) é um ramo da ciência da computação que estuda o comportamento inteligente dos seres vivos e imita essa inteligência implantando-a em programas de computador, máquinas e sistemas para resolver problemas relacionados à busca, otimização, planejamento, controle, automação, etc. Uma das áreas da inteligência artificial é a computação evolutiva, que é inspirada pelo princípio da evolução natural das espécies. Dentro da computação evolutiva vários métodos baseados na informação de plantas têm sido recentemente proposto. Como as plantas sobrevivem e se adaptam em ambientes agressivos tem despertado grande interesse dos pesquisadores em IA. O ciclo de vida de uma planta é extremamente intrigante. A maneira como as plantas se reproduzem, propagam, dispersam suas sementes e selecionam as mais resistentes é, sem dúvida, uma evidência de inteligência das plantas quando otimizam sua existência. Nesse sentido, diversos algoritmos computacionais baseados no ciclo de vida inteligente das plantas têm sido propostos nos anos recentes, esses algoritmos são, em muitos casos, simples de implementar e muito eficientes na solução de problemas complexos. Neste trabalho é analisado o desempenho de alguns desses algoritmos, o algoritmo de polinização de flores, o algoritmo de planta de morango, otimização invasiva de ervas daninhas e algoritmo do ciclo de vida da planta, todos baseados no comportamento inteligente das plantas, quando aplicados à otimização de funções teste e também comparados com algoritmos genéticos clássicos.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-05-04T23:12:17Z No. of bitstreams: 1 ELTHON ALEX DA SILVA OLIVEIRA - TESE PPGCC 2015..pdf: 4180608 bytes, checksum: 808dd922bbed2d1a31a83917caaf05c5 (MD5) / Made available in DSpace on 2018-05-04T23:12:17Z (GMT). No. of bitstreams: 1 ELTHON ALEX DA SILVA OLIVEIRA - TESE PPGCC 2015..pdf: 4180608 bytes, checksum: 808dd922bbed2d1a31a83917caaf05c5 (MD5) Previous issue date: 2015-05-08 / Diversas soluções de software têm sido desenvolvidas para a área de cuidados de saúde. Nesta área, destacam-se as pesquisas em exercícios físicos, que tem recebido grande atenção da Organização Mundial de Saúde por ajudar a diminuir os riscos de diversas doenças e a aumentar a qualidade de vida das pessoas acometidas por alguma delas. Contudo, há três problemas principais nas soluções existentes desenvolvidas para o acompanhamento de exercícios físicos: i) levam em consideração apenas variáveis fisiológicas, ii) necessitam da atenção do profissional de saúde durante a prática do exercício e iii) não fornecem recomendações customizadas. Neste trabalho, é apresentado um método para proporcionar a manutenção de conformidade entre as ações dos indivíduos e as recomendações do profissional de saúde, durante a prática de exercícios, sem a presença do mesmo in loco. Tal método possibilita a construção de um modelo na forma de autômato finito. Este autômato, chamado de modelo de referência, é capaz de descrever como o indivíduo deve se comportar a fim de se manter em conformidade com as recomendações do profissional de saúde. Por ser gerado a partir da composição de modelos menores, a evolução do modelo pode ser obtida e as propriedades garantidas por construção. Além disso, propriedades de vivacidade e segurança são verificadas no modelo construído por meio da técnica de verificação de modelos, fornecendo confiabilidade ao sistema. Algumas tarefas foram executadas no processo de avaliação do método apresentado e demonstraram que: o processo de construção do modelo de referência está de acordo com o processo clínico; o modelo gerado é capaz de representar o conhecimento do especialista, fornecendo recomendações adequadas ao indivíduo; e a solução apresentada é tecnicamente viável de se implementada e executada; e,por fim,este método pode ser usado em cenários reais,desde que os indivíduos não estejam sob condições de estresse. / Several software solutions have been developed for the healthcare area. In this area, we high light the area of physical exercise that has received great attention from World Health Organization for helping decreasing risk of various diseases and improving the quality of life of people affected by some of them. However, there are three main problems with such solutions developed for monitoring of physical exercises: i) only physiological variables are supported, ii) professional attention is required during the exercise, and iii) customized recommendations are not given. In this work,we present a method to provide accordance maintenance between individuals actions and recommendations from health care professional, during the exercise execution, without the presence of himin loco. Such a method makes it possible to build a finite automaton model. Such an automaton, called reference model, describes how an individual must behave aiming to follow recommendations from the health care professional. As it is obtained by means of composition from smaller models, the model evolution is accomplished and properties are guaranteed by means of building process. Besides, liveness and safety properties are checked in the model by the model checking technique,making the model more reliable. Some tasks were performed during the evaluation process and showed that: the building process of the reference model is according to the clinical procedure; the generated reference model is able to represent the knowledge of the health care professional by providing appropriate recommendations; the presented solution is technically feasible to be developed and executed; and such a method can be used in real scenarios, since individuals are not under stress conditions.

CARVALHO, Aglaíse Frota Moura. M-CODE: um modelo para medição de confidencialidade e desempenho para aplicações móveis seguras. 2008. 93 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2008. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-05-19T18:22:47Z No. of bitstreams: 1 2008_dis_afmcarvalho.pdf: 2003286 bytes, checksum: f365e03fcaf252f6fbc64b60e12f01cc (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-05-19T18:23:52Z (GMT) No. of bitstreams: 1 2008_dis_afmcarvalho.pdf: 2003286 bytes, checksum: f365e03fcaf252f6fbc64b60e12f01cc (MD5) / Made available in DSpace on 2016-05-19T18:23:52Z (GMT). No. of bitstreams: 1 2008_dis_afmcarvalho.pdf: 2003286 bytes, checksum: f365e03fcaf252f6fbc64b60e12f01cc (MD5) Previous issue date: 2008 / Mobile devices have resource restrictions that constrain the use of security mechanisms in applications, such as e-commerce, which demand, for example, confidentiality issues. There is then a need for a mechanism to help developers to choose the appropriate solution that provides security for a specific mobile device application, taking in consideration the limitation of performance, memory and battery, among others. Thus, this work proposes a security measurement model focused on confidentiality and performance for mobile applications. This model is defined in conformance with the cryptographic algorithm and/or protocol more adequate to the mobile application. Confidentiality and performance degrees are calculated according to the proposed model measurements and weights defined by the secure mobile application developer. . The following measurement approaches are used to specify the proposal: Goal-Question-Metric (GQM) and Goal-Driven Software Measurement (GDSM), variations of these approaches, and the Security Measurement (SM) framework. As a case study, a mobile application already existent is used for the analysis and calculation of the confidentiality and performance degrees of chosen algorithms and protocols / Os dispositivos móveis têm limitações de recursos que restringem o uso de mecanismos de segurança em aplicações, tais como comércio eletrônico, as quais exigem, por exemplo, o requisito de confidencialidade. Como é indispensável a implementação de mecanismos de segurança nesse tipo de aplicações, é fundamental auxiliar os desenvolvedores na escolha de um mecanismo que respeite limitações, por exemplo, de desempenho, memória e bateria, dos dispositivos móveis. Esta dissertação propõe então um modelo para medir o grau de confidencialidade e de desempenho necessários para determinadas aplicações que irão executar em dispositivos móveis. A fim de escolher o algoritmo criptográfico e/ou o protocolo mais adequado a uma aplicação móvel específica, os cálculos da confidencialidade e desempenho são realizados através de medidas já definidas no modelo e de pesos definidos pelo desenvolvedor, de acordo com a relevância de cada medida para aplicação. Para especificar a proposta, as abordagens de Goal-Question-Metric (GQM), Goal-Driven Software Measurement (GDSM), variações destas abordagens e o Security Measurement (SM) framework são utilizados. Em seguida, para validar o modelo, é utilizada uma aplicação móvel segura já existente como estudo de caso, sendo feita a análise e cálculo dos graus de confidencialidade e desempenho de algoritmos e protocolos