[1993] Proceedings of the IEEE Workshop on Real-Time Applications

13-14 May 1993

Filter Results

Displaying Results 1 - 25 of 44
  • Proceedings of the IEEE Workshop on Real-Time Applications (Cat.No.93TH0559-5)

    Publication Year: 1993
    Request permission for commercial reuse | PDF file iconPDF (39 KB)
    Freely Available from IEEE
  • Applying formal methods to an embedded real-time avionics system

    Publication Year: 1993, Page(s):46 - 49
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (332 KB)

    The authors present an application of formal development methodology to an actual real-time embedded system. The formal methods used are based on Modechart a graphical state specification language for real-time systems, whose formal semantic definition provides the basis for analysis. The specifications may be automatically simulated, or verified with respect to user-provided safety, liveness, and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time computer systems: current and future trends

    Publication Year: 1993, Page(s):2 - 6
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (340 KB)

    The author presents the state-of-the-art of real-time computing systems by emphasizing those developments likely to have impact on future real-time systems. The real-time systems based on industry standards are introduced, and the future trends in operating systems development are discussed View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A real-time software controller for a digital model railroad system

    Publication Year: 1993, Page(s):126 - 130
    Cited by:  Patents (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (472 KB)

    The paper describes a real-time software controller for a digital model railroad. The Unix real-time primitives of fork, pipe, and signal are used to perform interprocess communication among three concurrently executing tasks, (1) a scanning task, (2) a scheduler and collision avoidance task, and (3) a graphical user interface (GUI) task. The software engineering objective of this real-time system... View full abstract»

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

    Publication Year: 1993, Page(s):29 - 33
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (388 KB)

    Multimedia applications are becoming pervasive and are expected to be used in advanced process control systems where image data is related to higher order material qualities. The authors have analyzed real-time control applications and their needs. A necessary component to support such a distributed multimedia integrated control system is the need for network services that support both the real-ti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MX: a real-time fault and change-tolerant distributed system

    Publication Year: 1993, Page(s):188 - 192
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (408 KB)

    The paper describes the Media Exchange (MX) system, a generic distributed platform that supports specialized mission-critical applications for multi-media communications (voice, data, video, and telemetry). It describes the goals and strategies used to implement the platform and initial application set in the financial market domain, and discusses several areas for improvement. It concludes that t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time issues in the design of the Data Management System for the Space Station Freedom

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

    Space Station Freedom (SSF) faces several challenges which are unique in the NASA history of manned and unmanned spacecraft systems. The challenges include a 30 year life, and evolution in capability of the station as a science platform and potentially a transportation node for manned missions to the solar system. The Data Management System (DMS) is a key element of SSF. DMS is the computational i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TRACS: a flexible real-time environment for traffic control systems

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

    The authors present a general architecture for a real-time system dedicated to traffic control applications. The proposed system is being developed within the TRACS Esprit III project, and applied to a vessel traffic control application. They focus on the hard real-time aspects of the system, by addressing the design issues of the operating system kernel for achieving predictable and reliable beha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real time multitasking design with a graphical tool

    Publication Year: 1993, Page(s):8 - 11
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (312 KB)

    LACATRE is a graphical language intended to help in design for applications requiring multitasking real time executives. Within the software life cycle, it is used for both preliminary and detailed design. The paper presents new high level objects destined to facilitate the link between commonly used methods for specification and design and the detailed design using multitasking executives. The pa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a multilevel secure database management system for real-time applications

    Publication Year: 1993, Page(s):131 - 135
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (356 KB)

    Database systems for real-time applications must satisfy timing constraints associated with transactions, in addition to maintaining data consistency. In addition to real-time requirements, security is usually required in many applications, because sensitive information must be safeguarded. Multilevel security requirements introduce a new dimension to transaction processing in real-time database s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Research issues for executing real-time C3 applications on parallel processing systems

    Publication Year: 1993, Page(s):81 - 86
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (504 KB)

    Current trends indicate that future C3 (command, control, and communications) systems will likely contain suites of heterogeneous computing facilities composed of both parallel and sequential computing components. Also, `commercial-off-the-shelf' components are being heavily considered for use in these future systems. In the context of these trends, brief overviews of related work within the areas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Embedded real-time intelligence in the physical layer of telecommunication networks

    Publication Year: 1993, Page(s):34 - 38
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (448 KB)

    The paper presents a development environment for the implementation of distributed real-time intelligence in the physical layer of optical telecommunication networks. An investigation is made into the meaning of the term intelligence in present-day telecommunication context. It is shown that the availability of local real-time intelligence on the physical network layer is becoming essential for th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reusable component retrieval for real-time applications

    Publication Year: 1993, Page(s):116 - 120
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (404 KB)

    The growth of reuse and the advent of software repositories has led to the design of mechanisms to retrieve reusable assets. The most popular retrieval mechanisms, namely browsers, keyword searches, and multi-attribute searches offer limited precision in large domains or across domains. The use of formal algebraic specifications as search keys for reusable components leads to increased precision a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A real-time image filtration system

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

    A system for performing highly parallel, predictable real-time image filtration is described. The application software was developed using a special class of abstract data types (ADT) constructed in the RT-X language which has predictable execution times. The filtration algorithm is based on a Universal Image Algebra. Additional image processing applications such as feature extraction via edge det... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design of embedded hard real-time applications with predictable behaviour

    Publication Year: 1993, Page(s):193 - 197
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (344 KB)

    In contrast to most of the other studies which only consider selected topic(s) and typically deal with issues of higher levels of design, the research project outlined uses a holistic approach to real-time application design issues. It is set up in layers starting with a predictably behaving computer hardware architecture, followed by an appropriate programming language and, finally, a tool for au... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Putting OO to work: results from applying the object-oriented paradigm during the development of real-time applications

    Publication Year: 1993, Page(s):166 - 170
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (392 KB)

    The paper gives an overview of some results and lessons learned from the application of object-oriented (OO) techniques to real-time systems development. These results have been obtained within the scope of a research project which investigates what advantages can be achieved applying OO issues to real-time systems development, and what improvements in the existing OO methods are needed in order t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bounds of start and completion times of application tasks on the RTEM system

    Publication Year: 1993, Page(s):54 - 58
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (328 KB)

    The author studies the start and completion times of application tasks on RTEM system, a descendant of MAFT developed at AlliedSignal. The RTEM workload consists of a set of periodic tasks, each of which is executed redundantly on the system for fault-tolerance. A priority based nonpreemptive list scheduling algorithm is used for task scheduling. The distributed agreement mechanism used to ensure ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A look at the current automated capabilities of traceability

    Publication Year: 1993, Page(s):204 - 206
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (224 KB)

    The development of large scale, real-time military systems requires the tracing of requirements as mandated by DOD-STD-2167A. In order to comply with this requirement it is necessary to use an automated traceability tool. The paper examines the process and criteria for evaluating traceability tools for use with real-time system developments View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On real time network integration in a manufacturing application

    Publication Year: 1993, Page(s):12 - 15
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (284 KB)

    The authors have been involved in the study and design of alternative architectures for computer numerical controller, CNC, machines. The CNC machines are intended to be finally integrated into a school project which aims at developing a complete flexible manufacturing system. They present the overall architecture of the machine. This is necessary to understand the distinction between the real tim... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time software product development

    Publication Year: 1993, Page(s):176 - 177
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (100 KB)

    The requirements on real-time software development engender a need for modular, reusable components, including, software specifications, designs, and implementations. The author tries to decouple timing constraints for specification and design, and to take special care of timing throughout design View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Temporal analysis of extended marked graphs for real-time applications

    Publication Year: 1993, Page(s):66 - 70
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (320 KB)

    Many of the formalisms available for describing real-time systems and assessing their performance are based on some flavor of Petri nets. Most of these formalisms are expressive but not analyzable, or vice-versa. To overcome these limitations, the authors increase the expressiveness of a current formal method, by extending it with controlled forms of transition expansions. An example is discussed View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Temporal properties of the timed d-graphs of distributed processes

    Publication Year: 1993, Page(s):136 - 141
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (436 KB)

    Some concepts and tools used to verify the time boundaries of sequential software for hard-real-time applications are based on program control flow and the execution time of instructions or blocks. The paper extends a structural approach from sequential to distributed software. It is conceptually and practically based on timed Concurrent Graphs, TCGs, which extend the concept of sequential program... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An adaptive noise cancelling system used for beam control at the Stanford Linear Accelerator Center

    Publication Year: 1993, Page(s):212 - 215
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (296 KB)

    The SLAC Linear Collider now has a total of twenty-four beam-steering feedback loops used to keep the electron and positron beams on their desired trajectories. Seven of these loops measure and control the same beam as it proceeds down the linac through the arcs to the final focus. Ideally each loop should correct only for disturbances that occur between it and the immediate upstream loop. In fact... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Resource sharing of real-time applications with other applications

    Publication Year: 1993, Page(s):87 - 91
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (320 KB)

    Most real-time applications run on dedicated system, to eliminate the uncertainty that may arise if other applications are running on the system. The resource requirement for the real-time application is determined on the basis of the system's ability to provide fault tolerance under the worst case execution time assumption. Costs of such systems will be better justified, if the real-time applicat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implications of fault management and replica determinism on the real-time execution scheme of VOTRICS

    Publication Year: 1993, Page(s):39 - 43
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (300 KB)

    The fault tolerant architecture VOTRICS focuses on the use of n-modular active replication of hardware. Hardware and link failures are detected by voting mechanisms realized in software. The use of active replication and the mechanisms for activities such as fault management, recovery, or keeping correct replicas synchronized (even in the presence of faults) have influences on the chosen system mo... View full abstract»

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