Transformadores de potência são equipamentos essenciais no sistema elétrico de potência, alterando os níveis de tensão para interligar os sistemas de geração, transmissão e distribuição de energia elétrica. Neste trabalho são relacionados e descritos os principais modos de falha normalmente verificados em transformadores, associados ao levantamento estatístico que compõe um banco de dados elaborado a partir de perícias realizadas entre os anos de 2.000 e 2.008 para companhias seguradoras. É apresentada e desenvolvida uma análise de falhas verificadas em cerca de uma centena de transformadores com diferentes tipos de aplicação, classes de tensão e níveis de potência. O objetivo do estudo é contribuir com um melhor entendimento de causas de falhas e os tipos de transformadores mais suscetíveis a cada uma delas. / Power transformers are essential equipment in the electric system by changing the voltage levels in order to connect generation, transmission and distribution systems of electric energy. In this study are related and described the most common failure modes in transformers, associated with the statistical statement that makes up a database developed from expertise held between the years 2000 and 2008 for insurance companies. It is presented and developed an analysis of failures found in around a hundred transformers with different types of application, classes of voltage and power levels. The objective of the study is to contribute to a better understanding of the causes of failures and the transformers types most susceptible to each one.

Com o objetivo da redução do tempo de desenvolvimento de produtos comerciais, hardwares padronizados, como microcontroladores e microprocessadores dedicados, têm sido largamente empregados em aplicações críticas, transferindo para o software elementos até então de responsabilidade exclusiva do hardware. Técnicas de programação defensiva são mecanismos preventivos contra a ocorrência de falhas de hardware ou de software. Para a verificação da segurança de sistemas de aplicações críticas, técnicas de injeção de falhas foram desenvolvidas, propiciando o teste dos mecanismos de tolerância a falhas em condições muito semelhantes às do ambiente operacional real. A introdução de técnicas de programação defensiva aumenta a segurança dos sistemas de aplicações críticas. Não há, na literatura pesquisada, qualquer referência a uma avaliação quantitativa das técnicas de programação defensiva. Esta tese é a descrição de um trabalho experimental, que visa esta avaliação quantitativa, e se organiza em algumas etapas. Primeiro, algumas técnicas de programação defensiva são apresentadas, caracterizadas e eleitas como objeto de avaliação. A seguir, técnicas de injeção de falhas são descritas e uma delas é eleita como meio de teste do trabalho experimental. A partir daí, as técnicas de programação defensiva são verificadas sob o enfoque da técnica de injeção de falhas escolhida. O resultado é uma avaliação quantitativa relativa da eficácia de algumas técnicas de programação defensiva na capacidade de tolerância a falhas inseguras de sistemas de aplicações críticas. Ao final, indicações de continuidade do trabalho são apresentadas. O ambiente metroferroviário, em que trabalha o autor, foi utilizado como estudo de caso. Entretanto, as considerações e conclusões desta tese se aplicam a qualquer sistema de missão critica. / Aiming the reduction of commercial systems` time to the market, standardized hardware, as microcontrollers and embedded microprocessors, has been broadly employed for critical applications, transferring to the software issues that once exclusively relied on the hardware design. Defensive programming techniques are preventive engines against hardware and software faults. In order to verify the safety of critical application systems, fault injection techniques were developed, allowing for the testing of fault tolerant techniques under conditions quite close to actual operational environments. The introduction of defensive programming techniques increases the safety of critical application systems. There are no references, on a large research base, on quantitative evaluations of defensive programming techniques. This thesis describes an experimental work towards a relative quantitative evaluation, organized in a few stages. First, some defensive programming techniques are shown, characterized and selected as the evaluation target. Following, fault injection techniques are described and one of them is selected as the agent of the experimental work. From this point on, the defensive programming techniques are verified under the fault injection technique chosen. The result is a relative quantitative evaluation on the efficiency of some defensive programming techniques on the unsafe fault tolerance capacity of critical application systems. Finally, indications for further work are presented. The railway environment, where the author works, was employed as a case study. However, the reasoning and the conclusions of this thesis are applicable to any critical mission system.

No projeto de arquiteturas computacionais, a partir da evolução do modelo cliente-servidor, surgiram os sistemas distribuídos com a finalidade de oferecer características tais como: disponibilidade, distribuição, compartilhamento de recursos e tolerância a falhas. Estas características, entretanto, não são obtidas de forma simples. As aplicações distribuídas e as aplicações centralizadas possuem requisitos funcionais distintos; aplicações distribuídas são mais difíceis quanto ao projeto e implementação. A complexidade de implementação é decorrente principalmente da dificuldade de tratamento e de gerência dos mecanismos de comunicação, exigindo equipe de programadores experientes. Assim, tem sido realizada muita pesquisa para obter mecanismos que facilitem a programação de aplicações distribuídas. Observa-se que, em aplicações distribuídas reais, mecanismos de tolerância a falhas constituem-se em uma necessidade. Neste contexto, a comunicação confiável constitui-se em um dos blocos básicos de construção. Paralelamente à evolução tanto dos sistemas distribuídos como da área de tolerância a falhas, foi possível observar também a evolução das linguagens de programação. O sucesso do paradigma de orientação a objetos deve-se, provavelmente, à habilidade em modelar o domínio da aplicação ao invés da arquitetura da máquina em questão (enfoque imperativo) ou mapear conceitos matemáticos (conforme o enfoque funcional). Pesquisadores demonstraram que a orientação a objetos apresenta-se como um modelo atraente ao desenvolvimento de aplicações distribuídas modulares e tolerantes a falhas. Diante do contexto exposto, duas constatações estimularam basicamente a definição desta dissertação: a necessidade latente de mecanismos que facilitem a programação de aplicações distribuídas tolerantes a falhas; e o fato de que a orientação a objetos tem-se mostrado um modelo promissor ao desenvolvimento deste tipo de aplicação. Desta forma, nesta dissertação definem-se classes para a comunicação do tipo unicast e multicast, nas modalidades de envio confiável e não-confiável. Além destes serviços de comunicação básicos, foram desenvolvidas classes que permitem referenciar os participantes da comunicação através de nomes. As classes estão organizadas na forma de um pacote, compondo um framework. Sua implementação foi desenvolvida usando Java. Embora não tivessem sido requisitos básicos, as opções de projeto visaram assegurar resultados aceitáveis de desempenho e possibilidade de reuso das classes. Foram implementados pequenos trechos de código utilizando e testando a funcionalidade de cada uma das classes de comunicação propostas.

O elevado custo de manutenção nos ambientes industriais motivou pesquisas de novas técnicas para melhorar as ações de reparos. Com a evolução tecnológica, principalmente da eletrônica, que proporcionou o uso de sistemas embarcados para melhorar as atividades de manutenção, estas agregaram inteligência e evoluíram para uma manutenção pró-ativa. Através de ferramentas de processamento de sinais, inteligência artificial e tolerância a falhas, surgiram novas abordagens para os sistemas de monitoramento a serviço da equipe de manutenção. Os ditos sistemas de manutenção inteligente, cuja tarefa é realizar testes em funcionamento (on-line) nos equipamentos industriais, promovem novos modelos de confiabilidade e disponibilidade. Tais sistemas são baseados nos conceitos de tolerância a falhas, e visam detectar, diagnosticar e predizer a ocorrência de falhas. Deste modo, fornece-se aos engenheiros de manutenção a informação antecipada do estado de comportamento do equipamento antes mesmo deste manifestar uma falha, reduzindo custos, aumentando a vida útil e tornando previsível o reparo. Para o desenvolvimento do sistema de manutenção inteligente objeto deste trabalho, foram estudadas técnicas de inteligência artificial (redes neurais artificiais), técnicas de projeto de sistemas embarcados e de prototipação em plataformas de hardware. No presente trabalho, a rede neural Mapas Auto-Organizáveis foi adotada como ferramenta base para detecção e diagnóstico de falhas. Esta foi prototipada numa plataforma de sistema embarcado baseada na tecnologia FPGA (Field Programmable Gate Array). Como estudo de caso, uma válvula elétrica utilizada em dutos para transporte de petróleo foi definida como aplicação alvo dos experimentos. Através de um modelo matemático, um conjunto de dados representativo do comportamento da válvula foi simulado e utilizado como entrada do sistema proposto. Estes dados visam o treinamento da rede neural e visam fornecer casos de teste para experimentação no sistema. Os experimentos executados em software validaram o uso da rede neural como técnica para detecção e diagnóstico de falhas em válvulas elétricas. Por fim, também realizou-se experimentos a fim de validar o projeto do sistema embarcado, comparando-se os resultado obtidos com este aos resultados obtidos a partir de testes em software. Os resultados revelam a escolha correta do uso da rede neural e o correto projeto do sistema embarcado para desempenhar as tarefas de detecção e diagnóstico de falhas em válvulas elétricas. / The high costs of maintenance in industrial environments have motivated research for new techniques to improve repair activities. The technological progress, especially in the electronics field, has provided for the use of embedded systems to improve repair, by adding intelligence to the system and turning the maintenance a proactive activity. Through tools like signal processing, artificial intelligence and fault-tolerance, new approaches to monitoring systems have emerged to serve the maintenance staff, leading to new models of reliability and availability. The main goal of these systems, also called intelligent maintenance systems, is to perform in-operation (on-line) test of industrial equipments. These systems are built based on fault-tolerance concepts, and used for the detection, the diagnosis and the prognosis of faults. They provide the maintenance engineers with information on the equipment behavior, prior to the occurrence of failures, reducing maintenance costs, increasing the system lifetime and making it possible to schedule repairing stops. To develop the intelligent maintenance system addressed in this dissertation, artificial intelligence (neural networks), embedded systems design and hardware prototyping techniques were studied. In this work, the neural network Self-Organizing Maps (SOM) was defined as the basic tool for the detection and the diagnosis of faults. The SOM was prototyped in an embedded system platform based on the FPGA technology (Field Programmable Gate Array). As a case study, the experiments were performed on an electric valve used in a pipe network for oil transportation. Through a mathematical model, a data set representative of the valve behavior was obtained and used as input to the proposed maintenance system. These data were used for neural network training and also provided test cases for system monitoring. The experiments were performed in software to validate the chosen neural network as the technique for the detection and diagnosis of faults in the electrical valve. Finally, experiments to validate the embedded system design were also performed, so as to compare the obtained results to those resulting from the software tests. The results show the correct choice of the neural network and the correct embedded systems design to perform the activities for the detection and diagnosis of faults in the electrical valve.

Técnicas de prevenção de falhas como testes e verificação de software não são suficientes para prover dependabilidade a sistemas, visto que não são capazes de tratar falhas ocasionadas por eventos externos tais como falhas transientes. Nessas situações faz-se necessária a aplicação de técnicas capazes de tratar e tolerar falhas que ocorram durante a execução do software. Grande parte das técnicas de tolerância a falhas transientes está focada na detecção e correção de erros de fluxo de controle, que podem corresponder a até 70% de erros causados por esse tipo de falha. Essas técnicas tratam as falhas em nível de software, alterando o programa com a inserção de novas instruções que devem capturar e corrigir desvios inesperados ocorridos durante a execução do software, sendo ACCE uma das técnicas mais conhecidas. Neste trabalho foi feita uma implementação da técnica ACCE através da criação de um passo de transformação de programas para a infraestrutura de compilação LLVM. ACCE atua sobre a linguagem intermediária dos programas compilados com o LLVM, resultando em portabilidade de linguagem de programação e de arquitetura de máquina. Além da implementação da técnica como um passo de transformação, o LLVM foi utilizado para a realização dos experimentos para avaliar o impacto na eficácia de ACCE quando aplicada em programas previamente otimizados por outras transformações. Esse tipo de avaliação é fundamental uma vez que dificilmente a compilação de programas é feita sem a ativação de otimizações, e, até onde sabemos, nunca havia sido feito anteriormente. Os experimentos deste trabalho foram realizados através de baterias de injeção de falhas em programas da suíte de benchmarks Mibench, divididas em diferentes cenários, que avaliaram ACCE em termos de correção de falhas, quando aplicada em programas otimizados por transformações individuais e também por combinações de transformações. Os resultados dos experimentos realizados mostram que a técnica ACCE é eficaz na correção de falhas, porém, para alguns programas otimizados por determinadas transformações, houve redução na correção de falhas. Esse trabalho analisa os experimentos nos quais houve redução da eficácia de ACCE e aponta possíveis causas. / Computer-based systems are used in several eletronic devices that are, in many cases, responsable by the execution of critical tasks. There are situations where techniques of prevention against faults such as software validation and verification, can not be sufficient for ensuring acceptable rates of confiability, because they are not capable of treating faults that occur in execution time, such as transient faults. Most of the fault tolerance techniques for transient faults are focused in detection and correction of control flow errors, that can correspond to 70% errors caused by this kind of faults. These techniques treat the faults at software level, changing the program with the insertion of new instructions that must to capture and to correct illegal jumps occurred during the software execution, being ACCE the most known technique today. In this work an implementation of the ACCE technique was developed as a program transformation pass in the LLVM compiler infraestructurre. ACCE acts over the intermediate language of LLVM, which results in both programming language and machine architecture language portabilities. Besides the implemetation of the technique like a transformation pass, the LLVM was also used in the experiments for the avaliation of impact in the ACCE eficacy when it is applied into programs previously optimized by others compiler transformations. This evaluation is essential since hardly the compilation of programs is made without the activation of other optimizations. As far as we know this kind of evaluation has never beem made before. The experimental results show that the ACCE techinque is effective in the fault correction, but for some programs optimized by specific transformations, there was a reduction in the correction rate. This work analyses these experiments and gives an explanation for what causes a reduction in the effectiveness of ACCE.

O dimensionamento da tecnologia trouxe consequências indesejáveis para manter a taxa de crescimento exponencial e levanta questões importantes relacionadas com a confiabilidade e robustez dos sistemas eletrônicos. Atualmente, microprocessadores modernos de superpipeline normalmente contêm milhões de dispositivos com cargas nos nós cada vez menores. Esse fator faz com que os circuitos sejam mais sensíveis a variabilidade ambiental e aumenta a probabilidade de um erro transiente acontecer. Erros transientes em circuitos sequenciais ocorrem quando uma única partícula energizada deposita carga suficiente perto de uma região sensível. Flip-Flops mestreescravo são os circuitos sequencias mais utilizados em projeto VLSI para armazenamento de dados. Se um bit-flip ocorrer dentro deles, eles perdem a informação prévia armazenada e podem causar um funcionamento incorreto do sistema. A fim de proporcionar sistemas mais confiáveis que possam lidar com os efeitos da radiação, este trabalho analisa o Fator de Vulnerabilidade Temporal (Timing Vulnerability Factor - TVF) em algumas topologias de flip-flops mestre-escravo em estágios de pipeline sob diferentes condições de operação. A janela de tempo efetivo que o bit-flip ainda pode ser capturado pelo próximo estágio é definido com janela de vulnerabilidade (WOV). O TVF corresponde ao tempo que o flip-flop é vulnerável a erros transientes induzidos pela radiação de acordo com a WOV e a frequência de operação. A primeira etapa deste trabalho determina a dependência entre o TVF com a propagação de falhas até o próximo estágio através de uma lógica combinacional com diferentes atrasos de propagação e com diferentes modelos de tecnologia, incluindo também as versões de alto desempenho e baixo consumo. Todas as simulações foram feitas sob as condições normais pré-definidas nos arquivos de tecnologia. Como a variabilidade se manifesta com o aumento ou diminuição das especificações iniciais, onde o principal problema é a incerteza sobre o valor armazenado em circuitos sequenciais, a segunda etapa deste trabalho consiste em avaliar o impacto que os efeitos da variabilidade ambiental causam no TVF. Algumas simulações foram refeitas considerando variações na tensão de alimentação e na temperatura em diferentes topologias e configurações de flip-flops mestre-escravo. Para encontrar os melhores resultados, é necessário tentar diminuir os valores de TVF, pois isso significa que eles serão menos vulneráveis a bit-flips. Atrasos de propagação entre dois circuitos sequenciais e frequências de operação mais altas ajudam a reduzir o TVF. Além disso, estas informações podem ser facilmente integradas em ferramentas de EDA para ajudar a identificar os flip-flops mestre-escravo mais vulneráveis antes de mitigar ou substituí-los por aqueles tolerantes a radiação. / Technology scaling has brought undesirable issues to maintain the exponential growth rate and it raises important topics related to reliability and robustness of electronic systems. Currently, modern super pipelined microprocessors typically contain many millions of devices with ever decreasing load capacitances. This factor makes circuits more sensitive to environmental variations and it is increased the probability to induce a soft error. Soft errors in sequential circuits occur when a single energetic particle deposits enough charge near a sensitive node. Master-slave flip-flops are the most adopted sequential elements to work as registers in pipeline and finite state machines. If a bit-flip happens inside them, they lose the previous stored information and may cause an incorrect system operation. To provide reliable systems that can cope with radiation effects, this work analysis the Timing Vulnerability Factor (TVF) of some master-slave D flip-flops topologies in pipeline stages under different operating conditions. The effective time window, which the bit-flip can still be captured by the next stage, is defined as Window of Vulnerability (WOV). TVF corresponds to the time that a flip-flop is vulnerable to radiation-induced soft errors according to WOV and clock frequency. In the first step of this work, it is determined the dependence between the TVF with the fault propagation to the next stage through a combinational logic with different propagation delays and with different nanometer technological models, including also high performance and low power versions. All these simulations were made under the pre-defined nominal conditions in technology files. The variability manifests with an increase or decreases to initial specification, where the main problem is the uncertainty about the value stored in sequential. In this way, the second step of this work evaluates the impact that environmental variability effect causes in TVF. Some simulations were redone considering supply voltage and temperature variations in different master-slave D flip-flop topologies configurations. To achieve better results, it is necessary to try to decrease the TVF values to reduce the vulnerability to bit-flips. The propagation delay between two sequential elements and higher clock frequencies collaborates to reduce TVF values. Moreover, all the information can be easily integrated into Electronic Design Automation (EDA) tools to help identifying the most vulnerable master-slave flip-flops before mitigating or replacing them by radiation hardened ones.

Dissertação apresentada para obtenção do grau de Mestre em Manutenção Industrial, na Faculdade de Engenharia da Universidade do Porto, sob a orientação dos Profs. Doutores José Luís Soares Esteves e António Carlos Laranjo da Silva

Tese de mestrado. Engenharia Mecânica. Faculdade de Engenharia. Universidade do Porto. 2008

Swine industry in Brazil, due to its growth in recent years, has generated a great quantity of waste, especially in the liquid form, which can be used, by means of agricultural equipment employment, in soil treatment and correction. The majority of small and medium businesses in the Brazilian industrial field of agricultural machinery adopts the trial and error system, not making use of any procedure that systematically assist the process of product design, which can cause problems in the conception generation and/or failure in the operating machinery. The present thesis questions whether the realization of field tests is sufficient to reduce fault problems in the final conception of agricultural machines. Thus, we proposed as main objective a comparative study of failure analysis of a liquid swine waste distributing and incorporating equipment (DLS), realized under two different approaches, by means of prototypes I and II. The first one involves an analysis of equipment testing and experimenting reports (dynamic approach) concerning prototypes I, and II, realized during the usage phase. The second one involves the employment of a systematics of equipment failure analysis - prototype II under the perspective of product design, by applying the FMEA - Failure Modes and Effects Analysis (static approach). In both approaches, the ways results were obtained were specifically analyzed, suggesting improving actions according to certain failure modes. The dynamic approach has aimed the verification of operational activities of the equipment in field, in real work conditions, allowing the identification of faults and problems by means of observation. a partial analysis of equipment failure with a reduced number of considerations if compared to Case II, presenting results that contemplate non-conformities, difficulties, and problems in some subsystems and equipment components during the equipment utilization. The static approach, departing from the equipment functional and structural analysis, allowed evidence in the systems, subsystems, and components on the modes, causes and effects of possible faults, totaling 108 possible modes of failure, whose 11 were considered as potentials. The use of FMEA technique justifies the importance of incorporating a way for preventing faults during every phase and stage concerning the product designing. Therefore, this study verifies that both approaches allow the establishment of a interaction of results, recommendations and suggestions which permit eliminating or minimizing failure in the final conception of agricultural machinery. However, the FMEA technique application within a systematization of fault analysis since the beginning of the equipment design allows for the suggestion of improvement actions in the prototype before it is submitted to tests and experiments. / A suinocultura no Brasil, devido ao seu crescimento nos últimos anos, tem gerado uma grande quantidade de dejetos, especialmente sob a forma líquida que pode ser aproveitada, por meio do emprego de equipamentos agrícolas, no tratamento e correção do solo. A maioria das empresas de pequeno e médio porte do setor industrial brasileiro de máquinas agrícolas adota o sistema de tentativa e erro , não fazendo uso de algum procedimento que auxilie sistematicamente no processo de desenvolvimento do produto, o que pode causar problemas na geração de concepção e/ou de falhas nas máquinas em operação. Esta tese em seu trabalho de pesquisa questiona se as realizações de testes em campo são suficientes ou não para atenuar os problemas de falhas na concepção final das máquinas agrícolas. Assim, foi proposto como objetivo geral um estudo comparativo da análise de falhas de um equipamento distribuidor e incorporador de dejetos líquidos suínos (DLS) realizado sob duas abordagens distintas, a partir dos protótipos I e II. A primeira, abrange uma análise de relatórios de testes e experimentos do equipamento (abordagem dinâmica) referente aos protótipos I e II, realizados durante a fase de uso. A segunda, compreende o emprego de uma sistemática de análise de falhas do equipamento - protótipo II sob a ótica de projeto do produto, pela aplicação da técnica FMEA - Análise dos Modos de Falhas e seus Efeitos (abordagem estática). Em ambas as abordagens foi analisada, de maneira específica, a forma de obtenção dos resultados, sendo sugeridas ações de melhoria em determinados modos de falhas. A abordagem dinâmica objetivou a verificação de atividades operacionais do equipamento em campo, em condições reais de trabalho permitindo identificar falhas e problemas por meio de observação. Já a abordagem estática, partindo da análise funcional e estrutural do equipamento, permitiu evidenciar, no sistema, subsistemas e componentes os modos, causas e efeitos das possíveis falhas, totalizando 108 possíveis modos de falhas, sendo 11 considerados como potenciais. A utilização da técnica FMEA justifica a importância de incorporar um modo de prevenção de falhas que abrange todas as fases e etapas referente a concepção do produto. Assim, constata-se que ambas as abordagens possibilitam estabelecer uma interação de resultados, recomendações e sugestões que permitem eliminar ou atenuar falhas na concepção final de máquinas agrícolas. Contudo, a aplicação da técnica FMEA dentro de uma sistematização de análise de falhas a partir do início do projeto do equipamento possibilita que sejam sugeridas ações de melhorias ao protótipo, antes de ser submetido a testes e experimentos.

Made available in DSpace on 2014-06-11T19:28:35Z (GMT). No. of bitstreams: 0 Previous issue date: 2004-12Bitstream added on 2014-06-13T19:07:18Z : No. of bitstreams: 1 monteiro_fl_me_guara.pdf: 2693716 bytes, checksum: 79334c2a393c7aaa40e71c0ef9ab7905 (MD5) / Universidade Estadual Paulista (UNESP) / Estudo de falha por fratura em eixo da laminadora de aros Leifeld, fabricado em aço de baixa liga e alta resistência, ABNT 4340, forjado, temperado e revenido, com dureza de 39 HRc, abordando aspectos de modelagem pelo método de elementos finitos, utilizando o programa Ansys e critérios de fadiga utilizando o diagrama de Goodman modificado como ferramenta de definição do limite de tensão alternada para fadiga e propostas de mudanças geométricas no eixo a fim de minimizar as tensões sobre a aba da árvore bem como eliminar a possibilidade de fratura por fadiga da mesma. O estudo procura mostrar de forma clara a montagem de um modelo sólido através de um software comercial e a interação com a realidade vivida na manutenção de fábrica, sendo que o estudo surgiu devido a falhas freqüentes e prematuras de árvores em máquinas de repuxamento de aros, de procedência alemã, usada para a fabricação de aros para pneu com câmara utilizados em caminhões e ônibus, máquina esta de propriedade da empresa Maxion Sistemas Automotivos S/A. / This is a fracture failure analysis of a Leifeld flow forming machine spindle, manufactured in a low alloy and high resistance, ABNT 4340 steel, forged, quenched and tempered with hardness of 39 HRc, approaching modeling aspects in finite elements method using the program Ansys and also approaching fatigue criteria using the diagram of Goodman modified as a tool for definition criterion of fatigue alternate stress limit and proposed of geometric changes in the spindle in order to minimize the tensions on the brim of it as well as to eliminate the fracture possibility for fatigue of the same. The study tries to show the assembly of a solid model in a clear way through a commercial software and the interaction with the reality lived in the factory maintenance, the study was proposed due the frequent and premature spindles failures in the flow forming machine, made in Germany, used for the production of rim for tire with tube used in trucks and buses, this machine is property of Maxion Sistemas Automotivos S/A company.