By Topic

Real-Time Computing Systems and Applications, 1996. Proceedings., Third International Workshop on

Date 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
    Save to Project icon | Request Permissions | 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)
    Save to Project icon | Request Permissions | 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
    Save to Project icon | Request Permissions | PDF file iconPDF (82 KB)  
    Freely Available from IEEE
  • Sending, receiving and presenting multimedia data over network for tele-medical diagnosis (MediNet)

    Publication Year: 1996 , Page(s): 18 - 25
    Cited by:  Patents (1)
    Save to Project icon | Request Permissions | 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.
  • Priority inversion handling in microkernel-based Real-Time Mike

    Publication Year: 1996 , Page(s): 238 - 245
    Cited by:  Papers (4)  |  Patents (3)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (760 KB)  

    We propose a resource management model to avoid priority inversion problem that may occur when two tasks attempt to send service requests to a server task, and then the server task sends a request to another server task in a nested fashion. In this model we introduce two new concepts: job identifier inheritance and priority ceiling inheritance. We also suggest a new resource locking condition of t... 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
    Save to Project icon | Request Permissions | 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.
  • BAP: a class of abort-oriented protocols based on the notion of compatibility

    Publication Year: 1996 , Page(s): 118 - 127
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (812 KB)  

    There has been growing interest in the performance of transaction systems that have significant response time requirements. These requirements are usually specified as hard or soft deadlines on individual transactions, and a concurrency control algorithm must attempt to meet the deadlines as well as preserve data consistency. This paper proposes a class of simple and efficient abort-oriented concu... 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 (3)
    Save to Project icon | Request Permissions | 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.
  • The verification technique of real-time systems using probabilities

    Publication Year: 1996 , Page(s): 90 - 97
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (636 KB)  

    Real-time systems are distributed, and require reliability. The formal verification and specification are important for real-time systems. In this paper, in order to obtain reliability, we think the notion of dense-time and probabilities are necessary. We propose the following methods in order to specify and verify performance properties in dense time model. (1) Probabilistic and dense time statec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Safe and efficient elimination of infeasible execution paths in WCET estimation

    Publication Year: 1996 , Page(s): 187 - 194
    Cited by:  Papers (5)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (764 KB)  

    Reasoning about the timing properties of a program is indispensable in the development of time critical systems where failure to meet deadlines can result in loss of life or material. To this end having tools to calculate safe and tight Worst Case Execution Time (WCET) bounds can be very valuable. In most of the approaches to date a lot of pessimism is attributed to the fact that many paths that a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Impact of priority assignment on optimistic concurrency control in distributed real-time databases

    Publication Year: 1996 , Page(s): 128 - 135
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (748 KB)  

    In the studies of real-time concurrency control protocols (RT-CCPs), it is always assumed that earliest deadline first (EDF) is employed as the CPU scheduling algorithm. However, using purely (ultimate) deadline for priority assignment may not be suitable for distributed real-time database systems (DRTDBS) in which there exist different kinds of transactions, such as global and local transactions.... 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 (3)
    Save to Project icon | Request Permissions | 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.
  • Elimination of data copying for multimedia communication

    Publication Year: 1996 , Page(s): 4 - 9
    Save to Project icon | Request Permissions | 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.
  • Evaluation of the communication latency over real-time channel in HARTS

    Publication Year: 1996 , Page(s): 41 - 48
    Save to Project icon | Request Permissions | 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.
  • Experiences with adaptive QOS mapping scheme

    Publication Year: 1996 , Page(s): 261 - 268
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | 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.
  • On the real time diagnosability of multiprocessor systems by comparison approach

    Publication Year: 1996 , Page(s): 154 - 161
    Save to Project icon | Request Permissions | 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.
  • An error control scheme for Ethernet-based real-time communication

    Publication Year: 1996 , Page(s): 214 - 219
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | 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.
  • Toward adaptable distributed real-time computer systems

    Publication Year: 1996 , Page(s): 170 - 175
    Save to Project icon | Request Permissions | 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.
  • Ada 95 as implementation vehicle for formal specifications

    Publication Year: 1996 , Page(s): 98 - 105
    Cited by:  Papers (3)
    Save to Project icon | Request Permissions | 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.
  • A heuristic scheduling algorithm of imprecise multiprocessor system with 0/1 constraint

    Publication Year: 1996 , Page(s): 307 - 313
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | 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.
  • A multiversion locking protocol for real-time databases with multilevel security

    Publication Year: 1996 , Page(s): 136 - 143
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (636 KB)  

    In this paper, we propose a new multiversion locking protocol for real-time database systems for providing multilevel security. Real-Time DBMS (RTDBMS) is a system that processes transactions with explicit timing constraints. Thus, it must satisfy not only logical data consistency but also timing constraints associated with transactions. There are increasing needs for security in many applications... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal aperiodic scheduling for dynamic-priority systems

    Publication Year: 1996 , Page(s): 294 - 300
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (536 KB)  

    This paper addresses the problem of jointly scheduling tasks with both hard and soft real-time constraints. We present a new on-line aperiodic admission algorithm to be used with on optimal dynamic priority preemptive scheduler, such as the Earliest Deadline First (EDF) or the Least Laxity First (LLF). The admission algorithm transforms a soft aperiodic task into a hard one by assigning a deadline... 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)
    Save to Project icon | Request Permissions | 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.
  • A study on transmitting MPEG-I video over a FDDI network

    Publication Year: 1996 , Page(s): 10 - 17
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (668 KB)  

    This paper presents two schemes to improve the transmission of real-time MPEG-I video over a FDDI network. Multiple classes of MPEG-I video will be used in the study and what makes this simulation study different from the others is the different kinds of MPEG-I video data we used. These data are captured from real video programmes and we categorized these video clips according to their workload ch... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The cyclic services in an industrial network

    Publication Year: 1996 , Page(s): 220 - 226
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (492 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. In this paper we develop a formula for determining the maximum polling-interval of a cyclic se... View full abstract»

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