The master´s thesis describes the initial design of communication module for industrial automation purposes which can transmit short status messages via the GSM network informing about the status of the connected device to a predefined telephone number. In the first part, the communication protocols are describe and a market survey is carried out. Then follows the evaluation of the market survey and the justification of construction of the device. The following chapters are devoted to the description of the device being developed, its individual components and program description and testing prototype.

Ce mémoire de thèse propose une approche pour l'obtention des bornes des performances temporelles d'une Architecture d'Automatisation en Réseau par preuves itératives de propriétés d'atteignabilité sur un modèle formel de l'architecture. Ces propriétés d'atteignabilité sont définies grâce à un automate observateur temporisé et paramétré, dont les gardes de certaines transitions sont fonction d'un paramètre temporel. A chaque itération, les résultats de preuves permettent de déterminer la valeur de ce paramètre pour la prochaine itération ; un algorithme de recherche par dichotomie assure la convergence des itérations. La mise en œuvre de cette approche sur des architectures de taille non triviale a nécessité le développement d'une méthode d'abstraction qui comporte deux étapes : simplification de la structure et modification des modèles formels des composants figurant dans la structure simplifiée, ceci afin de prendre en compte les phénomènes de concurrence entre requêtes émises par différents composants. Ces contributions formelles et méthodologiques ont été validées expérimentalement par le traitement de plusieurs cas de taille et complexité croissantes, basés sur le protocole Modbus TCP/IP.

The dissertation deals with a design of an intelligent transmitter of a standard current signal with an Ethernet output port, an implementation of a web interface and Modbus TCP protocol for providing data protection. The introductory part describes standardized analogue technical signals with their possibilities, and characteristics of industrial Ethernet. The subsequent part provides an overview of alternatives to connect analogue signals to Ethernet while using various modules. The thesis continues with a suggestion of an analogue input side of the transmitter in connection with a digital module of Ethernet based on the Rabbit processor in connection with the RCM3200 module. The key part of the dissertation puts forward a proposal of the firmware transmitter and control web interface, shows ways of providing figures measured by the current loop via Ethernet interface for further processing. The final part is devoted to a description of current transmitter ultimate measurement.