The main challenges for the tools which derive implementations from formal descriptions are to enhance the efficiency and facilitate the integration in various implementation contexts. We study in this paper the Estelle based implementations. Using the Estelle Development Toolset (EDT), we obtained a realistic implementation of a complex transport protocol, XTP 4.0, functionally comparable with...

In automated manufacturing systems, deadlock avoidance policies guarantee deadlock-free operation while performance controllers, such as dispatching rules, attempt to achieve performance thresholds. In an automated system, dispatching rules must work within the constraints imposed by the deadlock avoidance policy in order to assure continuing system operation, and thus, the deadlock avoidance l...

This document describes the Message Processing and Dispatching for SNMP messages within the SNMP architecture [RFC2271]. It defines the procedures for dispatching potentially multiple versions of SNMP messages to the proper SNMP Message Processing Models, and for dispatching PDUs to SNMP applications. This document also describes one Message Processing Model the SNMPv3 Message Processing Model....

Metaheuristic-based Dispatching Optimization Integrated in Multi-scale Simulation Model 17 Abstract The dispatching system serves as an integral component of railway operation control and aims to eliminate the negative impacts of unforeseen events occurred during the operation process. On account of the time-critical decision-making and the associated complexity of the process-integrated dispat...

A GA-based train dispatching is presented in this paper. A model for the train dispatching on the lines with double tracks is established at first, the model can optimize train dispatching by adjusting the orders and times of trains’ departure from stations, and then the efficiency of the method is demonstrated by simulation at Guangzhou to Shenzhen high-speed railway.

In many application domains, the distributed object computing (DOC) middleware is responsible for dispatching upcalls to one or more application objects when events or requests arrive from clients. Implementing efficient, predictable, and scalable middleware dispatching mechanisms is hard and implementing them for multi-threaded systems is even harder. In particular, dispatching mechanisms must...

Design, analysis and performance evaluation of a veritable implementation of the XTP 4.0 protocol

Introduction: Emergency dispatch is a relatively new field, but the growth of dispatching as a profession, along with raised expectations for help before responders arrive, has led to increased production of and interest in emergency dispatch research. As yet, no systematic review of dispatch research has been conducted. Objective: This study reviewed the existing literature and indicated gaps ...

This paper investigates the performance of two dispatching approaches applied to the real-time coordination of multiple, mobile sensors. The sensing system is targeted towards the surveillance of objects in the context of autonomous manufacturing systems. Sensors are assigned and manoeuvred to collect data at specific points on the object trajectory. A technique based on reinforcement learning ...