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
    Save to Project icon | Request Permissions | PDF file iconPDF (195 KB)  
    Freely Available from IEEE
  • Index of authors

    Publication Year: 1995
    Save to Project icon | Request Permissions | 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)
    Save to Project icon | Request Permissions | 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.
  • A CAD tool to implement real-time fuzzy controllers on DSPs

    Publication Year: 1995 , Page(s): 323 - 326
    Save to Project icon | Request Permissions | 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.
  • Dynamic replacement of software in hard real-time systems: practical assessment

    Publication Year: 1995 , Page(s): 26 - 33
    Cited by:  Patents (1)
    Save to Project icon | Request Permissions | 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.
  • A synchronous real-time knowledge-based system

    Publication Year: 1995 , Page(s): 205 - 212
    Save to Project icon | Request Permissions | 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.
  • Architectural abstractions and time modelling in HyperReal

    Publication Year: 1995 , Page(s): 222 - 228
    Cited by:  Papers (4)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (672 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.
  • SIGNAL GTi: implementing task preemption and time intervals in the synchronous data flow language SIGNAL

    Publication Year: 1995 , Page(s): 176 - 183
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (668 KB)  

    This paper presents SIGNAL GTi, the encoding and implementation of an extension to the reactive data flow language SIGNAL with constructs for hierarchical task preemption. Tasks are defined as the association of a data-flow process with a time interval on which it is executed. The motivation for introducing these preemption structures is the need for the specification of different modes of interac... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Q-model approach to decomposition and aggregation of specifications of real-time systems

    Publication Year: 1995 , Page(s): 213 - 219
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (524 KB)  

    New application areas and the increasing complexity of problems to be solved with real-time systems have led to a corresponding decrease in the probability of designing a correct solution. In this paper a Q-model approach to the problem of dealing with complexity of the specification process, specifically some aspects of decomposition and aggregation, is discussed. The evolutionary development of ... 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
    Save to Project icon | Request Permissions | 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.
  • Towards refinement in realtime programming

    Publication Year: 1995 , Page(s): 244 - 251
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (628 KB)  

    The objective of the research presented is the development of an approach for developing real time programs by successive refinement of abstract specifications. It is based on the approach by C. Morgan (1994), which assures the correctness of non real time sequential programs on the basis of the `method of construction'. The consideration of time, however, makes the refinement a more complex task,... 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
    Save to Project icon | Request Permissions | 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.
  • 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)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (396 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.
  • Hybrid specification and formal distributed heterogeneous prototyping of distributed real-time systems

    Publication Year: 1995 , Page(s): 191 - 196
    Save to Project icon | Request Permissions | 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.
  • Kernel services approach to fault-masking in real-time applications

    Publication Year: 1995 , Page(s): 336 - 343
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | 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.
  • Incremental Experimentation: a methodology for designing and analyzing distributed safety-critical systems

    Publication Year: 1995 , Page(s): 328 - 335
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | 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.
  • Hard real-time preemptively scheduling with high context switch cost

    Publication Year: 1995 , Page(s): 184 - 190
    Cited by:  Papers (4)
    Save to Project icon | Request Permissions | 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.
  • A multi-agent distributed real-time system for a microprocessor field-bus network

    Publication Year: 1995 , Page(s): 302 - 307
    Cited by:  Patents (2)
    Save to Project icon | Request Permissions | 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.
  • FSR-a fair switching architecture

    Publication Year: 1995 , Page(s): 116 - 123
    Cited by:  Papers (3)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (552 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.
  • Visualisation of real-time software in host-based simulation environment

    Publication Year: 1995 , Page(s): 42 - 48
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | 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.
  • HyperReal One: the implementation, the environment and an example

    Publication Year: 1995 , Page(s): 17 - 24
    Cited by:  Papers (3)
    Save to Project icon | Request Permissions | 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.
  • Hybrid algorithms for dynamic schedulability testing

    Publication Year: 1995 , Page(s): 254 - 261
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (716 KB)  

    The paper describes an investigation into the performance of a variety of algorithms for dynamic schedulability testing. A real time node may run its own set of resident periodic tasks and may also receive aperiodic requests for computations to be completed within hard deadlines. In order to decide whether each request is schedulable, and can therefore be accepted, the node may use a guarantee alg... 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)
    Save to Project icon | Request Permissions | 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.
  • Measuring the real-time operating system performance

    Publication Year: 1995 , Page(s): 34 - 40
    Cited by:  Papers (3)
    Save to Project icon | Request Permissions | 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.
  • Using ObjectCharts to specify and design electronic systems

    Publication Year: 1995 , Page(s): 169 - 174
    Save to Project icon | Request Permissions | 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.