Real Time, 1990. Proceedings., Euromicro '90 Workshop on

6-8 June 1990

Filter Results

Displaying Results 1 - 25 of 30
  • Proceedings. EUROMICRO '90 Workshop on Real Time

    Publication Year: 1990
    Request permission for commercial reuse | PDF file iconPDF (33 KB)
    Freely Available from IEEE
  • Real-time performance improvements for distributed databases on a wide area network

    Publication Year: 1990, Page(s):216 - 223
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (516 KB)

    An effort to improve the performance of distributed processing applications on very-high-speed wide area networks is described. The primary limiting factor in this case appears to be latency, the innate propagation delay connected with sending signals over a long distance. A method to mask the effects of latency by continuously sending large amounts of status information over an endless loop conne... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dependability in distributed applications-approaches and issues

    Publication Year: 1990, Page(s):170 - 177
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (768 KB)

    An overview and classification of existing mechanisms supporting dependability and fault tolerance in distributed environments are presented. Important application-related mechanisms are described, including atomic actions and transactions, replicated remote procedure call, exception handling, data replication facilities, distributed recovery blocks, and distributed configuration management suppor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Realtime system control by means of path expressions

    Publication Year: 1990, Page(s):79 - 86
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (596 KB)

    A high-level, algebraic programming method for the online control of actions in a real-time, parallel processing environment is described. The method is based on the interaction of path expressions. On the basis of a set of path expressions, evocation of actions can be controlled in real-time in a fully automated way. It is shown how intelligent system behavior can be obtained by a combination of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A complete and efficient real time system for line segment detection based on the binary Hough transform

    Publication Year: 1990, Page(s):205 - 213
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (472 KB)

    A complete and efficient system for detection of line segments in real-time (video rate) based on the binary Hough transform is described. This system is able to operate in video rate for images with dimensions up to 1024×1024 for a clock of 32 ns. Special attention is paid to the descriptions of the main processes (image acquisition, edge detection. Hough transform, peak detection, and conn... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic grain size determination for a macro dataflow real-time system

    Publication Year: 1990, Page(s):122 - 128
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (476 KB)

    A compile time method for partitioning a periodic task into concurrent modules, called grains, and scheduling those modules for the shortest execution time possible is described. A suitable macro-dataflow real-time computer model with an improved instruction set (additional instructions for low-level synchronization have been introduced) executes a periodic task. This task must be first transforme... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Control flow checking in pipelined RISC microprocessors: the Motorola MC88100 case study

    Publication Year: 1990, Page(s):162 - 169
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (592 KB)

    The implementation of control flow checking for RISC (reduced-instruction-set computer) machines is considered. An effort is made to show and solve the problems due to the RISC features of the MC88100. Most of these features, such as pipelined execution and the delayed branching technique, make the signature consistency difficult to ensure. The desirable signal analyzer operations are formalized a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A methodology and environment for the object oriented analysis and design of real time systems

    Publication Year: 1990, Page(s):72 - 78
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (600 KB)

    PROTOB, a methodology based on an object-oriented formalism for the executable specification of event-driven systems is presented. The PROTOB formalism integrates and extends SA/RT dataflows and Petri nets. PROTOB applies the operational paradigm to the software life cycle: its software models are executable and directly translatable into C or Ada code. It is supported by a fully tested CASE (comp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The design of a real-time communication network for parallel processing

    Publication Year: 1990, Page(s):229 - 237
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (656 KB)

    A novel dynamic interconnection network for parallel processing systems is presented. During task execution, process-to-process communications are measured. On the basis of these measurements an optimal network topology is derived. By introducing a network priority, real-time applications can be supported. The total communication time is minimized. The network structure is hidden to the user. A co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A pipelined architecture for on-line low-level vision

    Publication Year: 1990, Page(s):198 - 204
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (484 KB)

    The concept of online processing is presented as an effective approach to overcome the data distribution overhead in parallel real-time implementation of low-level vision. Online processing refers to pipelining each input item with the pipeline rate equal to the input arrival rate. Online algorithms are presented for four benchmark low level tasks, namely two-dimensional convolution, two-dimension... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed processing in real time systems using message-passing on PCs

    Publication Year: 1990, Page(s):114 - 121
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (552 KB)

    The possibilities and realities of real-time distributed processing in today's PC LAN (local area network) world are examined. A useful real-world distributed application implemented on a QNX-based PC network is given. It is concluded that with the concepts presented many other distributed applications for real-time process control can be implemented on a PC network of low- or high-power PCs, taki... View full abstract»

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

    Publication Year: 1990, Page(s):152 - 161
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (764 KB)

    Methods for identifying bus-type faults, instruction faults, switching system faults, and certain architectural faults are described. These methods are particularly applicable in very-large-scale computational assemblies. The approach used for diagnosis is probabilistic, in the sense that the data sets used contain a partial indication of the fault location and are in some sense random. Use of a s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The OSCA architecture: enabling independent product software maintenance

    Publication Year: 1990, Page(s):64 - 70
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (564 KB)

    The Bellcore OSCA architecture consists of three logical layers: a corporate data layer, a processing layer, and a user layer. Each layer is made up of one or more well-defined deliverable, functional units called building blocks, which communicate through specified interface mechanisms called contracts. A communications software fabric knits these building blocks together. The OSCA architecture w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Robust representation and execution of robot plans

    Publication Year: 1990, Page(s):34 - 41
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (644 KB)

    The construction of real-time software for autonomous robot systems that can operate in an uncertain and dynamic environment is considered. Techniques for representing robust robot plans using the RS (robot schema) model are developed which make it possible to separate planned decision-making from error monitoring; they give a modular way to embed error detection, diagnosis, and recovery into plan... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A three-layer communication architecture for real time applications

    Publication Year: 1990, Page(s):224 - 228
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (224 KB)

    The benefits and applicability of a three-layer communication architecture where the application layer is hooked on top of the logical link control (LLC) layer are discussed. It is explained that the use of the manufacturing message standard (MMS) requires a acknowledged LLC services. For implementing these services on a token bus (like MAP) one can use the immediate response option instead of req... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software environment for real-time expert systems including crisis state prediction

    Publication Year: 1990, Page(s):180 - 188
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (476 KB)

    A comprehensive environment for real-time expert system development and implementation is described. The software is installed on a relatively simple distributed computer architecture, consisting of a workstation running UNIX operating system as a host computer, and a PC MS-DOS machine as a process computer. This architecture was chosen for an experimental prototype of the system, since addition o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A methodology for an incremental, logical specification of real-time systems

    Publication Year: 1990, Page(s):87 - 94
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (652 KB)

    A methodology for an incremental, logical specification of real-time systems which is based on an object-oriented extension of a logical specification formalism is presented. Such an object-oriented framework makes available primitives for identifying, partitioning, and structuring the elements of a specification. In such a way it supports a twofold modality of dealing with abstraction, i.e. speci... View full abstract»

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

    Publication Year: 1990, Page(s):129 - 134
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (400 KB)

    A protocol based on an extension of the CSMA/CD (carrier sense multiple access with collision detection) access control technique, which provides guaranteed message transport time, is presented. Measured performance data and analytical studies based on a maximum traffic load model of the network were used to demonstrate the bounded message transport time features of the protocol. An analytical mod... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mobile robot control with concurrent logic languages

    Publication Year: 1990, Page(s):42 - 46
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (312 KB)

    Experiences from a project in which a small mobile robot is controlled by a concurrent logic language are described. The purpose of the project is to study what is required from the logic language, and to see what are the advantages of using such a language instead of more classical programming languages. It is found that real-time concepts like timers, sensors, actuators, feedback, exception hand... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Structuring the application software for real-time process control

    Publication Year: 1990, Page(s):189 - 196
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (564 KB)

    An approach for structuring the application software for real-time process control is described. The approach is based on abstract data types and object-oriented design methodology. The data and software structures are considered in detail. The approach is illustrated by the design of a complex real-time system for controlling the sterilization process in the foodstuff industry. This approach allo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CEDER-a software development method for the construction of embedded dedicated real-time systems

    Publication Year: 1990, Page(s):95 - 102
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (608 KB)

    CEDER, a development method for the construction of embedded systems where special attention has been given to the timing constraints often imposed on such systems, is described. The method, unlike other software development methods, gives the designer concise advice on the structuring of the system. In the CEDER project the methodology has been refined for industrial use, and tool support is bein... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed operating systems support for scheduling atomic real-time transactions

    Publication Year: 1990, Page(s):136 - 142
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (668 KB)

    The authors define and discuss novel distributed resource-scheduling algorithms which provide the support for efficient real-time operations on replicated distributed files, realizing them in the manner of distributed atomic real-time transactions. They first define a base algorithm version, called simultaneous enqueuing, and give its relevant properties: starvation-freeness and a minimal message ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software maintenance in the telecommunication area-status and perspectives

    Publication Year: 1990, Page(s):47 - 58
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1036 KB)

    The standard classification of software maintenance into the corrective, adaptive, and perfective categories is reviewed and extended for telecommunications applications. General issues that confront telecommunication software maintenance are explored, and implications for the basic functions of the operating systems, the support tools, and the operating companies' needs are considered. Considerat... View full abstract»

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

    Publication Year: 1990, Page(s):104 - 113
    Cited by:  Papers (4)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (892 KB)

    A research approach which challenges several basic assumptions on which most current real-time systems are built is presented. A novel paradigm based on the notion of predictability and on a method for online dynamic guarantee of certain types of deadlines is proposed. The Spring paradigm requires an integrated set of solutions, ranging from design and specification methods and tools, to real-time... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal event structuring approach to real-time design

    Publication Year: 1990, Page(s):143 - 150
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB)

    The use of formal notations in the development of real-time systems is discussed. The basic idea is to have a number of formal notations in which the designer stepwise can refine the given specification. For each of the formal notations more and more design decisions are made and noted for a limited aspect of the problem. The other design decisions will then be postponed to a later stage of develo... View full abstract»

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