Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-29T18:03:18Z No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 549401 bytes, checksum: ffeac306fd7624758ab88a5062b5a5ae (MD5) / Made available in DSpace on 2018-08-29T18:03:18Z (GMT). No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 549401 bytes, checksum: ffeac306fd7624758ab88a5062b5a5ae (MD5) Previous issue date: 2007-02-23 / Todo programador ou engenheiro de software lida com um problema crônico na concepção de seus sistemas: violações das especificações ou requisitos de projeto. Essas violações necessitam de uma captura imediata, pois geralmente originam falhas que só podem ser descobertas tardiamente, a um custo de reparo bastante elevado. Nos últimos anos, pesquisadores da ciência da computação estão conseguindo um progressonotávelnodesenvolvimentodetécnicaseferramentasqueverificamautomaticamente requisitos e projeto. A abordagem em maior evidência chama-se verificação de modelos (model-checking). Verificação de modelos é uma técnica formal e algorítmica de se fazer verificação de propriedades de sistemas com um espaço de estados finito. Suas principais vantagens são o poder de automação e a qualidade dos resultados produzidos. Porém, esta técnica sofre de um problema fundamental — a explosão do espaço de estados — que se deve ao crescimento exponencial na estrutura que representa o comportamento de sistemas e à falta de recursos computacionais disponíveis para lidar com grandes quantidades de informação sobre o comportamento dos sistemas sob verificação. Este trabalho concentra-se em verificação de modelos utilizando plataformas de distribuição como tentativa de aliviar o problema citado. Mais detalhadamente, investigamos o uso de grades computacionais que rodam aplicações bag-of-tasks e formulamos algoritmos específicos para o processo de verificação. Aplicações bag-of-tasks são aplicações paralelas cujas tarefas são independentes entre si. Elas são as aplicações mais apropriadas para grades computacionais por permitirem heterogeneidade dos recursos. Aplicamos ferramentas de grades computacionais como uma camada entre a ferramenta de verificação e os recursos distribuídos compartilhados existentes e comparamos os quesitos desempenho e escala nos sistemas a serem verificados em relação às versões centralizadas de verificadores. A plataforma empregada na distribuição é muito atrativa no quesito custo, controle e escala. Através do compartilhamento de uma simples máquina, o engenheiro de sistemas ganha acesso a uma comunidade provedora de uma grande quantidade de recursos heterogêneos e automaticamente gerenciados para se fazer computação paralela seguindo sua filosofia. Durante o trabalho, essas vantagens são comparadas com suas desvantagens, como o alto custo de comunicação e a dificuldade de particionar o processo, por exemplo. O trabalho envolveu a produção das seguintes ferramentas: uma API genérica para a geração distribuída de grafos que representam o comportamento de sistemas concorrentes sobre plataformas de grades computacionais bag-of-tasks, um protótipo de verificação CTL que age de duas maneiras distintas, sendo on-the-fly durante a geração do espaço de estados ou sobre esse espaço de estados distribuído representado explicitamente seguindo a mesma filosofia de comunicação e versões simplificadas de simuladores de sistemas concorrentes sob alguns formalismos baseados em redes de Petri. Resultados experimentais sobre a aplicação deste ferramental são apresentados. / Every programmer or software engineer deals with a chronic problem during the conception of their systems: violations in the project requirements. These violations need to be discovered early be cause they generally produce errors that can be discovered later, at a very expensive cost to repair. In recent years, researchers in computer science are obtaining a notable progress in the development of techniques and tools to automatically verify requirements and designs. The most evidently approach is called model-checking. Model checking is a formal and algorithmic technique to perform properties verification in a finite state space of systems. Its main advantages are the automation power and the quality of the produced results. However this technique suffers from one big and foundamental problem - the state space explosion which is the absense of computational resources available today’s to deal with large amounts of information about the behavior of the systems under verification. This work investigates a solution to verify models in a distributed way using computational grids which runs bag-of-tasks applications, alleviating the mentioned problem. Bagof-tasks applications are those parallel applications which tasks arei ndependent of each other and are the applications most suited for computational grids because they allow heterogeneity between resources. We employ computational grid tools as a layer between between the verificationtooland the distributed shared resources. This verification is performed by adapted CTL algorithms to the bag-of-tasks philosophy. So we intend to obtain improvements in speed-up and scalability in the systems to be checked when compared to centralized versions of verifiers produced in side the group. Moreover,the employed middleware in the distribution is very attractive in the cost and control aspects. By sharing a single machine, the system engineer obtains access to a community that provides large amounts of heterogeneous resources automatically managed to perform parallel computation. This work included the production of the following tools: a generic API to the distributed generation of graphs that describes the behavior of concurrent systems under bag-of-tasks computational grids platforms, a prototype to check for CTL properties using on-the-fly algorithms or iterating over the generated fragments of the distributed graph. We also implemented simplified versions of simulators of concurrent systems following some formalisms based on Petri nets. Experimental results are also presented.

[pt] A abordagem Quality Function Deployment (QFD) integrada a métodos multicritério de apoio à decisão vem sendo amplamente aplicada a projetos de novos produtos, particularmente quando integrada à lógica fuzzy. O objetivo da dissertação é propor um modelo conceitual baseado na abordagem fuzzy ANP-QFD para definir e priorizar requisitos de projeto de novos produtos de defesa à luz de requisitos dos clientes. A pesquisa pode ser considerada descritiva, metodológica e aplicada. A partir dos resultados da revisão bibliográfica e documental sobre os temas centrais da pesquisa, desenvolveu-se um modelo conceitual para definição e priorização de requisitos técnicos de novos produtos de defesa, buscando-se preencher lacunas identificadas na literatura especializada no período 1987-2017. A aplicabilidade do modelo foi demonstrada mediante um estudo empírico no âmbito do Projeto COBRA 2020, uma iniciativa estratégica do Exército brasileiro. Para este estudo, selecionou-se um dos produtos do referido Projeto – um monóculo de visão térmica. Destacam-se como principais contribuições da pesquisa um modelo para definir e priorizar requisitos de projeto de novos produtos de defesa, que considera a complexidade, subjetividade e incerteza como características inerentes a projetos de novos produtos de defesa. Os resultados desta pesquisa poderão ser replicados em outros projetos de novos produtos de defesa – no Centro Tecnológico do Exército – CTEx – e em outras instituições militares envolvidas com atividades de pesquisa, desenvolvimento e inovação (PDeI) no Brasil e no exterior. / [en] The Quality Function Deployment (QFD) approach integrated with multicriteria decision-support methods has been widely applied to development of new product, particularly with the support of fuzzy logic. The objective of this dissertation is to propose a conceptual model based on the fuzzy ANP-QFD approach to define and prioritize project requirements of new defense products. The research can be considered descriptive, applied, and methodological. Based on the results of the bibliographic and documentary review on the central themes of the research, a conceptual model was developed to determine and prioritize project requirements of new defense products, seeking to fill gaps identified during the literature review covering the period of 1987-2017. The applicability of the model was demonstrated by an empirical case study having as experimental context the Project COBRA 2020, a strategic initiative of the Brazilian Army. For this study, one of new products to be developed within this Project was selected – a monocle of thermal vision. The main contribution of the research is a model for determining and prioritizing project requirements of new defense products, which considers the complexity, subjectivity, and uncertainty as inherent characteristics to the design of new defense products. The research findings could be replicated in other projects of new defense products - at the Army Technological Center - CTEx - and other military institutions dealing with research, development and innovation (RDandI) activities in Brazil and abroad.