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.
  • Author index

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (54 KB)
    Freely Available from IEEE
  • DRTSS: a simulation framework for complex real-time systems

    Publication Year: 1996, Page(s):160 - 169
    Cited by:  Papers (15)
    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.
  • 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.
  • Adding instruction cache effect to schedulability analysis of preemptive real-time systems

    Publication Year: 1996, Page(s):204 - 212
    Cited by:  Papers (49)  |  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.
  • EMERALDS: a microkernel for embedded real-time systems

    Publication Year: 1996, Page(s):241 - 249
    Cited by:  Papers (8)  |  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.
  • 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.
  • A flexible tool kit for the development of real-time applications

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

    When developing hard real time applications, one of the crucial aims of the designer(s) is to ensure a predictable time behaviour in all anticipated conditions. In particular, it would be highly desirable to verify the compliance of the application with its timing requirements in the early steps of the development, especially at the design stage; an early detection of performance bottlenecks, crit... 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.
  • Implementation of a hardware/software platform for real-time data-intensive applications in hazardous environments

    Publication Year: 1996, Page(s):29 - 35
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (720 KB)

    In real-time data-intensive applications, the simultaneous achievement of the required performance and determinism is a difficult issue to address, mainly due to the time needed to perform I/O operations, which is more significant than the CPU processing time. Additional features need to be considered if these applications are intended to perform in hostile environments. In this paper, we address ... 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.
  • 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.
  • 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.
  • 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.
  • Temporal analysis and object-oriented real-time software development: a case study with ROOM/ObjecTime

    Publication Year: 1996, Page(s):110 - 118
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (600 KB)

    New generation methodologies and CASE tools are making possible increasing “automation” by addressing software development in terms of executable models. We describe one such methodology, ROOM, along with its CASE tool, ObjecTime, for which systems are modelled in terms of hierarchically organised communicating objects whose behavior is defined in terms of finite state machines. In par... 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.
  • 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 (300 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.
  • RTCAST: lightweight multicast for real-time process groups

    Publication Year: 1996, Page(s):250 - 259
    Cited by:  Papers (24)
    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.
  • 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.
  • 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.
  • 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.
  • Providing message delivery guarantees in pipelined flit-buffered multiprocessor networks

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

    Real-time applications when mapped to distributed memory multiprocessors produce periodic messages with an associated deadline and priority. Real-time extensions to wormhole routing (WR) with multiple virtual channels (VCs), suffer from unbounded priority inversion, rendering the global priority order ineffective. We propose a new flow control mechanism called Preemptive Pipelined Circuit Switchin... 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.
  • 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.