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
  • 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.
  • Scheduling real-time transactions

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

    Issues associated with transaction scheduling and concurrency control in real-time database systems are addressed. A message-based approach to prototyping study of distributed real-time database systems is introduced, and a prototyping software implemented for a series of experiments is presented. As a specific example of real-time transaction scheduling, a priority-based scheduling algorithm is d... 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.
  • On the optimality of minimum laxity and earliest deadline scheduling for real-time multiprocessors

    Publication Year: 1990, Page(s):17 - 24
    Cited by:  Papers (9)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (544 KB)

    The problem of scheduling jobs with real-time constraints on a multiprocessor is considered. If a job does not complete within a certain time interval of its arrival to such a system, it is considered useless and need not be served. It is therefore desirable to schedule jobs so that the fraction of jobs served within their respective deadlines is maximized. Such a system is modeled as a multiple s... 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 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.
  • 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.
  • Maximum-throughput scheduling with limited resources for iterative data-flow graphs by means of the scheduling-range chart

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

    An algorithm based on an alternative scheduling approach for iterative acyclic and cyclid DFGs (data-flow graphs) with limited resources that exploits inter- and intra-iteration parallelism is presented. The method is based on guiding the scheduling algorithm with the information supplied by a scheduling-range chart. This scheduling range is relative to a reference operation and can be finite or i... 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.
  • 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.
  • 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.
  • 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.
  • A practical approach to preemptable and nonpreemptable task scheduling with resource constraints based on earliest deadlines

    Publication Year: 1990, Page(s):2 - 7
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (384 KB)

    All intrinsic properties of the earliest-deadline task scheduling discipline are compiled and discussed to show that this is the most advantageous scheme available, characterized by efficiency and allowing for predictable system behavior. It is pointed out how the method naturally extends to the scheduling of tasks having nonpreemptable regions due to resource access constraints. A sufficient cond... 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 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.
  • 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 (4)
    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.
  • 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.
  • 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.
  • 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.
  • 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 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.
  • On-line modification of real time systems

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

    It is pointed out that many real-time systems are characterized by strong requirements for their reliability and availability on the one hand, and a long lifetime on the other. To be able to perform operational, functional, and technological modifications on these systems, dynamic system modifications must be supported. The authors cover the most important aspects of this problem and suggest some ... 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.