Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279)

4-4 Dec. 1998

Filter Results

Displaying Results 1 - 25 of 50
  • Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279)

    Publication Year: 1998
    Request permission for commercial reuse | PDF file iconPDF (252 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 1998, Page(s):492 - 493
    Request permission for commercial reuse | PDF file iconPDF (182 KB)
    Freely Available from IEEE
  • Task period selection and schedulability in real-time systems

    Publication Year: 1998, Page(s):188 - 198
    Cited by:  Papers (32)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (204 KB)

    In many real time applications, especially those involving computer controlled systems, the application tasks often have a maximal acceptable latency, and small latency is preferred to large. The interaction between choosing task periods to meet the individual latency requirements and scheduling the resulting task set was investigated by D. Seto et al. (1996) using dynamic priority scheduling meth... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Synthesis techniques for low-power hard real-time systems on variable voltage processors

    Publication Year: 1998, Page(s):178 - 187
    Cited by:  Papers (66)  |  Patents (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (200 KB)

    The energy efficiency of systems-on-a-chip can be much improved if one were to vary the supply voltage dynamically at run time. We describe the synthesis of systems-on-a-chip based on core processors, while treating voltage (and correspondingly the clock frequency) as a variable to be scheduled along with the computation tasks during the static scheduling step. In addition to describing the comple... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The time-triggered model of computation

    Publication Year: 1998, Page(s):168 - 177
    Cited by:  Papers (42)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (72 KB)

    The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real time systems. Central to this model is the concept of temporal accuracy of real time information. The TT model consists of four building blocks, interfaces that contain temporally accurate data, a communication subsystem that connects interfaces, a host computer that reads i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Animated Structures: Real-Time, Objects, and the UML

    Publication Year: 1998, Page(s): 165
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (100 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated design tools for hard real-time systems

    Publication Year: 1998, Page(s):368 - 378
    Cited by:  Papers (9)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (164 KB)

    We propose a toolset for designing real-time systems. The toolset is based on a design methodology for real-time systems. The purpose of a design methodology is to provide a set of procedures and guidelines that, with human intervention and interaction, allow designers to systematically obtain implementations of systems that conform precisely to their design specifications. Our methodology is desi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Compiler optimizations for real time execution of loops on limited memory embedded systems

    Publication Year: 1998, Page(s):154 - 164
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (308 KB)

    We propose a framework to carry out an efficient data partitioning for global arrays on limited on-chip memory embedded systems. The key problem addressed in this work is how to perform a good partitioning of data references encountered in loops between on-chip and off-chip memory to meet the demands of real time response by keeping run time overheads of remote access to a minimum. We introduce a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A development framework for ultra-dependable automotive systems based on a time-triggered architecture

    Publication Year: 1998, Page(s):358 - 367
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (220 KB)

    Today by-wire systems are well-known and utilised in the area of aircraft construction. In the last few years there has been an endeavour in the automotive industry to realise by-wire applications without mechanical or hydraulic backup systems in vehicles. The required electronic systems must be highly reliable and cost-effective due to the constraints of mass production. A time-triggered architec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis

    Publication Year: 1998, Page(s):144 - 153
    Cited by:  Papers (23)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (392 KB)

    Abstract interpretation (AI) and integer linear programming (ILP) are two techniques which were used independently from each other for worst case execution time (WCET) approximation. With AI one can compute interesting properties of programs. It can be implemented efficiently and yields provably correct results. Previous work has shown that it is suitable for cache behaviour prediction of memory r... View full abstract»

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

    Publication Year: 1998, Page(s):440 - 448
    Cited by:  Papers (14)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (88 KB)

    The rate of innovations in technologies has far exceeded the rate of adopting them in at least the past 20 years. To fully realize the potential of innovations, a paradigm shift is needed, from a focus on enabling technologies for completely new installations to one which is designed to mitigate the risk and cost of bringing new technologies into functioning systems. In this paper, we show that re... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient object sharing in quantum-based real-time systems

    Publication Year: 1998, Page(s):346 - 355
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (176 KB)

    We consider the problem of implementing shared objects in uniprocessor and multiprocessor real-time systems in which tasks are executed using a scheduling quantum. In most quantum-based systems, the size of the quantum is quite large in comparison to the length of an object call. As a result, most object calls can be expected to execute without preemption. A good object-sharing scheme should optim... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing the results of static worst-case execution-time analysis

    Publication Year: 1998, Page(s):134 - 143
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (304 KB)

    Analytically derived worst case execution time (WCET) bounds are prone to errors, because they often rely on information provided by the user. The paper presents a method for testing the results of static WCET analysis. The proposed test method is a blackbox test method that uses a genetic algorithm (GA) for test case generation. Important properties of the method are: (a) that it requires minimal... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design and implementation of a real-time ATM-based protocol server

    Publication Year: 1998, Page(s):242 - 252
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (228 KB)

    The paper describes the design and implementation of L4ATM, an ATM (asynchronous transfer mode) based networking server. While ATM emphasizes deterministic high speed communication, applications can not yet fully utilize its potential. We demonstrate an architecture-and a corresponding implementation-to resolve this dilemma by developing implementable resource quantification techniques ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A better polynomial-time schedulability test for real-time multiframe tasks

    Publication Year: 1998, Page(s):104 - 113
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (204 KB)

    The well known real time periodic task model first studied by C.L. Liu and J.W. Layland (1973) assumes that each task τ has a worst case computation time C and each execution (instance) of the task takes no more than C time units. Based on the worst case computation time assumption, Liu and Layland derived a utilization bound under which all task sets are schedulable by the fixed priority sche... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using light-weight groups to handle timing failures in quasi-synchronous systems

    Publication Year: 1998, Page(s):430 - 439
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (244 KB)

    In a quasi-synchronous environment worst-case times associated with a given activity are usually much higher than the average time needed for that activity. Using always those worst-case times can make a system useless. However not using them may lend to timing failures. On the other hand, fully synchronous behavior is usually restricted to small parts of the global system. In a previously defined... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Statistical rate monotonic scheduling

    Publication Year: 1998, Page(s):123 - 132
    Cited by:  Papers (59)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (232 KB)

    Statistical rate monotonic scheduling (SRMS) is a generalization of the classical RMS results of C. Liu and J. Layland (1973) for periodic tasks with highly variable execution times and statistical QoS requirements. The main tenet of SRMS is that the variability in task resource requirements could be smoothed through aggregation to yield guaranteed QoS. This aggregation is done over time for a giv... View full abstract»

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

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

    This work presents a new I/O system design and implementation targeted at applications that perform data streaming. The approach yields true zero-copy transfers between I/O devices in many instances. We give a general characterization of I/O elements and provide a framework that allows analysis of the potential for zero-copy transfers. Finally, we describe the design, implementation, and performan... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Proportional share scheduling of operating system services for real-time applications

    Publication Year: 1998, Page(s):480 - 491
    Cited by:  Papers (33)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (76 KB)

    While there is currently great interest in the problem of providing real time services in general purpose operating systems, the issue of real time scheduling of internal operating system activities has received relatively little attention. Without such real time scheduling, the system is susceptible to conditions such as receive livelock-a situation in which an operating system spends all its tim... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Elastic task model for adaptive rate control

    Publication Year: 1998, Page(s):286 - 295
    Cited by:  Papers (103)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (156 KB)

    An increasing number of real time applications, related to multimedia and adaptive control systems, require greater flexibility than classical real time theory usually permits. We present a novel periodic task model, in which tasks' periods are treated as springs, with given elastic coefficients. Under this framework, periodic tasks can intentionally change their execution rate to provide differen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Schedulability analysis for automated implementations of real-time object-oriented models

    Publication Year: 1998, Page(s):92 - 102
    Cited by:  Papers (14)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2116 KB)

    The increasing complexity of real time software has led to a recent trend in the use of high level modeling languages for development of real time software. One representative example is the modeling language ROOM (real time object oriented modeling), which provides features such as object orientation, state machine description of behaviors, formal semantics for executability of models, and possib... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fault-tolerant clock synchronization in CAN

    Publication Year: 1998, Page(s):420 - 429
    Cited by:  Papers (22)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (176 KB)

    This paper presents a new fault-tolerant clock synchronization algorithm designed for the Controller Area Network (CAN). The algorithm provides all correct processes of the system with a global timebase, despite the occurrence of faults in the network or in a minority of processes. Such global time-frame is a requirement of many distributed real-time control systems. Designing protocols for CAN is... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using separate algorithms to process read-only transactions in real-time systems

    Publication Year: 1998, Page(s):50 - 59
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (152 KB)

    In this paper, we investigate the approach of using separate algorithms to process read-only transactions in real-time systems. A read-only transaction (ROT) is a transaction that only reads, but does not update any data item. Since there is a significant proportion of ROTs in several real-time systems, it is important to investigate how to process ROTs effectively. Using an algorithm to process R... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic testing of reactive systems

    Publication Year: 1998, Page(s):200 - 209
    Cited by:  Papers (36)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (148 KB)

    The paper addresses the problem of automatizing the production of test sequences for reactive systems. We particularly focus on two points: (1) generating relevant inputs, with respect to some knowledge about the environment in which the system is intended to run; (2) checking the correctness of the test results, according to the expected behavior of the system. We propose to use synchronous obser... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Future Challenges In The Development Of Real-time High Performance Embedded Systems

    Publication Year: 1998, Page(s):1 - 2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (192 KB)

    First Page of the Article
    View full abstract»

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