Second International Conference on Software Engineering for Real Time Systems, 1989.

18-20 Sep 1989

Filter Results

Displaying Results 1 - 25 of 61
  • A compiler and workbench for precise specification development

    Publication Year: 1989, Page(s):55 - 59
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (436 KB)

    An overview is given of a system for specification development as well as the method and the tools that support it. The objectives of the system are to produce specifications which are: clear, consistent, complete and totally unambiguous; support mathematical reasoning; and lead to the production of relevant documentation and the automatic generation of application code. The system addresses requi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specbox: a toolkit for BSI-VDM

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

    The widespread adoption of mathematically formal methods for software production has been greatly hampered by the lack of tool support. In order to address this deficiency, Adelard has produced a tool to assist with the production of specifications written in VDM (the Vienna development method). Known as SpecBox, the tool provides machine support for the standard BSI-VDM notation. It checks specif... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementation of recursion in CTDNET-an applicative order reduction machine

    Publication Year: 1989, Page(s):224 - 227
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (240 KB)

    CTDNet is a lambda calculus based reduction machine which was designed to support applicative evaluation on a parallel hardware. Its applicativeness provides it the useful feature of the ability to exploit parallelism both at beta-reduction and primitive reduction levels, but the same property also prevented it from handling recursive computations. The authors have suggested two different techniqu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ada-the reasons for change

    Publication Year: 1989, Page(s):70 - 74
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (536 KB)

    Although the Ada programming language was designed to address many real-time issues within a single language framework, it is widely accepted that it has not totally succeeded in achieving its stated design goals. Ada, with an appropriate project support environment, has successfully addressed many of the software engineering issues associated with the production of large soft real-time software. ... View full abstract»

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

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

    The following topics were dealt with: KBS for real time systems; specification of real-time systems; CASE tools; software engineering education; concurrent systems; control simulation; real-time control using DC systems; user environments for real-time systems; software engineering methodologies; transputer systems development; computer networks; computer real-time control; and novel concepts in r... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A metrics based tool for software design

    Publication Year: 1989, Page(s):45 - 49
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (340 KB)

    Decision making is an essential part of the design process. Unfortunately, software engineers are frequently forced to make important, and for safety critical systems, vital decisions in the absence of feedback. A software tool is presented which addresses this need for input at the design stage by building a model of the system architecture over which a number of metrics may be defined. At a syst... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A PC based simulation of real time computer control of power station plant

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

    The low cost simulation of real time computer control of power station plant is intended to be used as a training facility to assist engineers in understanding computer control applications that employ CUTLASS. The features incorporated in the PC based system are: high level engineer orientated language; user friendly man-machine interface; facilities to easily access and modify variables within c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic software verification and synthesis

    Publication Year: 1989, Page(s):219 - 223
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (360 KB)

    Describes developments that Brunel University has made in the area of automatic software verification and synthesis. Their approach is to write specifications in high-order constructive logic map the code into the same logic and use a theorem-prover to prove that the code written in the functional language ML, matches the specification. The paper describes the logic, the theorem-prover and the ML ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Switched memory address decoding in real time control systems

    Publication Year: 1989, Page(s):246 - 248
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (228 KB)

    Hardware that affects the design of software for real time control systems arises from the use of switched memory address decoding., This is a technique by which some of the memory address decoding circuits in a computer system can be switched under the programmed control of the central processor and can be used to alter in a controlled fashion the position of a number of data sets in the memory m... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The specification and fast prototyping of a distributed real-time computer control system for a modular independently driven high-speed machine

    Publication Year: 1989, Page(s):199 - 203
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (396 KB)

    The paper describes research into the design of real-time synchronisation and control software for a high-speed packaging machine utilising independent drives. The machine is of a novel modular design which exploits the flexibility that is introduced by the use of software controlled independent drives. It is intended for use in flexible manufacturing applications. The software is used to coordina... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A real-time project for software engineering course

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

    A software engineering course project in a computer engineering program should reflect the general orientation of the program. It should address the development of software for an embedded computer system operating in real time. The project should also satisfy a number of other requirements arising out of its embedding in the curriculum and the general constraints on laboratory equipment cost and ... View full abstract»

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

    Publication Year: 1989, Page(s):283 - 287
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (396 KB)

    A comparison of state and event observation techniques that lead to a periodic, time driven operating system are given. A brief description of the system and hardware is presented. A description of the objectives and goals of the operating system and its implementations. Some applications are enumerated, and the conclusion contains discussion on the performance and future objectives View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Data dictionary support for integration of systems development methodologies

    Publication Year: 1989, Page(s):40 - 44
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (332 KB)

    Many systems development methodologies have been proposed and used for developing systems and there is a need to integrate these methodologies. The authors identify an approach in which the data dictionary system can form the basis for co-existence of different methodologies. Although this approach is only one of several possible, it is a realistic one and can contribute greatly to methodologies i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A function oriented design for industrial distributed real time control systems

    Publication Year: 1989, Page(s):116 - 120
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (496 KB)

    An architecture is described and a set of eight functional units is defined of which suitable asymmetrical distributed multiprocessor systems may be composed for any kind of application. Proceeding from the possibility of parallel activities, which is given in real time control applications on the task level, various general and specialised processors are introduced. Thus, a special module is prov... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computer control and data processing a four regenerator heat exchanger

    Publication Year: 1989, Page(s):273 - 277
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (284 KB)

    Investigates the transient performance of thermal regenerators using a four bed computer controlled system. The response of the regenerator has been investigated for step changes in various operating parameters, in particular gas flow rates, inlet temperature and period times; these experimental results are compared with the theoretical values View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • G++, a graphical language intended to help the development of industrial process control applications

    Publication Year: 1989, Page(s):85 - 89
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (384 KB)

    Describes expressive graphical languages suitable for requirements capture to system design: GRAFCET, STATECHARTS and G++. G++ has many features of STATECHARTS but has a syntax similar to GRAFCET, which is more usual in the process control field. The semantics of STATECHARTS are much richer than GRAFCET: hierarchy is present and interrupts can be easily represented. G++ has enhanced features to sh... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time operating system kernel technology in the twenty-first century

    Publication Year: 1989, Page(s):214 - 218
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (388 KB)

    In the development of real-time software, there are intimate relationships between the run-time kernel and the real-time application, of which the software designer and developers must be aware. These interrelationships include meeting system deadlines, exhibiting predictable deterministic performance, task scheduling, and minimization of interrupts-off time and interrupt latency. The paper review... View full abstract»

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

    Publication Year: 1989, Page(s):31 - 35
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (340 KB)

    Specification is one of the most important stages in a system's life cycle. The notations in use in industry at present are deficient and imprecise as well as clumsy in various respects. Taking two of the best known of these notations as a starting point, the authors have added to them in various ways to achieve a notation which has a number of advantages over its predecessors, including clarity. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CIRCOR-an efficient circuit correction expert system

    Publication Year: 1989, Page(s):242 - 245
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (184 KB)

    The circuit correction rule-based expert system (CIRCOR) for the repair oriented diagnosis of NMOS and CMOS digital circuits is presented. Its objective is, in spite of testing, to reduce or eliminate the need for human analysis of tester-generated failure messages. The program can handle all types of physical failures that can occur in integrated circuits, that is: shorts, opens, extra transistor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adapting a rule-base for optimising combustion on a double burner boiler

    Publication Year: 1989, Page(s):106 - 110
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (280 KB)

    Rules for adjusting, individually, the air-intake to each of a number of burners, depending the concentration of oxygen and of carbon monoxide monitored in their common flue were elicited from the experts. The rules, along with routines to allow them to interact with a multiple channel analog/digital converter via a personal computer's communications port, were coded into PROLOG and tested on a mu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling and optimal design of large-scale, real-time computer systems

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

    The design of large-scale, distributed computer control system requires thorough analysis of application requirements and a `good choice' for quality measure which can be used in ranking alternatives or as objective in an optimization process. A set of models and algorithms are presented which can solve these problems efficiently. The methods discussed have been implemented on computer code, which... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Time-constrained reasoning and consistency maintenance for real-time knowledge-based systems

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

    Large numbers of knowledge-based systems (KBSs) have been developed that take their input directly from plant sensors rather than via human operators. Although such systems have often been termed real-time KBSs, they have had few architectural features specifically designed for time-critical operation or for dealing with dynamic environments. These issues have been side-stepped by selecting plants... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Shortcomings of Mini-MAP in high speed real time local area networks

    Publication Year: 1989, Page(s):194 - 198
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (328 KB)

    One of the early computer integrated manufacturing (CIM) standards is the manufacturing automation protocol (MAP), developed by General Motors. It has been used satisfactorily at the plant level of the hierarchy, yet its performance does not always satisfy the requirements at other levels of the communication hierarchy. Basically this is due to the complex structure of the protocol. Consequently, ... View full abstract»

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

    Publication Year: 1989, Page(s):175 - 179
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (328 KB)

    A comparison of the formal description technique LOTOS and the programming language Occam 2 is given in the paper. It is shown that under certain restrictions there exists a natural and straightforward possibility of implementing LOTOS specifications into Occam programs. Special emphasis is given to modelling and implementation of communications software, especially protocols and services View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MOD-EDIT-a system for developing real-time process modelling and optimisation

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

    Computer models have been used for many years in the manufacturing industry for plant design, process improvement, de-bottlenecking, etc. This has inevitably led to the development of computer packages so that the process or production engineer can develop the appropriate models without having to write codes. There are many packages available that tend to be either functionally based or industry b... View full abstract»

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