By Topic

Parallel and Distributed Real-Time Systems, 1997. Proceedings of the Joint Workshop on

Date 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
  • Platform-independent verification of real-time programs

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

    To include the specification of timing properties in distributed programs, we propose a method to extend existing programming languages with timing annotations. These annotations provide a similar abstraction from the execution platform as is normal for non-real-time languages. Hence they enable the construction of (hard) real-time programs which can be proved correct independently of any underlyi... 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.
  • Properties of hard real-time tasks for on-line scheduling on multiprocessors

    Publication Year: 1997, Page(s):168 - 176
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (668 KB)

    We consider the properties of hard real-time tasks in the context of online scheduling on multiprocessors in an environment where the parameters concerning the set of all future tasks are not known a-priori. We consider a set of ready tasks T0 that need to be scheduled at time 0. We derive a property PT on T0 such that if T0 satisfies this property, any task set T... 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.
  • 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.
  • A real-time Java server for Real-Time Mach

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

    The authors have developed a real-time Java server on the Real-Time Mach microkernel which is suitable for embedded systems and distributed real-time systems. By implementing it as a user-level server on Real-Time Mach, applications such as WWW browsers and embedded applications can both execute Java byte codes. They describe the real-time issues in Java and the architecture of the Java server. Th... 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.
  • Specification of hybrid systems in cTLA+

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

    cTLA+ is a compositional specification and verification technique which is based on Leslie Lamport's (1994) Temporal Logic of Actions TLA. cTLA+ supports modular process type definitions and the composition of processes to systems. Processes can model components of an implementation. Moreover they can represent modular logical constraints. Constraint-oriented structures of system specifications ar... View full abstract»

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

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

    We present a solution to the problem of distributed air defense. The system consists of a set of 10 mobile nodes communicating with each other through a 500 KB/sec low bandwidth medium and via a surveillance satellite. These nodes are deployed on the battle-space and coordinate with each other in order to satisfy the system requirements. The system should be able to handle up to 10,000 tracks, ide... 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 (1)
    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.
  • 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.
  • Report on the case-study session [air defense system]

    Publication Year: 1997, Page(s):105 - 107
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (316 KB)

    As part of the call for papers for the workshop, a problem definition was given for which outline solutions were requested. The problem was designed to address a great many issues, for which the solutions given in the general literature would make conflicting assumptions, and thus would not be admissible. Problem areas addressed included algorithm design, temporal behaviour including hard deadline... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Window theory of local image processing (IP): a framework for mapping local IP algorithms onto local IP systems under real time constraints

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

    This paper introduces a window theory of local image processing (IP). An associated framework for mapping local IP algorithms onto local IP systems is presented. The window theory relies on two fundamental concepts: image windows and window operators. The starting point of the mapping methodology is thereby the local IP algorithm specifications in the form of instruction sequences referring to win... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic derivation of path and loop annotations in object-oriented real-time programs

    Publication Year: 1997, Page(s):257 - 262
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (408 KB)

    This paper presents a new method, based on the notion of abstract interpretation, that can be used to derive path and loop annotations automatically for object-oriented real-time programs. Normally these annotations, necessary for the correct calculation of the worst case execution time (WCET), must be given manually by the programmer. The method is illustrated by the analysis of an example in Sma... 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.
  • 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.
  • MetaH support for real-time multi-processor avionics

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

    MetaH is a language for describing the software and hardware architecture of real-time fault-tolerant securely partitioned avionics systems. The MetaH toolset supports, among other things, real-time schedulability analysis and the automatic generation of “glue” code that implements real-time message passing and process dispatching for a class of multi-processor target architectures. We... 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.
  • 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.
  • Real-time multimedia data processing using VLIW hardware stack processor

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

    We propose the real-time processing of multimedia data using a special purpose processor. We introduce a VLIW architecture and a hardware stack for our multimedia processor. The VLIW-Hardware Stack Processor (VLIW-HSP) consists of four hardware stack units and one control unit. We discuss real-time multimedia data processing using the VLIW architecture. We show the design of VLIW-HSP and present s... 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.
  • 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.
  • 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.