By Topic

Real-Time Systems, 1995. Proceedings., Seventh Euromicro Workshop on

Date 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
  • Index of authors

    Publication Year: 1995
    Request permission for commercial reuse | PDF file iconPDF (88 KB)
    Freely Available from IEEE
  • An integrated technique for developing real-time systems

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

    The integration of conceptual modeling techniques, formal specification, and compositional verification is considered for real time systems within the knowledge engineering context. We define constructive transformations from a conceptual meta model to a real time specification language and give rules for compositional refinement steps. The ideas are illustrated by the design of a mine pump contro... 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 (2)  |  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.
  • 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.
  • Incremental Experimentation: a methodology for designing and analyzing distributed safety-critical systems

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

    In safety-critical systems requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to unpredictable environmental needs the trade-off between measures to accommodate the conflicting objectives has to adapt to the external situation. Finally there cannot be any closed-form (formal) approach taking care at the same time of the (external) time constraints ... View full abstract»

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

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

    This paper addresses MMS and real time issues. The requirements for real time systems are introduced. The paper also presents briefly MAP, and in particular, the MMS standard in real time environments, emphasising its weaknesses and goes on to show our approach to making MMS more suitable for a real time context. The approach consists of modifying the existing objects, services and protocol to sat... View full abstract»

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

    Publication Year: 1995, Page(s):99 - 106
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (900 KB)

    We present a study of the effects caused in distributed real time systems by jitter in the activation of tasks and messages. We show that although jitter has usually a small impact on the schedulability of single processor systems, in distributed architectures the worst case response times are significantly delayed. Reducing or eliminating jitter in these systems can increase the schedulability of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 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 (712 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.
  • 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.
  • A new method for optimization of allocation and scheduling in real time applications

    Publication Year: 1995, Page(s):262 - 269
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (556 KB)

    Performance improvements achievable through parallel processing are useful in real time (RT) environments. The paper describes a method to map (i.e. allocate and schedule) a program with some RT constraints into a parallel system. We formulate the mapping problem as a minimization problem, defining a new cost function whose minimization leads to the optimal mapping of the program into the parallel... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fuzzy-control with a PEARL-based multi-loop controller

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

    To serve the demand for fuzzy control components in automation systems, manufacturers extend the function block libraries of their multi loop and PLC software by respective function blocks. Other demands are for the openness of PLC software and its adaptation to the IEC 1131 standard which, for the first time, gives recommendations with respect to a task model and task communication. The unique id... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An environment to ease the use of MMS

    Publication Year: 1995, Page(s):132 - 138
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (508 KB)

    The paper presents a development environment to ease the use of MMS. MMS is briefly introduced as well as its weaknesses. Given a distributed real time application specified in our higher level language, our tool automatically generates useful MMS objects for the implementation of the application by means of MMS services View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A synchronous real-time knowledge-based system

    Publication Year: 1995, Page(s):205 - 212
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (708 KB)

    We propose a framework for the construction of real-time knowledge-based systems, under the production system paradigm and following the synchronous approach. This approach assumes that the inputs and outputs of a system are synchronous events, i.e. zero-time reaction systems. The proposed formalism which is used in this paper is based on a paraconsistent prepositional temporal logic, extended by ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A performance study of several CSMA protocols for time constrained applications

    Publication Year: 1995, Page(s):108 - 115
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (472 KB)

    The paper compares the performance of several CSMA/CD protocols that can be easily implemented using the Intel microcontroller 83C152. These protocols are: CSMA/CD, CSMA/DCR and CSMA/CD with priorities. The behavior of these protocols was studied using typical workloads for time constrained applications that includes different kinds of data 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 (4)
    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.
  • A scheduling problem language

    Publication Year: 1995, Page(s):57 - 61
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (376 KB)

    A language for specification of the details of a scheduling problem is presented. First experiments indicate that the language can be used to express actual scheduling problems. Some deficiencies were detected but they can be fixed while keeping the general structure of the language 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 (4)
    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.
  • 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.
  • A layered architecture for real time applications

    Publication Year: 1995, Page(s):11 - 16
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (512 KB)

    The paper argues that real time control systems should be structured in abstraction layers in provide adequate instruction formalisms for both task specification and for low level control, and that the design information used when specifying the system should be included in the encoding of the abstraction barrier. When this design information is available, describing the semantics of the abstracti... 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.
  • 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.
  • Scheduling complex real-time tasks in an embedded distributed system

    Publication Year: 1995, Page(s):62 - 65
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (328 KB)

    Most current real time scheduling algorithms allocate the processing unit independently of other resources. Some of them integrate processing unit and passive resource allocation to avoid deadlocks or data coherency failures, but the proposed mechanisms often rely on the access to shared control variables (e.g. semaphores) and have been mainly implemented in monoprocessor contexts. Moreover, they ... 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
    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.
  • A dedicated digital unit for event recognition and centroiding in photon counting intensified CCDs

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

    A dedicated digital electronic system for real time acquisition and processing of data arrays with input rate as high as 20 MHz is presented. The system identifies and determines the center coordinates, to sub-pixel accuracy of events produced by a photon counting intensified CCD. Each photon event is represented, on the CCD matrix, by a charge distribution of approximately Gaussian profile. Ident... View full abstract»

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