Proceedings Seventh Euromicro Workshop on Real-Time Systems

14-16 June 1995

Filter Results

Displaying Results 1 - 25 of 50
  • Proceedings Seventh Euromicro Workshop on Real-Time Systems

    Publication Year: 1995
    Request permission for commercial reuse | PDF file iconPDF (195 KB)
    Freely Available from IEEE
  • HyperReal One: the implementation, the environment and an example

    Publication Year: 1995, Page(s):17 - 24
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (813 KB)

    HyperReal One (HR1) is an experimental platform for hard real time (HRT) systems which has been developed in the context of the HyperReal project. It is focused on the experimentation of architectural abstractions related to configuration and timing or deeply embedded applications. HR1 introduces actors and connectors as basic components, plus a set of components (virtual clocks, plans, controller... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architectural abstractions and time modelling in HyperReal

    Publication Year: 1995, Page(s):222 - 228
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (776 KB)

    This paper describes the foundation of the HyperReal project. It is centred on the definition of architectural abstractions that permit designing modular RT systems. Basic components are reactive agents manipulating data and connectors supporting interactions among agents. Such components are not aware of the system configuration nor of the control strategy, which are managed by a configurator and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • One solution for the non-determinism problem in the SCEPTRE 2 fault tolerance technique

    Publication Year: 1995, Page(s):352 - 358
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (457 KB)

    SCEPTRE 2 is a normative report on the basic mechanisms of the real-time executive kernels. No fault tolerance technique exists in its current version. So, in order to develop fault tolerant real time applications, redundancy management service must be provided. In this paper we present the difficulties we have found during the implementation of fault tolerance in SCEPTRE 2. These difficulties are... View full abstract»

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

    Publication Year: 1995
    Request permission for commercial reuse | PDF file iconPDF (88 KB)
    Freely Available from IEEE
  • A CAD tool to implement real-time fuzzy controllers on DSPs

    Publication Year: 1995, Page(s):323 - 326
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (312 KB)

    This work introduces a CAD tool to implement fuzzy logic controllers (FLCs) an a digital signal processor (DSP). The developed environment aids in the prototyping of FLCs, and generates a representation of the design oriented to its implementation on a DSP. The environment we have developed allows the user to easily define linguistic rules and fuzzy sets, to select the inference mechanism, to sele... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using TOOMS/TROL for specifying a cellular phone

    Publication Year: 1995, Page(s):49 - 56
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (604 KB)

    Dual models tend to integrate operational and descriptive (i.e., denotational) capabilities in a single powerful method. TROL is an object oriented dual language and model expressively defined for the specification of real time systems. It is supported by the CASE tool TOOMS which is documented in the literature. The TOOMS/TROL model allows one to describe the system at different levels of structu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • StarBase: a firm real-time database manager for time-critical applications

    Publication Year: 1995, Page(s):317 - 322
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (532 KB)

    Previous work in real-time database management systems (RT-DBMS) has primarily focused on simulation. This paper discusses how current real-time technology has been applied to architect an actual RT-DBMS on a real-time microlevel operating system. A real RT-DBMS must confront many practical issues which simulations typically ignore: race conditions, concurrency, and asynchrony. The challenge of co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visualisation of real-time software in host-based simulation environment

    Publication Year: 1995, Page(s):42 - 48
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (796 KB)

    In the development of complex real time systems, design flaws often become visible only during the integration phase. This causes delays in the delivery of the product and compromises its quality, because, for efficient integration testing, a major part of the system has to be implemented. Tool support in the target hardware environment may also be inadequate for detecting the causes of errors. An... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Transforming designs towards implementations

    Publication Year: 1995, Page(s):197 - 204
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (668 KB)

    We are interested in constructing safety-critical systems from their requirements specification. Our approach is the following: we start with requirements formalized in Duration Calculus (DC). These requirements are transformed to another form in DC, expressing the design of the system. The design is then transformed to a joint action system expressed in DisCo language. The specifications in DC em... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance studies of concurrency control in distributed real-time database systems on ATM networks

    Publication Year: 1995, Page(s):310 - 316
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB)

    In recent years, different efficient real-time concurrency control protocols for distributed real-time database systems (DRTDBS) have been proposed and their performance have been examined with the use of a simulation model. Although the performance of the underlying network should have a significant role, or even a deterministic role, on the overall system performance, the network issues in their... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Property decomposition to speed up analysis

    Publication Year: 1995, Page(s):147 - 154
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (988 KB)

    The complexity and criticity of many real time systems suggest that the temporal reachability analysis technique can find a role in the industrial development of such systems. Unfortunately, the costs of time reachability analysis inhibits the systematic application of this kind of analysis in the early stages of development, when long verification sessions slow down the development process. Moreo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Measuring the real-time operating system performance

    Publication Year: 1995, Page(s):34 - 40
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (496 KB)

    Tests for measuring the real time operating system performance belong to the software technology. They give quantitative measures for the most important characteristics and allow the implementer to compare the efficiency of various operating systems. The paper presents a set of simple tests for measuring the real time operating system characteristics. The tests require no specialized hardware, and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MicroFaultTolerant (μFT)-a system for achieving cost effective fault tolerance in microcontroller based equipment

    Publication Year: 1995, Page(s):344 - 351
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (624 KB)

    MicroFaultTolerant (μFT) is a method for designing and implementing microcontroller based equipment which interacts with its environment and has a risk connected to its operation thus making fault-tolerance and fail-to-safe properties necessary. We are especially concerned about systems where the “safe” states change at non-deterministic intervals with describing values changing con... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using ObjectCharts to specify and design electronic systems

    Publication Year: 1995, Page(s):169 - 174
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (448 KB)

    A novel object-oriented description formalism is described which covers both time-discrete and time-continuous behavior. It can be used to describe hardware/software systems on various levels of abstraction. Allowing users to model their own virtual machine supports development on several abstraction levels at the same time. So different implementation configurations can easily be considered and a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hybrid specification and formal distributed heterogeneous prototyping of distributed real-time systems

    Publication Year: 1995, Page(s):191 - 196
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (548 KB)

    The Boehm spiral model is a generic risk-driven software development model. The design of low level risk elements is postponed until the high risk elements are stabilized. The Spiral model accommodates to rapid prototyping to solve various risk kinds. It also accommodates to incremental distributed heterogeneous prototyping to support concurrent engineering, which may be organized around subsystem... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A multi-agent distributed real-time system for a microprocessor field-bus network

    Publication Year: 1995, Page(s):302 - 307
    Cited by:  Papers (3)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    A new conception of a multi agent distributed real time system (MAD-RTS) is presented, comprising compiler, operating system kernel and communication tools. It allows for a uniform programming of complex process control systems on a microprocessor field bus network. The key idea is to decompose the whole control task into small execution units, called agents which communicate by sending and execut... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time recursive procedures

    Publication Year: 1995, Page(s):229 - 235
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (464 KB)

    The purpose of the paper is to show that recursive procedures can be used for implementing real time applications without harm, if a few conditions are met. These conditions ensure upper bounds for space and time requirements can be derived at compile time. Moreover they are simple enough such that many important recursive algorithms can be implemented, for example Mergesort or recursive tree trav... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simulation of real time scheduling at design levels

    Publication Year: 1995, Page(s):140 - 146
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (680 KB)

    Real time systems (RTS) development adds-at least-two complexity factors to the traditional development tasks: time and resource constraints, and differences between development and final architecture. They make the development cycle longer. The paper presents one use of the well known formalism called High Level Time Petri nets (HLTPN) applied to the design of RTS in the form of subnets that can ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic replacement of software in hard real-time systems: practical assessment

    Publication Year: 1995, Page(s):26 - 33
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (580 KB)

    There are systems that cannot be stopped without losses. However, these systems require modifications during their operational life. Dynamic software replacement is a mechanism that allows components updating without stopping the whole system. The paper deals with dynamic replacement in hard real time systems. A protocol for dynamic replacement of software components in embedded hard real time sys... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analysis and improvement of task schedulability in hardware/software codesign

    Publication Year: 1995, Page(s):276 - 283
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (564 KB)

    Many real time systems have timing requirements that are difficult to fulfil if the system is implemented by software running on a microprocessor. One way to remedy this problem is to implement the most time critical parts in application specific integrated circuits instead. Hardware/software codesign aims at providing support for the designer of such a heterogeneously implemented system, and espe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Kernel services approach to fault-masking in real-time applications

    Publication Year: 1995, Page(s):336 - 343
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (656 KB)

    The N-Modular Redundancy (NMR) architecture has shown to perform fault-masking with acceptable cost and performance. The restriction to the majority voting imposed by many of its implementation models often discourages its use in real-time applications with sensors' data. Its implementation in real applications also exhibits time overhead, and synchronization problems beside the increase in hardwa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A distributed implementation of a mode switching control program

    Publication Year: 1995, Page(s):164 - 168
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (336 KB)

    A distributed implementation of a mode switched control program for a robot is described. The design of the control program is given by a set of real-time automatons. One of them plans a schedule for switching between a fixed set of control functions, another dispatches the control functions according to the schedule, and a final one monitors the system for exceptions that shall lead to a halt. Th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hard real-time preemptively scheduling with high context switch cost

    Publication Year: 1995, Page(s):184 - 190
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (544 KB)

    One of the most important aspects in the development of real-time systems is the scheduling policy to guarantee the response time of a task with timing constraints. Some real-time scheduling techniques use the advantage of stack scheduler properties to bound the number of context switches. In general purpose real-time systems, the context switch does not introduce a significant overhead in the sys... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applications

    Publication Year: 1995, Page(s):294 - 301
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (748 KB)

    We report the results of an investigation aiming at experimenting the use of Generalized Stochastic Petri Nets (GSPN), a formal method which allows to model a concurrent application with an explicit representation of timing constraints, and to evaluate its performance over a target parallel architecture. We focus on the definition and use of a set of indices suitable to characterise an application... View full abstract»

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