Made available in DSpace on 2016-06-02T19:06:18Z (GMT). No. of bitstreams: 1 6398.pdf: 1432485 bytes, checksum: dbb2a36cf46b2e3c828fe5dd53dc5d1a (MD5) Previous issue date: 2014-10-20 / Financiadora de Estudos e Projetos / Context: The literature on software testing reports on the application of the Mutation Analysis criterion or mutation testing as a promising approach for revealing faults in aspect-oriented (AO) programs. However, it is widely known that this criterion is highly costly due to the large number of generated mutants and the effort required to identify equivalent mutants. We highlight that little existing research on mutation testing for AO programs focuses on cost reduction strategies. Objective: this work aims at investigating the cost reduction of mutation testing for AO programs. In particular, we intend to reduce the cost of mutation testing by identifying a reduced set of mutation operators that are capable of keeping the effectiveness in guaranteeing the quality of the designed test sets. Method: to achieve the goals, we applied an approach called Sufficient Procedure. Such approach yields sufficient (sets of) mutation operators. Test sets that are adequate with respect to mutants produced by sufficient operators are able to reveal the majority of faults simulated by a whole set of mutants. Results: by applying the Sufficient Procedure, we obtained substantial cost reductions for three groups of AO programs. The cost reduction in the experiments range from 52% to 62%. The final mutation scores yielded by the test sets that are adequate to mutants produced by the sufficient operators range from 92% to 94%. Conclusion: with the achieved results, we conclude that it is possible to reduce the cost of mutation testing applied to AO programs without significant losses with respect to the capacity of revealing prespecified fault types. The Sufficient Procedure has shown to be able to support cost reduction and to maintain the effectiveness of the criterion. / Contexto: A literatura de teste de software relata a aplicação do critério Análise de Mutantes ou teste de mutação em programas orientados a aspectos (OA) como uma forma promissora para revelar defeitos. Entretanto, esse critério é reconhecidamente de alto custo devido ao grande número de mutantes usualmente gerados e ao esforço para detectar os mutantes equivalentes. Ressalta-se que as iniciativas de aplicação de teste de mutação nesse contexto apresentam pouco enfoque em estratégias de redução de custo. Objetivo: este trabalho tem como objetivo investigar a redução de custo de teste de mutação para programas OA. Em específico, este trabalho objetiva reduzir o custo do teste de mutação por meio da identificação de um conjunto reduzido de operadores de mutação que mantenham a efetividade do critério em garantir a qualidade dos conjuntos de teste produzidos. Metodologia: para atingir o objetivo proposto, aplicou-se uma abordagem intitulada Procedimento Essencial, a qual resulta em conjuntos de operadores essenciais de mutação. Os testes adequados para os mutantes produzidos com esses operadores são capazes de revelar a maioria dos defeitos simulados em um conjunto completo de mutantes. Resultados: por meio da aplicação do Procedimento Essencial, foi possível obter reduções de custo substanciais para três conjuntos de programas OA. As reduções obtidas nos experimentos variam de 52% a 62%. Os escores de mutação finais alcançados pelos testes adequados aos mutantes produzidos com os operadores essenciais variam de 92% a 94%. Conclusão: com os resultados alcançados neste trabalho pode-se afirmar que é possível reduzir o custo do teste de mutação em programas OA sem perdas significativas na capacidade de revelar tipos de defeitos pré-definidos. O Procedimento Essencial mostrou-se eficaz na redução de custo e na manutenção da efetividade do critério.

Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2016-02-16T10:40:56Z No. of bitstreams: 1 arquivototal.pdf: 3979902 bytes, checksum: 82031a2c4d1a58a4f86c60ec63d8630a (MD5) / Made available in DSpace on 2016-02-16T10:40:56Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 3979902 bytes, checksum: 82031a2c4d1a58a4f86c60ec63d8630a (MD5) Previous issue date: 2015-02-27 / Over the past few years, recognition by biometric information has been increasingly adopted in several applications, including commerce, government and forensics. One reason for this choice is based on the fact that biometric information is more difficult to falsify, share, hide or misplace than other alternatives like ID cards and passwords. Many characteristics of the individual (physical or behavioral) can be used in a biometric system, such as fingerprint, face, voice, iris, gait, palmprint, hand geometry, and others. Several researches have explored these and other features producing safer and more accurate recognition methods, but none of them are completely fault tolerant and there is still much to evolve and improve in this area. Based on this, this work presents a new approach to biometric recognition based on hand geometry. A database with 100 individuals and with samples of both sides of the hands was used. The feature extraction process prioritizes user comfort during capture and produces segmentation of hands and fingers with high precision. Altogether, 84 features have been extracted from each individual and the method was evaluated from different classification and verification approaches. Classification tests using cross-validation and stratified random subsampling techniques were performed. The experiments demonstrated competitive results when compared to other state-of-the-art methods with hand geometry. The proposed approach obtained with 100% accuracy in different classification strategies and EER rate of 0.75% in the verification process. / Nos últimos anos, o reconhecimento de indivíduos por meio de informações biométricas tem sido cada vez mais adotado nas mais diversas aplicações, sejam elas comerciais, governamentais ou forenses. Uma das razões para essa escolha fundamenta-se nas informações biométricas serem mais difíceis de adulterar, compartilhar, ocultar ou extraviar do que outras alternativas como cartões e senhas. Várias características dos indivíduos, sejam físicas ou comportamentais, podem ser utilizadas em um sistema biométrico, como por exemplo, impressão digital, face, voz, íris, forma de andar, impressão palmar, geometria da mão, entre outras. Diversos trabalhos têm explorado esses e outros traços produzindo mecanismos de reconhecimento cada vez mais seguros e precisos, mas nenhum é imune a falhas e ainda há muito a evoluir e a aprimorar nessa área. Com base nisso, esse trabalho apresenta uma nova proposta de reconhecimento biométrico baseado em geometria da mão. Um banco de dados com 100 indivíduos e amostras de ambos os lados das mãos foi utilizado. O processo de extração de características prioriza o conforto do usuário durante a captura e produz segmentação das mãos e dedos com precisão elevada. Ao todo, 84 atributos foram extraídos de cada indivíduo e o método foi avaliado sob a perspectiva de diferentes abordagens de classificação e verificação. Nos testes de classificação, as técnicas de validação cruzada e subamostragem randômica estratificada foram utilizadas. Os experimentos demonstraram resultados competitivos quando comparados a outros métodos do estado da arte em geometria da mão, apresentando 100% de acurácia em diferentes estratégias de classificação e uma taxa EER de 0,75% no processo de verificação.

Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2016-02-16T16:06:07Z No. of bitstreams: 1 arquivototal.pdf: 3758225 bytes, checksum: 9b36904ee6da8a9b5182f3af462d91cd (MD5) / Made available in DSpace on 2016-02-16T16:06:07Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 3758225 bytes, checksum: 9b36904ee6da8a9b5182f3af462d91cd (MD5) Previous issue date: 2015-10-23 / Biometrics provides a trusted authentication mechanism by using traits (physical or behavioral) which identify users based on their natural characteristics. Biometric services of classification and verification of users are considered, in principle, more secure than password-based systems, requiring the presentation of a unique physical characteristic and, therefore, the presence of the user at least in the moment of authentication. However, such methods have vulnerabilities that result in high rates of false verification, even in the most modern systems. On the other hand, Genetic algorithms (GA) are an optimization approach based on the principle of natural selection proposed by Charles Darwin which has been proving to be a useful tool in finding solutions to complex problems. Moreover, the use of genetic algorithms in biometrics systems has also been growing as they are an interesting alternative for selecting features. This work applies a genetic algorithm-based approach to optimizing parameters of classification and verification of a hand dataset. The BioPass-UFPB multi-biometric dataset is presented and used to test and validate the proposed method. In total, 99 features – 85 geometric features and 14 texture features - extracted from each hand image were used. Additionally, the importance of each feature is also analyzed. The results showed relative improvements of EER greater than 30% and 90% in the best cases of the two verification approaches performed, respectively. As for classification, the use of genetic algorithms were able to reduce, on average, the number of templates to be recovered by the system to ensure that at least one of these is of the same class of the reference sample. In conclusion, both the results showed and the BioPass-UFPB dataset might help the development of new hand geometry-based biometric recognition systems. / A Biometria oferece um mecanismo de autenticação confiável utilizando traços (físicos ou comportamentais) que permitem identificar usuários baseados em suas características naturais. Serviços biométricos de classificação e verificação de usuários são considerados, a princípio, mais seguros que sistemas baseados em políticas de senha, por exigirem a apresentação de uma característica física única e, portanto, a presença do usuário ao menos no momento da autenticação. No entanto, tais métodos apresentam vulnerabilidades e podem resultar em alta taxa de verificação falsa, mesmo em sistemas mais modernos. Algoritmos genéticos (GA), por sua vez, são uma abordagem de otimização baseada no princípio da seleção natural de Charles Darwin e que vêm provando, ao longo dos anos, ser uma ferramenta útil na busca de soluções em problemas complexos. Além disso, seu uso em sistemas biométricos também vem crescendo por se mostrar uma alternativa para seleção de características. Este trabalho utiliza os algoritmos genéticos como ferramenta na otimização de atributos para classificação e verificação biométrica por geometria da mão e impressão palmar. A Base Multibiométrica BioPass-UFPB é apresentada e empregada para teste e validação do método proposto. Ao todo, 99 atributos – sendo 85 geométricos e 14 de textura - extraídos de cada imagem são utilizados e análises sobre a importância desses atributos são realizadas. Os resultados mostraram que, nas duas abordagens de verificação empregadas, os algoritmos genéticos conseguiram melhoras superiores a 30% e 90% da EER em relação ao caso em que o GA não era aplicado. Na classificação, o uso de algoritmos genéticos conseguiu reduzir na média o número de templates a serem recuperados pelo sistema para garantir que ao menos um desses seja da mesma classe da amostra de referência. Por fim, espera-se que os resultados deste trabalho, bem como a base BioPass-UFPB, sirvam de referência na implementação de novos sistemas de reconhecimento biométrico baseados na geometria da mão.

Made available in DSpace on 2015-05-08T14:53:29Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 6781492 bytes, checksum: fe2dd68453a98e9b423873de0eafac83 (MD5) Previous issue date: 2013-08-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This paper proposes a ergonomic checklist for the Civil Construction Industry, which was adapted from the checklist of ILO (International Labour Organization) listed on the Ergonomic Checkpoints manual. The original list is presented as an important tool for identifying private ergonomic problems addressing 128 work-related interventions, but some conclusions limit their application in construction industry. Therefore, in order to adjust it to the reality of the industry, it was held a survey over two vertical residential-buildings construction sites owned by construction companies of the state of Paraíba, one being a small business work, located in the city of Patos, and the other a mid-sized one, located in the city of João Pessoa. During the research, it was made technical in situ visitations which allowed data collection through direct observation and photographic recording, and the achievement of a health and safety conditions of construction sites diagnosis, according to NR 18, and the ILO checklist application on activities of: plaster coating, electrical installations, hydro sanitary installations, mortar coating, window frames installation, cementation and texture on walls, iron framework, mortar preparation, iron structures painting, manufacture of wooden guardrails, frame vertical transport, unloading and transportation of rebar and installation of granite countertops. This set of actions allowed the achievement of the research general objective, the ergonomic checklist adapted to the ICC, with 76 points, representing a decrease of 40.63% on the addressed points, and the separation of convenience, welfare and work organization items. Finally, it is concluded that the proposed list can be used on ICC, as a simple, easy handling tool that enables rapid decision-making at short-term, serving as a prevention tool to preferentially integrate a Health and Workplace Safety Management System that seeks continuous improvement with the end of reducing accidents and improving the working conditions, the environment and the life quality of construction workers. / Este trabalho propõe uma lista de verificação ergonômica para a Indústria da Construção Civil, a qual foi adaptada da lista de verificação da ILO (International Labour Organization) constante no manual Pontos de Verificação Ergonômica. A lista original se apresenta como uma ferramenta importante para identificação de problemas ergonômicos particulares, abordando 128 intervenções ligadas ao trabalho, porém, algumas constatações limitam sua aplicação na construção civil. Dessa forma, com o intuito de adequá-la à realidade do setor, realizou-se um estudo em dois canteiros de obras de edificações residenciais verticais, pertencentes a empresas construtoras do estado da Paraíba, sendo uma obra de pequeno porte, localizada na cidade de Patos, e a outra de médio porte, localizada na cidade de João Pessoa. Durante a pesquisa foram feitas visitas técnicas in loco, que permitiram a coleta de dados através da observação direta e do registro fotográfico, a realização de um diagnóstico das condições de Saúde e Segurança dos canteiros de obras, de acordo com NR 18, além da aplicação da lista de verificação da ILO nas atividades de: revestimento em gesso, instalações elétricas, instalações hidrossanitárias, revestimento em argamassa, instalação de esquadrias, emassamento e textura em paredes, armação de ferro, preparação de argamassa, pintura de estruturas de ferro, confecção de guarda corpos em madeira, transporte vertical de armação, descarga e transporte de vergalhões e instalação de balcões em granito. O conjunto dessas ações permitiu que se alcançasse o objetivo geral da pesquisa, a lista de verificação ergonômica adaptada à ICC, com 76 pontos, que representa uma redução de 40,63% dos pontos abordados, e a separação dos itens comodidade e bem estar e organização do trabalho. Por fim, conclui-se que a lista proposta poderá ser utilizada na ICC, como uma ferramenta simples, de fácil manuseio e que possibilite tomadas de decisões rápidas e de curto prazo, servindo como um instrumento de prevenção que, preferencialmente, integre um Sistema de Gestão da Saúde e Segurança no Trabalho que busque melhorias contínuas em termos de redução de acidentes de trabalho e melhoria das condições de trabalho, do meio ambiente e da qualidade de vida dos trabalhadores da construção.

O processo produtivo industrial pode gerar uma grande quantidade de efluentes líquidos. Esses efluentes, quando não tratados, podem poluir o solo e a água, podendo causar grande impacto ambiental. Nesse sentido é imprescindível que todas as indústrias que geram efluentes líquidos possuam uma estação de tratamento. Porém, para que a estação esteja permanentemente funcionando de acordo com seu objetivo, essa deve ser rotineiramente avaliada. Dessa forma, a avaliação de desempenho para Estação de Tratamento de Efluentes Industriais (ETEI) se torna uma ferramenta importante para a manutenção da eficiência da estação, pois se justifica por procurar pontos vulneráveis da planta de tratamento fornecendo os subsídios necessários à elaboração do diagnóstico e projetos de adequação dos sistemas, permitindo que os efluentes tratados fiquem em conformidade com as exigências estabelecidas pela legislação ambiental. Neste trabalho, foi elaborada uma proposta metodológica, formada por um roteiro, composto por níveis de questionamentos, que auxilia o avaliador na análise de desempenho da ETEI. Complementando esse roteiro foram elaboradas algumas listas de verificação que contribuem para guiar o avaliador em suas análises. Na elaboração das listas, manuais desenvolvidos em diversos países foram considerados. As listas de verificação incluem perguntas para a avaliação dos dados gerais da indústria, para seu Sistema de Gestão Ambiental (SGA) e para alguns sistemas e unidades operacionais da estação de tratamento. Para exemplificar um dos níveis de questionamento do roteiro foi incluído um estudo de caso, no qual o afluente e o efluente de uma indústria mineradora foram avaliados através da técnica estatística multivariada Análise de Componentes Principais (ACP), para demonstração do desempenho da estação de tratamento. O resultado da avaliação realizada demonstrou um bom desempenho da ETEI em tratar os efluentes líquidos. Espera-se, portanto, que este trabalho seja útil para a avaliação de desempenho em plantas de tratamento de efluentes industriais. / The industrial production process can generate large amounts of wastewater. These effluents, when untreated, can pollute soil and water, causing great environmental impact. In this sense it is essential that all industries that generate wastewater own a treatment plant. In order to keep the treatment plant permanently functioning according to its purpose, it should be routinely evaluated. Therefore the performance evaluation for Industrial Wastewater Treatment Plants (IWTP) becomes an important tool for maintaining its efficiency, and justifies itself by seeking vulnerable points on the treatment plant and providing subsidies needed to produce diagnosis and projects to adequate the systems, allowing treated effluent to remain in compliance with the requirements established by the environmental legislation. In this work, a methodological proposal was designed, formed by a road map composed of levels of questioning, which assists the evaluator in the performance analysis of IWTP. In complement to this road map some checklists were developed to help guide the evaluator in his analyzes. While preparing these lists, manuals developed in several countries were considered. The checklists include questions to assess the general data of the industry, its Environmental Management Systems (EMS) and some systems and operations of the treatment plant. To illustrate one of the road map questioning levels a case study was included, in which the influent and effluent of a mining industry are evaluated by multivariate statistical technique called Principal Component Analysis (PCA), to demonstrate the performance of the IWTP. The result of the assessment showed a good performance by the IWTP while treating wastewater. It is expected, therefore, that this study is useful for evaluating the performance in plants where industrial effluents are treated.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Considerando-se os diversos carregamentos que solicitam a estrutura de uma ponte rodoviária, ao longo de sua vida útil, alguns possuem um comportamento essencialmente dinâmico, ou seja, variam com o tempo, diferentemente do que é considerado na prática corrente de projeto desse tipo de obra de arte. Em geral, os projetistas desse tipo de estrutura têm tratado carregamentos como o de vento, tráfego de veículos e de pedestres como ações de natureza estática, ignorando seu perfil cíclico. Tal consideração, em diversas situações de projeto, tende a minorar os efeitos das ações dinâmicas sobre o sistema estrutural. Além disso, estruturas submetidas a solicitações cíclicas, sob uma carga inferior à caga máxima suportada pelo material, estão sujeitas ao fenômeno da fadiga. A consideração adequada de todos estes aspectos mostra-se fundamentalmente importante para correta avaliação dos níveis de esforços solicitantes do sistema estrutural e, bem como, para a identificação de fenômenos importantes como o da fadiga que pode vir a provocar, por exemplo, a ruptura de componentes estruturais sem aviso prévio ou motivo aparente. Para tal, nesta dissertação as técnicas para a contagem de ciclos de tensão e a aplicação das regras de dano acumulado foram analisadas através de curvas do tipo S-N, associadas a diversas normas de projeto. A ponte rodoviária mista (aço-concreto) investigada neste estudo é constituída por seis vigas de aço longitudinais com enrijecedores transversais, oito transversinas e por um tabuleiro de concreto armado. O modelo numérico-computacional, desenvolvido para a análise dinâmica da ponte, foi elaborado com base em técnicas usuais de discretização através do método dos elementos finitos. As mesas e almas das vigas, assim como os enrijecedores , foram modelados por elementos de casca e laje de concreto armado, por elementos sólidos. O carregamento dinâmico avaliado no presente estudo diz respeito ao tráfego de veículos, cuja representação se dá a partir de sistemas "massa-mola-amortecedor". Os comboios formados são adotados como sendo semi-infinitos, deslocando-se com velocidade constante sobre a ponte. As conclusões da presente investigação versam acerca da vida útil de serviço dos elementos estruturais de pontes mistas (aço-concreto). / Considering the various shipments requesting the structure of a road bridge over its useful life, some are of an essentially dynamic behavior, ie , vary with time, contrary to what is considered standard practice in the design of this type of work of art. In general, the designers of this type of structure have treated loads such as wind, vehicles and pedestrians as traffic static nature of actions, ignoring their cyclical profile. This consideration, in various design situations, tends to mitigate the effects of dynamic actions on the structural system. Furthermore, structures subjected to cyclic requests under a lower load at maximum shits supported by the material, are subject to fatigue phenomenon. The proper consideration of these aspects is shown fundamentally important for accurate assessment of levels of internal forces in the structural system, as well as for the identification of important phenomena such as fatigue which may ultimately lead, for example, disruption of structural components without warning or apparent reason. To this end, this dissertation techniques for counting cycles of tension and enforcement of accumulated damage were analyzed by the type SN curves associated with various design standards. Mixed road bridge (steel-concrete) investigated in this study consists of six longitudinal steel girders with transverse stiffeners eight crossbeams and a deck of reinforced concrete. The numerical - computational model developed for the dynamic analysis of the bridge, was based on standard techniques of discretization by finite element method. The tables and souls of the beams, as well as the stiffeners were modeled by shell elements and reinforced concrete slab, for solid elements. The dynamic loading evaluated in this study relates to vehicular traffic, whose representation is given from "mass - spring - damper systems." Trains formed are adopted as semi - infinite, moving with constant speed on the bridge. The findings of this research Versam about the service life of the structural elements of composite (steel-concrete) bridges.

As análises de erros são conduzidas antes de qualquer projeto a ser desenvolvido. A necessidade do conhecimento do comportamento do erro numérico em malhas estruturadas e não-estruturadas surge com o aumento do uso destas malhas nos métodos de discretização. Desta forma, o objetivo deste trabalho foi criar uma metodologia para analisar os erros de discretização gerados através do truncamento na Série de Taylor, aplicados às equações de Poisson e de Advecção-Difusão estacionárias uni e bidimensionais, utilizando-se o Método de Volumes Finitos em malhas do tipo Voronoi. A escolha dessas equações se dá devido a sua grande utilização em testes de novos modelos matemáticos e função de interpolação. Foram usados os esquemas Central Difference Scheme (CDS) e Upwind Difference Scheme(UDS) nos termos advectivos. Verificou-se a influência do tipo de condição de contorno e a posição do ponto gerador do volume na solução numérica. Os resultados analíticos foram confrontados com resultados experimentais para dois tipos de malhas de Voronoi, uma malha cartesiana e outra triangular comprovando a influência da forma do volume finito na solução numérica obtida. Foi percebido no estudo que a discretização usando o esquema CDS tem erros menores do que a discretização usando o esquema UDS conforme literatura. Também se percebe a diferença nos erros em volumes vizinhos nas malhas triangulares o que faz com que não se tenha uma uniformidade nos gráficos dos erros estudados. Percebeu-se que as malhas cartesianas com nó no centróide do volume tem menor erro de discretização do que malhas triangulares. Mas o uso deste tipo de malha depende da geometria do problema estudado / The analyses of errors are conducted before any project to be developed. The necessity of studying the behavior of the numerical error on structured and unstructured grids comes up with the increasing use of these methods of discretization meshes. Thus, the objective was to create a methodology to analyze the errors generated by discretization of the truncation in the Taylor series, applied to the equations of Poisson and Advection-Diffusion stationary and uni and bi-dimensional, using the Finite Volume Method on Voronoi mesh. The choice of these equations is due to its wide use in testing new mathematical models and interpolation function. The schemes used were the Central Difference Scheme (CDS) and the Upwind Difference Scheme (UDS) in the advective terms. There was the influence of boundary condition and position of the generator in the numerical solution of the volume. The analytical results were compared with experimental results for two types of Voronoi meshes, a Cartesian mesh and a triangular shape showing the influence of finite volume in the numerical solution obtained. It was perceived that the discretization in the study using the CDS scheme has smaller errors than the discretization scheme using the UDS as literature. Also notice the difference in the errors in neighboring volumes in triangular meshes which means that there has been no uniformity in the graphs of errors studied. It was noticed that the Cartesian meshes with node at the centroid of the volume is smaller than discretization error triangular meshes. But using this type of meshes depends on the geometry of the problem studied

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2018-11-13T10:55:28Z No. of bitstreams: 2 Dissertação - Marcelo Rodrigues Fortes - 2018.pdf: 2838097 bytes, checksum: d4a5cf0a63ac4bf2c855f5bbaf4d5b65 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-11-13T11:10:09Z (GMT) No. of bitstreams: 2 Dissertação - Marcelo Rodrigues Fortes - 2018.pdf: 2838097 bytes, checksum: d4a5cf0a63ac4bf2c855f5bbaf4d5b65 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-11-13T11:10:09Z (GMT). No. of bitstreams: 2 Dissertação - Marcelo Rodrigues Fortes - 2018.pdf: 2838097 bytes, checksum: d4a5cf0a63ac4bf2c855f5bbaf4d5b65 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-10-01 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Middleware platforms aim to facilitate the construction of distributed applications, hiding the complexities and specificities inherent in the underlying platform. However, while middleware facilitates the construction of applications, its own construction is quite complex, requiring good knowledge in software design and implementation. In this sense, some approaches have been proposed, with the aim of presenting more flexible and configurable ways to build middleware, for example, reflective middleware, model-driven middleware and component-based middleware. Another example is the Model-Driven Domain-Specific Middleware (MD-DSM) approach, which employs Model-Driven Engineering concepts for building middleware platforms that support the execution of model-based applications. MD-DSM solves several problems related to building middleware for different domains. However, the entire process of verifying and validating the final MDDSM product is performed in an ad hoc way, without a methodology that guides the middleware engineer during these activities, possibly compromising the quality of the final product. In this work, we present a verification and validation (V&V) methodology that systematizes the entire quality assurance activities of this category of middleware. In addition, we present a tool that automates much of the V&V activities that need to be performed to ensure the quality of a middleware system built using MD-DSM. We also present a quantitative evaluation of the V&V tool. / Sistemas de middleware têm como objetivo facilitar a construção de aplicações distribuídas, ocultando as complexidades e especificidades inerentes à plataforma subjacente. Entretanto, embora o middleware facilite a construção de aplicações, sua própria construção é bastante complexa, exigindo um bom conhecimento em design e implementação de software. Nesse sentido, algumas abordagens têm sido propostas, com o objetivo de apresentar formas mais flexíveis e configuráveis para construção de middleware, por exemplo, middleware reflexivo, middleware dirigido por modelos e middleware baseado em componentes. Outro exemplo é a abordagem denominada Model-Driven Domain-Specific Middleware (MD-DSM), que emprega conceitos de Engenharia Dirigida por Modelos para construção de plataformas de middleware que suportam a execução de aplicações também baseadas em modelos. MD-DSM resolve vários problemas relacionados à construção de middleware para diferentes domínios. No entanto, todo o processo de verificação e validação do produto final MD-DSM é realizado de forma ad hoc, sem uma metodologia que guie o engenheiro de middleware durante essas atividades, reduzindo a qualidade do produto final. Neste trabalho, apresentamos uma metodologia de verificação e validação (V&V) que sistematiza todo o processo de garantia de qualidade dessa categoria de middleware. Além disso, apresentamos uma ferramenta que automatiza grande parte das atividades de V&V para middleware baseado em MD-DSM. Também apresentamos uma avaliação quantitativa da ferramenta de V&V implementada.

Os sistemas produtivos (SPs) podem utilizar controladores programáveis (CPs) como dispositivos de realização do controle. Neste contexto, programas de controle executados por estes CPs podem ser desenvolvidos de forma que não estejam em conformidade com as especificações de projeto, o que poderá provocar o surgimento de erros funcionais associados à execução de tais programas de controle, erros estes que podem levar os SPs sob controle a um estado que poderá implicar em acidentes envolvendo equipamentos, pessoas e o meio-ambiente. Esta questão tem motivado o surgimento de diversas abordagens para identificar a existência de erros em programas de controle de CPs, de forma a permitir a correção destes erros e garantir, conseqüentemente, maior confiabilidade operacional. O presente trabalho tem por objetivo identificar a existência de erros em programas de controle baseados em LD (Ladder Diagram). Para isto, propõe-se um procedimento de desenvolvimento de modelos baseados em máquinas de estados finitos estendidas (MEFEs), que são gerados a partir do mapeamento de cada um dos rungs contidos no programa de controle que se deseja identificar erros. Uma vez desenvolvidos os modelos em MEFEs, torna-se possível a utilização de uma ferramenta computacional de verificação, própria para estabelecer se os modelos verificados satisfazem determinadas proposições estabelecidas em lógica temporal. Uma proposição em lógica temporal está relacionada a um estado específico do programa de controle modelado, sendo que o objetivo da verificação é o de estabelecer se a proposição estipulada é atendida ou não. Se um determinado estado específico for, por exemplo, um estado indesejado do programa de controle modelado, e este estado for possível de ser alcançado como resultado do processo de verificação realizado, isto impactará na não conformidade do programa de controle com as especificações comportamentais estipuladas na forma de proposição em lógica temporal, indicando haver, portanto, um erro neste programa de controle modelado. Palavras-chave: Controladores programáveis. Linguagem de programação LD. Modelagem e verificação de máquinas de estados finitos estendidas (MEFEs). / Productive systems (PS) can use programmable logic controllers (PLCs) as the devices of accomplishment of the control. In this context, control programs executed by these PLCs can be developed in a way so that they can be in non-conformity with the project specifications, and this fact may result in functional errors related to the control programs execution. These errors can take the PS under control to a state which can lead into accidents involving equipment, people and the environment. This fact has motivated the appearance of different approaches so as to identify the existence of these errors in PLC control programs so that they can be corrected and assure a greater operational reliability. This work aims at identifying the existence of errors in control programs based on Ladder Diagram (LD). In order to accomplish that, a modeling procedure that generates extended finite state machines (EFSMs) is proposed from the mapping of each one of the rungs in the control program whose errors are to be identified. Once the models based on EFSMs are developed it becomes possible to use a computational verification tool, specifically designed to determine if the verified models fulfill determined propositions established in temporal logic. A proposition in temporal logic is related to a specific state of the modeled control program and the objective of the verification is to establish whether the proposition is fulfilled or not. If a determined specific state, for example, is an unwanted state of the modeled control program and if this state is reachable as a result of the verification process, this will impact in the non-conformity of the control program with the behavior specifications established in a temporal logic proposition, indicating an error in this modeled control program.

A segurança do paciente cirúrgico é problemática complexa e desafiadora em âmbito global. A presente pesquisa teve como objetivos (a) analisar as evidências disponíveis na literatura sobre o processo de implementação da lista de verificação de segurança cirúrgica da Organização Mundial da Saúde na prática dos serviços de saúde, e (b) analisar o processo de implementação e o uso diário da lista de verificação de segurança cirúrgica, segundo o relato de enfermeiros que atuavam em unidades de centro cirúrgico de hospitais de duas cidades localizadas no estado do Paraná. A pesquisa foi conduzida em duas fases: revisão integrativa e estudo descritivo. A busca dos estudos primários foi realizada nas bases de dados PubMed, CINAHL e LILACS. A amostra da revisão integrativa foi composta de 27 pesquisas agrupadas em três categorias, a saber: processo de implementação: estratégias para introdução da lista de verificação de segurança cirúrgica nos serviços de saúde (n=15); processo de implementação: estratégias para otimização do uso da lista de verificação de segurança cirúrgica nos serviços de saúde (n=9) e facilitadores e barreiras para implementação da lista de verificação de segurança cirúrgica nos serviços de saúde (n=3). A condução da revisão integrativa possibilitou compreender o processo de implementação da lista, as diferentes estratégias utilizadas para sua implantação, aspectos da implementação considerados bem-sucedidos ou pouco exitosos no alcance dos resultados esperados, facilitadores e barreiras deste processo. O estudo descritivo foi realizado em 25 hospitais de duas cidades que compõem a mesorregião do Norte Central Paranaense (Londrina e Maringá). Os participantes foram 91 enfermeiros que atuavam em centro cirúrgico dos hospitais selecionados. Para a coleta de dados elaborou-se dois instrumentos, os quais foram submetidos à validação aparente e de conteúdo. Os resultados evidenciaram que, na maioria dos hospitais investigados, a lista de verificação de segurança cirúrgica foi implementada, sendo que, para a maioria dos participantes, as estratégias adotadas na introdução da lista foram o planejamento prévio conduzido pelos enfermeiros, a adaptação com predominância do uso no formato impresso e programa educacional. Com relação ao uso diário da lista, a maioria dos enfermeiros apontou a utilização inadequada desta prática nos seguintes aspectos: adesão parcial ao uso pela equipe cirúrgica, diferença de adesão entre as etapas de checagem e entre as categorias profissionais e condutas inadequadas da equipe cirúrgica na checagem da lista em sala cirúrgica (equipe incompleta, desatenta e sem participação ativa de seus membros). Para a maioria dos participantes, o uso da lista trouxe benefícios ou tem potencial para produzir efeitos benéficos para o paciente, equipe cirúrgica e serviço de saúde. As evidências geradas trazem subsídios para os enfermeiros e demais profissionais de saúde na elaboração de protocolos relativos ao processo de implementação ou uso diário da lista mais adequados e compatíveis com as especificidades estruturais e organizacionais dos serviços de saúde nacionais, com o propósito de viabilizar a integração desta ferramenta no processo de trabalho, melhorar a adesão da equipe e alcançar os melhores resultados em prol da segurança do paciente / Surgical patient safety is a complex and challenging problem at the global level. This study aimed to analyze (a) the available evidence in the literature on the process of implementation of the surgical safety checklist of the World Health Organization in the practice of health services, and (b) the implementation process and the daily use of the surgical safety checklist, according to the report of nurses working in surgical center units of hospitals of two cities located in the state of Paraná. The research was conducted in two phases: integrative review and descriptive study. The search for primary studies was carried out in PubMed, CINAHL and LILACS databases. The sample of the integrative review consisted of 27 studies grouped into three categories, namely: implementation process: strategies for the introduction of the surgical safety checklist in the health services (n = 15); implementation process: strategies to optimize the use of the surgical safety checklist in health services (n = 9) and facilitators and barriers to the implementation of the surgical safety checklist (n = 3). Conducting the integrative review made it possible to understand the process of implementing the list, the different strategies used for its implementation, aspects of implementation considered successful or not very successful in achieving the expected results, facilitators and barriers of this process. The descriptive study was carried out in 25 hospitals of two cities that make up the mesoregion of Northern Central of Paraná state (Londrina and Maringá). Participants were 91 nurses who worked in the surgical center of the selected hospitals. For the data collection, two instruments were elaborated, which were submitted to the apparent validation and content. The results showed that, in most of the hospitals investigated, the surgical safety checklist was implemented, and, for most of the participants, the strategies adopted in the introduction of the list were the previous planning conducted by the nurses, the adaptation with predominance of the use in the printed format and educational program. Regarding the daily use of the list, most of the nurses pointed out the inadequate use of this practice in the following aspects: surgical team\'s partial adherence to the use of it, difference in adherence between the check-up stages, and between the professional categories and inadequate behavior of the surgical team in checking the list in the surgical room (incomplete, inattentive team, and members not taking part actively). For most participants, using the list has brought benefits or can potentially produce beneficial effects for the patient, surgical team, and health service. The evidence generated provides subsidies for nurses and other health professionals in elaborating protocols related to the implementation process or daily use of the list more adequate and compatible with the structural and organizational specificities of the national health services, in order to make feasible the integration of this tool into the work process, to improve team adherence and to achieve the best results for patient safety