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
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • Automatic derivation of path and loop annotations in object-oriented real-time programs

    Publication Year: 1997, Page(s):257 - 262
    Cited by:  Papers (8)
    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
    Cited by:  Papers (1)
    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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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 effective verification method for distributed and concurrent systems using timed language inclusion

    Publication Year: 1997, Page(s):193 - 200
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (624 KB)

    We propose a specification and verification method for distributed systems. We can easily specify fairness and timing constraints, and can effectively verify distributed systems 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 distributed sy... View full abstract»

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