HEDRA, an ESPRIT project (nr. 6768), aims to develop a heterogeneous distributedreal-time architecture for robot and machine control. This paper describes an open and flexible programming system, as a part of this ar...
详细信息
HEDRA, an ESPRIT project (nr. 6768), aims to develop a heterogeneous distributedreal-time architecture for robot and machine control. This paper describes an open and flexible programming system, as a part of this architecture, that is based on an existing system called Virtuoso. The programming system is an evolution of Virtuoso towards the architecture at which the project is aiming. The work concentrates on the achievement of guaranteed real-time behaviour, minimum interrupt latency and transparency of interprocessor data communication.
This paper describes how use cases can be applied to the architectural design of distributedreal-time applications. In order to benefit from use cases in distributedreal-time design, it is necessary to extend use ca...
详细信息
ISBN:
(纸本)0818680970
This paper describes how use cases can be applied to the architectural design of distributedreal-time applications. In order to benefit from use cases in distributedreal-time design, it is necessary to extend use cases, particularly in the design phase, when important design decisions need to be made. To achieve this, use cases are integrated with CODARTS (Concurrent Design Approach for real-timesystems) distributed design concepts. Three different categories of use cases are described here, client/server use cases, subscription use cases and real-time control use cases. Different forms of message communication are associated with the different use case types. The overall design of the distributedreal-time system is achieved by composing it from the use cases.
Development of distributedreal-time applications requires tools and methods ranging from the design process down to the run-time system. This paper describes an approach towards an integrated object-oriented real-tim...
详细信息
ISBN:
(纸本)0818680970
Development of distributedreal-time applications requires tools and methods ranging from the design process down to the run-time system. This paper describes an approach towards an integrated object-oriented real-time environment, providing a new conceptual structuring method, distributed dynamic scheduling, and a real-time executive, based on a standard real-time operating system. TaskPairs are introduced as a method for structuring distributed object-oriented applications that consist of a mix of hard-, soft- and non-real-time jobs. From this language level structure the compiler and a run-time monitor create an abstract representation of the system's objects, their dependencies, and their actual timing behavior. Based on this information about the current system state the distributed resource management dynamically tries to construct a feasible schedule.
The main goal of this work is to show how the Formal Description Technique (FDT) Language of Temporal Ordering Specification (LOTOS), a standard by International Organization for Standardization (ISO), can be useful i...
详细信息
ISBN:
(纸本)0818680970
The main goal of this work is to show how the Formal Description Technique (FDT) Language of Temporal Ordering Specification (LOTOS), a standard by International Organization for Standardization (ISO), can be useful in the design of real-timesystems. This paper concentrates on the specification phase of a development methodology and uses as an example the parallelreal-time kernel RTXC/MP developed by intelligent systems International and being nowadays commercialized as Virtuoso by Eonic systems.
It is proposed to utilize the spare processing power embedded in a real-time computer control network for the computation of a common distributed task in a co-ordinated manner. The algorithm of Hierarchical System The...
详细信息
It is proposed to utilize the spare processing power embedded in a real-time computer control network for the computation of a common distributed task in a co-ordinated manner. The algorithm of Hierarchical System Theory is used as a medium to explore the principles involved in time-sharing this distributed background job with the computation of the real-time control algorithm. An interconnection structure is put forward to satisfy the resulting data-processing requirements.
Software formal verification can provide guarantees regarding the implementation of complex software systems in respect to their specifications. Unfortunately, the practical applications of formal verification techniq...
详细信息
In this paper, we propose the specification and verification method of distributedsystems. We can easily specify fairness and timing constraints, and can effectively verify distributedsystems by our proposed method....
详细信息
ISBN:
(纸本)0818680970
In this paper, we propose the specification and verification method of distributedsystems. We can easily specify fairness and timing constraints, and can effectively verify distributedsystems by our proposed method. In order to specify fairness, an enable condition and a performed condition are attached to a finite set of states in our proposed specification method. In order to effectively verify distributedsystems, we restrict timing constraints of timed automaton such that in cycles we must specify timing constraints about the clock variables after they are reset to zero. We have developed the verification systems based on our proposed method, and have shown. it effective by timed Alternating Bit Protocol.
This paper presents a first time approach for the implementation of the Hartstone distributed Benchmark (HDB) for Hard real-timedistributedsystems. From the series of experiments, as defined in the original HDB pape...
详细信息
ISBN:
(纸本)0818680970
This paper presents a first time approach for the implementation of the Hartstone distributed Benchmark (HDB) for Hard real-timedistributedsystems. From the series of experiments, as defined in the original HDB paper, six experiments have been implemented. The main idea behind the HDB is the definition of a number of (host processor) tasks on each node which exchange messages with corresponding tasks on the other nodes. The stopping criteria for each experiment is the missing of a message before the deadline of a receiving task. The variables in the HDB experiments are: the number of tasks sending and/or receiving messages, the number of messages sent and/or receiving messages, the number of messages sent and/or received per task period, the length of messages sent and/or received per task period, and the number of nodes participating in the experiments. The results of the implemented experiments show a high level of repeatability, and stability of the testbed setting used.
This paper is dedicated to developing a real-time MEPG-4 parallel encoder on software distributed shared memory systems. Basically, the performance of a MPEG-4 parallel encoder implemented on distributedsystems is ma...
详细信息
暂无评论