By Topic

Real-Time Applications, 1994., Proceedings of the IEEE Workshop on

Date 21-22 July 1994

Filter Results

Displaying Results 1 - 25 of 30
  • Proceedings of 2nd IEEE Workshop on Real-Time Applications

    Publication Year: 1994
    Request permission for commercial reuse | PDF file iconPDF (119 KB)
    Freely Available from IEEE
  • Formally specifying real-time Ada software

    Publication Year: 1994, Page(s):39 - 44
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (388 KB)

    A formal design method, based on an extended version of Receptive Process Theory, which is suitable for use in the design of real-time systems is described. The method is particularly appropriate for use with Ada software, as it can fully exploit Ada's advanced features such as tasking, multiple entry-points, exception handling, etc., and also supports asynchronous communication View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Data flow modelling in real time multitasking graphical design

    Publication Year: 1994, Page(s):33 - 38
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (412 KB)

    LACATRE is a graphical tool intended to help the design of applications requiring multitasking real time executives. Within the software life cycle, it covers both preliminary and detailed design. The first version of this tool gave preference to the tasking aspect of an application by the modelling of both low level objects, issued from real time kernels, and high level application objects, close... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Off-line temporal analysis of hard real-time applications

    Publication Year: 1994, Page(s):28 - 32
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (380 KB)

    The most critical part in the development of hard real-time applications is the priority mapping carried out with nonformal methods. Our approach is based on the view that if the real-time application software is transformed into a set of tasks modeled by proper temporal characteristics, then the schedule analysis is easier to be determined. We propose simple environment models (language and real-... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluating distributed timing constraints - implementing run-time mechanisms

    Publication Year: 1994, Page(s):157 - 162
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (468 KB)

    We describe a solution to the problem of implementing time-optimal evaluation of timing constraints in distributed real-time systems. Issues include how to utilize knowledge of transport delays, how to evaluate timing constraints based upon time of observation, how to order and assemble multiple observations that happen closely, algorithms for run-time evaluation, and application programmers inter... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal dynamic redistribution of divisible load in distributed real-time systems

    Publication Year: 1994, Page(s):21 - 26
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (460 KB)

    The problem of optimizing the balancing of processing load originating at the various sites of an interconnected set of heterogeneous processors of a real-time system is examined. The distributed load is assumed to be homogeneous and arbitrarily divisible with no particular affinity to individual processors. The heterogeneous processors may or may not have front-end subprocessors, and are characte... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A stochastic reward net model for dependability analysis of real-time computing systems

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

    Dependability assessment plays an important role in the design and validation of fault-tolerant real-lime computer systems. Dependability models provide measures such as reliability, safety and mean time to failure as functions of the component failure rates and fault/error coverage probabilities. In this paper we present a decomposition technique that accounts for both the hardware and software a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rapid prototyping and synthesis of a self-testing ABS controller using CAD tools

    Publication Year: 1994, Page(s):151 - 156
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (612 KB)

    This paper reports simulation, synthesis, and eventual layout of an automotive Anti-lock Brake system (ABS) digital controller onto FPGA technology, and the potential migration of the design onto ASIC technology. Examination of its functionality, real-time response, implementation and testability is performed in an attempt to measure the usefulness of higher level design entry facilities such as V... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scalable temporally predictable memory structures

    Publication Year: 1994, Page(s):99 - 103
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (360 KB)

    Faster processors are used to tackle larger problems which typically require a larger memory. Unfortunately this prohibits memory access latency from scaling with processor speed, Consequently, multiple levels of caching are employed which utilise temporal and spatial locality of reference to bridge the performance gap. However, cache performance is difficult to predict which is problematic for ha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Strong P-fairness: a scheduling strategy for real-time applications

    Publication Year: 1994, Page(s):16 - 20
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (372 KB)

    Many real-time multimedia applications consume data at a steady rate over an extended period of time. This data often needs to be retrieved from storage servers, or captured at remote locations and transported over communication networks to the application. We describe a new approach to the design of such systems. We formalize a model of data usage, define a measure of temporal fairness, and prese... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Issues in developing object-oriented database systems for real-time applications

    Publication Year: 1994, Page(s):136 - 140
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (480 KB)

    Database systems for real-time applications must satisfy timing constraints associated with transactions, in addition to maintaining data consistency. Recently, interests in object-oriented databases have been growing for non-traditional applications of database systems, and several real-time applications are being developed using an object-oriented paradigm. The object-oriented approach seems pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An inexpensive real-time testbed-the Pinball Player project

    Publication Year: 1994, Page(s):86 - 88
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (280 KB)

    We propose that part of the reason for the relatively immature state of real-time programming is due the expense of objects traditionally controlled by real-time systems, which limits general exposure of real-time programming within the computing community. As a partial response we are building an inexpensive real-time testbed based on an arcade type pinball machine. The system will be based on re... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Pre-run-time scheduling for object-based, concurrent, real-time applications

    Publication Year: 1994, Page(s):8 - 11
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (328 KB)

    The complexity of computer systems in many application areas has increased rapidly in the last decade. In order to deal with this complexity, application programs should be constructed by layering reusable modules. Therefore, an object-based design and implementation methodology is advocated. In addition, dependability of these computer systems is very important, and thus timeliness has to be guar... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • RT-OMT: a real-time object modeling technique for designing real-time database applications

    Publication Year: 1994, Page(s):124 - 129
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (528 KB)

    This paper describes a methodology called RT-OMT (Real-time Object Modeling Technique) for designing real-time database applications. RT-OMT adapts the OMT (Object Modeling Technique) methodology for this purpose. OMT is one of the more popular object-oriented methodologies for designing applications for complex information systems. These include database systems, executive/enterprise information ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using RMA for evaluating design decisions

    Publication Year: 1994, Page(s):76 - 80
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (396 KB)

    Software architecture plays a central role in large, complex software systems with real-time or safety-critical requirements. We are investigating design methods based on software architecture, and techniques to specify, represent, and analyze them. As a practical matter we have decided to focus our architectural research on system structure, communication behavior and specific non-functional prop... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented method for real-time systems

    Publication Year: 1994, Page(s):45 - 49
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (392 KB)

    Software quality is the key to real-time computing. This paper proposes an object-oriented model for large real-time systems. In this model we emphasize component assessment as one of the important process in a development, which is done based on checking each components against a set of criteria for reuse and quality. This paper identifies, in detail, Ada language (chosen for study) structures fo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Interface fault diagnosis in ATM switches

    Publication Year: 1994, Page(s):163 - 166
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (260 KB)

    Based on the importance of ATM (Asynchronous Transfer Mode) network management and the attractive features of connectionist expert system, an intelligent fault diagnosis system which focuses on interface management of ATM switches is proposed. The designed system consists of two modules: network monitoring and status diagnosis. Network monitoring module is responsible for getting ATM interface inf... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A virtual testing method for event-driven real-time applications

    Publication Year: 1994, Page(s):147 - 150
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (292 KB)

    We present a method for testing real-time applications, i.e., implementations of real-time systems, specified formally by Modechart. From a Modechart specification, the proposed method generates test sequences for checking whether there is a discrepancy between a Modechart specification and its implementation. The implementation can be tested, under virtual environment, by the generated sequences ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A distributed real-time intelligent alarm processing system with symbolic-connectionist computation

    Publication Year: 1994, Page(s):104 - 109
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (416 KB)

    We outline the features of a cognitively compatible symbolic-connectionist architecture for complex data intensive time-critical domains especially in the diagnostic area. We examine how a symbolic-connectionist architecture copes with the time-critical and size complexity aspects of a real time alarm processing system developed for a regional power system control centre View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Speculative execution in a real-time system

    Publication Year: 1994, Page(s):94 - 98
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (388 KB)

    Compiler techniques can help enhance average case execution and extract parallelism opportunities in distributed real time systems. We show that there are situations in which speculative execution with rollback can improve the performance of a hard real time system, either by improving average performance while not affecting the worst-case, or by actually decreasing worst-case execution time. We a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scheduling techniques for real-time applications consisting of periodic task sets

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

    Scheduling algorithms for applications consisting of hard deadlines are described. A preemptive scheduling algorithm that avoids unnecessary preemptions is presented. Also, a predictive nonpreemptive scheduling algorithm is given that looks at future arrival times of tasks, and schedules them nonpreemptively View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Research issues for a real-time nested transaction model

    Publication Year: 1994, Page(s):130 - 135
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (472 KB)

    Real-time database systems have been studied to meet stringent timing and reliability constraints that were observed in many application areas. In some applications, many transactions must be not only executed correctly but also completed within their deadlines, and soma data may become invalid after a certain duration of time. For some of these advanced applications, transactions are long and com... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The design and implementation of a real-time machine vision system for medical imaging applications

    Publication Year: 1994, Page(s):81 - 85
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (392 KB)

    This paper focuses on the development of a real-time machine vision system that is used for the application of medical imaging. We consider in detail not only the design and cost of hardware features like the processor and the network, but also the usability of the system: its performance, flexibilities, real-time processing, and the ease of programming applications. We give details of the system ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying software engineering principles in train control systems

    Publication Year: 1994, Page(s):52 - 57
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (400 KB)

    In the development of controllers for complex real-time systems the need for an adequate specification and design methodology arises. The use of a viewpoint-oriented methodology for the design and specification of real-time systems is applied in a case study, the development of a train control system. The method expresses the requirements to be put on the system by taking into account five differe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time middleware based on the rate-monotonic theory

    Publication Year: 1994, Page(s):58 - 62
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (380 KB)

    We have developed real-time middleware which is laid on a POSIX 1003.4,.4a compliant operating system. This real-time middleware supports programming of real-time systems based on rate-monotonic analysis (RMA) and an active object model (real-time object model). RMA is a method to guarantee timing constraints in real-time systems, and an active object model provides us with timing encapsulation fo... View full abstract»

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