By Topic

Computer

Issue 5 • May 1991

Filter Results

Displaying Results 1 - 6 of 6
  • A design approach for ultrareliable real-time systems

    Publication Year: 1991, Page(s):12 - 22
    Cited by:  Papers (20)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1089 KB)

    A design approach developed over the past few years to formalize redundancy management and validation is described. Redundant elements are partitioned into individual fault-containment regions (FCRs). An FCR is a collection of components that operates correctly regardless of any arbitrary logical or electrical fault outside the region. Conversely, a fault in an FCR cannot cause hardware outside th... View full abstract»

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

    Publication Year: 1991, Page(s):25 - 35
    Cited by:  Papers (43)  |  Patents (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1134 KB)

    The design, implementation, and evaluation of a distributed real-time architecture called HARTS (hexagonal architecture for real-time systems) are discussed, emphasizing its support of time-constrained, fault-tolerant communications and I/O (input/output) requirements. HARTS consists of shared-memory multiprocessor nodes, interconnected by a wrapped hexagonal mesh. This architecture is intended to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time systems performance in the presence of failures

    Publication Year: 1991, Page(s):37 - 47
    Cited by:  Papers (40)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (970 KB)

    A unified methodology for modeling both soft and hard real-time systems is presented. Techniques that combine the effects of performance, reliability/availability, and deadline violation into a single model are used. An online transaction processing system is used as an example to illustrate the modeling techniques. Dynamic failures due to a transaction violating a hard deadline are taken into acc... 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: 1991, Page(s):48 - 57
    Cited by:  Papers (63)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1003 KB)

    Analytic methods are employed at the source-language level, using formal timing schema that include control costs, handle interferences such as interrupts, and produce guaranteed best- and worst-case bounds. The timing tool computes the deterministic execution times for programs that are written in a subset of C and run on a bare machine. Two versions of the tool were written, using two granularit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Algorithms for scheduling imprecise computations

    Publication Year: 1991, Page(s):58 - 68
    Cited by:  Papers (193)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1223 KB)

    The imprecise computation technique, which prevents timing faults and achieves graceful degradation by giving the user an approximate result of acceptable quality whenever the system cannot produce the exact result in time, is considered. Different approaches for scheduling imprecise computations in hard real-time environments are discussed. Workload models that quantify the tradeoff between resul... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building flexible real-time systems using the Flex language

    Publication Year: 1991, Page(s):70 - 78
    Cited by:  Papers (46)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (893 KB)

    The design and implementation of a real-time programming language called Flex, which is a derivative of C++, are presented. It is shown how different types of timing requirements might be expressed and enforced in Flex, how they might be fulfilled in a flexible way using different program models, and how the programming environment can help in making binding and scheduling decisions. The timing co... View full abstract»

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

Aims & Scope

Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed articles written for and by computer researchers and practitioners representing the full spectrum of computing and information technology, from hardware to software and from emerging research to new applications. 

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Sumi Helal
University of Florida
sumi.helal@gmail.com