A session layer for the X.400 message handling system

Bibliography: pages 233-235.The CCITT X.400 Message Handling System resides in the Application Layer of the seven-layer Reference Model for Open Systems Interconnection. It bypasses the services of the Presentation Layer completely to interact directly with the Session Layer. The objectives of this thesis are to show how the general Session Layer may be tailored to be minimally conformant to the requirements of X. 400; to produce a formal specification of this session layer; and to show how this session layer may be implemented on a real system. The session services required by X. 400 are those of the Halfduplex, Minor Synchronization, Exceptions and Activity Management functional units of the CCITT X.215 Session Service Definition. These services, and particularly their use by X.400, are described in detail. State tables describing these services are derived from the general session service state tables. Those elements of the CCITT X. 225 Session Protocol Specification which are required to provide only those services required by X. 400 are described in detail. State tables describing this session protocol are derived from the general session protocol state tables. A formal specification of the session layer for X.400 is presented using the Formal Description Technique Estelle. This specification includes a complete session entity, which characterizes the entire session layer for X.400. A session entity for supporting X.400 is partially implemented and interfaced to an existing X.400 product on a real system. Only the Session Connection Establishment Phase of the session protocol is implemented to illustrate the technique whereby the entire session protocol may be implemented. This implementation uses the C programming language in the UNIX operating system environment

Message handling system concepts and services in a land mobile satellite system

A network architecture containing the capabilities offered by the Message Handling System (MHS) to the PRODAT Land Mobile Satellite System (LMSS) is described taking into account the constraints of a preexisting satellite system which is going to become operational. The mapping between MHS services and PRODAT requirements is also reported and shows that the supplied performance can be significantly enhanced to both fixed and mobile users. The impact of the insertion of additional features on the system structure, especially on the centralized control unit, are also addressed

Grid service orchestration using the Business Process Execution Language (BPEL)

Modern scientific applications often need to be distributed across grids. Increasingly applications rely on services, such as job submission, data transfer or data portal services. We refer to such services as grid services. While the invocation of grid services could be hard coded in theory, scientific users want to orchestrate service invocations more flexibly. In enterprise applications, the orchestration of web services is achieved using emerging orchestration standards, most notably the Business Process Execution Language (BPEL). We describe our experience in orchestrating scientific workflows using BPEL. We have gained this experience during an extensive case study that orchestrates grid services for the automation of a polymorph prediction application

Triple redundant computer system/display and keyboard subsystem interface

Interfacing of the redundant display and keyboard subsystem with the triple redundant computer system is defined according to space shuttle design. The study is performed in three phases: (1) TRCS configuration and characteristics identification; (2) display and keyboard subsystem configuration and characteristics identification, and (3) interface approach definition

State criminal justice telecommunications (STACOM). Volume 3: Requirements analysis and design of Texas criminal Justice Telecommunications Network

For abstract, see N78-16218

Simulation and experimental evaluation of a flexible time triggered ethernet architecture applied in satellite nano/micro launchers

The success of small satellites has led to the study of new technologies for the realization of Nano and Micro Launch Vehicle (NMLV) in order to make competitive launch costs. The paper has the objective to define and experimentally investigate the performance of a communication system for NMLV interconnecting the End Systems as On-Board Computer (OBC), telemetry apparatus, Navigation Unit...we propose a low cost Ethernet-based solution able to provide the devices with high interconnection bandwidth. To guarantee hard delays to the Guide, Navigation and Control applications we propose some architectural changes of the traditional Ethernet network with the introduction of a layer implemented in the End Systems and allow for the lack of any contention on the network links. We show how the proposed solution has comparable performance to the one of TTEthernet standard that is a very expensive solution. An experimental test-bed equipped with Ethernet switches and Hercules boards by Texas Instruments is also provided to prove the feasibility of the proposed solution

A comparative reliability analysis of ETCS train radio communications

StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and were applied in the context of train radio reliability assessment to show the principal tractability of realistic cases with this approach. In this paper, we extend on this bare feasibility result in two important directions. First, we sketch the cornerstones of a mechanizable translation of StoCharts to MoDeST. The latter is a process algebra-based formalism supported by the Motor/Möbius tool tandem. Second, we exploit this translation for a detailed analysis of the train radio case study

From StoCharts to MoDeST: a comparative reliability analysis of train radio communications

StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment to show the principal tractability of realistic cases with this approach. In this paper, we extend on this bare feasibility result in two important directions. First, we sketch the cornerstones of a mechanizable translation of StoCharts to MoDeST. The latter is a process algebra-based formalism supported by the Motor/Möbius tool tandem. Second, we exploit this translation for a detailed analysis of the train radio case study