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 reuse | PDF file iconPDF (195 KB)
    Freely Available from IEEE
  • IDERS: an integrated environment for the development of hard real-time systems

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

    IDERS is a new generation environment for developing real time critical systems. It integrates specification, design and code within a single framework, provides support for incremental prototyping and allows early validation through testing and animation. The system is based on a kernel that eliminates ambiguities and supplies dynamic semantic checks. Customization facilities allow one to tailor ... 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
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (589 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.
  • HyperReal One: the implementation, the environment and an example

    Publication Year: 1995, Page(s):17 - 24
    Cited by:  Papers (3)
    Request permission for 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.
  • 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 reuse | Click to expandAbstract | PDF file iconPDF (671 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.
  • Measuring the real-time operating system performance

    Publication Year: 1995, Page(s):34 - 40
    Cited by:  Papers (6)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (571 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.
  • Visualisation of real-time software in host-based simulation environment

    Publication Year: 1995, Page(s):42 - 48
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (856 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.
  • Using TOOMS/TROL for specifying a cellular phone

    Publication Year: 1995, Page(s):49 - 56
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (695 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.
  • A scheduling problem language

    Publication Year: 1995, Page(s):57 - 61
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (436 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.
  • Scheduling complex real-time tasks in an embedded distributed system

    Publication Year: 1995, Page(s):62 - 65
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (378 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.
  • Fuzzy-control with a PEARL-based multi-loop controller

    Publication Year: 1995, Page(s):66 - 70
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (490 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.
  • 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 reuse | Click to expandAbstract | PDF file iconPDF (613 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.
  • Pessimistic Deadline Ceiling Protocol: a concurrency control protocol under earliest deadline first scheduling

    Publication Year: 1995, Page(s):80 - 86
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (622 KB)

    Priority inversion is one of the major sources which makes the real-time system unpredictable. The Stack Resource Policy (SRP) and the Dynamic Priority Ceiling Protocol (Dpcp) are two representative protocols that solve the priority inversion problem under earliest deadline first scheduling (EDF). Dpcp yields better performance but incurs more overhead than SRP. We propose a new algorithm called t... View full abstract»

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

    Publication Year: 1995, Page(s):87 - 92
    Cited by:  Papers (4)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (633 KB)

    Due to the critical nature of real-time systems, there is an ever growing burden on the designer to not only guarantee that the tasks would meet their deadlines at design time, but would continue to do so as the system evolves. This implies that the schedulability analysis has to he robust. We identify the sensitivity of schedulability analysts to the task execution times. The impact this paramete... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scheduling algorithms for improving the response in intelligent real-time environments

    Publication Year: 1995, Page(s):93 - 98
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (533 KB)

    Over the last few years, the usefulness and maturity of artificial intelligence technologies, and in particular of knowledge-based systems, have been demonstrated by the ever growing number of commercial applications using them. In the domain of real-time control systems (process control, avionics, robotics, ...), these techniques have been considered with a renewed interest, as they appear as a p... 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
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (1000 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.
  • A performance study of several CSMA protocols for time constrained applications

    Publication Year: 1995, Page(s):108 - 115
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (556 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.
  • FSR-a fair switching architecture

    Publication Year: 1995, Page(s):116 - 123
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (634 KB)

    The paper introduces a high speed interconnection network, the Frame Synchronized Ring (FSR), for use in broadband switching applications. The structure as well as the performance of the switching architecture are described and followed by deadlock and fairness analysis. Fair and deadlock free performance is analysed and proved by a predicate/transition net analysis tool, PROD. Finally, an example... 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 (4)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (805 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.
  • An environment to ease the use of MMS

    Publication Year: 1995, Page(s):132 - 138
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (585 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.
  • Simulation of real time scheduling at design levels

    Publication Year: 1995, Page(s):140 - 146
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (771 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 reuse | Click to expandAbstract | PDF file iconPDF (1104 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.
  • SAT-a schedulability analysis tool for real-time applications

    Publication Year: 1995, Page(s):155 - 161
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (642 KB)

    The process of guaranteeing that real-time software will meet its timing requirements, is referred to as schedulability analysis. In this paper an implementation independent schedulability analysis tool (SAT) for real-time applications is presented and the supported analysis methods are discussed. SAT can be used during the initial stages of the design phase when the effects of the operating syste... 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 (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (395 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.
  • Using ObjectCharts to specify and design electronic systems

    Publication Year: 1995, Page(s):169 - 174
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (521 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.