A utilização de eletrônica embarcada na agricultura tem crescido rapidamente, tornando necessária a utilização de diversos módulos a bordo da máquina (trator e implemento). Considerando-se os impactos relacionados a esta tendência, alternativas tecnológicas devem ser geradas e devidamente exploradas, especialmente sobre os sistemas de controle e o cabeamento requeridos. As arquiteturas eletro-eletrônicas devem garantir o mínimo de custo de implementação e tempo de manutenção. Os sistemas de controle devem operar maximizando a disponibilidade das informações, o que implica a necessidade de troca de dados entre estes diversos sistemas de controle e, portanto, a existência de um protocolo de comunicação serial internacionalmente padronizado. Neste contexto, este trabalho aborda os diversos protocolos de comunicação serial - como o RS232, o RS485 e o CAN (Controller Area Network) - e as suas normas específicas, voltadas às aplicações agrícolas, como a ISO11783 e a DIN 9684, comparando-as. Dessa análise resulta a indicação da ISO11783, norma baseada no protocolo CAN, como a mais interessante para as aplicações agrícolas. Essa norma é estudada em detalhes, o que permite a criação de um roteiro de estudo e implementação do referido protocolo. Finalmente, é desenvolvida uma aplicação deste protocolo, considerando-se uma rede de comunicação de dados de um Monitor de Semeadora, a fim de demonstrar sua aplicação prática. / The use of on-board electronics in agriculture has grown quickly, requiring many electronic modules on-board machines (tractor and implement). Considering the trend related impacts, alternative technologies should be developed and used properly, especially on control systems and on the required wiring harness. Electro-electronic architectures should provide minimum implementation cost and maintenance related time. Control systems should operate maximizing the availability of information that implies on the necessity of data exchange among these variety of control systems and also, on the existence of an international standardized serial communication protocol. Considering that, this documentation covers many serial communication protocols - as RS232, RS485 and CAN (Controller Area Network) - and the agricultural applications related standards as ISO11783 and DIN 9684, comparing them. This analysis results in the indication of ISO11783, a CAN Bus based standard, as the most interesting to agricultural applications. This standard is analyzed in details, making possible the development of a protocol related study and implementation guideline. Finally, a protocol related application is developed for a Planter Monitor implement bus network, looking forward to demonstrating an ISO11783 real implementation.

A verificação funcional é o conjunto de tarefas destinado a descobrir erros gerados durante o projeto de circuitos integrados, e representa um importante desafio ao influenciar fortemente a eficiência do ciclo inteiro de produção. Estima-se que até 80% dos custos totais de projeto são devidos à verificação, tornando esta atividade o gargalo principal para reduzir o time-to-market. Tal problemática tem provocado a aparição de diversas estratégias para diminuir o esforço, ou para aumentar a capacidade de cobertura da verificação. Por um lado existe a simulação, que permite descobrir um número razoável de erros de projeto; porém, a lentidão da simulação de descrições RTL torna mínima a cobertura real de estados. Por outro lado, os métodos formais de verificação fornecem alta cobertura de estados. Um deles é a checagem de modelos, que checa a validade de um conjunto de propriedades para todos os estados do projeto sob verificação. No entanto, esta técnica padece do problema de explosão de estados, e da dificuldade de especificar um conjunto robusto de propriedades. Outra alternativa formal é a checagem de equivalência que, ao invés de verificar propriedades, compara o projeto com um modelo de referência. No entanto, a checagem de equivalência tradicional é aplicável, unicamente, a descrições no mesmo nível de abstração, e com interfaces idênticas. Como fato importante, não foram encontrados registros na literatura de sobre a verificação formal de descrições RTL, considerando ambos os aspectos computacionais (presentes no modelo de referência) e de comunicação às interfaces (provenientes da especificação funcional de protocolo). Neste trabalho apresenta-se uma metodologia de verificação formal, através do uso de técnicas de checagem de equivalência para determinar a validade de uma implementação em RTL, comparando-a com um modelo de referência em alto nível, e com um modelo formal do protocolo de comunicação. Para permitir tal checagem, a metodologia baseia-se no conceito de sequências de estados, ao invés de estados individuais como na checagem de equivalência tradicional. As discrepâncias entre níveis diferentes de abstração são consideradas, incluindo alfabetos diferentes, mapeamento entre estados, e dessemelhanças temporais. A caracterização e solução do problema são desenvolvidas através de um quadro teórico, onde se apresentam conceitos, e definições, cuja validade é provada formalmente. Uma ferramenta para aplicação prática da metodologia foi desenvolvida e aplicada sobre diferentes tipos de descrições RTL, escritas nas linguagens VHDL e SystemC. Os resultados demonstram efetividade e eficiência na verificação formal de circuitos digitais que incluem, mas não se limitam à correção de erros, encriptação, processamento de imagens, e funções matemáticas. Também, evidencia-se a capacidade da ferramenta para descobrir erros de tipo combinatório e sequencial injetados propositalmente, relacionados com a funcionalidade do modelo de referência, assim como, com a da especificação do protocolo de comunicação, dentro de tempos e número de iterações praticáveis em casos reais. / Functional verification is the group of tasks aiming the discovery of bugs created during integrated circuit design, and represents an important challenge by its strong influence on efficiency throughout production cycles. As an estimative, up to 80% of the whole design costs are due to verification, which makes verification the greatest bottleneck while attempting to reduce time-to-market. Such problem has given rise to a series of techniques to reduce the effort, or to increase verification coverage capability. On the one side, simulation allows finding a good number of bugs, but it is still far from reaching high state coverage because of RTL cycle-accurate slowness. On the other side, formal approaches supply high state coverage. Model checking, for instance, checks the validness of a set of properties for all designs states. However, a strong disadvantage resides in defining and determining the quality of the set of properties to verify, not to mention state explosion. Sequential equivalence checking, which instead of checking properties compares the design with a reference model. Nevertheless, traditionally it can only be applied between circuit descriptions where a one-to-one correspondence for states, as well as for memory elements, is expected. As a remarkable issue, no works were found in literature that dealt with formal verification of RTL designs, while taking care of both computational aspects, present in the high-level reference model, and interface communication aspects, which proceed from the protocol functional specification. This work presents a formal verification methodology, which uses equivalence checking techniques, to validate RTL descriptions through direct comparison with a high-level reference model, and with formal model of the communication protocol. It is based on extracting and comparing complete sequences of states, instead of single states as in traditional equivalence checking, in order to determine if the design intention is maintained in RTL implementation. The natural discrepancies between system level and RTL code are considered, including non-matching interface and memory elements, state mapping, and process concurrency. For the complete problem characterization and solution, a theoretical framework is introduced, where concepts and definitions are provided, and whose validity is formally proved. A tool to apply systematically the methodology was developed and applied on different types of RTL descriptions, written in VHDL and SystemC languages. The results show that the approach may be applied effectively and efficiently to verify formally digital circuits that include, but are not limited to error correction, encryption, image processing, and math functions. Also, evidence has been obtained about the capacity of the tool to discover both combinatory and sequential bugs injected on purpose, related with computational and protocol functionalities, on real scenarios.

A verificação funcional é o conjunto de tarefas destinado a descobrir erros gerados durante o projeto de circuitos integrados, e representa um importante desafio ao influenciar fortemente a eficiência do ciclo inteiro de produção. Estima-se que até 80% dos custos totais de projeto são devidos à verificação, tornando esta atividade o gargalo principal para reduzir o time-to-market. Tal problemática tem provocado a aparição de diversas estratégias para diminuir o esforço, ou para aumentar a capacidade de cobertura da verificação. Por um lado existe a simulação, que permite descobrir um número razoável de erros de projeto; porém, a lentidão da simulação de descrições RTL torna mínima a cobertura real de estados. Por outro lado, os métodos formais de verificação fornecem alta cobertura de estados. Um deles é a checagem de modelos, que checa a validade de um conjunto de propriedades para todos os estados do projeto sob verificação. No entanto, esta técnica padece do problema de explosão de estados, e da dificuldade de especificar um conjunto robusto de propriedades. Outra alternativa formal é a checagem de equivalência que, ao invés de verificar propriedades, compara o projeto com um modelo de referência. No entanto, a checagem de equivalência tradicional é aplicável, unicamente, a descrições no mesmo nível de abstração, e com interfaces idênticas. Como fato importante, não foram encontrados registros na literatura de sobre a verificação formal de descrições RTL, considerando ambos os aspectos computacionais (presentes no modelo de referência) e de comunicação às interfaces (provenientes da especificação funcional de protocolo). Neste trabalho apresenta-se uma metodologia de verificação formal, através do uso de técnicas de checagem de equivalência para determinar a validade de uma implementação em RTL, comparando-a com um modelo de referência em alto nível, e com um modelo formal do protocolo de comunicação. Para permitir tal checagem, a metodologia baseia-se no conceito de sequências de estados, ao invés de estados individuais como na checagem de equivalência tradicional. As discrepâncias entre níveis diferentes de abstração são consideradas, incluindo alfabetos diferentes, mapeamento entre estados, e dessemelhanças temporais. A caracterização e solução do problema são desenvolvidas através de um quadro teórico, onde se apresentam conceitos, e definições, cuja validade é provada formalmente. Uma ferramenta para aplicação prática da metodologia foi desenvolvida e aplicada sobre diferentes tipos de descrições RTL, escritas nas linguagens VHDL e SystemC. Os resultados demonstram efetividade e eficiência na verificação formal de circuitos digitais que incluem, mas não se limitam à correção de erros, encriptação, processamento de imagens, e funções matemáticas. Também, evidencia-se a capacidade da ferramenta para descobrir erros de tipo combinatório e sequencial injetados propositalmente, relacionados com a funcionalidade do modelo de referência, assim como, com a da especificação do protocolo de comunicação, dentro de tempos e número de iterações praticáveis em casos reais. / Functional verification is the group of tasks aiming the discovery of bugs created during integrated circuit design, and represents an important challenge by its strong influence on efficiency throughout production cycles. As an estimative, up to 80% of the whole design costs are due to verification, which makes verification the greatest bottleneck while attempting to reduce time-to-market. Such problem has given rise to a series of techniques to reduce the effort, or to increase verification coverage capability. On the one side, simulation allows finding a good number of bugs, but it is still far from reaching high state coverage because of RTL cycle-accurate slowness. On the other side, formal approaches supply high state coverage. Model checking, for instance, checks the validness of a set of properties for all designs states. However, a strong disadvantage resides in defining and determining the quality of the set of properties to verify, not to mention state explosion. Sequential equivalence checking, which instead of checking properties compares the design with a reference model. Nevertheless, traditionally it can only be applied between circuit descriptions where a one-to-one correspondence for states, as well as for memory elements, is expected. As a remarkable issue, no works were found in literature that dealt with formal verification of RTL designs, while taking care of both computational aspects, present in the high-level reference model, and interface communication aspects, which proceed from the protocol functional specification. This work presents a formal verification methodology, which uses equivalence checking techniques, to validate RTL descriptions through direct comparison with a high-level reference model, and with formal model of the communication protocol. It is based on extracting and comparing complete sequences of states, instead of single states as in traditional equivalence checking, in order to determine if the design intention is maintained in RTL implementation. The natural discrepancies between system level and RTL code are considered, including non-matching interface and memory elements, state mapping, and process concurrency. For the complete problem characterization and solution, a theoretical framework is introduced, where concepts and definitions are provided, and whose validity is formally proved. A tool to apply systematically the methodology was developed and applied on different types of RTL descriptions, written in VHDL and SystemC languages. The results show that the approach may be applied effectively and efficiently to verify formally digital circuits that include, but are not limited to error correction, encryption, image processing, and math functions. Also, evidence has been obtained about the capacity of the tool to discover both combinatory and sequential bugs injected on purpose, related with computational and protocol functionalities, on real scenarios.

As redes digitais demonstraram ser uma solução eficaz em automação. A conexão de diferentes módulos de diferentes fabricantes em um único barramento para a troca de dados e controle é um desafio para a indústria brasileira de máquinas agrícolas, apesar desta tecnologia estar consolidada em automóveis, aeronaves e em chão de fábrica. As vantagens obtidas com redes digitais são evidentes, porém necessitam de implementação de protocolos de redes. Na área agrícola, a norma internacional ISO 11783 apresenta forte potencial para tornar-se referência de padrão para a troca de dados entre módulos em tratores e implementos agrícolas. Esta norma, também conhecida como ISOBUS, está no estágio avançado de desenvolvimento. Contém quatorze documentos e o seu desenvolvimento está apoiado por grupos denominados \"Força Tarefa\", na Europa, nos EUA e recentemente no Brasil. Implementações deste padrão já estão sendo apresentadas no mercado internacional, em feiras e demonstrações de aplicação desta tecnologia. O Brasil deve investir e dominar a tecnologia, em busca de compatibilidade internacional tanto no ponto de vista tecnológico como comercial. Neste contexto, este trabalho encoraja o desenvolvimento nacional em aplicações com a norma ISOBUS, apresentando dois estudos de casos, cujos módulos comunicam com equipamentos de mercado compatíveis com a norma. Estas experiências práticas complementam trabalhos acadêmicos relativos a este tema, que surgiram nos últimos anos no Brasil. / The digital networks demonstrated to be an effective solution in automation. The connection of different modules from different manufacturers into a single bus for the exchange of data and control is a challenge for the agricultural machinery Brazilian industry, although this technology is consolidated in automobiles, aircraft and the factory floor. The benefits obtained with digital networks are obvious, but they need implementation of protocols networks. In the agricultural area, the international standard ISO 11783 shows strong potential to become the reference standard for the exchange of data between modules on tractors and agricultural implements. This standard, also known as ISOBUS, is in the advanced stage of development. It contains fourteen documents and its development is supported by groups called \"Task Force\" in Europe, USA, and recently in Brazil. Implementations of this standard are now being presented in the international market, in fairs and demonstrations of application of this technology. Brazil should invest and dominate the technology, to inquire after international compatibility in both the technological point of view as commercial. In this context, this work encourages the national development in applications with ISOBUS standard, presenting two studies of cases, whose modules communicate with equipment market compatible with the standard. These practical experiences complement academic works on this subject, which emerged in recent years in Brazil.

A utilização de eletrônica embarcada na agricultura tem crescido rapidamente, tornando necessária a utilização de diversos módulos a bordo da máquina (trator e implemento). Considerando-se os impactos relacionados a esta tendência, alternativas tecnológicas devem ser geradas e devidamente exploradas, especialmente sobre os sistemas de controle e o cabeamento requeridos. As arquiteturas eletro-eletrônicas devem garantir o mínimo de custo de implementação e tempo de manutenção. Os sistemas de controle devem operar maximizando a disponibilidade das informações, o que implica a necessidade de troca de dados entre estes diversos sistemas de controle e, portanto, a existência de um protocolo de comunicação serial internacionalmente padronizado. Neste contexto, este trabalho aborda os diversos protocolos de comunicação serial - como o RS232, o RS485 e o CAN (Controller Area Network) - e as suas normas específicas, voltadas às aplicações agrícolas, como a ISO11783 e a DIN 9684, comparando-as. Dessa análise resulta a indicação da ISO11783, norma baseada no protocolo CAN, como a mais interessante para as aplicações agrícolas. Essa norma é estudada em detalhes, o que permite a criação de um roteiro de estudo e implementação do referido protocolo. Finalmente, é desenvolvida uma aplicação deste protocolo, considerando-se uma rede de comunicação de dados de um Monitor de Semeadora, a fim de demonstrar sua aplicação prática. / The use of on-board electronics in agriculture has grown quickly, requiring many electronic modules on-board machines (tractor and implement). Considering the trend related impacts, alternative technologies should be developed and used properly, especially on control systems and on the required wiring harness. Electro-electronic architectures should provide minimum implementation cost and maintenance related time. Control systems should operate maximizing the availability of information that implies on the necessity of data exchange among these variety of control systems and also, on the existence of an international standardized serial communication protocol. Considering that, this documentation covers many serial communication protocols - as RS232, RS485 and CAN (Controller Area Network) - and the agricultural applications related standards as ISO11783 and DIN 9684, comparing them. This analysis results in the indication of ISO11783, a CAN Bus based standard, as the most interesting to agricultural applications. This standard is analyzed in details, making possible the development of a protocol related study and implementation guideline. Finally, a protocol related application is developed for a Planter Monitor implement bus network, looking forward to demonstrating an ISO11783 real implementation.

As redes digitais demonstraram ser uma solução eficaz em automação. A conexão de diferentes módulos de diferentes fabricantes em um único barramento para a troca de dados e controle é um desafio para a indústria brasileira de máquinas agrícolas, apesar desta tecnologia estar consolidada em automóveis, aeronaves e em chão de fábrica. As vantagens obtidas com redes digitais são evidentes, porém necessitam de implementação de protocolos de redes. Na área agrícola, a norma internacional ISO 11783 apresenta forte potencial para tornar-se referência de padrão para a troca de dados entre módulos em tratores e implementos agrícolas. Esta norma, também conhecida como ISOBUS, está no estágio avançado de desenvolvimento. Contém quatorze documentos e o seu desenvolvimento está apoiado por grupos denominados \"Força Tarefa\", na Europa, nos EUA e recentemente no Brasil. Implementações deste padrão já estão sendo apresentadas no mercado internacional, em feiras e demonstrações de aplicação desta tecnologia. O Brasil deve investir e dominar a tecnologia, em busca de compatibilidade internacional tanto no ponto de vista tecnológico como comercial. Neste contexto, este trabalho encoraja o desenvolvimento nacional em aplicações com a norma ISOBUS, apresentando dois estudos de casos, cujos módulos comunicam com equipamentos de mercado compatíveis com a norma. Estas experiências práticas complementam trabalhos acadêmicos relativos a este tema, que surgiram nos últimos anos no Brasil. / The digital networks demonstrated to be an effective solution in automation. The connection of different modules from different manufacturers into a single bus for the exchange of data and control is a challenge for the agricultural machinery Brazilian industry, although this technology is consolidated in automobiles, aircraft and the factory floor. The benefits obtained with digital networks are obvious, but they need implementation of protocols networks. In the agricultural area, the international standard ISO 11783 shows strong potential to become the reference standard for the exchange of data between modules on tractors and agricultural implements. This standard, also known as ISOBUS, is in the advanced stage of development. It contains fourteen documents and its development is supported by groups called \"Task Force\" in Europe, USA, and recently in Brazil. Implementations of this standard are now being presented in the international market, in fairs and demonstrations of application of this technology. Brazil should invest and dominate the technology, to inquire after international compatibility in both the technological point of view as commercial. In this context, this work encourages the national development in applications with ISOBUS standard, presenting two studies of cases, whose modules communicate with equipment market compatible with the standard. These practical experiences complement academic works on this subject, which emerged in recent years in Brazil.

A distributed application may be considered as a set of nodes which are spread across the network, and need to communicate with each other. The design and implementation of these distributed applications is greatly simplified using Group Communication Systems (GCSs) which provide multipoint to multipoint communication. Hence, GCSs can be used as building blocks for implementing distributed applications. The GCS is responsible for reliable delivery of group messages and management of group membership. The peer-to-peer model and the client-server model are the two models of distributed systems for implementing GCSs. In this thesis, our focus is on improving the capability of GCS based on the client-server model. Security is an important requirement of many distributed applications. For such applications, security has to be provided m the GCS itself. The security of a GCS includes confidentiality, authentication and non-repudiation of messages, and ensuring that the GCS is properly meeting its guarantees. The complexity and cost of implementation of the above three types of security guarantees greatly depend on whether the GCS servers are trusted by the group members or not. Making use of the GCS services provided by untrusted GCS servers becomes necessary when the GCS servers are managed by a third party. In this thesis, we have proposed algorithms for ensuring the above three security guarantees for GCSs in which servers are not trusted. As part of the solution, we have proposed a new digital multisignature scheme which allows group members to verify that a message has indeed been signed by all group members. The various group key management algorithms proposed in literature differ from each other with respect to the following four metrics: communication overhead, computational overhead, storage at each member and distribution of load among group members. We identify the need for a distributed group key management algorithm which minimizes the computational overhead on group members and propose an algorithm to achieve it.

Genom att studera olika kommunikationsprotokoll kunna svara på vad det är som gör att ett visst protokoll är bäst anpassat för att användas mellan mobila enheter och IoT-enheter. I arbetet användes en kvalitativ litteraturstudie för att ge en grundlig teoretisk bakgrund samt en experimentell studie där ett par teorier undersökts ifall de stämmer med resultaten ifrån verkligheten. De fem faktorerna kompatibilitet, batteritid, frekvens, räckvidd och tillförlitlighet undersöktes hos kommunikationsprotokollen Bluetooth Low Energy (BLE), Närfältskommunikation (NFC) och Wi-Fi. Dessa tre valdes eftersom de stöds av nyare mobila plattformar idag. Kommunikations-protokollen analyserades sedan gentemot olika användningsområden inom IoT, eftersom påståendet vad som är bäst anpassat beror på vad situationen kräver för egenskaper. En systemutvecklare som ska välja kommunikationsprotokoll till en IoT-tillämpning och läser denna rapport bör själv jämföra de olika protokollen mot varandra inom de fem faktorerna för att kunna avgöra vilket protokoll som passar bäst inom dennes situation. I arbetet utfördes endast experimentella studier på BLE på grund av begränsningar inom utrustningen. Ytterligare experiment inom NFC och Wi-Fi skulle ge ett bredare perspektiv med fler infallsvinklar. / By studying different communication protocols respond to what it is that makes a certain protocol best suited for use between mobile devices and IoT devices. This study used a qualitative literature study to create a proper theoretical background and an experimental study where two theories were investigated in whether they matched wih the results from the reality. The five factors compatibility, battery loss, frequency, range and reliability were investigated in the communication protocols Bluetooth Low Energy (BLE), Near field communication (NFC) and Wi-Fi, these three because they are supported by newer mobile platforms today. The communication protocols were then analysed against various uses in the IoT, since the claim what it is that makes it best suited depends on what the situation requires. A system developer that is about to select the communication protocol to use in an IoT application and reads this study should compare the different protocols to each other within the five factors to determine which protocol is best suited for his situation. This study only performed experimental studies on BLE because of limitations in the equipment. Additional experiments on NFC and Wi-Fi would provide a wider perspective.

Made available in DSpace on 2014-06-11T19:22:31Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-05-24Bitstream added on 2014-06-13T19:27:59Z : No. of bitstreams: 1 raniel_t_me_ilha.pdf: 1815527 bytes, checksum: 2b9558bcbd56601c8cbb627feda891cf (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / A automação de esteiras rolantes é algo comum e importante em sistemas industriais, mas problemas práticos ainda representam desafios. Um dos desses desafios é manter a precisão em sistemas que exigem paradas sistemáticas, pois folgas mecânicas tendem a provocar variações nas posições de paradas ao longo do tempo. A aplicação de motores de indução têm se tornado comum e soluções eficientes e de baixo custo têm sido pesquisadas. Neste trabalho foi desenvolvido e implementado um sistema de controle de posição e velocidade aplicado em esteiras transportadoras utilizando inversor de frequência, microcontrolador, encoder óptico incremental e sensor indutivo. O movimento da esteira transportadora é efetuado por um motor de indução trifásico, que é acionado pelo conjunto microcontrolador – inversor de frequência. Este conjunto impõe uma frequência no estator do motor através de uma troca de mensagens entre microcontrolador e inversor de frequência (Sistema Mestre-Escravo). Para o envio e recebimento das mensagens, utilizou-se o protocolo de comunicação serial USS® (Universal Serial Interface Protocol) através do padrão RS-485. Os controles de posição e velocidade de rotação do eixo do motor fundamentam-se no sinal gerado pelo encoder óptico incremental, responsável por informar a posição do eixo do motor ao longo da trajetória, e no sensor indutivo que determina uma referência externa importante para a esteira transportadora. Para o funcionamento automático da esteira, elaborou-se um software em linguagem de programação C. Como resultado obteve-se um sistema de controle de posição e velocidade do eixo do motor de indução trifásico que apresenta bons resultados / Automated conveyors system have been largely used in industrial applications. However, there are still practical issues to be overcome. One of them is due to the system mechanical limitation which can lead to low accuracy for applications based on “stop-and-go” movements. Induction motors have been largely used in such applications and low costs solutions have been searched. In this work it was developed and implemented a system of positioning and velocity control applied to conveyors which is based on frequency inverter, microcontroller, optical incremental encoder and inductive sensor. The conveyor’s movement is made by means of a three-phase induction motor, which is driven by the couple microcontroller–frequency inverter. There are messages exchange between the microcontroller and the frequency inverter (Master – Slave configuration) which is based on the communication serial protocol USS through the RS-485 standard. The position and velocity of the motor spindle are controlled using an optical incremental encoder, which is responsible to provide the position of the trajectory, and an inductive sensor which determines the initial reference to the conveyor. The software used to control the system was developed in C language. The results show a low cost system with good results

Cette thèse a pour sujet les protocoles de communication peer-to-peer asynchrones. Nous introduisons deux mesures basées sur la théorie de l'information,la Public Information Complexity (PIC) et la Multi-party Information Complexity (MIC), étudions leurs propriétés et leur relation avec d'autres mesures fondamentales en calcul distribué, telles que la communication complexity et la randomness complexity. Nous utilisons ensuite ces deux mesures pour étudier la fonction parité et la fonction disjointness. / This thesis is concerned with the study of multi-party communicationprotocols in the asynchronous message-passing peer-to-peer model. We introducetwo new information measures, the Public Information Complexity(PIC) and the Multi-party Information Complexity (MIC), study their propertiesand how they are related to other fundamental quantities in distributedcomputing such as communication complexity and randomness complexity.We then use these two measures to study the parity function and the disjointness function.