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.
In this study, we are considering a broader class of dynamic systems consisting of constrained planar rigid bodies. This class of environments poses two significant challenges which we feel are fundamental to the deve...
详细信息
ISBN:
(纸本)078031364X
In this study, we are considering a broader class of dynamic systems consisting of constrained planar rigid bodies. This class of environments poses two significant challenges which we feel are fundamental to the development of the advanced kinesthetic interfaces. First, the environment structure changes dynamically due to collisions between bodies. Thus, the equations of motion must be formulated and solved in real-time. Second, the equations are necessarily stiff due to rigid constraints in the system. Thus, real-time simulation will require extremely high update rates to be stable and present the operator with a realistic 'feel'.
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.
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.
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.
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.
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 describes a software/hardware architectural transformation of a single threaded, cyclic executive based missile application to a multitasking, distributed application using MetaH (Binns and Vestal 1993a, 19...
详细信息
This paper describes a software/hardware architectural transformation of a single threaded, cyclic executive based missile application to a multitasking, distributed application using MetaH (Binns and Vestal 1993a, 1993b, 1995). The benefits of this process are: it provides a traceable path to the original language implementation, it achieves data encapsulation and data flow understanding, it separates out concurrent processes, it results in an object based design, and MetaH provides a robust mechanism for multiprocessor distribution.
Due to the complex functionality of large control systems, many different application domains are involved in their implementation. Despite this diversity, modern control systems are implemented according to the (conv...
详细信息
ISBN:
(纸本)0818680970
Due to the complex functionality of large control systems, many different application domains are involved in their implementation. Despite this diversity, modern control systems are implemented according to the (conventional) imperative programming model. Multi-paradigm programming is an approach toward system development that is based on more than one programming model. By choosing a domain-specific paradigm for each of the application domains involved, the expected advantage is a less intensive and less error-prone development process. This paper discusses the application of multi-paradigm programming to large distributed control systems. The benefits are illustrated by experimental applications in the context of naval command-and-control systems. To solve the problem of paradigm integration, a software architecture for distributed control system is introduced, that supports multi-paradigm programming. The architecture is shown to be compositional and open to new paradigms.
暂无评论