By Topic

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
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • On the design of a dynamic distributed real-time environment

    Publication Year: 1997, Page(s):251 - 256
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (624 KB)

    Development of distributed real-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 ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Combining a computer science and control theory approach to the verification of hybrid systems

    Publication Year: 1997, Page(s):222 - 227
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (556 KB)

    We report on the project “Specification and Verification of Discrete Controllers for Continuous Systems Based on Modular Models and Compositional Analysis”. Within this project we aim at developing an automatic verification tool for discrete controllers of technical systems which can be applied to systems of industrial size. To reach this objective we combine two different approaches b... 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.
  • Hybrid modelling with second order fluid stochastic Petri nets

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

    Stochastic Petri nets have been extended for the modelling of hybrid systems by adding fluid places, that are filled and emptied continuously at a random (normally distributed) rate. The flow rates as well as the discrete transition rates may depend on the content a fluid place holds. The dynamics of the model are described by second order partial differential equations, that can be solved by usin... 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.
  • MetaH support for real-time multi-processor avionics

    Publication Year: 1997, Page(s):11 - 21
    Cited by:  Papers (11)  |  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.
  • 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.
  • 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.
  • Parallel distributed real-time systems in manufacturing (an aerospace view)

    Publication Year: 1997, Page(s):284 - 288
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (536 KB)

    An overview of the evolution of distributed real-time controllers in aerospace manufacturing environments is given. Programmable logic controllers (PLCs) and projected PLC market revenues are reviewed, as well as manufacturing deployment strategies and customer support. The hidden costs of PLC technology are identified. Examples of today's state-of-the-art parallel distributed real-time manufactur... 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 (1)
    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.
  • 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.
  • 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.
  • 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.
  • Real-time scheduling in video systems

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

    We consider the problem of mapping video algorithms onto systems of high-performance video signal processors with hard real-time constraints. The mapping problem under consideration is computationally hard due to the many constraints that need to be satisfied. We present a compact mathematical formulation which identifies the decision variables and the constraints that are involved. We demonstrate... 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.
  • 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.
  • A mathematical approach to describing a class of hybrid systems

    Publication Year: 1997, Page(s):228 - 232
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (436 KB)

    Methods for describing continuous respectively discrete event systems have been thoroughly explored, but there is a need for universal methods to describe hybrid systems, in which continuous, as well as discrete subsystems are combined. Mathematical techniques are just emerging and have to be developed further. In this paper a new mathematical approach to modelling a class of hybrid systems is pre... 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.