Submitted by Haroudo Xavier Filho (haroudo.xavierfo@ufpe.br) on 2016-03-11T15:42:40Z
No. of bitstreams: 2
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
jrmn_dissertacao_v.final_biblioteca.pdf: 4430943 bytes, checksum: 6417f221e28ed4c7dfe23d929b24fe60 (MD5) / Made available in DSpace on 2016-03-11T15:42:40Z (GMT). No. of bitstreams: 2
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
jrmn_dissertacao_v.final_biblioteca.pdf: 4430943 bytes, checksum: 6417f221e28ed4c7dfe23d929b24fe60 (MD5)
Previous issue date: 2015-08-03 / FACEPE / É notável a propagação de dispositivos móveis inteligentes em todo o mundo. Em 2016,
espera-se que o número de smartphones supere os 2 bilhões. A entrada desses aparelhos no mercado têm mudado o estilo de vida das pessoas, oferecendo soluções com mais facilidade e praticidade, como por exemplo, a realização de transações bancárias. A variedade e facilidade de acesso aos serviços oferecidos pelos mesmos têm ajudado nesta mudança. Além disso, o número de aplicativos nos marketplaces para satisfazer as mais diferentes necessidades dos usuários tem aumentado bastante. Por estes motivos, as aplicações móveis têm ganhado cada vez mais destaque na indústria de Tecnologia da Informação e Comunicação (TIC). Contudo, apesar da
evolução da computação móvel na última década, a tecnologia das baterias desses dispositivos não evoluíram na mesma velocidade. Sendo, portanto, o curto tempo de vida das baterias uma das maiores preocupações entre fabricantes de hardware e software para dispositivos móveis. É comum o uso de modelos analíticos para analisar o comportamento dos sistemas. Modelos formais como cadeias de Markov e redes de Petri são bastante utilizadas com esse propósito. Estes tipos de modelos tem fundamentação matemática sólida, e portanto, são eficientes para realização de análises quantitativas e verificação de propriedades dos sistemas representados. Entretanto, sua construção requer conhecimento especializado por parte dos projetistas de sistemas. Por outro lado, modelos semiformais, como System Modelling Language (SysML) e Unified Model Language (UML), possuem uma notação mais flexível e são bastante difundidos
no mercado. Contudo, esses modelos semiformais, por não possuírem uma fundamentação formal rígida, não oferecem suporte para o desenvolvimento de técnicas para análises numéricas e verificações de propriedades. Dessa forma, torna-se interessante a combinação do uso de modelos formais e modelos semiformais. Nesse contexto, este trabalho propõe uma abordagem para avaliação de métricas de desempenho, consumo de energia e disponibilidade de aplicações móveis utilizando modelos estocásticos. Para facilitar a construção destes modelos, a abordagem proposta adota a criação de regras de mapeamento, para obtenção de Redes de Petri stocásticas
e Determinísticas (DSPNs) a partir de diagramas da SysML. Desta forma, projetistas que
possuem pouco conhecimento em modelagem estocástica podem realizar análises relacionadas ao desempenho e consumo de energia de aplicações móveis de forma rápida e menos custosa que o desenvolvimento de protótipos, ainda na fase de planejamento do projeto. Por fim, são apresentados estudos de casos que demonstram a aplicabilidade da abordagem. / It is remarkable smart mobile devices spread around the world. In 2016, it is expected
that the number of smartphones exceeds 2 billion. These devices entrace on the market have changed the people lifestyle, offering solutions with more ease and practicality, for example, conducting banking transactions. The variety and easy access to services offered by them have helped this change. Also, the number of applications in the marketplaces to meet the many different users needs has greatly increased. For these reasons, mobile applications have gained more prominence in the Information and Communication Technology (ICT) industry. However, despite the mobile computing progress in the last decade, the battery technology of these devices have not evolved at the same speed. It is, therefore, the short lifetime of batteries a major concern between hardware and software manufacturers to mobile devices. Analytical models are usually
used to analyze the systems behavior. Formal models as Markov chains and Petri nets are widely used for this purpose. These types of models have a solid mathematical basis, and therefore, are effective in carrying out quantitative analyzes and verification systems properties. Nevertheless, their construction requires specialized knowledge by the system designers. Moreover, semiformal models, such as System Modelling Language (SysML) and Unified Model Language (UML) have a more flexible notation and are fairly widespread in the market. Meanwhile, these semi-formal models, for not having a rigid formal basis, do not support techniques for numerical analysis and property checks. Therefore, it becomes interesting to use the combination of formal and semi-formal models. In this context, this work proposes an approach to evaluation performance, power consumption and availability metrics of mobile applications using stochastic
models. In order to facilitate construction of such models, the proposed approach adopts the creation of mapping rules for obtaining Stochastic Petri Nets and deterministic (DSPNs) from SysML diagrams. In this way, designers who have little knowledge in stochastic modeling can perform analyzes related to the performance and power consumption in mobile applications quickly and less costly to develop prototypes, still in the project planning phase. Finally, case studies are presented to demonstrate the approach applicability.
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/15901 |
| Date | 03 August 2015 |
| Creators | MENDONÇA NETO, Júlio Rodrigues de |
| Contributors | LIMA, Ricardo Massa Ferreira, ANDRADE, Emerson Carneiro de |
| Publisher | Universidade Federal de Pernambuco, Programa de Pos Graduacao em Ciencia da Computacao, UFPE, Brasil |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Source | reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE |
| Rights | Attribution-NonCommercial-NoDerivs 3.0 Brazil, http://creativecommons.org/licenses/by-nc-nd/3.0/br/, info:eu-repo/semantics/openAccess |
Page generated in 0.0025 seconds