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

18-20 Sep 1989

Filter Results

Displaying Results 1 - 25 of 61
  • A layered architecture for simulating distributed operating systems

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

    One of the main problems to be solved by the designers of policies and algorithms for distributed systems or multiprocessors is their test and evaluation. The solution adopted in the paper is based on the design and construction of a software test bed. DASS, a simulation system to test and design distributed algorithms, is presented. With it, the designer can work in an environment similar to a re... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software engineering in the design of a weather-nowcast system

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

    National Meteorological Offices are largely concerned with synoptic forecasting where weather predictions are produced for a whole country for 24 hours ahead. In practice, many local organisations (such as emergency services, sports, farming, forestry, and construction industries) require only local, short-term, bespoke, weather predictions and warnings. The paper presents original research which ... 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.
  • Synthesis of a man machine interface environment for object recognition using tactile data

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

    Presents a Man Machine Interface Environment based on a blackboard structure that has been developed to perform object recognition using tactile data. The structure of the system is divided into several parts, each one performs a task and allows the whole system to cope with: the robot control and the data acquisition, the reference library builder, the rules producer for recognition algorithm, an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An array processing language for real time programming of hypercube concurrent computers

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

    Proposes a new parallel language, ACLAN (Array C LANguage), that allows the programming of any array processor. In particular, ACLAN allows the programming of a hypercube computer as a synchronous system. This language is specially designed for numeric applications where the processing time and/or the occupied memory are critical factors to optimize, because it allows the direct manipulation of th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parallel processor simulation of real time control systems

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

    The paper describes the application of Occam and the transputer, in the simulation of real time control systems, replacing the established analogue computation techniques. Analogue simulators are expensive, slow to develop and require temperature stabilisation and complex compensation circuitry. The transputer and Occam may offer an alternative to the mainframe computer for this task since for cer... 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.
  • A knowledge base approach to the specification of real time system requirements

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

    The use of pattern recognition based on a Holland classifier produced a fast, efficient expert system with a malleable rule base. By decoupling the inference mechanism from the knowledge base it is a simple process to add new rules or extended the scope of the rules within the rule base. In addition, Smalltalk-80 provided a highly interactive rapid prototyping environment which, with its resident ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On_Time: a high level real time language environment based on a portable operating system featuring feasible and fault tolerant scheduling

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

    Aimed towards dedicated and embedded real time applications, the On_Time environment consists of the high level real time language Pearl, a source code oriented test system, and the portable real time operating system Portos. Some enhancements of Pearl with regard to process control applications introduced, making it possible to express all process control programs fully in terms of this la... 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 protocol for parallel-structured distributed process-control

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

    A model describing the exchange of data in a system consisting of several local process-controllers working in parallel is developed. Using this model, a formalized description of the errors in consistency is presented. This description leads to a protocol for implementation of such systems View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 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.
  • COGSYS-a real-time KBS builder

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

    COGSYS is unusual in several respects. Firstly, it is an almost unique example of collaboration between UK companies to exploit home-grown research. Secondly, the target of the cooperation is an AI product designed for real-time reasoning in the world of industry. Finally the technical specification is being driven by the industrial users themselves. COGSYS is being developed by a collaborative cl... 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.
  • CADEL: CAD for real time control system software

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

    The Institute for Power System Automation decided to develop CADEL-a computer aided design system for real-time software. In addition to catalogue editors and CRI display generators, CADEL covers the Functional Data Processing (FDP) subsystem consisting of the FDP function library, interrogating mode editor and the FDP driver. The latter is implemented in on-line computers while the first two-on t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real time software implementation of a multipack digital tape recorder data channel

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

    The bandwidth of a stationary-head digital tape recorder may be increased by adopting a multitrack format. A number of problems exist, however, which are associated with the effective tape/tape-head transport. These include, tape velocity and azimuth variation, tape deformation and dropouts. These problems can be compensated for by employing intelligent software techniques. The inherent parallelis... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A transputer based real-time kernel and its verification

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

    Based upon a nine-node transputer network consisting of T414-15 modules interconnected in a pipeline, the authors have developed real-time software in Occam which can be configured to a number of topologies like ring, mesh etc. with the help of a static switch. The authors describe a verification methodology of an embedded message based distributed real-time software that has some unique character... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance analysis and real time assessment of the prioritized tokenbus access method according to the manufacturing automation protocol (MAP)

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

    The paper studies the performance of the prioritized tokenbus access mechanism and assesses its real time capability. It provides an in depth analysis of the access scheme and validates the obtained results by means of measurements. Only the first two layers (Phy and MAC) are considered in the authors' performance investigation. It provides some rules on how the MAC-timers have to be set, in order... 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.