Proceedings of 3rd International Workshop on Real-Time Computing Systems and Applications

Oct. 30 1996-Nov. 1 1996

Filter Results

Displaying Results 1 - 25 of 42
  • Proceedings Third International Workshop on Real-Time Computing Systems and Applications [front matter]

    Publication Year: 1996, Page(s):i - vii
    Request permission for commercial reuse | PDF file iconPDF (180 KB)
    Freely Available from IEEE
  • New architecture of industrial systems with real-time ATM middleware

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

    We propose a programming model, a real-time client-server model, for distributed real-time systems for monitoring and controlling plant. With the model we can make a system scalable in a flat architecture with an ATM network. The system can be scalable because it has no bottlenecks in plant data transmission as traditional systems has with their cyclic transmissions. On-demand transmission of plan... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Proceedings of 3rd International Workshop on Real-Time Computing Systems and Applications

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (82 KB)
    Freely Available from IEEE
  • Evaluation of the communication latency over real-time channel in HARTS

    Publication Year: 1996, Page(s):41 - 48
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (676 KB)

    In this paper, the end-to-end communication latency in HARTS (Hexagonal Architecture for Real-Time Systems) is evaluated, which depends on the intra-node delay as well as the inter-node delay. While the inter-node delay is bounded due to the point-to-point real-time channel, the intra-node delay is variable according to the message traffic and the internal structure of a HARTS node. The intra-node... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Gnass: a Gnat-based allocation and scheduling system

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

    The Ada 95 programming language is designed for programming large systems and for concurrent programming. However, it does not provide facilities in the areas of processor allocation to tasks while its support for flexible task scheduling is limited. In this paper we describe some experiments, resulting in Gnass, in which we extend Ada facilities for real-time multiprocessor applications. As envir... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The design and comparison of two IPC control methods in an ATM switching control system

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

    This paper proposes two types of inter-processor communication (IPC) control methods in an asynchronous transfer mode switching system. One is an indirect control method where the local CPU controls the main IPC functions. All the IPC messages are stored in the local memory and handled by the local software. The other is a direct control method in that the main CPU controls the overall IPC functio... View full abstract»

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

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

    Reactive scripts are designed to get a flexible approach for responsive systems; they are based on the reactive/synchronous approach, well suited to real time programming. A reactive script interpretor is a broadcast event-driven interpreter which can react to several commands in parallel. Generating events and waiting for occurrence of events are the basic commands which are composed in several w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Continuous media storage system supporting VBR streams

    Publication Year: 1996, Page(s):26 - 33
    Cited by:  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (640 KB)

    In this paper, we describe a continuous media storage system that supports the constant frame rate retrieval with variable bit rate streams. The novel characteristics of our storage system is as follows: The utilization of disk bandwidth is higher than traditional continuous media storage systems since the admission test of our storage system adopts average bandwidth usages of respective streams b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experiences with adaptive QOS mapping scheme

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

    In multimedia computing, guaranteeing Quality of Service (QOS) is one of the most important topics. If QOS values specified by users are not ensured, the users may not put up with the degraded quality of media streams. However, operating systems cannot understand QOS values specified by users directly, then the QOS values should be mapped to the CPU capacity that is required for guaranteeing the Q... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Static scheduling of hard real-time code with instruction-level timing accuracy

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

    In hard real-time systems, a timing fault may yield catastrophic results. Dynamic scheduling provides the flexibility to compensate for unexpected events at runtime; however, scheduling overhead at runtime is relatively large, constraining both the accuracy of the timing and the complexity of the scheduling analysis. In contrast, static scheduling need not have any runtime overhead. Thus, it has t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Sending, receiving and presenting multimedia data over network for tele-medical diagnosis (MediNet)

    Publication Year: 1996, Page(s):18 - 25
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (604 KB)

    In this paper, we describe a prototype tele-conference system that sends, receives and presents multimedia data over network for tele-medical diagnosis (MediNet). MediNet supports tele-conference in which doctors can share patient information and 3-D medical images reconstructed from 2-D medical images. Data shared among doctors also includes hand position (pointing), voice, motion images and stil... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Worst-case timing prediction of relay ladder logic by constraint analysis

    Publication Year: 1996, Page(s):180 - 186
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (580 KB)

    In this paper, we propose a technique of predicting the execution time of PLC application programs written in relay ladder logic. The proposed technique divides an RLL program into several RLL blocks and then transforms them into boolean logic equations. The internal states of an RLL program is analyzed and their dependencies are used as constraints when we solve the boolean logic equations. The p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states

    Publication Year: 1996, Page(s):106 - 114
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (836 KB)

    A compositional CTL mode-checking algorithm for real-time concurrent systems with a discrete global clock is presented based on a new high-level description model. We implement the algorithm in a system called VERIFAST-2 which has passed the extended General Session Setup Control protocols with concurrency from 5 to 51 threads all in one minute and demonstrated truly scalable performance with resp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Quality criteria for realtime microkernel products

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

    The authors discuss quality criteria for comparing different microkernel products, which provide the core functions of a realtime OS. Focusing on the features of a realtime kernel, they describe the process of selecting quality evaluation parameters for making a quantitative rating of these software products, while discussing their approach to this quantification View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems

    Publication Year: 1996, Page(s):195 - 202
    Cited by:  Papers (5)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (708 KB)

    Cache memories have been traditionally precluded in real-time systems because of their unpredictable behavior. The needs of better performance have motivated the development of tools to obtain tighter bounds on the worst-case execution time (WCET) of cached programs. However, they do not allow preemption, because from the point of view of program analysis, the number of preemptions is unknown. To ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Elimination of data copying for multimedia communication

    Publication Year: 1996, Page(s):4 - 9
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (412 KB)

    UDP is a reasonable alternative for multimedia communication. Although UDP provides unreliable service, it fits well with the characteristics of multimedia communication. The goal of this paper is to minimize the overhead of UDP for multimedia communication. The overhead of UDP is dominated by per-byte overhead. This paper investigates how to reduce the number of data copying, which is a major com... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On data logging in real-time process control systems

    Publication Year: 1996, Page(s):320 - 326
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (528 KB)

    Real-time process control systems require hard real-time data logging tasks to access all of the data sampled from plants and monitoring tasks to analyze the status of the plants. This paper presents an integrated scheduling scheme for hard real-time data logging tasks and soft real-time monitoring tasks, both types of which require disk I/Os. Conventional disk scheduling policies like Shortest-Se... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Toward adaptable distributed real-time computer systems

    Publication Year: 1996, Page(s):170 - 175
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (572 KB)

    A distributed real-time computer system consists of several processing nodes which are interconnected by communication channel. For a safety critical application the real-time computer system should maintains timely and dependable services despite component failures or environmental changes. In this paper we present a framework of an adaptable distributed real-time computer system which can adjust... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An extensible architecture for main-memory real-time storage systems

    Publication Year: 1996, Page(s):67 - 73
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (596 KB)

    M2 RTSS is a main-memory storage system, which has been under recent development at Seoul National University as a vehicle for high-performance and real-time database application research. To deal with requirements from various applications, M2 RTSS architecture is designed to have extensibility in many aspects of storage system functionality. One crucial aspect of such exten... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A heuristic scheduling algorithm of imprecise multiprocessor system with 0/1 constraint

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

    The scheduling problem to satisfy both 0/1 constraint and timing constraints with minimizing the total error is NP-complete when the optional parts have arbitrary processing times. In this paper, we present a heuristic scheduling algorithm of imprecise systems with 0/1 constraint which consist of the communicating tasks running on several processors. The algorithm is based on the program graph whi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ada 95 as implementation vehicle for formal specifications

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

    A main concern in the initial phases of the development of a system to be built is capturing the system requirements and expressing them as an adequate model, either formal or informal. In subsequent phases of the development of the system this model is used as reference for transformation steps. In this paper we describe a reasonably successful experimental strategy for the implementation of real... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the real time diagnosability of multiprocessor systems by comparison approach

    Publication Year: 1996, Page(s):154 - 161
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (516 KB)

    In this paper, we analyze the diagnosability and diagnosis problems of a multiprocessor systems using the test results generated by other processors in the system. We also propose some rules which find the faulty processors in the system using the comparison approach. A polynomial time algorithm identifies the faulty units of such a system which can be implemented in real time on the basis of the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time multicast routing with optimal network cost

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

    Multicast routing for real-time applications has two important requirements: minimal network cost and shortest network delay. It is always difficult to meet one requirement without compromising the other. This paper presents a real-time multicast routing algorithm which minimizes overall network cost without letting the delay from source to any destination exceed a time constraint. The multicast r... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hardware-software codesign of resource-constrained real-time systems

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

    This paper presents a hardware-software (HW-SW) partitioning algorithm to be used in HW-SW codesign of an embedded real-time system. The algorithm interacts with the period calibration method such that the period assignment and HW-SW partitioning of real-time tasks are considered in a single framework. The partitioning algorithm makes use of three heuristics and one random transformation rule in o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An error control scheme for Ethernet-based real-time communication

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

    This paper describes a low-cost error control scheme for transmission control based real-time communication, especially for TDMA-implemented Ethernet. As the bandwidth allocation scheme decides the capacity vector (or slot time) based on the worst case condition, there is usually extra available transmission time for each message stream. The proposed error control scheme uses this extra bandwidth ... View full abstract»

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