Fourth Euromicro workshop on Real-Time Systems

3-5 June 1992

Filter Results

Displaying Results 1 - 25 of 34
  • Proceedings Fourth Euromicro Workshop On Real-time Systems [front matter]

    Publication Year: 1992, Page(s):i - ix
    Request permission for reuse | PDF file iconPDF (287 KB)
    Freely Available from IEEE
  • Pipelined embedding via dual-hypercubes for real time computing

    Publication Year: 1992, Page(s):2 - 9
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (809 KB)

    The least communication delays among subtash of a real time computing can be achieved with the proposed approach, pipelined embedding via dual-hypercubes. me approach requires a limited dimension much less than that of a conventional embedding, and a polynomial time complexity. It is illustrated with the computation of a robot elbow manipulator. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An enhanced snoopy cache design for real-time multi-processing

    Publication Year: 1992, Page(s):10 - 14
    Cited by:  Patents (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (473 KB)

    This paper will present a mechanism for providing cache coherence without sacrificing predictability. In addition, this multi-processing cache coherent design approach can signGcantly enhance processor performance by eliminating many of the processor stall operations associated with snooping operations. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A processor for time-varying digital audio filters with special transition properties

    Publication Year: 1992, Page(s):15 - 20
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (392 KB)

    This paper will present a mechanism for providing cache coherence without sacrificing predictability. In addition, this multi-processing cache coherent design approach can signGcantly enhance processor performance by eliminating many of the processor stall operations associated with snooping operations. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • FASTHARD - A Fast Time Deterministic HARDware Based Real-time Kernel

    Publication Year: 1992, Page(s):21 - 25
    Cited by:  Papers (9)  |  Patents (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (304 KB)

    Real-time systems handle increasing complexities of functions and require better determinism and higher speed. One way to make it easier to meet those requirements is to implement the real-time kernel in a separate unit working concurrently with the CPU, called RTU (Real-Time Unit). This paper describes an RTU we call FASTHARD as a model in VHDL (hardware description language). It is planned to be... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A programmable video coder based on transputers

    Publication Year: 1992, Page(s):28 - 32
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (446 KB)

    A video coder/decoder based on a Transputer network has been investigated. Two algorithms (H.261 and Subband coding) have been implemented. The research has confirmed both advantages (eficiency, flexibility and modularity) and limitations due to insuficient computation power. These could be overcome by Transputer modules equipped with coprocessors and including computation bound techniques into th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simulation and implementation of clock synchronisation in transputer networks

    Publication Year: 1992, Page(s):33 - 37
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (409 KB)

    A clock synchronisation algorithm based on the exchange of timestamped messages, with unpredictable delays, between neighbours in a transputer network was presented by the author in 1991. This algorithm creates and maintains a global time reference, to be used in hard real-time applications, for all nodes of a transputer network of any topology. This global timebase is obtained by periodic filtere... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design of a real-time computer system for relative position robot control

    Publication Year: 1992, Page(s):38 - 43
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (595 KB)

    The focus of this research work is on the design of a computer system for a robot that uses relative position dynamic control through vision feedback from an end-point mounted camera. A suitable implementation of the sensing and control calculations was determined by considering various computer systems and algorithms. A multiprocessor system using transputers was chosen as the computer hardware. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ada gets groomed for the whole spectrum of real-time duties

    Publication Year: 1992, Page(s):48 - 53
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (542 KB)

    Ada is a high level language, designed for implementzng large embedded systems. It became an ANSI standard in 1983 and in 1988 the Ada Joint Program Ofice established the ADA-9X project far the revision of the Ada standard. One of the specific areas addressed by the revision team deals with requirements posed by real-time applications and introduces a new building block for real-time Ada: the prot... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • When object-oriented operating system is time critical

    Publication Year: 1992, Page(s):54 - 59
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (587 KB)

    This paper presents performance results of the object-oriented real-time operating system Theta. There are two current versions of Theta which are written in the object-oriented languages, C++ and COB. In both languages, object-orientation is embedded into the C language. The overhead of the C++ and the COB versions are compared with that of C. Our experiments show that if the classes are carefill... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Synchronous programming of a real-time microcontroller

    Publication Year: 1992, Page(s):60 - 65
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (585 KB)

    The synchronous approach is a new and promising way to design Real-Time systems. We have applied the synchronous programming style to the design of microcontrollers. The programming style is ESTEREL, an imperative synchronous language and the target processor is RTX2000 a high-performance real-time microcontroller. Here, we describe the compilation from ESTEREL down to FORTH(RTX programming langua... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Albatross - The communication scheme as a key to fulfil hard real-time constraints

    Publication Year: 1992, Page(s):68 - 73
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (671 KB)

    Based on experiences from an autonomous mobile robot project called MOBOT-III, we found hard realtime-constraints for the operating-system-design. ALBATROSS is "A flexible multi-tasking and realtime network-operatingsystem- kernel," not limited to mobile-robot-projects only, but which might be useful also wherever you have to guarantee a high reliability of a realtime-system. The focus in this art... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real Time Software Control System For The NERO Wall Climbing Robot

    Publication Year: 1992, Page(s):74 - 78
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (331 KB)

    This paper describes the structure of the real time control software system for NERO wall climbing robots which were commissioned by Nuclear Electric plc. The NERO robot is driven remotely by an operator via a control console. The status of the robot and the control console is displayed on the console’s PC monitor. In order to ensure the information on the screen is up-to-date, a multitasking faci... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real time object communication protocol for incremental and distributed prototyping

    Publication Year: 1992, Page(s):79 - 84
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (498 KB)

    The IPTES environment and methodology for incremental, heterogeneous and distributed prototyping of real time systems is introduced. The Real Time Object Communication Layer (RTOC) is the module in IPTES which allows the distributed execution of High Level Timed Petri Nets. The primitives and services that provides, the protocol which implements them and the functional modules of RTOC are describe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A compositional method for the top-down design of real-time systems

    Publication Year: 1992, Page(s):86 - 91
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (545 KB)

    To specify and verify real-time systems, we consider a formalism based on Hoare triples (precondition, program, postcondition) which are extended with a third assertion, called commitment, to express the real-time communication interface of the program. In this paper we axiomatize concurrent programs that communicate by means of a common bus. To support top-down program Verification we formulate a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Time and probabilities in specification and verification of real-time systems

    Publication Year: 1992, Page(s):92 - 97
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (575 KB)

    We present a framework for specification and verification of real-time and reliability in distributed systems. The framework consists of a language for describing the operational behaviour of systems, a logic for formulating system properties, and an algorithm for verifying that descriptions an the language satisfy formulas expressed in the logic. The language, TPCCS, as an extension of Miher’s Ca... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An overview of TCCS

    Publication Year: 1992, Page(s):98 - 103
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (470 KB)

    We describe the ongoing development of TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects of systems, as well as their functional behaviour. Such aspects include when events can and must occur, as well as how fast a process may execute. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Let's PARTY: Process Algebra With Real-time From York

    Publication Year: 1992, Page(s):104 - 109
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (611 KB)

    There are many real-time process algebras, but they invariably make restrictive assumptions about representable behavior, or do not have proof theory for a suitably large class of behaviours. We introduce the Process Algebra with Real-Time from York (PARTY), which uses a simple yet powerful, intuitive and general model of real-time behavior. A real-time process interacts with its environment by in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Time interval semantics and implementation of a real-time programming language

    Publication Year: 1992, Page(s):110 - 115
    Cited by:  Papers (4)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (535 KB)

    The authors present a real-time programming language, including concurrency, which could be used in the formal development of embedded systems. The semantics of the language is provided in the form of a time interval semantics and also a number of algebraic refinement laws. The laws allow convenient reasoning and transformation of programs. In particular, a compiler for a sequential subset of the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification Of Embedded, Real-time Systems

    Publication Year: 1992, Page(s):116 - 121
    Cited by:  Papers (12)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (539 KB)

    An approach to requirements specification and subsequent verification of designs for embedded, real-time systems is presented. A system is given by a conventional mathematical model for a dynamic system, where application specific state variables denote total finctions of real time. Specifications are formulas in a real-time, interval temporal logic, where atomic predicates define durations of sta... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The refinement of real-time systems

    Publication Year: 1992, Page(s):122 - 127
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (526 KB)

    The Temporal Agent Model (TAM) is a widespectrum development language for real-time systems. In TAM, limited resources are modelled by deriving release times and absolute deadlines from weakest precondition predicate transformers. The language syntax is described, a refinement calculus is presented and a number of examples are discussed. Our development method does not address issues such as sched... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Newthink - An Orwellian specification language for real-time safety critical systems

    Publication Year: 1992, Page(s):128 - 133
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (515 KB)

    We are currently experiencing an explosion in the use of computers in safety critical applications, particularly in the guise of embedded, real-time systems. Recent standardization activities in the United Kingdom and elsewhere have highlighted the safety implications of such massive deployment of computer software. The use of formal methods is often advocated as a way of increasing confidence in ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling of distributed real-time systems in DisCo

    Publication Year: 1992, Page(s):136 - 141
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (618 KB)

    We describe adding of metric real time to joint actions, and to the Disco specifcation language and toot that are based on them. No new concepts or constructs are needed: time is represented by variables in objects, and action durations are given by action parameters. Thus, we can reason about real-time properties in the same way as about other properties. The scheduling model is unrestricted in t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software models for real-time systems

    Publication Year: 1992, Page(s):142 - 147
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (507 KB)

    for modeling, analysing and developing real-time systems. The approach is object-oriented and objects are characterized by a behavior and a functionality: the behavior is defined in terms of high level nets which naturally describe concurrency and synchronization assues. Objects have a graphical description encompassing composition and inheritance features. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Absolute and relative temporal constraints in hard real-time databases

    Publication Year: 1992, Page(s):148 - 153
    Cited by:  Papers (15)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (513 KB)

    Application of a conventional database to a hard realtime system requires two inter-related NP-complete problems to be solved: database concurrency control and task scheduling. Starting from temporal constraints on data objects in the database, the techniques described in this paper can be used to reduce the problem to a single NP-complete scheduling problem. Standard scheduling theory can then be... View full abstract»

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