Real-Time Computing Systems and Applications, 1999. RTCSA '99. Sixth International Conference on

13-15 Dec. 1999

Filter Results

Displaying Results 1 - 25 of 77
  • Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306)

    Publication Year: 1999
    Request permission for commercial reuse | PDF file iconPDF (336 KB)
    Freely Available from IEEE
  • Implementation and evaluation of video transfer system over Internet with congestion control based on two level rate control

    Publication Year: 1999, Page(s):141 - 148
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (791 KB)

    Recently, video data transfer is one of the major types of traffic over the Internet. However, it is impossible for the current Internet to guarantee the quality of service (QoS) for video transfer and an influx of a large amount of video data into the Internet may cause serious network congestion. To resolve these problems, we previously proposed a protocol using congestion control based on rate ... View full abstract»

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

    Publication Year: 1999, Page(s):508 - 509
    Request permission for commercial reuse | PDF file iconPDF (106 KB)
    Freely Available from IEEE
  • Scheduling periodic task systems to minimize output jitter

    Publication Year: 1999, Page(s):62 - 69
    Cited by:  Papers (38)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (604 KB)

    Output jitter-the variation in the intercompletion times of successive jobs of the same task is studied in the context of the preemptive uniprocessor scheduling of periodic real-time tasks. A formal quantitative model for output jitter is proposed. A list of properties that are desirable in any jitter-minimization schedule is enumerated. Algorithms are presented for generating such schedules, and ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Feasibility intervals for the deadline driven scheduler with arbitrary deadlines

    Publication Year: 1999, Page(s):54 - 61
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (608 KB)

    In this paper, we extend the determination of feasibility intervals to task sets with arbitrary deadlines, both in the synchronous and the asynchronous case. Meanwhile we also improve the arguments and results generally found in the literature View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for scheduling in safety-critical embedded control systems

    Publication Year: 1999, Page(s):46 - 53
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (664 KB)

    This paper describes an approach that has been developed over a number of years for the task of scheduling systems and providing evidence that the timing requirements are met. The approach has been targeted at the safety critical systems domain, and more specifically the development of jet engine control systems. The work has resulted in a computational model that supports the reuse of legacy syst... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scalable Architecture for Real-time Applications and use of bus-monitoring

    Publication Year: 1999, Page(s):208 - 211
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (316 KB)

    The lifecycles for industrial applications are becoming shorter, the application complexity is increasing, performance is too low, fault tolerance is required, reuse of components is desired and developers require strong verification tools to cut down the verification phase. As the problem increases with respect to longer development times and higher quality requirements from the customer, it is b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Incorporating error recovery into the imprecise computation model

    Publication Year: 1999, Page(s):348 - 355
    Cited by:  Papers (4)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    We describe optimal algorithms for incorporating error recovery in the imprecise computation model. In this model each task comprises a mandatory and an optional part. The mandatory part must be completed within the task's deadline even in the presence of faults and a reward function is associated with the execution of each optional part. We address the problem of optimal scheduling in an imprecis... View full abstract»

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

    Publication Year: 1999, Page(s):4 - 12
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (664 KB)

    Fault-tolerant techniques are often employed to provide predictable performance in the presence of malfunction of embedded real-time systems. Our research addresses the problem of restoring real-time systems to a prior state when a fault generates errors. In this paper, we first define the state restoration problem in real-time systems, explaining when is necessary to restore a real-time system to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal description of real-time systems using SDL

    Publication Year: 1999, Page(s):190 - 197
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (676 KB)

    The Specification and Description Language (SDL) promises to be a good formal language to describe real-time systems, since it has time constructs and supports modeling of distributed systems. The problem with SDL is that it does not have a clear interpretation of time and does not provide a solid description of how the model is supposed to execute in time. This poses a problem for developing tool... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Non-blocking data sharing in multiprocessor real-time systems

    Publication Year: 1999, Page(s):247 - 254
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (544 KB)

    A non-blocking protocol that allows real time tasks to share data in a multiprocessor system is presented. The protocol gives the means for concurrent real time tasks to read and write shared data; the protocol allows multiple write and multiple read operations to be executed concurrently. Our protocol extends previous results and is optimal with respect to space requirements. Together with the pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Handling interrupts in testing of distributed real-time systems

    Publication Year: 1999, Page(s):450 - 457
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (544 KB)

    Testing techniques for sequential software are well established. Unfortunately, these testing techniques are not directly applicable to distributed real-time systems. In previous work we have proposed a method for reproducible and deterministic testing of distributed real-time systems. This method identifies all possible orderings of task starts, preemptions and completions. Each ordering is regar... View full abstract»

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

    Publication Year: 1999, Page(s):374 - 377
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (348 KB)

    This paper presents a methodology for the integration of tools for parallel real-time systems within a visual development environment. The paper also presents one of the tools that composes the visual environment for the development of parallel real-time systems, the scheduling analyser. The scheduling analyser allows the static verification of time constraints in a set of tasks, and helps the use... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adaptive data broadcast strategy for transactions with multiple data requests in mobile computing environments

    Publication Year: 1999, Page(s):37 - 44
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (548 KB)

    Data broadcast in mobile environments has received much attention in recent years and a large number of algorithms have been proposed. However, existing work in the literature only assume a single data item per transaction. In this paper we propose an adaptive data broadcast strategy designed for the case where there may be more than one data item per transaction, for a mobile environment with bot... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A fault tolerant real-time publisher/subscriber inter-process communication architecture

    Publication Year: 1999, Page(s):204 - 207
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (252 KB)

    Real-time publication and subscription (P/S) is an important communication paradigm that can be used to support the flexible integration and upgrading of distributed real-time systems. In this paper, we present a fault-tolerant extension of a real-time P/S service in the context of a duplex architecture. We also present the rationale for the key design decisions and show how to improve the respons... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fault-tolerant real-time scheduling under execution time constraints

    Publication Year: 1999, Page(s):392 - 395
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (344 KB)

    The primary/backup with deallocation approach of S. Ghosh et al. (1997) is a strategy for the fault-tolerant online scheduling of hard realtime tasks. In this scheme, tasks are either rejected within a short time after the request or guaranteed to be executed even in case of a processor failure. In this paper several heuristics for the guarantee algorithm are investigated. For the first time diffe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Portable code for complex critical systems

    Publication Year: 1999, Page(s):111 - 118
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (692 KB)

    A common requirement on future safety-critical systems is to support hardware interchangeability. In this paper work sponsored by British Aerospace Military Aircraft and Aerostructures is reported which addresses this issue. Interchangeability is motivated by the need to perform technology upgrades within a system when components become obsolete-hardware computer components are often superseded wi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A denotational semantics of timed RSL using duration calculus

    Publication Year: 1999, Page(s):492 - 495
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (292 KB)

    This paper provides a denotational semantics to a subset of Timed RAISE Specification Language (RSL) using Extended Duration Calculus (EDC) model. We use some novel features of EDC which play the vital role in formalizing real-time programs and verification of real-time properties. Some characteristic algebraic laws of Timed RSL is presented, which can be proved from the denotational semantics, an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Synchronous composition of discretized control actions: design, verification and implementation with ORCCAD

    Publication Year: 1999, Page(s):158 - 165
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1180 KB)

    Robotic systems are typical examples of hybrid systems where continuous time aspects, related to control laws, must be carefully merged with discrete-time aspects related to control switches and exception handling. These two aspects interact in real-time to ensure an efficient nominal behavior of the system together with safe and graceful degradation otherwise. In a mixed synchronous/asynchronous ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A symbolic model checker for testing ASTRAL real-time specifications

    Publication Year: 1999, Page(s):174 - 181
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (708 KB)

    ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifications of complex real-time systems with layering. In this paper, the methods and techniques used in the prototype implementation of the ASTRAL symbolic model checker, which is a component of the ASTRAL software developm... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fault tolerant real-time connection admission control for mission critical applications over ATM-based networks

    Publication Year: 1999, Page(s):340 - 347
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (660 KB)

    We present methods to provide fault-tolerant real-time communication over ATM networks. Specifically, we are concerned with messages that have to be delivered by their deadlines even in the presence of faults. Connection-oriented communications service is well-suited for mission critical applications that demand delay guarantees. A critical part of connection oriented communication is the design o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scheduling fixed-priority tasks with preemption threshold

    Publication Year: 1999, Page(s):328 - 335
    Cited by:  Papers (51)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (624 KB)

    In the context of fixed-priority scheduling, feasibility of a task set with non-preemptive scheduling does not imply the feasibility with preemptive scheduling and vice versa. We use the notion of preemption threshold, first introduced by Express Logic, in their ThreadX real-time operating system, to develop a scheduling model that subsumes both preemptive and non-preemptive fixed priority schedul... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time data transfer using a real-time SNMP MIB

    Publication Year: 1999, Page(s):402 - 405
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (324 KB)

    With the widespread usage of embedded devices in data acquisition and industrial control applications, the method of collecting and distributing scientific data has become very important issue. However there is no standard protocol in present implementations of this kind of Embedded Real-time Applications (ERAs). We propose a new real-time data transfer scheme derived from SNMP the widely accepted... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the self-similarity property of the output process from a network server with self-similar input traffic

    Publication Year: 1999, Page(s):128 - 132
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (308 KB)

    Real-time communication requires a performance guarantee from the underlying network. In order to analyse the network performance, we must find the traffic characterization in every server of the network. Due to the strong experimental evidence that network traffic is self-similar in nature, it is important to study the problem to see whether the service of a server changes the self-similarity pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal proof of the rate monotonic scheduler

    Publication Year: 1999, Page(s):500 - 503
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (248 KB)

    We formally prove Liu and Layland's classic theorem on the Rate Monotonic Scheduler in Duration Calculus, a real time interval temporal logic. We describe the assumption of the system, the scheduling policy, the requirement, i.e., service is met for the processes before their deadlines, all by Duration Calculus formulae. That a feasibility condition is sufficient is formalised as logical implicati... View full abstract»

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