scholarly journals Clouseau: Generating Communication Protocols from Commitments

2020 ◽  
Vol 34 (05) ◽  
pp. 7244-7252
Author(s):  
Munindar Singh ◽  
Amit Chopra

Engineering a decentralized multiagent system (MAS) requires realizing interactions modeled as a communication protocol between autonomous agents. We contribute Clouseau, an approach that takes a commitment-based specification of an interaction and generates a communication protocol amenable to decentralized enactment. We show that the generated protocol is (1) correct—realizes all and only the computations that satisfy the input specification; (2) safe—ensures the agents' local views remain consistent; and (3) live—ensures the agents can proceed to completion.

2019 ◽  
Vol 2019 ◽  
pp. 1-17
Author(s):  
Mais Haj Qasem ◽  
Amjad Hudaib ◽  
Nadim Obeid

A multiagent system (MAS) is a mechanism for creating goal-oriented autonomous agents in shared environments with communication and coordination facilities. Distributed data mining benefits from this goal-oriented mechanism by implementing various distributed clustering, classification, and prediction techniques. Hence, this study developed a novel multiagent model for distributed classification tasks in cancer detection with the collaboration of several hospitals worldwide using different classifier algorithms. A hospital agent requests help from other agents for instances that are difficult to classify locally. The agents communicate their beliefs (calculated classification), and others decide on the benefit of using such beliefs in classifying instances and adjusting their prior assumptions on each class of data. A MAS model state and behavior and communication are then developed to facilitate information sharing among agents. Regarding accuracy, implementing the proposed approach in comparison with typically different noncommunicated distributed classifications shows that sharable information considerably increases the classification task accuracy by 25.77%.


2019 ◽  
Vol 49 (1) ◽  
pp. 383-404
Author(s):  
Marcin Bednarek ◽  
Tadeusz Dąbrowski ◽  
Wiktor Olchowik

Abstract Industrial networks combine elements of distributed control systems: process stations, operator stations and engineering stations. DCS stations often communicate using a dedicated, closed communication protocol. The industrial networks can be also used to manage communication between the stations of various systems, separate in terms of configuration. The process station communicates here with an external operator station, that is the SCADA system. For this purpose, the process stations and the SCADA systems can also communicate according to standard communication protocols, e.g. Modbus TCP. The paper examines the selected variants of diagnosing the communication status between the process station and the external operator station conducted according to the Modbus TCP protocol. The practical methods of finding the communication system unfitness causes are discussed.


Author(s):  
Ashok Rathish S ◽  
Dr. Paramasivam K

Basic emulation of communication protocols involves the emulation or replicating the frames of the communication protocols using the port pins. This is useful when there is a particular need for a protocol inside a microcontroller where the required communication protocol is not present. The survey on emulation is suitable for the users to have a brief knowledge about the emulation before proceeding. This survey on emulation of communication protocols gives a brief information regarding the parameters, timing, and also the issues and problems faced during the emulation. A brief comparison was made with some different communication protocol emulation using a simple timer module. This will be helpful in concluding the behavior of each communication protocol on a simple timer module using which the protocol will be emulated.


Author(s):  
Carlos Caloca ◽  
J. Antonio Garcia Macias

The potential for vehicular applications is rapidly increasing. However this variety also demands a flexible multihop communication protocol supporting different communications needs and adapting to the network environment and to context elements specified by the application itself. We think that adaptive solutions, recently starting to be applied to VANET routing and dissemination protocols, have a great potential for solving the problems stated above. The objective of this chapter is to introduce the reader to these kinds of solutions, show their benefits and also mention the challenges involved. Because one important aspect of adaptive solutions (in this case a common communication protocol for all applications), is having in-depth knowledge of the problem to solve, we first review these different vehicular applications and their classification, followed by their communication needs.


2015 ◽  
Vol 2015 ◽  
pp. 1-12 ◽  
Author(s):  
Shafiq Ur Rehman ◽  
Aamer Nadeem

Autonomous agents perform on behalf of the user to achieve defined goals or objectives. They are situated in dynamic environment and are able to operate autonomously to achieve their goals. In a multiagent system, agents cooperate with each other to achieve a common goal. Testing of multiagent systems is a challenging task due to the autonomous and proactive behavior of agents. However, testing is required to build confidence into the working of a multiagent system. Prometheus methodology is a commonly used approach to design multiagents systems. Systematic and thorough testing of each interaction is necessary. This paper proposes a novel approach to testing of multiagent systems based on Prometheus design artifacts. In the proposed approach, different interactions between the agent and actors are considered to test the multiagent system. These interactions include percepts and actions along with messages between the agents which can be modeled in a protocol diagram. The protocol diagram is converted into a protocol graph, on which different coverage criteria are applied to generate test paths that cover interactions between the agents. A prototype tool has been developed to generate test paths from protocol graph according to the specified coverage criterion.


2021 ◽  
Vol 50 (1) ◽  
pp. 28-44
Author(s):  
Yaser Chaaban

Communication protocols are used in telecommunication systems. These protocols are defined as rules, which enable the entities of communicating systems to transfer information usually as packages. Additionally, each standard communication protocol has uniquely-defined structure and consequently a special pattern of network packets. Here, it is worth mentioning that communication protocols are implemented in different ways, in the system software layer or in hardware layer (silicon chipsets). This paper presents the implementation of a special communication protocol called "Packet Analysis", which is used in the Hardware project "Minimax machine". This implementation is a software that can be written using a special simulator "Minimax simulator", which is the target execution environment. That simulator was successfully developed for micro programming and hardware simulations. In this regard, this study develops an algorithm that represents a step toward simulating communication protocols using micro-programming. The flow chart designed here gives an overview of how the "Packet Analysis" algorithm works (designed protocol), which in turn describes all steps in details. As a result, the entire system of this research paper was implemented and tested with various input values. Additionally, the implemented proposed solution (implemented protocol) was evaluated by two metrics (quantitative measures) using test-benches so that its statistics will be trustworthy for research. Other results of this study showed that there is a lot of scope for optimization in the solution presented in this research paper. This leads in turn to optimize the proposed implementation and to consider implementation alternatives.


Constrained devices are commonly used in the Internet of Things systems. Since these devices have limited communication and computation resources, communication protocols which are lightweight are needed. A lightweight protocol called Message Queue Telemetry Transport, which is a publish/subscribe messaging protocol, is utilized with the constrained devices. Hence, this paper is aimed at monitoring data by using machine-to-machine communication protocol with the help of an IoT device, Raspberry Pi.


Author(s):  
José Manuel García-Campos ◽  
Daniel Gutiérrez ◽  
Jesús Sánchez-García ◽  
Sergio Toral Marn

The need for a Mobile Ad-Hoc Network (MANET) in environments where there is a lack of communication infrastructure, such as disaster or emergency scenarios, is critical to save lives. MANETs can be used as an alternative network that solves the problem of communications. The selection of an appropriate MANET communication protocol is crucial for the good performance of the whole network. Due to the great variety of communication protocols available for MANETs such as routing and broadcasting protocols, the selection of the most suitable one for disaster scenarios is a relevant task. Routing protocols and broadcasting algorithms are normally evaluated and compared using simulation-based studies. However, conducting reliable and repeatable simulation studies is not a trivial task because many simulation parameters should be correctly configured. In this paper, we propose a methodology for conducting reliable simulations of MANET broadcasting algorithms in disaster scenarios. The proposed methodology is focused on the source nodes selection based on different metrics.


Sign in / Sign up

Export Citation Format

Share Document