Uma ferramenta de manipulação de pacotes para análise de protocolos de redes industriais baseados em TCP/IP

This work presents a packet manipulation tool developed to realize tests in industrial devices that implements TCP/IP-based communication protocols. The tool was developed in Python programming language, as a Scapy extension. This tool, named IndPM- Industrial Packet Manipulator, can realize vulnerability tests in devices of industrial networks, industrial protocol compliance tests, receive server replies and utilize the Python interpreter to build tests. The Modbus/TCP protocol was implemented as proof-of-concept. The DNP3 over TCP protocol was also implemented but tests could not be realized because of the lack of resources. The IndPM results with Modbus/TCP protocol show some implementation faults in a Programmable Logic Controller communication module frequently utilized in automation companies

Desenvolvimento de uma ferramenta computacional para aplicação em métodos de elevação por bombeio centrífugo submerso

The Electrical Submersible Pump (ESP) has been one of the most appropriate solutions for lifting method in onshore and offshore applications. The typical features for this application are adverse temperature, viscosity fluids and gas environments. The difficulties in equipments maintenance and setup contributing to increasing costs of oil production in deep water, therefore, the optimization through automation can be a excellent approach for decrease costs and failures in subsurface equipment. This work describe a computer simulation related with the artificial lifting method ESP. This tool support the dynamic behavior of ESP approach, considering the source and electric energy transmission model for the motor, the electric motor model (including the thermal calculation), flow tubbing simulation, centrifugal pump behavior simulation with liquid nature effects and reservoir requirements. In addition, there are tri-dimensional animation for each ESP subsytem (transformer, motor, pump, seal, gas separator, command unit). This computer simulation propose a improvement for monitoring oil wells for maximization of well production. Currenty, the proprietaries simulators are based on specific equipments manufactures. Therefore, it is not possible simulation equipments of another manufactures. In the propose approach there are support for diverse kinds of manufactures equipments

Uma ferramenta para Análise Multiresolução de dados não regularmente amostrados

Digital signal processing (DSP) aims to extract specific information from digital signals. Digital signals are, by definition, physical quantities represented by a sequence of discrete values and from these sequences it is possible to extract and analyze the desired information. The unevenly sampled data can not be properly analyzed using standard techniques of digital signal processing. This work aimed to adapt a technique of DSP, the multiresolution analysis, to analyze unevenly smapled data, to aid the studies in the CoRoT laboratory at UFRN. The process is based on re-indexing the wavelet transform to handle unevenly sampled data properly. The was efective presenting satisfactory results

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Automatização de testes funcionais utilizando a ferramenta Sikuli

This work seeks to demonstrate the advantages in functional software test automation using Sikuli tool, which uses image recognition to find the graphical elements of a system, in addition to using a custom library with methods made to automate the summarization of obtained results through the tests and their evidence

Automação do fornecimento de ração para organismos aquáticos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Reestruturação e automação de processos: caso de um processo da área de compras e suprimentos de uma empresa brasileira do setor de mídia

Innovation in the field of Information Technology (IT) have made companies evaluate their processes and activity of its supply chain to conform to this new reality. In the supply chain management, one of the tools that revolutionized the activities was the use of management information systems such as ERP tool. This system allows greater integration of data from multiple areas of the enterprise and beyond, giving more activities to processes and activities. This work aims to analyze the results and impacts of the restructuring of an equipment leasing process in a Brazilian media company and verify that the gains and improvements that were targeted in the initial design of this restructuring have been achieved. Also the risks identified with this change will be studied, the reactions of those involved in this process and the performance of the chain as a whole. To carry out this work was carried out a single case study with data collection in the assessed company and literature related to supply chain and information systems

Reestruturação e automação de processos: caso de um processo da área de compras e suprimentos de uma empresa brasileira do setor de mídia

Innovation in the field of Information Technology (IT) have made companies evaluate their processes and activity of its supply chain to conform to this new reality. In the supply chain management, one of the tools that revolutionized the activities was the use of management information systems such as ERP tool. This system allows greater integration of data from multiple areas of the enterprise and beyond, giving more activities to processes and activities. This work aims to analyze the results and impacts of the restructuring of an equipment leasing process in a Brazilian media company and verify that the gains and improvements that were targeted in the initial design of this restructuring have been achieved. Also the risks identified with this change will be studied, the reactions of those involved in this process and the performance of the chain as a whole. To carry out this work was carried out a single case study with data collection in the assessed company and literature related to supply chain and information systems

Ferramenta computacional para medição de deslocamentos em ensaios de carga através de técnicas de processamento de imagem

Dissertação de Mestrado para a obtenção de grau de Mestre em Engenharia Eletrotécnica Ramo de Automação e Eletrónica Industrial

O orçamento público como ferramenta de análise de políticas públicas

Pesquisa exploratória que propõe utilizar o orçamento público para analisar políticas públicas, agrupadas pelos setores de atuação do governo conforme classificação funcional estabelecida na Portaria MP nº 42/99. Trata-se de um estudo de caso dos orçamentos federais, com o objetivo de analisar a evolução das despesas públicas no período entre 2001 e 2011. A fonte de dados é o Sistema de Informações Gerenciais Avançadas (Siga Brasil), desenvolvido pelo Senado Federal e disponível ao público na internet. Espera-se verificar com a análise a existência de preferências alocativas de funções e subfunções e a diferença entre o orçamento fixado e a execução no período proposto. O texto foi estruturado em cinco capítulos. No primeiro, são apresentados o objeto, os objetivos e a justificativa. No segundo, são levantados conceitos para nivelamento da linguagem orçamentária e de políticas públicas além de contextualização desses temas e da tecnologia da informação aplicada no setor público para gestão e transparência. No terceiro é explicado o método de estudo. No quarto é apresentada a análise dos dados. O quinto capítulo foi destinado às considerações finais – pressupostos, objetivos alcançados e recomendações de pesquisas futuras. Por fim, encontram-se as referências e os apêndices.

Democracia participativa na Câmara dos Deputados : análise da efetividade da Comissão de Legislação Participativa como ferramenta de interação entre a sociedade e o parlamento

Discute a efetividade da mudança de paradigma de democracia adotado pela Câmara dos Deputados, representada pela criação da Comissão de Legislação Participativa - CLP, em 2001. O ponto de vista considerado para a abordagem é o da própria Comissão, externado pela análise do discurso de suas publicações periódicas, realizada segundo a teoria desenvolvida por Oswald Ducrot. No decorrer do trabalho, identifica-se o modelo democrático construído para o País na Constituição Federal de 1988, frente às possibilidades da democracia direta, representativa e participativa e situa-se, doutrinariamente, a CLP como ferramenta de democracia participativa. Em seguida, revelam-se os objetivos e as competências da CLP, assim como os procedimentos para elas adotados no âmbito do processo legislativo, para possibilitar a análise da atuação do órgão.

Planejamento orçamentário : uma ferramenta para a concretização dos objetivos do planejamento estratégico

Apresenta os resultados de investigação quanto à forma com que o processo orçamentário contribui para a concretização de objetivos estabelecidos em um planejamento estratégico. Foi possível evidenciar, especificamente no caso da Câmara dos Deputados, os pontos comuns entre ambos os planejamentos. Ao confrontar os procedimentos adotados pela Casa Legislativa, conclui-se que, se todos os elementos que caracterizam o orçamento-programa fossem implementados, o planejamento orçamentário constituiria ferramenta adequada para a concretização dos objetivos do planejamento estratégico. Apresenta, então, sugestão de integração dos dois planejamentos em um único sistema.

Gestão integrada na Câmara dos Deputados para modelagem de processos e informações com foco em automação : Relatório de intervenção

Trata-se de relatório de intervenção que estuda a modelagem de processos e de informações, quando o foco for a automação na Câmara dos Deputados. Esse estudo tem como objetivo propor uma forma de gestão integrada das atividades de modelagem, as quais são realizadas por diferentes setores, a fim de agregar valor aos interessados do processo, como área de TI e a própria área de negócio.

O crowdsourcing como ferramenta de gestão da informação na conservação dos edifícios da Câmara dos Deputados : Relatório de intervençao

Relatório de Intervenção apresentado como requisito parcial para aprovação na disciplina Práticas de Gestão no Legislativo do Curso de Mestrado Profissional em Poder Legislativo, do Programa de Pós-Graduação do Centro de Formação, Treinamento e Aperfeiçoamento da Câmara dos Deputados/Cefor.