By Topic

Real-Time Systems Symposium, 1990. Proceedings., 11th

Date 5-7 Dec. 1990

Filter Results

Displaying Results 1 - 25 of 34
  • Proceedings. 11th Real-Time Systems Symposium (Cat. No.90CH2933-0)

    Publication Year: 1990
    Request permission for commercial reuse | PDF file iconPDF (129 KB)
    Freely Available from IEEE
  • Resource reclaiming in real time

    Publication Year: 1990, Page(s):41 - 50
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (964 KB)

    Resource reclaiming refers to the problem of utilizing the resources left unused by a task when it executes in less than its worst-case computation time, or when a task is deleted from the current schedule. In dynamic real-time multiprocessor environments, resource reclaiming can be used to improve the average performance. Dynamic resource reclaiming algorithms must be effective in reclaiming unus... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specifying and verifying a real-time priority queue with modal algebra

    Publication Year: 1990, Page(s):300 - 310
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (780 KB)

    The authors use the modal primitive recursive (MPR) arithmetic to facilitate definition, composition, and reasoning about the very large-scale finite state machines that represent substantive real-time systems. The MPR arithmetic provides a language of integer-valued functions which allow for compact and intuitive specification of state machines without enumeration of state sets or transition func... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analysis of three contention protocols in distributed real-time systems

    Publication Year: 1990, Page(s):136 - 145
    Cited by:  Papers (10)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (824 KB)

    The probability of a station/node failing to deliver packets before their deadlines, called the probability of dynamic failure, P dyn, and the ∈-bounded delivery time, which is defined as the time period between the arrival of a packet and its delivery with probability greater than 1-∈, are important performance parameters for the communication subsystems of a distrib... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Language support for the Maruti real-time system

    Publication Year: 1990, Page(s):257 - 266
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (732 KB)

    Maruti is a testbed for the design of time-driven hard real-time systems. It uses the technique of prescheduling, where the application is scheduled prior to execution and resources required by the application are reserved, in order to ensure that deadlines are met. A description is given of the features of MPL, a language for Maruti. MPL provides constructs for expressing time constraints, preced... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time communication in multiple token ring networks

    Publication Year: 1990, Page(s):146 - 154
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (560 KB)

    A communication architecture and a dynamic control protocol are presented for real-time communication in multiple token ring networks. The network can be formed by multiple channels through bandwidth subdivision of a high-speed ring. A flexible preemption and dynamic load allocation scheme is developed which can reduce the lost percentage of critical packets and can maintain a high channel utiliza... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Time capsules: an abstraction for access to continuous-media data

    Publication Year: 1990, Page(s):11 - 20
    Cited by:  Papers (11)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (900 KB)

    The author presents the time capsule abstraction to describe how timed data shall be stored, exchanged, and accessed in a real-time system. When data are written into a time capsule, a time stamp and a duration are associated with the data item. When it is read, a time stamp is used to select the data item. The time capsule abstraction includes the notion of clocks that ensure periodic data access... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Agreeing on a leader in real-time [fault tolerant computer system]

    Publication Year: 1990, Page(s):166 - 172
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (568 KB)

    A method is devised for maintaining the continuing availability of a vital service in a real-time shared-memory multiprocessor fault-tolerant computer system. The essential characteristics of the service to be provided are given. The service can be correctly provided by any one operational processor acting alone. The job of selecting the processor to provide the service is the real-time leader ele... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fixed priority scheduling of periodic task sets with arbitrary deadlines

    Publication Year: 1990, Page(s):201 - 209
    Cited by:  Papers (230)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (616 KB)

    Consideration is given to the problem of fixed priority scheduling of period tasks with arbitrary deadlines. A general criterion for the schedulability of such a task set is given. Worst case bounds are given which generalize the C.L. Liu and J.W. Layland (1973) bound. The results are shown to provide a basis for developing predictable distributed real-time systems View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time scheduling support in Futurebus+

    Publication Year: 1990, Page(s):331 - 340
    Cited by:  Papers (10)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (980 KB)

    A simple but efficient architecture for building multiprocessors is to connect several processors to a common backplane bus. The backplane acts as a shared resource in this architecture and contention for its use by different bus modules must be resolved. In a real-time system, this backplane must also provide scheduling support such that the timing behavior of the resulting system is analyzable. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A calculus for communicating systems with time and probabilities

    Publication Year: 1990, Page(s):278 - 287
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (628 KB)

    A process algebra that extends R. Milner's (1983) calculus of communicating systems (CCS) with probabilities and time is presented. With this calculus it is possible to describe real-time and reliability aspects of distributed systems. A (strong) bisimulation equivalence is defined, and a corresponding complete axiomatization is given. Several examples are included View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Incremental garbage collection of concurrent objects for real-time applications

    Publication Year: 1990, Page(s):21 - 30
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (688 KB)

    The authors show how to perform real-time automatic garbage collection of objects possessing their own thread of control. Beyond its interest as a novel real-time problem, the relevance of automatic management and concurrent objects to real-time applications is briefly discussed. The specific model of concurrent objects used in the paper is explained. A definition of real-time garbage collection i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A robust group membership algorithm for distributed real-time systems

    Publication Year: 1990, Page(s):173 - 179
    Cited by:  Papers (18)  |  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (584 KB)

    An algorithm is presented by which nonfaulty processors of a group of fixed size will be able to maintain a consistent and timely knowledge of the group membership. The authors assume an architecture in which the broadcast network is accessed by some time domain multiplexing techniques where the exclusive right to transmit messages is granted to each processor once in every `cycle'. In an executio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time system scenarios

    Publication Year: 1990, Page(s):214 - 225
    Cited by:  Papers (20)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (708 KB)

    Two computer systems are specified which are functionally similar to subsets of existing US Navy ship and submarine systems. The computer system descriptions represent no specific system either deployed, under development, or proposed. For each system, the computer system performance requirements and computer equipment selection criterion are given. The intent is to provide meaningful test problem... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementing a verifier for real-time systems

    Publication Year: 1990, Page(s):62 - 71
    Cited by:  Papers (12)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (876 KB)

    The SARTOR project has as one of its goals the development of an environment for the development of correct real-time systems. Modechart is a specification language for real-time systems developed as part of this project. Verify4 is an implementation of a verifier for certain classes of properties of systems specified using Modechart. The author describes the program Verify4 and addresses implemen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • New latency bounds for atomic broadcast

    Publication Year: 1990, Page(s):156 - 165
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (596 KB)

    Tighter bounds are provided on the time required to reach agreement in a distributed system as a function of the failure model. After describing the model of a distributed system that is a context for this work the authors define several failure classes. They define a partial order on classes of failures that involves whether there is a latency penalty in converting from tolerance of one failure c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A proof system for communicating shared resources

    Publication Year: 1990, Page(s):288 - 299
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (824 KB)

    The authors introduce a proof system for CCSR, a process algebra based on the CSR model. CCSR allows the algebraic specifications of timeouts, interrupts, periodic behaviors and exceptions. A rigorous treatment of preemption, which is based not only on priority but also on resource utilization and inter-resource synchronization, is provided. The theory of preemption leads to a term equivalence bas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A stack-based resource allocation policy for realtime processes

    Publication Year: 1990, Page(s):191 - 200
    Cited by:  Papers (82)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (764 KB)

    The stack resource policy (SRP) is a resource allocation policy which permits processes with different priorities to share a single runtime stack. It is a refinement of the priority ceiling protocol (PCP), which strictly bounds priority inversion and permits simple schedulability tests. With or without stack sharing, the SRP offers the following improvements over the PCP: (1) it unifies the treatm... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Structuring large real-time systems with performance polymorphism

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

    Sophisticated and flexible real-time systems may use several versions of a program fragment that performs a particular computation. These versions differ only in their performance parameters, such as the time required, the resources consumed, and the precision of the results. A model is presented of performance polymorphism, whereby the process of selecting a version from the available set is auto... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SMART (strategic memory allocation for real-time) cache design using the MIPS R3000

    Publication Year: 1990, Page(s):322 - 330
    Cited by:  Papers (31)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (828 KB)

    SMART, a technique for providing predictable cache performance for real-time systems with priority-based preemptive scheduling, is presented. The technique is implemented in a R3000 cache design. The value density acceleration (VDA) cache allocation algorithm is also introduced, and shown to be suitable for run-time cache allocation View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MRL: a real-time rule-based production system

    Publication Year: 1990, Page(s):267 - 276
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (720 KB)

    The response time analysis of rule-based expert systems is discussed. The rule-based production system MRL (macro-rule-based language) is introduced. MRL has been designed to facilitate more accurate analysis of the response times of programs while maintaining the flexibility and expressiveness of traditional production systems such as OPS5. Research on modular analysis of rule-based systems is de... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experiments with a program timing tool based on source-level timing schema

    Publication Year: 1990, Page(s):72 - 81
    Cited by:  Papers (25)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (864 KB)

    A timing tool has been implemented for a subset of C as an initial experiment in validating a methodology for predicting the deterministic execution times of programs. The tool is based on formal timing schema that are defined for each source level construct (procedures, statements, expressions). The tool accepts a program and bounds for each loop, and produces predictions for best and worst case ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scheduling I/O requests with deadlines: A performance evaluation

    Publication Year: 1990, Page(s):113 - 124
    Cited by:  Papers (35)  |  Patents (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (992 KB)

    The I/O scheduling problem is examined in detail. The authors present a realistic model for studying this problem in the context of a system which executes real-time transactions. The model takes advantage of the fact that reading from the disk occurs before a transaction commits, while writing to the disk usually occurs after the transaction commits. New algorithms are presented that exploit this... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Preemptively scheduling hard-real-time sporadic tasks on one processor

    Publication Year: 1990, Page(s):182 - 190
    Cited by:  Papers (191)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (576 KB)

    Consideration is given to the preemptive scheduling of hard-real-time sporadic task systems on one processor. The authors first give necessary and sufficient conditions for a sporadic task system to be feasible (i.e., schedulable). The conditions cannot, in general, be tested efficiently (unless P=NP). They do, however, lead to a feasibility test that runs in efficient pseudo-polynomial time for a... View full abstract»

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

    Publication Year: 1990, Page(s):51 - 59
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (672 KB)

    The authors address the topic of how to meet a real-time constraint as the load on a distributed system increases, without increasing the capacity of the individual processors. The application studied is a real-time resource counter with a probabilistic correctness criterion, and is motivated by the problem of implementing resource management in the telephone network. They introduce a model that c... View full abstract»

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