Scheduled System Maintenance
IEEE Xplore is currently undergoing scheduled maintenance.
During this time, there may be intermittent impact on performance. We apologize for any inconvenience.

Proceedings Sixth Euromicro Workshop on Real-Time Systems

15-17 June 1994

Filter Results

Displaying Results 1 - 25 of 39
  • Simple and robust: fuzzy for antislip

    Publication Year: 1994, Page(s):240 - 245
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (515 KB)

    The authors present the design of an intelligent control for industrial off road vehicles with hydrostatic power transmission to prevent wheel slippage. Timing and robustness were of particular interest. The authors employed a system of interconnected wheel processors, which house a two level local/global fuzzy control algorithm.<<ETX>> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scheduling in a hard real-time system with shared resources

    Publication Year: 1994, Page(s):234 - 239
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (584 KB)

    Hard real-time systems are those systems in which correctness depends on logical results of the computations as well as the times at which these results are produced. In a real-time context, concurrency control protocols for shared resources (as databases) must not only maintain the consistency constraints but also satisfy timing requirements of transactions. So, several protocols have been propos... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Relating specified time tolerances to implementation performances

    Publication Year: 1994, Page(s):226 - 233
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (805 KB)

    Real-time systems require that the high-level control constructs used by the designer have a rigorously defined semantics specifying their actual temporal behavior, which unfortunately depends on implementation details that the high-level view tends to hide from the user. Moreover the real implementations only approximate the typical ideal properties; in some systems these approximations cannot be... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Animation in CONRAD: informal analysis of timing properties

    Publication Year: 1994, Page(s):220 - 225
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (480 KB)

    It is suggested that timing restrictions are the fundamental part of the specification of a time-critical system (limiting the possible design solution space), because most of the timing restrictions have been objectively determined by the object to be controlled and thus cannot be changed arbitrarily. Timing correctness in real-time systems means that process activations, data production and cons... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Timing analysis and conditional scheduling in a real-time system design environment

    Publication Year: 1994, Page(s):214 - 219
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (606 KB)

    This paper presents an approach to carry out timing analysis and scheduling in a real-time system design environment for flexible manufacturing systems. It is built based on a formal model for specifying real-time systems using extended timed Petri nets. The designer uses the model to specify a design at a given level. The functional characteristics as well as timing properties of the design can t... View full abstract»

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

    Publication Year: 1994, Page(s):205 - 211
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (496 KB)

    The paper presents a case study of application of the VDM formal method to specification and verification of a simple real-time kernel. Specifications of selected external services of the kernel are presented. Then the verification methodology is introduced by demonstrating its basic steps in relation to verification of a selected function-a process waiting for a signal on a condition variable. Th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Guaranteed deadlines with dynamic recovery blocks in distributed systems

    Publication Year: 1994, Page(s):199 - 204
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (545 KB)

    In a hard real-time system, a timing fault is said to occur when a real time task delivers its results too late. An deadline mechanism has been proposed to avoid timing faults in uniprocessor machines. Under this approach, every task is implemented with two algorithms: on one hand, a primary program produces a good quality service but in an unknown and possibly infinite length of time due to softw... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-based design of embedded software using real-time operating systems

    Publication Year: 1994, Page(s):194 - 198
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (376 KB)

    Embedded systems are used in everyday electronic consumer products and industrial equipment, e.g. television sets, radios, cars, and mobile phones. Rapid developments which have taken place in computer hardware and software technologies have led to the increased complexity of embedded systems. Promising results have been achieved in the development of complex information processing systems using o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On-line sporadic task scheduling in hard real-time systems

    Publication Year: 1994, Page(s):186 - 191
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (543 KB)

    We propose a set of scheduling procedures for dealing with the sporadic task scheduling in a dynamic periodic system. For this we mean a system in which periodic tasks change their parameters dynamically (at run-time), in an unpredictable way. So, the off-line periodic task set will be different from the current periodic task set. It means that the task schedulability tests in such systems have to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The derivation of scheduling algorithms from a timing model

    Publication Year: 1994, Page(s):180 - 185
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (437 KB)

    We first present a timing model for describing the temporal behaviour of a real-time application. Then, within this model, we specify formally the scheduling problem through a relation between so called temporal profiles. We show how this relation can be generically decomposed and implemented on different machine architectures.<<ETX>> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Pinwheel scheduling with three distinct numbers

    Publication Year: 1994, Page(s):174 - 179
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (531 KB)

    Given a multiset of positive integers A={a/sub 1/, a/sub 2/, ..., a/sub n/}, the pinwheel problem is to find an infinite sequence over { 1, 2,..., n} such that there is at least one symbol i within any subsequence of length a/sub i/. The density of A is defined as /spl rho/(A)=/spl Sigmasub i=1sup n/ (1/a/sub i/). We limit ourselves to instances composed of three distinct integers. Currently, the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Can production systems be applied to hard real-time applications?

    Publication Year: 1994, Page(s):167 - 172
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (457 KB)

    Efficient match algorithms have influenced the acceptance of production systems in the industrial world. However, in embedded control systems they have not been applied intensively because of their non-deterministic run-time behavior. Until recently no method was known yielding rigorous upper bounds for run-time on match algorithms. Although the already published MLR (Micro Level Reasoner) method ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IRTC: integration of knowledge engineering with real-time control

    Publication Year: 1994, Page(s):162 - 166
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (361 KB)

    Integration of knowledge engineering into a control system introduces problems. These are caused by the fact that timing information for a knowledge engineering task is usually not well known. The indeterminate timing causes problems for real-time scheduling. A new approach is presented to solve this problem. The approach includes, among other things, usage of multiple versions for tasks, selectio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Semantic-based concurrency control for object-oriented database systems supporting real-time applications

    Publication Year: 1994, Page(s):156 - 161
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (708 KB)

    Recently object-oriented database technology has started to gain the attention of researchers in real-time database systems. This paper investigates major issues in designing semantic-based concurrency control for object-orient database systems supporting real-time applications, and describes an approach to solving those problems in an efficient way. This approach depends on the notion of affected... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On using epsilon serializable locking protocol for concurrency control in real-time databases

    Publication Year: 1994, Page(s):150 - 155
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (452 KB)

    New non-serializable protocols based on incorporating epsilon serializability (ESR) into the real-time concurrency control protocol, Hybrid Two Phase Locking (Hb2PL) are proposed. The protocols try to maximize the values of the transactions by making a compromise between meeting transaction deadlines and maintaining consistent transaction view. Two different ways of incorporating ESR into Hb2PL ar... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Algorithms for scheduling computations with secondary deadlines to minimize penalty

    Publication Year: 1994, Page(s):143 - 148
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (554 KB)

    In many real-time applications, some job allows part of its computation to be executed after its primary deadline but before an extended, or secondary deadline. We study the scheduling issues for real-time computations with secondary deadlines. We call the part of a computation which must be completed before the primary deadline its hard part, and the rest its soft part. The soft part of a computa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fixed priority scheduling with deadlines prior to completion

    Publication Year: 1994, Page(s):138 - 142
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (343 KB)

    Standard analysis for fixed priority scheduling assumes that all the computations for each task must be completed by the task's deadline. In practice this is rarely the case. The deadline is more correctly associated with the last observable event of the task, interval events and kernel overheads (such as the context switch away from the task) can occur after the deadline. New analysis is presente... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A dynamic scheduling algorithm for semi-hard real-time environments

    Publication Year: 1994, Page(s):130 - 137
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (721 KB)

    In many real-time systems, it is crucial for the application tasks to meet their specified deadlines, otherwise the tasks cause catastrophic results. Every task is generally periodic, and the value of its period depends on the dynamics of the process it controls. In addition, some additional time-critical tasks said to be sporadic can occur and require to be processed at unpredictable times. The p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The modular multimicroprocessor system architecture for the power turbine control

    Publication Year: 1994, Page(s):124 - 127
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (337 KB)

    The modular multimicroprocessor control system (MMCS) architecture for turbine control is presented. The turbine features which are produced by "Metalicheskiy Zavod" plc (St.-Petersburg) are considered. The multilayered MMCS system organization for these turbines is described. The architecture of distributed modular multimicroprocessor control system (MMCS) for turbo-unit technological process con... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • UltraSMART: a scalable multiprocessor architecture for real time

    Publication Year: 1994, Page(s):118 - 123
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (614 KB)

    Concurrent Computer Corporation's UltraSMART (scalable multiprocessor architecture for real time) architecture is a busless distributed shared memory multiprocessor architecture that enables higher levels of performance and better real-time behavior than can be obtained with bus-based global shared memory multiprocessors. The paper describes UltraSMART, the UltraSMART-based MAXION multiprocessor s... View full abstract»

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

    Publication Year: 1994, Page(s):110 - 115
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (556 KB)

    The increasing use of computer-based control systems in complex applications requires modelling techniques which make it easier to develop and maintain these systems. One promising approach is to use object-orientation. The difficulty is that a traditional object-oriented programming language is most suitable for use in small projects and therefore is not directly scalable to a heterogeneous and d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enhancing real-time object-oriented analysis methods

    Publication Year: 1994, Page(s):104 - 109
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (566 KB)

    Discusses the application of object-oriented concepts to the development of real-time systems, focusing mainly on the requirements engineering phase. Shortcomings of existing real-time specification methods are identified. A proposal to overcome these shortcomings is presented. Our approach enhances existing object-oriented analysis (OOA) methods concerning a high-level description and consistency... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented enhancement of real-time software using a heterogeneous re-engineering approach

    Publication Year: 1994, Page(s):98 - 103
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (534 KB)

    A technique for incremental modernisation and enhancement of an existing procedural real-time software to an object-oriented one is presented. The incremental enhancement enables the real-time system designer to make use of the advantages of object-oriented paradigm: the resulting re-engineered software is more maintainable, reusable and configurable. In this approach, the object structure and add... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementing real-time applications with concurrent objects

    Publication Year: 1994, Page(s):92 - 97
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (522 KB)

    Presents a novel extension to the C++ programming language, allowing powerful expression of concurrency and synchronization in an object-oriented environment. The principal advantages of this extension over existing alternatives are its powerful, yet simple expression, its ease of use, and the strict parsimony of additions made to the C++ syntax. The concurrent and object-oriented capabilities of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software architecture for telerobotics

    Publication Year: 1994, Page(s):86 - 90
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (331 KB)

    Describes a currently developed software architecture for telerobotics, based on a high-level and interpreted language, PILOT (Programming and Interpreted Language Of actions for Telerobotics), allowing one to plan the actions of a robot. Such a language allows the operator to modify a mission during its execution. A software architecture is developed for this language, and is composed of four mod... View full abstract»

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