Scheduled System Maintenance
On Tuesday, May 22, IEEE Xplore will undergo scheduled maintenance. Single article sales and account management will be unavailable
from 6:00am–5:00pm ET. There may be intermittent impact on performance from noon–6:00pm ET.
We apologize for the inconvenience.

Proceedings. Real-Time Systems Symposium

6-8 Dec 1988

Filter Results

Displaying Results 1 - 25 of 30
  • Algorithms for scheduling periodic jobs to minimize average error

    Publication Year: 1988, Page(s):142 - 151
    Cited by:  Papers (18)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (680 KB)

    Several preemptive, priority-driven algorithms for scheduling periodic jobs on systems that support imprecise computations are described and evaluated. The algorithms are designed to keep the average error in the results produced over consecutive periods small. The approach taken here is to consider each task as consisting of two parts: a mandatory part that must be completed in order for the task... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analysis of speedup and communication/computation ratio in multiprocessor systems

    Publication Year: 1988, Page(s):282 - 288
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (424 KB)

    The quantitative relationship between speedup and communication is analyzed in terms of the ratio of the communication time to the computation time. An extension to Amdahl's law is proposed to include communication and to estimate the lower and upper bounds on speedup in multiprocessor systems. A method for estimating a response time in a multiprocessor system that incorporates the impact of commu... View full abstract»

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

    Publication Year: 1988, Page(s):130 - 139
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB)

    The author discusses scheduling in the multicomputer architecture for fault-tolerance (MAFT), a distributed system designed to provide extremely reliable computation in real-time control systems. Scheduling in MAFT is based on a fault-tolerant variation of a priority-list schedule. The threading delay associated with agreement on task completions can cause schedules to experience Richards' anomali... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Execution of a high level real-time language

    Publication Year: 1988, Page(s):69 - 76
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (712 KB)

    Prototype system description language is a high-level real-time language with special features for hard real-time system specification and design. It can be used to firm up requirements through execution of its software prototypes. The language design is based on a real-time model merging data and control flow, and its implementation is beyond conventional compiler technology because of the need t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Estimating task response time with contentions for real-time distributed systems

    Publication Year: 1988, Page(s):272 - 281
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (720 KB)

    Response time is affected by interprocessor communications, precedence relationships among the modules, module assignments, and processor scheduling policies. Furthermore, due to sharing of resources and data among the processors, contention delays are incurred. A task response time model that considers all these factors is proposed. A Petri net is used to represent resource contention, and the ta... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The cyclic executive model and Ada

    Publication Year: 1988, Page(s):120 - 129
    Cited by:  Papers (28)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (928 KB)

    Periodic processes are major parts of many real-time embedded computer applications. The programming language Ada permits programming of simple periodic processes, but it has some serious limitations: producing Ada programs with real-time performance comparable to that of programs produced to date using traditional cyclic executives requires techniques that are specific to one machine or compiler.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Missile guidance processor software development-a case study

    Publication Year: 1988, Page(s):60 - 68
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (520 KB)

    A case study of a near-complete implementation of a real-time software system is presented. The software implements a missile guidance processor control system. The languages of implementation are C and assembler, targeted to an MC68020 central processing unit with an MC68881 floating-point coprocessor and an HD63450 direct memory access controller. Modern software engineering practices were used,... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On-line scheduling of real-time tasks

    Publication Year: 1988, Page(s):244 - 250
    Cited by:  Papers (26)  |  Patents (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (516 KB)

    The problem of online scheduling of a set of n independent, real-time tasks on m⩾1 identical processors is addressed. An online scheduler is said to be optimal if it performs as well as the best offline scheduler. It is shown that no optimal online scheduler can exist if the tasks have more than one distinct deadline. An optimal online scheduler for tasks with one common dead... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • State-based specification of complex real-time systems

    Publication Year: 1988, Page(s):2 - 11
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (800 KB)

    A state-based specification methodology for real-time systems is presented that reduces the number of states by orders of magnitude compared to standard techniques and provides explicit representation for temporal constraints. Formal definitions and a graphic notation for the associated hierarchical multistate (HMS) machines are presented, and various concepts of hierarchy of HMS machines are expl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • New approaches for the reconfiguration of two-dimensional VLSI arrays using time-redundancy

    Publication Year: 1988, Page(s):212 - 221
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (600 KB)

    Two novel approaches are presented in which no spare cells are used. They are based on the full processing utilization of fault-free cells by exploiting the single-product-step of a systolic array. This results in a reconfigured array with no degradation of computational speed. The basic principles of the time-redundancy technique are discussed, with particular emphasis on the selection and alloca... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time synchronization protocols for multiprocessors

    Publication Year: 1988, Page(s):259 - 269
    Cited by:  Papers (151)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1028 KB)

    The authors investigate the synchronization problem in the context of priority-driven preemptive scheduling on shared-memory multiprocessors. Unfortunately, a direct application of synchronization mechanisms such as the Ada rendezvous, semaphores, or monitors can lead to uncontrolled priority inversion: a high job being blocked by a lower priority job for an indefinite period of time. A task alloc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MELODY: a distributed real-time testbed for adaptive systems

    Publication Year: 1988, Page(s):112 - 119
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    The authors analyze current and future needs in building adaptive real-time systems and formulate a series of design requirements for their hardware/interconnection, operating system, and application levels that could be satisfied together only in an integrated system design. They describe the major features of the corresponding model. On the operating-system level, novel services are rendered by ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Expressing and maintaining timing constraints in FLEX

    Publication Year: 1988, Page(s):96 - 105
    Cited by:  Papers (25)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (780 KB)

    The timing constraint mechanism in a real-time programming language called FLEX is described. A FLEX program can use the constraint primitives to express timing and resource requirements. If the required time or resources are not available at run-time, a FLEX program can dynamically produce monotonic imprecise results. Both time and system resources are defined as first-class objects in the langua... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Process dependent static cache partitioning for real-time systems

    Publication Year: 1988, Page(s):181 - 190
    Cited by:  Papers (17)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (912 KB)

    The author investigates the use of a priori knowledge of program behavior to partition an instruction cache of size C into a static partition of size S and an LRU partition of size C -S. The value of S is task-dependent and is nonzero for most programs running on the system. Example programs are presented, and their behavior in various size caches is di... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A real time parallel processing data acquisition system

    Publication Year: 1988, Page(s):54 - 59
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (368 KB)

    The design of a VME-based parallel-processing data-acquisition system for the proposed TRIUMF/UBC positron emission tomographs is described. Event records, consisting of eight bytes of data, must be acquired and digitally processed at rates of 250000 to 500000 events per second, corresponding to a data acquisition rate of up to 4 Mb/s. Real-time processing is necessary to reduce the data storage r... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A comparison of four adaptation algorithms for increasing the reliability of real-time software

    Publication Year: 1988, Page(s):232 - 241
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (704 KB)

    In a large, parallel, real-time computer system, it is frequently most cost-effective to use different software reliability techniques (e.g., retry, replication, and resource-allocation algorithms) at different levels of granularity or within different subsystems, dependent on the reliability requirements and fault models associated with each subsystem. The authors describe the results of applying... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The integration of deadline and criticalness in hard real-time scheduling

    Publication Year: 1988, Page(s):152 - 160
    Cited by:  Papers (46)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (700 KB)

    Two task-scheduling algorithms for distributed hard real-time computer systems are presented. Both algorithms are based on a heuristic approach and explicitly account for both the deadlines and criticality of tasks when making scheduling decisions. In analyzing the algorithms, a performance metric called the weighted guarantee ratio is defined. It reflects both the percentage of tasks that make th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A real-time tool set for the ARTS kernel

    Publication Year: 1988, Page(s):289 - 299
    Cited by:  Papers (18)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (788 KB)

    An integrated real-time tool set is described that consists of a schedulability analyzer and a real-time monitor/debugger for the ARTS kernel, which is being built for a distributed real-time testbed. The schedulability analyzer, called Scheduler 1-2-3, is an X11 window-based interactive tool and can verify whether the given real-time tasks can meet their deadlines under a specific scheduling poli... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • What's `real' about real-time systems?

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

    A real-time system is a concurrent computing system whose computations and actions must satisfy time constraints. Guaranteeing that such a system will meet its constraints can be viewed either in terms of an extended model of program correctness or as a problem of scheduling, e.g. establishing a feasible schedule. However, a crucial distinction between real-time and other concurrent programs is no... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Exploiting unused periodic time for aperiodic service using the extended priority exchange algorithm

    Publication Year: 1988, Page(s):251 - 258
    Cited by:  Papers (37)  |  Patents (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (696 KB)

    Real-time scheduling algorithms that provide responsive aperiodic service in the presence of hard real-time periodic tasks require the creation of a high-priority periodic server task for servicing aperiodic requests. The authors describe the extended priority exchange algorithm, which can provide better aperiodic response than previous aperiodic service algorithms, particularly for cases where th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Minimizing mean flow time with release time and deadline constraints

    Publication Year: 1988, Page(s):24 - 32
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (672 KB)

    The problem of preemptively scheduling a task system consisting of a set of n independent tasks on one processor so as to minimize the mean flow time is considered. The goal is to find a preemptive schedule such that the mean flow time is minimized subject to the constraint that task Ti is executed within the interval between its release time and its deadline. Such a s... View full abstract»

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

    Publication Year: 1988, Page(s):106 - 110
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (496 KB)

    The authors describe the semantics of the real-time language PSDL, which was designed for prototyping real-time systems. They focus on the aspects of the language relating to hard real-time constraints, scheduling, and functional behavior. They present the aspects of PSDL that simplify the description of real-time constraints and clarify the relationships between periodic and data-driven operators... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Support for high-priority traffic in VLSI communication switches

    Publication Year: 1988, Page(s):191 - 200
    Cited by:  Papers (2)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (748 KB)

    The design of small n×n switches that can be used to construct communication networks that provide low-latency communication for high-priority traffic, which is required for both multistage interconnection networks used in multiprocessors and direct networks used in multicomputers. The focus is on the design of the internal buffers, specifically on the design of buffers tha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Allocation of real-time computations under fault tolerance constraints

    Publication Year: 1988, Page(s):161 - 170
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (860 KB)

    An allocation scheme is proposed that accomplishes the hard real-time goal of guaranteeing a deadline satisfaction in case the job is accepted. In addition, the scheme supports fault-tolerance objectives in both damage containment and resiliency requirements. It does this in cooperation with a schedulability verification mechanism and with an object architecture in which for each object there exis... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification of real-time systems in real-time temporal interval logic

    Publication Year: 1988, Page(s):86 - 95
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (944 KB)

    A real-time variant of temporal interval logic is proposed for the specification and reasoning of real-time systems. In the framework of the logic, it is possible to specify qualitative and quantitative aspects of temporal behaviors of systems. The formalism provides capabilities for quantitative specification of time behavior. The harmonization of temporal interval logic with real-time features l... View full abstract»

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