By Topic

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

18-20 Sep 1989

Filter Results

Displaying Results 1 - 25 of 61
  • A graphic explanation environment for expert systems

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

    The explanation facility is an essential part of an expert system. In general, there are three kinds of explanations: explanations during user input, explanations of knowledge base contents (static explanations). The last two types of explanation are considered. The authors show how to generate graphic explanations based on bipartite graphs. This explanation environment is able to answer both ques... 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.
  • Multi-Prolog: a process-oriented Prolog

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

    Some ways in which the sequential execution of Prolog can be parallelized are reviewed. Most existing methods cause microscopic forms of parallelism and thereby cause a strong deviation from the Prolog language semantics. The author presents Multi-Prolog, an alternative way to introduce parallelism into logic programming, in an attempt to design a process-oriented parallel Prolog. It is based on m... 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.
  • 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 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.
  • 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.
  • 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.
  • Embedded systems software specification and design methods

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

    The method presented follows the transformational approach to software development. It enables automatic transformation and simulation of a software structure. The method has been applied manually in small scale examples 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.
  • A design environment for transputer systems development

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

    The Auto-G toolset and associated graphical language G is marketed as a general-purpose environment which can be used during the development of high-integrity real-time systems. Transputers are a family of high performance microprocessors with a RISC-like instruction set, whose architecture readily supports the construction of large parallel processing networks of varied topology. Although suitabl... 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.
  • 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.
  • 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.
  • 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.
  • Evaluating the virtual node approach to implementing distributed applications in Ada

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

    The Ada programming language was designed for use in the implementation of embedded real-time computer systems. Although many of these systems are of a distributed nature, Ada does not explicitly support distributed execution and consequently many different models have been suggested. One such approach is based on the idea of a virtual node, which is both a design approach and an implementation mo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An example of concurrent program design

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

    A PC-AT with a MS-DOS operating system was used for real-time process automation. A sequential switching among processes was selected, because the operating system is not re-entrant. The language Modula-2 was chosen because it is possible to implement well known coroutines. Finally, the software module Monitor was introduced, which controls the cooperation of quasi-concurrent executable processes.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ADDS-a user interface management scheme for real-time systems

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

    ADDS (Ada Dialogue Development System) incorporates a design method, software tools and a library of user interface components, to facilitate the development of interactive Ada systems. Although the ADDS method is potentially applicable to a wide range of projects, it has been designed particularly for use in developing interactive real-time embedded systems. This has meant addressing the followin... 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.
  • Modelling of signalling for an interactive on-line rapid transit railway simulator

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

    The multi-train simulator package for rapid transit (metro) railways has been developed since 1973 in the University of Birmingham. The simulator consists of two sections-the movement simulator and power network solution. The movement simulator has been tailor-made to suit particular signalling systems. Therefore, significant changes in program code have been required to incorporate any new signal... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The application of software reuse in developing safety-critical systems

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

    Software quality can be ensured by making use of reusable, predefined software components when building systems. Four main advantages result from such an approach: increases in productivity; greater control over subsystem component quality; subsystem uniformity and standardisation eases maintenance; and making use of previously proven routines instead of new unproven software. The authors discuss ... 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.
  • The emergence of rapid prototyping as a real-time software development tool

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

    It is demonstrated that there is both the need and the means for rapid prototyping to establish itself as a software development tool for real-time embedded systems. The authors describe the problems that software developers face and in particular the nature of embedded real-time systems. The aims of rapid prototyping stand out quite clearly against this background. With the emergence of new conce... 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.
  • 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.