Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems

3-3 April 1997

Filter Results

Displaying Results 1 - 25 of 43
  • Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems

    Publication Year: 1997
    Request permission for commercial reuse | PDF file iconPDF (299 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 1997, Page(s): 327
    Request permission for commercial reuse | PDF file iconPDF (69 KB)
    Freely Available from IEEE
  • Synchronization for distributed real-time applications

    Publication Year: 1997, Page(s):81 - 90
    Cited by:  Papers (1)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (848 KB)

    Several distributed applications are characterized by real-time constraints on response times. High-level actions in such distributed applications are modeled by nonatomic events which are collections of atomic events. This paper studies synchronization relations between nonatomic events in such distributed real-time application executions. The relations form a fine-grained hierarchy that can be u... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Prioritized token-based mutual exclusion for distributed systems

    Publication Year: 1997, Page(s):72 - 80
    Cited by:  Papers (1)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (832 KB)

    A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment suitable for real-time applications but impose a higher message passing overhead than our approach. We present a new protocol for prioritized mutual exclusion in a distributed environment. Our approach uses a token-based... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated scheduling of tasks and messages in distributed real-time systems

    Publication Year: 1997, Page(s):64 - 71
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (696 KB)

    The scheduling of tasks in distributed real-time systems has attracted many researchers in the recent past. The distributed real-time system considered here consists of uniprocessor or multiprocessor nodes connected through a multihop network. Scheduling in such a system involves scheduling of dynamically arriving tasks within a node (local scheduling) and migration of tasks across the network (gl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributing time sensitive data in a COTS shared media environment

    Publication Year: 1997, Page(s):53 - 62
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (860 KB)

    Traditionally, the Navy has developed systems which distribute time-sensitive data using specialized components such as dedicated point-to-point communications links. Today, however the Navy is moving away from specialized solutions and toward Commercial-Off-the-Shelf (COTS) components to both keep up with the rapid pace of technology changes and to reduce system costs. COTS components are designe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Toward a scalable design for command and control systems

    Publication Year: 1997, Page(s):43 - 52
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1052 KB)

    Command and control systems exist in a world of constantly shifting demands and expectations; therefore, producing scalable, evolvable systems has always been a priority of system designers. However the need to meet performance requirements has often been a restraint on scalability goals. Advances in the speed and capacity of computational and communications equipment have substantially increased ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Use cases for distributed real-time software architectures

    Publication Year: 1997, Page(s):34 - 42
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (604 KB)

    This paper describes how use cases can be applied to the architectural design of distributed real-time applications. In order to benefit from use cases in distributed real-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-Time... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TARTOS-tool box for active real-time object-oriented database system models

    Publication Year: 1997, Page(s):131 - 140
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (816 KB)

    When real-time databases are to be used in application environments, new requirements should be met by the underlying data model. While the relational data model is very good at modeling simple real-world entities with temporal and logical consistency, its limits are obvious when more modeling power is needed. An object-oriented approach can answer the modeling needs, but on the other hand it can ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multi-paradigm programming in large control systems

    Publication Year: 1997, Page(s):27 - 32
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (568 KB)

    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-spec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Composing multiple-client-multiple-server synchronizations

    Publication Year: 1997, Page(s):269 - 282
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1180 KB)

    A considerable number of language mechanisms have been proposed during recent years, to specify and implement concurrent object-oriented programs. The major concern of these proposals is to design an expressive language that provides extensible concurrent processing and synchronization features. Almost all these efforts, however, have focused on the multiple-client-single-server model where each s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • VERDICT-a tool for model-based verification of real-time logic process controllers

    Publication Year: 1997, Page(s):217 - 221
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (368 KB)

    This paper provides an overview of a project in which a practically applicable tool for the algorithmic formal verification of logic controllers (including timers) for processes with at least piecewise continuous dynamics is developed. In contrast to existing verification techniques from computer science, the presented approach is based on a model of the uncontrolled plant. Condition/event systems... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multiple node-disjoint path protocol for virtual paths in ATM networks

    Publication Year: 1997, Page(s):91 - 97
    Cited by:  Papers (2)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (400 KB)

    This paper presents a routing protocol for finding multiple node-disjoint paths between two nodes in a computer network. Finding the maximal number of node-disjoint paths is one of the most important themes in ATM networks to increase the level of network reliability. In ATM networks, the virtual path (VP) concept is appropriate to network control for failure restoration (path restoration). In the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A pre-run-time scheduling algorithm for object-based distributed real-time systems

    Publication Year: 1997, Page(s):160 - 167
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (792 KB)

    The most important goal in hard real-time systems is to guarantee that all timing constraints are satisfied. Even though object-based techniques (which contain reusable software components) are used to manage the complexity in the software development process of such systems, execution efficiency may have to be sacrificed, due to the large number of procedure calls and contention for accessing sof... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A transaction-based temporal data model for real-time databases

    Publication Year: 1997, Page(s):149 - 158
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (772 KB)

    We propose a real-time database model that deals with the temporal nature of data. Previous models assigned validity intervals with data items. A value of a data item is then only valid within the corresponding interval. In the new model, it is recognized that validity depends on the usage of the data item, therefore temporal validity is a characteristic of transactions, rather than of data items.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • OPC the de facto standard for real time communication

    Publication Year: 1997, Page(s):289 - 294
    Cited by:  Papers (1)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1120 KB)

    The OLE/COM standard (OLE=Object Linking and Embedding, COM=Common Object Model), Microsoft's object technology, integrates applications with a great deal of compatibility between the various applications. For example, a CAD drawing can be integrated into a Word document or an Excel table. Even applications that are programmed in different languages can be integrated. OLE is based on the binary st... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design of a real-time parallel kernel using LOTOS

    Publication Year: 1997, Page(s):177 - 181
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (388 KB)

    The main goal of this work is to show how the formal description technique (FDT) Language of Temporal Ordering Specification (LOTOS), a standard of the International Standards Organization (ISO), can be useful in the design of real-time systems. This paper concentrates on the specification phase of a development methodology and uses as an example the parallel real-time kernel RTXC/MP developed by ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simulation-based performance analysis of distributed systems

    Publication Year: 1997, Page(s):244 - 249
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (512 KB)

    Performance analysis of distributed systems may be performed on different levels of abstraction. An accurate but time-consuming method is the construction of a simulation model which includes the different subsystems, the communication system, and the load profile. In particular, this approach seems to be very powerful for real-time systems because of the inherent possibility of precise calculatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Large-grain, dynamic control system architectures

    Publication Year: 1997, Page(s):22 - 26
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (396 KB)

    Most previous work in distributed real-time systems has focused on the task level of abstraction, and has assumed that all tasks have behavioral characteristics that can be determined statically. When attempting to apply these techniques to some applications (such as shipboard AAW systems), problems arise. In response to this, the dynamic path paradigm has been developed. Novel aspects of the dyna... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comparing two-phase locking and optimistic concurrency control protocols in multiprocessor real-time databases

    Publication Year: 1997, Page(s):141 - 148
    Cited by:  Papers (5)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (720 KB)

    Previous studies (Haritsa et al., 1990) have shown that optimistic concurrency control (OCC) generally performs better than lock-based protocols in disk-based real-time database systems (RTDBS). We compare the two concurrency control protocols in both disk-based and memory-resident multiprocessor RTDBS. Based on their performance characteristics, a new lock-based protocol, called two phase locking... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed real-time problem statement: the air defense system

    Publication Year: 1997, Page(s):119 - 129
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (708 KB)

    After thoroughly reading the problem statement on the air defense system I asked myself whether the problem statement was clear and unambiguous. In order to test the internal quality and consistency of the problem statement, I elaborated on the written text using the KISS method for object orientation. The goal of the KISS method is to attain an object-oriented information architecture that is bas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling and analysis of hybrid systems: a new approach integrating Petri nets and differential equations

    Publication Year: 1997, Page(s):234 - 238
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (312 KB)

    Hybrid technical systems combine discrete-state event-driven and continuous-state time-driven behaviour. In this contribution, a general modeling formalism for such systems is proposed. The discrete subsystem is represented by an interpreted Petri net. In addition to external continuous inputs, discrete variables dependent on the net marking affect the continuous subsystem which is a time-driven s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An evolutionary approach to the construction of new-generation software-intensive satellite control systems

    Publication Year: 1997, Page(s):263 - 268
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (520 KB)

    In the development of on-board embedded real-time systems an important proportion of the critical requirements arise as second-order requirements. The feasibility of the logical model, initially established to meet a relatively stable set of user requirements, needs to be reconfirmed in the face of the more elusive implementation constraints and the limitations imposed by the execution environment... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementation of the Hartstone Distributed Benchmark for hard real-time distributed systems: results and conclusions

    Publication Year: 1997, Page(s):98 - 103
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (396 KB)

    This paper presents a first time approach for the implementation of the Hartstone Distributed Benchmark (HDB) for hard real-time distributed systems. 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 ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Coming attractions in software architecture

    Publication Year: 1997, Page(s):2 - 9
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (732 KB)

    Software architecture has emerged as an important topic in software engineering. This paper examines what is new about the subject, and what is not, and what research trends we may expect in the future. We discuss the promise that work in the field holds, and organize the work into five predominant themes: selection, representation, evaluation, development, and recovery. Technology for the formal ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.