By Topic

Parallel and Distributed Real-Time Systems, 1996. Proceedings of the 4th International Workshop on

Date 15-16 April 1998

Filter Results

Displaying Results 1 - 25 of 47
  • Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (76 KB)
    Freely Available from IEEE
  • Issues in designing open distributed real-time databases

    Publication Year: 1996, Page(s):106 - 109
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (372 KB)

    The paper presents the design of open system techniques to integrate a real time database into a distributed computing environment. With the advent of US government mandates for open systems in their computer system procurements, even large distributed real time applications will need to meet the requirements of using commercial off the shelf (COTS) technology with interfaces that adhere to widely... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Timed reachability analysis method for communication protocols with time intervals

    Publication Year: 1996, Page(s):188 - 191
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (332 KB)

    As communication systems have progressed rapidly, real time performance has been required for communication systems recently. In order to meet this demand, communication protocols must have real time processing capabilities. We assume that an execution time of each event has an interval for which the lower and upper bounds are specified. Under this assumption, we propose a timed reachability analy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed real-time optimistic concurrency control protocol

    Publication Year: 1996, Page(s):122 - 125
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (428 KB)

    Although many recent studies have suggested that optimistic concurrency control (OCC) with dynamic adjustment of serialization order (DASO) is more suitable than two phase locking (2PL) for real-time database systems (RTDBS), most of the protocols proposed for DRTDBS are based on 2PL. When OCC with DASO is extended to DRTDBS, a number of issues have to be resolved. These include the heavy overhead... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Asynchronous mode of FDDI for real-time multimedia communication

    Publication Year: 1996, Page(s):184 - 187
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (396 KB)

    FDDI network is a network that can provide real time message delivery. It supports two classes of messages: synchronous class and asynchronous class. Guaranteeing deadlines of real time messages with FDDI synchronous mode has been studied extensively. However, most existing FDDI products support asynchronous message transmission only. We develop an analytic method for guaranteeing real time multim... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Joint STARS perspective on real-time high performance computer benchmarking

    Publication Year: 1996, Page(s):204 - 206
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (152 KB)

    A real-world application perspective on embedded real-time high performance computing benchmarks. Joint STARS (Joint Surveillance Target Attack Radar System) is an air-to-ground surveillance system which provides on-line real-time information on the detection, location, classification, and tracking of ground based objects over a large area. The real-time airborne nature of Joint STARS places physi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scheduling periodic distributed hard real-time tasks

    Publication Year: 1996, Page(s):101 - 104
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (396 KB)

    We present several efficient online and offline strategies for assigning periodic tasks to the nodes of a distributed system, such that the tasks can be feasibly scheduled by the node using some local static/dynamic priority assigning rule. We describe rules that lead to a near optimal utilization factor. Strategies are given for approximation algorithms and the approach leads to a high guarantee ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The response time distribution in a multi-processor database with single queue static locking

    Publication Year: 1996, Page(s):118 - 121
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (364 KB)

    A transaction scheduling mechanism is designed for a shared memory, multiprocessor database system. The scheduler used is a variant of static locking, adapted for real time and more than one processor. It is assumed that transactions arrive according to a Poisson process, execution times of transactions are independent and exponentially distributed and all transactions use the same number of data ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Earliest deadline message scheduling with limited priority inversion

    Publication Year: 1996, Page(s):87 - 94
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (640 KB)

    The paper presents an innovative approach for scheduling network messages with real time dynamic algorithms. The solution described takes advantage of the increased network utilization allowed by dynamic scheduling methods and bounds and at the same time the priority inversion phenomena caused by the lack of a sufficient number of priority levels. We give a very simple formula for checking the sch... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Communication issues in heterogeneous embedded systems

    Publication Year: 1996, Page(s):180 - 183
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB)

    The recent accelerated development of scalable computing systems has made possible the coordinated use of a suite of High Performance Computing (HPC) components for computationally demanding problems in embedded applications. These emerging Scalable Heterogeneous High Performance Embedded (SHHiPE) systems are designed using commercial off the shelf (COTS) modules. Our current interest is to employ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • One approach for generalization of real-time distributed systems benchmarking

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

    Practically, there are endless variations of the implementation of real-time distributed systems (RTDSs). These variations are the consequences of the different hardware, system software architectures and application requirements. These variations make the testing of RTDSs more implementation dependent. To the contrary benchmarking can be considered to be domain specific. In general any RTDS can b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic verification system based on automaton theory

    Publication Year: 1996, Page(s):256 - 259
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (372 KB)

    It is important to formally verify real-time systems. The author specifies system specification and verification properties using a timed automaton. In order to avoid the state-space explosion, the author proposes the following methods. (1) Computing SCC (strongly connected components) satisfying acceptance conditions by checking timing constraints. (2) Computing SCC by image computation based on ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An engineering approach to decomposing end-to-end delays on a distributed real-time system

    Publication Year: 1996, Page(s):244 - 251
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    We propose an adequate engineering technique for decomposing end-to-end delays in distributed real time systems. Our technique greatly simplifies the real time system design process by turning a global distributed scheduling problem into a set of single processor scheduling problems with local deadlines. The deadline decomposition is done using critical scaling factor (J. Lehoczky et al., 1989) as... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementing distributed real-time control systems in a functional programming language

    Publication Year: 1996, Page(s):20 - 26
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB)

    The design and implementation of large distributed fault-tolerant systems in the telecommunications industry is becoming increasingly complex. Traditionally, telecommunications systems have been equipped with fault-tolerant hardware. Recent advances with cheap high-speed off-the-shelf CPUs make an approach with fault tolerance implemented in software more attractive. This typically involves differ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Behavior analysis of parallel, real-time and embedded systems for monitoring and optimizing industrial processes

    Publication Year: 1996, Page(s):75 - 79
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (432 KB)

    The paper deals with the behavior analysis of a proposed kind of embedded system for monitoring and optimizing industrial processes in real time using high performance computing. The paper begins with an introduction to the industrial environment where the embedded systems will be integrated. Following this, the physical architecture of the environment of the embedded systems is presented. The nex... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • POSIX standards for fault management in a real-time environment

    Publication Year: 1996, Page(s):53 - 56
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (400 KB)

    Describes the Portable Operating System Interface (POSIX) standards, specifically the application programming interface (API) standards for fault management for use in a real-time environment. This work is being performed by the Services for Reliable, Available and Serviceable Systems (SRASS) Working Group. This work is a POSIX standards effort in the P1003.1 System Services group project P1003.1h... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specifying parallel and distributed real-time systems in Z

    Publication Year: 1996, Page(s):216 - 222
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (548 KB)

    A framework for the specification of parallel and distributed real time systems is presented by using the formal specification language Z. To this end, a general approach to safety and fairness conditions and timer concepts are developed in Z. As a case study the framework is applied to the well known generalized railroad crossing problem, where a complete specification and a proof of the required... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Issues in developing real-time multimedia applications for a multiprocessor system

    Publication Year: 1996, Page(s):147 - 155
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (728 KB)

    Several of the emerging networked multimedia applications, such as video conferencing, high quality interactive games, and video on demand, place significant computational requirements on an end system, such as a personal computer, workstation, or set top box. In this context, we consider flexible, single chip, programmable shared memory multiprocessor architectures targeted at such applications. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Establishing a real-time distributed benchmark

    Publication Year: 1996, Page(s):200 - 201
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (184 KB)

    There are currently very few well-known approaches for performing measurements on real-time distributed environments, none of which can be considered as widely accepted at this point in time. The establishment of an acceptable approach to evaluation for real-time distributed environments will be a far-reaching enterprise. There is much debate about what constitutes a valid performance level evalua... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Relaxed serializability based on consistent states for real-time database applications

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

    Serializability, the standard notion of correctness, has limitations in real-time database systems because its strict logical consistency. For certain real-time applications, serializability may not be necessary for concurrent execution and different correctness criteria may be applied to different applications depending on the semantics and the requirements of transactions in the applications. Th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling and simulation for distributed computer control systems in a steel plant

    Publication Year: 1996, Page(s):252 - 255
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (356 KB)

    The paper presents a modeling and simulation method to evaluate the performance of distributed computer control systems (DCCSs). Task response time, resource utilization, and network delay are considered as performance indices for time critical systems. The proposed DCCS model is composed of nodes, network, and environment model and their sub models are also described. The suggested method is appl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach to monitoring and assertion-checking of real-time specifications

    Publication Year: 1996, Page(s):236 - 243
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (704 KB)

    The paper describes the development of a monitoring and assertion checking tool, MAC, which supports monitoring of symbolic execution traces generated by the Modechart Toolset, permitting testing of specifications early in the design phase and providing a mechanism for evaluating properties of the system on a particular execution trace. This approach avoids many of the difficulties of run time mon... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Benchmarking of real-time high-performance computing systems

    Publication Year: 1996, Page(s):198 - 199
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (224 KB)

    The real-time high performance computing community needs to establish an industry-supported benchmarking effort. This effort should specify two sets of benchmarks: one at an application level and one at a functional level, or so-called “compact” applications. A common set of performance metrics incorporating the embedded physical attributes of systems must be defined. Both system vendo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The time characteristics of cyclic service in Profibus

    Publication Year: 1996, Page(s):192 - 195
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (348 KB)

    In Profibus master stations poll data from slave stations using the cyclic service CSRD (Cyclic Send and Request Data with Reply). Because the polling-interval determines the data sampling interval, it is important for the Profibus user to be able to know the maximum polling-interval of a cyclic service. We develop a formula for determining the maximum polling-interval of a cyclic service. Further... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Viewcharts: a behavioral specification language for complex systems

    Publication Year: 1996, Page(s):208 - 215
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (688 KB)

    The paper introduces a formalism called Viewcharts, for specification and composition of software behavioral views. The objective is software behavioral requirements specification independent of implementation. The paper claims that behavioral requirements of large scale and complex systems can be described formally as compositions of simple behavioral views. The Viewcharts formalism is presented ... View full abstract»

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