By Topic

Software Engineering for Real Time Systems, 1991., Third International Conference on

Date 16-18 Sep 1991

Filter Results

Displaying Results 1 - 25 of 49
  • The `PC' as a development environment for real time embedded systems

    Publication Year: 1991, Page(s):135 - 138
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (196 KB)

    Microprocessor applications consultants can be faced with the design and development of embedded systems for a diverse range of applications and client requirements. Embedded systems by their nature are hardware specific and indicate a need for dedicated development tools; however a more generalised approach often leads to an overall technically superior and more cost effective solution. The autho... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A rendezvous with multitasking multiprocessors

    Publication Year: 1991, Page(s):129 - 134
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (304 KB)

    Controlling process plants using computers has always had spectacular failures as well as successes. A modern distributed control system (DCS) is very powerful, incorporating multitasking multiprocessors. However, unless this power is controlled, severe technical difficulties frequently arise, causing over spending and lateness. Multitasking and multiprocessing environments allow a number of appli... View full abstract»

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

    Publication Year: 1991, Page(s):260 - 265
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (344 KB)

    Multiple processor systems with shared memory are used in embedded real-time systems for various applications. The authors present an approach to the development of operating systems for multiple processor systems with shared memory, assuming that memory is used for data exchange only, not for code storing. Compared to alternative approaches, this one enables faster and cheaper development of reli... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Determining the location and identity of components in an AMP environment

    Publication Year: 1991, Page(s):109 - 114
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (360 KB)

    A description is given of a transputer based system that facilitates the identification and manipulation of components in an automatic manufacturing process (AMP). As a prerequisite to component identification and manipulation their location within the robot's workspace must be determined. In the system described, the location of objects is achieved by building a model of the workspace using infor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Advanced configuration utilities for a real time distributed process control and manufacturing automation platform

    Publication Year: 1991, Page(s):194 - 198
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (312 KB)

    A large scale collaborative project is underway to implement a distributed platform to support the development of real time applications. Taking advantage of hardware developments such as improved graphics displays, current trends towards distributed processing and the emergence of standards such as OSF/Motif, the platform allows the development and simple integration of sophisticated standards ba... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adaptive control strategy for a water supply system

    Publication Year: 1991, Page(s):125 - 128
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (180 KB)

    A description is given of the performance evaluation of an adaptive water supply control system using a personal computer PC. In order to have the plant dynamics identified in the shortest possible time, the adaptive infinite impulse response filter is formulated to represent the system dynamics. A real time recursive least squares algorithm incorporated with U-D factorization is adopted for the p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computers operating systems: V-SSTF dynamic disk scheduling technique

    Publication Year: 1991, Page(s):254 - 259
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (308 KB)

    V-SSTF is a new algorithm which may be turned to FCFS or SSTF by an adjustable parameter that permits the algorithm to be dynamically adapted to changing system conditions. V-SSTF and common strategies including FCFS, SSTF, SCAN, and N-step SCAN are simulated for evaluation purposes. This simulation is programmed using C language and has been implemented on NCR tower machine under Unix. It is used... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Transputer implementation of fault tolerant distributed architecture for critical real-time application

    Publication Year: 1991, Page(s):239 - 243
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (260 KB)

    The systems which perform mission-critical functions, as used in close-loop guidance and event sequencing for various real-time applications consider fault-tolerance as one of their desirable architectural attributes. Such systems are required to be extremely reliable and the work described is an optimistic approach to meet this reliability requirement through a communication architecture of distr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The application of parallel computing to the design of advanced helicopter flight control systems via real-time simulation

    Publication Year: 1991, Page(s):104 - 108
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (328 KB)

    Real-time, non-linear simulations of the dynamics of helicopter flight play a key role in the generation validation and testing of the flight control laws used in automatic flight control systems (AFCS). The purpose of the AFCS is to provide, through feedback, qualities of stability, disturbance rejection, decoupling of lateral and longitudinal motions, good pilot command tracking performance, but... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A job shop scheduler combining knowledge based system with database

    Publication Year: 1991, Page(s):182 - 187
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (272 KB)

    The objective of the authors is to investigate the combination of a knowledge based system (KBS) with a database management system (DBMS) for a job shop scheduling problem. This work is based on an existing DBMS established by a company for the purpose of information management only. The central idea is to realize a knowledge based scheduler by using the DataFlex program language for a job shop sc... View full abstract»

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

    Publication Year: 1991, Page(s):1 - 6
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (252 KB)

    This paper explains how the security assurance of an Ada real time embedded software system may be improved, and shows how this may have benefits for safety critical systems. The paper shows how Ada itself provides many of the features required for secure and safety critical systems. It describes a potential flaw in the architecture of an Ada system, which renders it insecure. The paper proposes a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Neural networks for robot control

    Publication Year: 1991, Page(s):119 - 124
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (460 KB)

    Robot manipulators are very difficult systems to control, due to their large number of degrees-of-freedom and to the variety of applications (some of them very complex) for which they are used. Programming most `intelligent' robot control tasks thus requires a profound domain knowledge and a considerable software engineering effort; furthermore, solutions cannot easily be reused. The author explor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On or near the ground flight simulation

    Publication Year: 1991, Page(s):205 - 211
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (336 KB)

    A comprehensive non-real time aircraft ground handling model is being investigated at Brighton Polytechnic; the model simulates the response of the aircraft to steering, control surface deflections, braking and gust inputs. Tyre deformities, shock strut non-linearities and the axis transformation between the ground and the aircraft axis sets are also included. The objective of the work is to deter... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance evaluation of movable head disk schedules

    Publication Year: 1991, Page(s):250 - 253
    Cited by:  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (272 KB)

    Several disk scheduling techniques have been suggested. It seems clear that the choice of an algorithm can make a significant difference in computer system performance, but which is best is still an open question. Therefore, the main contribution of the article is the detailed computational experience of three well-known schedulers, to evaluate their performances. The aim of the evaluation is to h... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Choice of design methodologies for demanding high intensity industrial control systems

    Publication Year: 1991, Page(s):16 - 21
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (468 KB)

    There is now a marked increase in the use of computers and programmable electronic systems (PES) for industrial control systems. The principal reason for this is the increased functionality possible that enables systems to either do something that would otherwise be impractical with traditional techniques, or to increase efficiency. In such situations the overall safety of the operator, or the fin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented approach to the modelling of real-time software

    Publication Year: 1991, Page(s):69 - 72
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (288 KB)

    Designing temporally predictable software has become a vital issue, especially in real-time industrial applications. This paper focuses on the temporal modelling problem, and discusses a method which can form the foundation of a tool which gives true temporal representation of systems. The proposed method utilizes the power of a concurrent object-oriented programming language-STRAND-using a modell... View full abstract»

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

    Publication Year: 1991, Page(s):233 - 238
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (424 KB)

    A description is given of some research into well specified real-time database systems which permit analysis of the data access requirements of transactions before run-time. This enables one to do all concurrency control at system build time. Moving the concurrency control away from the run-time environment allows deterministic hard real-time scheduling of database transactions in the real-time sy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parameter estimation for a non-direct drive robot arm

    Publication Year: 1991, Page(s):98 - 103
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (232 KB)

    One of the ways of achieving precision control at high speeds for mechanical manipulators is the identification of the parameters of the system and the use of these parameters in a controller such as model based. Viscous friction is one of the parameters whose relatively accurate estimation will lead to significant improvements in a control system. Many authors are currently researching control sy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification of real time control systems by means of sequential function charts

    Publication Year: 1991, Page(s):57 - 62
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (384 KB)

    Very many specification techniques have been proposed for real time control systems, each with its own advantages and disadvantages. This paper considers the use of one of these techniques-sequential function charts (SFCs). SFCs are not new-GRAFCET, a standard for such charts, was presented in 1982-but until recently they were not widely known. This has now changed and the technique has received c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Controlling cooperative experts in a real time system

    Publication Year: 1991, Page(s):176 - 181
    Cited by:  Patents (8)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (452 KB)

    Distributed problem solving nodes (so-called experts) may face severe time constraints in some real applications. In such circumstances, experts should not only cooperate with each other to solve large and complicated problems but also meet real-time constraints in order to make the solutions effective. The authors present a blackboard-based monitor which takes full responsibility to control exper... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multiprogramming with ER nets

    Publication Year: 1991, Page(s):221 - 226
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (480 KB)

    ER nets are an extension of Petri nets and suitable for finding solutions to a wide spectrum of problems. The author's idea is to use ER nets not only in the early stages of software development (e.g. specification and simulation), but also for real application-execution. The author suggests the use of a virtual computer, based upon ER formalism, ensuring an adequate environment for the entire app... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The DART real time control system

    Publication Year: 1991, Page(s):86 - 92
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (404 KB)

    This paper describes the radar management and real time control systems designed and developed for the demonstration of advanced radar techniques (DART) radar. The radar management computer controls the distributed radar sub-systems by a sophisticated Ethernet control network aided by real time control signals. This paper outlines the radar management, Ethernet and control hardware and describes t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Methodology and tools for requirements capture, traceability, and verification

    Publication Year: 1991, Page(s):46 - 50
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (244 KB)

    This paper describes a methodology for establishing a clear requirements baseline at the outset of the development lifecycle using the general approach of procedure SQA01. It was originally applied to software development for a military HF communication system, and has since been applied to two further projects in the civil sector concerning private mobile radio and message switching. The methodol... View full abstract»

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

    Publication Year: 1991, Page(s):164 - 169
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (492 KB)

    The objective of the work described is to provide a software tool to assist real-time system specifiers and designers to predict, at an early stage of the development process, the timing behaviour of the system developed. The tool (simulation of real-time systems (SRT)) is used to model the timing aspects of a real-time system and then simulate the system to predict its behaviour View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Third International Conference on Software Engineering for Real Time Systems (Conf. Publ. No.344)

    Publication Year: 1991
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (48 KB)

    The following topics were dealt with: formal methods and safety critical software; specification for real-time systems; networks; user environments; real time control systems; automatic manufacture and robotics; real time plant control; concurrent systems; and knowledge based systems for real time systems View full abstract»

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