By Topic

Proceedings Real-Time Technology and Applications

10-12 June 1996

Filter Results

Displaying Results 1 - 25 of 29
  • 1996 IEEE Real-Time Technology and Applications Symposium Proceedings

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (276 KB)
    Freely Available from IEEE
  • On ATM support for distributed real-time applications

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

    Considers the problem of applying ATM technology in designing distributed industrial plant control applications with integrated real-time communication requirements. In particular, we first examine (1) the design space using current ATM service categories and their corresponding traffic models, and (2) the mathematical and practical implications of the traffic models. We then present a taxonomy of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tutorial: real-time object-oriented modeling (ROOM)

    Publication Year: 1996, Page(s):214 - 217
    Cited by:  Papers (8)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (355 KB)

    Developing real time software is particularly challenging since the complexity of the physical world has to be accommodated as well as stringent resource and timeliness constraints. Such circumstances require special language support over and above what can be found in general purpose programming languages. ROOM is both an object oriented modeling language and a development method specifically des... View full abstract»

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

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (54 KB)
    Freely Available from IEEE
  • The design of an open system with distributed real-time requirements

    Publication Year: 1996, Page(s):82 - 90
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1004 KB)

    This paper describes some of the US Navy's New Attack Submarine C3I system-an open system with distributed real-time requirements. It also presents our research design and prototyping efforts that address these requirements. It concludes by discussing several areas where further research is needed to allow open systems to better support real-time applications View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient worst case timing analysis of data caching

    Publication Year: 1996, Page(s):230 - 240
    Cited by:  Papers (24)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (908 KB)

    Recent progress in worst case timing analysis of programs has made it possible to perform accurate timing analysis of pipelined execution and instruction caching. However there has not been much progress in worst case timing analysis of data caching. This is mainly due to load/store instructions that reference multiple memory locations such as those used to implement array and pointer based refere... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scalable compositional reachability analysis of real-time concurrent systems

    Publication Year: 1996, Page(s):182 - 191
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (732 KB)

    A description model for high level behavior of a real time concurrent system is presented. A verification algorithm is then devised to take advantage of interaction locality and symmetry and internal operation concealment in the model. A system called VERIFAST implements the algorithm. Experiments show that VERIFAST runs fast and exhibits time complexity linear to the size of concurrency in a benc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Putting fixed priority scheduling theory into engineering practice for safety critical applications

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

    Describes the approach proposed by the York University Technology Centre for introducing fixed-priority scheduling into industrial safety-critical hard real-time systems. The work has been performed within the context of a class A (safety-critical) system as defined by civil aircraft software standard DO178B. Traditionally, class A systems have been scheduled by a cyclic executive. However, many s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DRTSS: a simulation framework for complex real-time systems

    Publication Year: 1996, Page(s):160 - 169
    Cited by:  Papers (16)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (980 KB)

    This paper describes a simulation framework called DRTSS, which allows its users to easily construct discrete-event simulators of complex, multi-paradigm, distributed real-time systems. Preliminary, high-level system designs can be entered into DRTSS to gain initial insight into the timing feasibility of the system. Later, detailed hierarchical designs can be evaluated and more detailed analysis c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Predictable communication protocol processing in real-time Mach

    Publication Year: 1996, Page(s):220 - 229
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (892 KB)

    Scheduling of many different kinds of activities takes place in distributed real time and multimedia systems. It includes scheduling of computations, window services, filesystem management, I/O services and communication protocol processing. We investigate the problem of scheduling communication protocol processing in real time systems. Communication protocol processing takes a relatively substant... View full abstract»

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

    Publication Year: 1996, Page(s):38 - 48
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (992 KB)

    Real-time database systems (RTDBSs) have timing constraints in their specifications, such as read times, deadlines and other temporal constraints. In addition, RTDBSs must adapt to changes in the operating environment and guarantee the completion of critical transactions. Previous research efforts in RTDBSs have been focused on scheduling transactions with soft or firm deadlines with serializabili... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Resource management for real-time communication: making theory meet practice

    Publication Year: 1996, Page(s):130 - 138
    Cited by:  Papers (20)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (976 KB)

    This paper focuses on bridging the gap between theory and practice in the management of host CPU and link resources for real-time communication. Using our implementation of real-time channels, a paradigm for real-time communication in packet-switched networks, we illustrate the tradeoff between resource capacity and channel admissibility, which determines the number and type of real-time channels ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for simulation of concurrency control policy in real-time systems

    Publication Year: 1996, Page(s):91 - 99
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (792 KB)

    Control of concurrency is a critical aspect of both performance and correctness of real-time systems. Use of formal policies and mechanisms for concurrency control, in the style of transaction processing systems, would make it easier to reason about the logical correctness of concurrently executing processes in real-time systems. Adaptation of transaction processing techniques to real-time environ... View full abstract»

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

    Publication Year: 1996, Page(s):241 - 249
    Cited by:  Papers (9)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (912 KB)

    EMERALDS (Extensible Microkernel for Embedded Real Time Distributed Systems) is a real time microkernel designed for cost conscious small to medium size embedded systems. It not only offers standard OS services like multi threaded processes, real time scheduling, protected address spaces, message passing, semaphores, and timers, but does so in an efficient manner while keeping the kernel size to j... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mechanical verification of timed automata: a case study

    Publication Year: 1996, Page(s):192 - 203
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1200 KB)

    The paper reports the results of a case study on the feasibility of developing and applying mechanical methods, based on the proof system PVS, to prove propositions about real time systems specified in the Lynch-Vaandrager timed automata model. In using automated provers to prove propositions about systems described by a specific mathematical model, both the proofs and the proof process can be sim... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building real-time music tools visually with Sonnet

    Publication Year: 1996, Page(s):11 - 18
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1520 KB)

    We are building a variety of interactive music tools using Sonnet, a visual programming language in use at our center. Originally designed for sonification experiments for monitoring and debugging programs, Sonnet has grown into a more general system with a focus on real-time event-driven applications. In this paper, we describe some of the features of Sonnet followed by some examples of how it is... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Supporting the specification and analysis of timing constraints

    Publication Year: 1996, Page(s):170 - 178
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (756 KB)

    Real-time programmers have to deal with the problem of relating timing constraints associated with source code to sequences of machine instructions. This paper describes an environment to assist users in the specification and analysis of timing constraints. A user is allowed specify timing constraints within the source code of a C program. A user interface for a timing analyzer was developed to de... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • AIDA-based real-time fault-tolerant broadcast disks

    Publication Year: 1996, Page(s):49 - 58
    Cited by:  Papers (27)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (872 KB)

    The proliferation of mobile computers and wireless networks requires the design of future distributed real-time applications to recognize and deal with the significant asymmetry between downstream and upstream communication capacities, and the significant disparity between server and client storage capacities. Zdonik et al. (1994) have proposed the use of broadcast disks as a scalable mechanism to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluation of wireless soft real-time protocols

    Publication Year: 1996, Page(s):139 - 146
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (700 KB)

    Communication between current military real-time systems and future interconnection of general purpose, embedded real-time systems will often require wireless communications. However, there has been little work undertaken to offer support for real-time applications on wireless networks. We present and evaluate three protocols; variations of two published protocols by Paterakis and Gallager as well... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Designing for evolvability: building blocks for evolvable real-time systems

    Publication Year: 1996, Page(s):100 - 109
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (972 KB)

    Fielded real-time systems including many defense systems, manufacturing plants and commercial aircraft avionics typically have long lifetimes ranging from a few years to even a few decades. Available technologies, system needs and customer goals change over this lifetime, and changes to a deployed system become very desirable. We argue that such evolution must and can be supported with new system ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • RTCAST: lightweight multicast for real-time process groups

    Publication Year: 1996, Page(s):250 - 259
    Cited by:  Papers (26)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (968 KB)

    We propose a lightweight fault tolerant multicast and membership service for real time process groups which may exchange periodic and aperiodic messages. The service supports bounded time message transport, atomicity, and order for multicasts within a group of communicating processes in the presence of processor crashes and communication failures. It guarantees agreement on membership among the co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adding instruction cache effect to schedulability analysis of preemptive real-time systems

    Publication Year: 1996, Page(s):204 - 212
    Cited by:  Papers (53)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (784 KB)

    Cache memories are commonly avoided in real time systems because of their unpredictable behavior. Recently, some research has been done to obtain tighter bounds on the worst case execution time (WCET) of cached programs. These techniques usually assume a non preemptive underlying system. However, some techniques can be applied to allow the use of caches in preemptive systems. The paper describes h... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A robotic assembly application on the Spring real-time system

    Publication Year: 1996, Page(s):19 - 28
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1028 KB)

    The Spring real-time system and environment provides methods for program representation and corresponding run-time system support that allow programs to meet the predictability demands of complex real-time applications. The primary objective of the work described in this paper is to present the experiences gained and the lessons learned from porting a real-world, real-time application to make it p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A semantic-based concurrency control protocol for real-time transactions

    Publication Year: 1996, Page(s):59 - 67
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (740 KB)

    Real-time database systems must maintain both logical and temporal data integrity so that transactions can respond to real-world events timely and predictably. For real-time applications, such as avionics and process control, that are connected to sensor devices, the consistency between the device readings and the current values used by transactions could be more important than the serializability... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CAISARTS: a tool for real-time scheduling assistance

    Publication Year: 1996, Page(s):150 - 159
    Cited by:  Papers (5)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1040 KB)

    CAISARTS (Conceptual, Analytical, and Implementation Scheduling Advice for Real-Time Systems) is a rule-based system used by real-time application designers to obtain expert assistance for all aspects of the design related to scheduling: granularity of tasks, allocation of tasks, choice and analysis of scheduling paradigm, analysis of overheads of particular operating systems and scheduling paradi... View full abstract»

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