By Topic

Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2011 14th IEEE International Symposium on

Date 28-31 March 2011

Filter Results

Displaying Results 1 - 25 of 52
  • [Front cover]

    Publication Year: 2011, Page(s): C1
    Request permission for commercial reuse | PDF file iconPDF (515 KB)
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2011, Page(s): i
    Request permission for commercial reuse | PDF file iconPDF (23 KB)
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2011, Page(s): iii
    Request permission for commercial reuse | PDF file iconPDF (62 KB)
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2011, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (122 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2011, Page(s):v - vii
    Request permission for commercial reuse | PDF file iconPDF (98 KB)
    Freely Available from IEEE
  • AMICS 2011 Message from the Workshop Co-chairs

    Publication Year: 2011, Page(s): viii
    Request permission for commercial reuse | PDF file iconPDF (62 KB) | HTML iconHTML
    Freely Available from IEEE
  • AMICS 2011 Committees

    Publication Year: 2011, Page(s): ix
    Request permission for commercial reuse | PDF file iconPDF (63 KB)
    Freely Available from IEEE
  • MoBE-RTS 2011 Message from the Workshop Co-chairs

    Publication Year: 2011, Page(s): x
    Request permission for commercial reuse | PDF file iconPDF (61 KB) | HTML iconHTML
    Freely Available from IEEE
  • MoBE-RTS 2011 Committees

    Publication Year: 2011, Page(s): xi
    Request permission for commercial reuse | PDF file iconPDF (59 KB)
    Freely Available from IEEE
  • SORT 2011 Message from the Workshop Co-chairs

    Publication Year: 2011, Page(s): xii
    Request permission for commercial reuse | PDF file iconPDF (64 KB) | HTML iconHTML
    Freely Available from IEEE
  • SORT 2011 Committees

    Publication Year: 2011, Page(s): xiii
    Request permission for commercial reuse | PDF file iconPDF (63 KB)
    Freely Available from IEEE
  • WORNUS 2011 Message from the Workshop Co-chairs

    Publication Year: 2011, Page(s): xiv
    Request permission for commercial reuse | PDF file iconPDF (62 KB) | HTML iconHTML
    Freely Available from IEEE
  • WORNUS 2011 Committees

    Publication Year: 2011, Page(s): xv
    Request permission for commercial reuse | PDF file iconPDF (61 KB)
    Freely Available from IEEE
  • Optimization of Time-Partitions for Mixed-Criticality Real-Time Distributed Embedded Systems

    Publication Year: 2011, Page(s):1 - 10
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (656 KB) | HTML iconHTML

    In this paper we are interested in mixed-criticality embedded real-time applications mapped on distributed heterogeneous architectures. The architecture provides both spatial and temporal partitioning, thus enforcing enough separation for the critical applications. With temporal partitioning, each application is allowed to run only within predefined time slots, allocated on each processor. The seq... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Synthesis of Static Communication Schedules for Mixed-Criticality Systems

    Publication Year: 2011, Page(s):11 - 18
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1812 KB) | HTML iconHTML

    Throughout many application areas of embedded and cyber-physical systems there is a demand to integrate more and more applications such that they share common resources. These applications may have different levels of criticality with respect to temporal or fault-tolerance properties and we call the result of their integration a mixed-criticality system. The communication network is a resource of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Suitability of Hypervisor and MPSoC Architectures for the Execution Environment of an Integrated Embedded System

    Publication Year: 2011, Page(s):19 - 24
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (465 KB) | HTML iconHTML

    Current embedded systems offer enough performance to integrate on a single chip jobs that required several distributed devices in the past. The execution environment of such an integrated architecture should satisfy key requirements, such as, temporal predictability, fault containment or flexibility. In this paper we present these requirements and argue about the suitability of embedded hypervisor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Proving Memory Separation in a Microkernel by Code Level Verification

    Publication Year: 2011, Page(s):25 - 32
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (268 KB) | HTML iconHTML

    Often, an integrated mixed-criticality system is built in an environment which provides separation functionality for available on-board resources. In this paper we treat such an environment: the PikeOS separation kernel -- a commercial real-time embedded operating system. PikeOS allows applications with different safety and security levels to run on the same hardware. Obviously, a mixed-criticalit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations

    Publication Year: 2011, Page(s):33 - 40
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (279 KB) | HTML iconHTML

    This paper presents a low-level memory and hardware model suitable for analyzing embedded systems software written in high-level languages such as C. The key feature of this approach is that it combines information that can be discovered from the C code itself with information from the executable binary program. Further, it also integrates effects caused through hardware dependencies. We describe ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Method and Tools for Mixed-Criticality Real-Time Applications within PharOS

    Publication Year: 2011, Page(s):41 - 48
    Cited by:  Papers (5)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (360 KB) | HTML iconHTML

    This paper provides an overview of some principles and mechanisms to securely operate mixed-criticality real-time systems on embedded platforms. Those principles are illustrated with PharOS a complete set of tools to design, implement and execute real-time systems on automotive embedded platforms. The keystone of this approach is a dynamic time-triggered methodology that supports full temporal iso... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance Analysis of Time-Triggered Ether-Networks Using Off-the-Shelf-Components

    Publication Year: 2011, Page(s):49 - 56
    Cited by:  Papers (6)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (751 KB) | HTML iconHTML

    The performance analysis and validation of distributed real-time systems poses significant challenges due to high accuracy requirements at the measurement tools. A fully synchronized time-scale at ultrafine granularity is not easy to generate. Even though there are several analyzer tools for standard switched Ethernet, these tools cannot be applied in time-triggered networks, since they do not mee... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MultiChipSat Fault-Tolerant Architecture

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

    With the process size of microelectronics shrinking well below 90 nm, the characteristics of upsets experienced by spacecraft avionics are drastically changing; traditional hardware mitigation techniques are reaching performance limitations. A method for achieving reliability, along with the performance capabilities of new technologies, is through the use of an innovative avionics architecture whi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Invariant Preserving Transformation for PLC Models

    Publication Year: 2011, Page(s):63 - 71
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (421 KB) | HTML iconHTML

    Many applications in the industrial control domain are safety-critical. A large number of analysis techniques to guarantee safety may be applied at different levels in the development process of a Programmable Logic Controller. The development process is typically associated with a tool chain comprising model transformations. The preservation of safety properties in model transformations is necess... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Product Model Derivation by Model Transformation in Software Product Lines

    Publication Year: 2011, Page(s):72 - 79
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (512 KB) | HTML iconHTML

    Product derivation is an essential part of the Software Product Line (SPL) development process. The paperproposes a model transformation for deriving automatically a UML model of a specific product from the UML model of a product line. This work is a part of a larger project aiming to integrate performance analysis in the SPL model-driven development. The SPL source model is expressed in UML exten... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Component-Based Hazard Analysis for Mechatronic Systems

    Publication Year: 2011, Page(s):80 - 87
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1216 KB) | HTML iconHTML

    One cannot image today's life without mechatronic systems, which have to be developed in a joint effort by teams of mechanical engineers, electrical engineers, control engineers and software engineers. Often these systems are applied in safety critical environments like in cars or aircrafts. This requires systems that function correctly and do not cause hazardous situations. However, random errors... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-Based Hardware Generation and Programming - The MADES Approach

    Publication Year: 2011, Page(s):88 - 96
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (442 KB) | HTML iconHTML

    This paper gives an overview of the model-based hardware generation and programming approach proposed within the MADES project. MADES aims to develop a model-driven development process for safety-critical, real-time embedded systems. MADES defines a systems modelling language based on subsets of MARTE and SysML that allows iterative refinement from high-level specification down to final implementa... View full abstract»

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