By Topic

Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)

Date 18-20 May 2005

Filter Results

Displaying Results 1 - 25 of 62
  • Proceedings. Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing

    Publication Year: 2005
    Request permission for commercial reuse | PDF file iconPDF (377 KB)
    Freely Available from IEEE
  • [Title page]

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

    Publication Year: 2005, Page(s):v - ix
    Request permission for commercial reuse | PDF file iconPDF (115 KB)
    Freely Available from IEEE
  • Message from the Program Co-Chairs

    Publication Year: 2005, Page(s): x
    Request permission for commercial reuse | PDF file iconPDF (32 KB)
    Freely Available from IEEE
  • Committees

    Publication Year: 2005, Page(s):xi - xii
    Request permission for commercial reuse | PDF file iconPDF (62 KB)
    Freely Available from IEEE
  • An integrated architecture for future car generations

    Publication Year: 2005, Page(s):2 - 13
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (288 KB) | HTML iconHTML

    Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architecture combines the complexity management advantages of federated systems with the functional integration and hardware benefits of an integrated approach. This paper investigates the benefits of the DECOS integrated system ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On software platforms, their modeling with UML 2, and platform-independent design

    Publication Year: 2005, Page(s):15 - 21
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (136 KB) | HTML iconHTML

    This paper defines a precise conceptual model of a software platform and the relationship that exists between platforms and software applications that use them. One of the key features of this model is that it allows formal verification of deployment specifications. The paper also describes how the proposed conceptual model can be represented directly using some of the new modeling features of the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The time-triggered Ethernet (TTE) design

    Publication Year: 2005, Page(s):22 - 33
    Cited by:  Papers (49)  |  Patents (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (224 KB) | HTML iconHTML

    This paper presents the rational for and an outline of the design of a time-triggered (TT) Ethernet that unifies real-time and non-real-time traffic into a single coherent communication architecture. TT Ethernet is intended to support all types of applications, from simple data acquisition systems, to multimedia systems up to the most demanding safety-critical real-time control systems which requi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • RMMC programming model and support execution engine in the TMO programming scheme

    Publication Year: 2005, Page(s):34 - 43
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (384 KB) | HTML iconHTML

    While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a multicast support mechanism has been recognized in recent years as an attractive supplement, if not a favored approach, in many applications. One highly promising concrete formulation of a multicast mechanism and an associate... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mackinac: making HotSpot™ real-time

    Publication Year: 2005, Page(s):45 - 54
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (296 KB) | HTML iconHTML

    The Real-Time Specification for Java™ (RTSJ) is an API specification that allows developers to write real-time applications using the Java programming language. Project Mackinac is the code name of Sun Microsystems' RTSJ development effort. This paper reviews the main requirements from the RTSJ itself, presents additional requirements defined by the Mackinac implementation team, explains var... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On recent advances in time/utility function real-time scheduling and resource management

    Publication Year: 2005, Page(s):55 - 60
    Cited by:  Papers (22)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (144 KB) | HTML iconHTML

    We argue that the key underpinning of the current state-of-the real-time practice - the priority artifact - and that of the current state-of-the real-time art - deadline-based timeliness optimality - are entirely inadequate for specifying timeliness objectives, for reasoning about timeliness behavior, and for performing resource management that can dependably satisfy timeliness objectives in many ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-based integration of reusable component-based avionics systems - a case study

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

    A flight-tested product line open system software architecture developed under the Boeing Bold Stroke initiative has been previously described and presented (DC. Sharp, 2001). This architecture enables a reusable component-based development process for avionics systems to achieve product goals of improved affordability, quality, and system timeliness. For large-scale systems, one very challenging ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Revisiting COTS middleware for DRE systems

    Publication Year: 2005, Page(s):72 - 79
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (176 KB) | HTML iconHTML

    Distributed real-time embedded systems (DRE) increasingly rely on COTS middleware to meet their distribution needs. Yet, there is a technology gap between the design of COTS middleware and the high-integrity constraints of real-time engineering. This puts a limit on the adoption of middleware by system families such as space or avionics. In this paper, we present our current work on the "schizophr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Self-tuning planned actions time to make real-time SOAP real

    Publication Year: 2005, Page(s):80 - 89
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (192 KB) | HTML iconHTML

    This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resources needed by applications in a heterogeneous distributed environment. The paper introduces a stochastic quality sampling driven scheduler and a rendezvous mechanism for matching pre-planned activities with actual payloa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architectural assessment of embedded systems using aspect-oriented programming principles

    Publication Year: 2005, Page(s):90 - 93
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (112 KB) | HTML iconHTML

    Although early and thorough assessment of requirements prior to design is a beneficial goal, our current experience in assessing embedded, real-time architectures is that such an approach is rarely completed satisfactorily. Given this situation, the Realtime Embedded Architecture-Centric Testbed (REACT) was developed to assess contractor-developed, object-oriented software architectures during the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formalization and analysis of dataflow in object-oriented design models

    Publication Year: 2005, Page(s):95 - 105
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (280 KB) | HTML iconHTML

    In the upstream phase of object-oriented development, we usually model a target system from multiple points of view. A dataflow view has been recognized as one of the most important views in software engineering. We need to relate dataflow models to OO models and check consistency between them as it is still important even if we adopt object-oriented approach. In this paper, we propose a method to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach for designing highly adaptable process-control systems

    Publication Year: 2005, Page(s):106 - 113
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (168 KB) | HTML iconHTML

    Process-control systems usually deal with changeable environments so that high adaptability of these systems is required. After a process-control system has been implemented and deployed, it is not an easy task to adapt the system to satisfy new requirements. Considering this problem, we propose the use of relational program architectures to design process-control systems for high adaptability. Wi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A system architecture for real-time imaging of nano-scale viruses using remote AFM

    Publication Year: 2005, Page(s):114 - 120
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2552 KB) | HTML iconHTML

    Recent advances in telepathology, telemicroscopy, and telemedicine have opened new avenues for collaboration in medical care and scientific research. Such technology allows remote scientists and physicians to visualize and investigate biological samples in real-time. Imaging of biological specimens requires micro and even nano-scale resolution for which atomic force microscope (AFM) provides unpre... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the adequacy of UML-RT for performance validation of an SDH telecommunication system

    Publication Year: 2005, Page(s):121 - 124
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (90 KB) | HTML iconHTML

    This paper illustrates an industrial application of a performance validation methodology, which integrates software and resource models in a UML-RT development environment. The methodology is successfully applied on a synchronous digital hierarchy (SDH) telecommunication system modeled and simulated using the Rose Real Time toolset. The case study demonstrates the validity of the methodology, and ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented platform-based design process for embedded real-time systems

    Publication Year: 2005, Page(s):125 - 128
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (184 KB) | HTML iconHTML

    The growing complexity of today's embedded real-time systems demands new methods and tools in order to manage the problems of design, analysis, integration and validation of complex systems. This paper describes an object-oriented platform-based design process for real-time embedded systems. The proposed approach promotes a smooth transition from high-level UML specification to implementation, whi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Secure Web services for low-cost devices

    Publication Year: 2005, Page(s):130 - 139
    Cited by:  Papers (3)  |  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (192 KB) | HTML iconHTML

    This paper describes how to use XML Web services and public key cryptography on small devices in consumer settings to achieve a high level of interoperation and security. This is done while maintaining the strict performance requirements that are expected from low-cost devices operating with limited energy and other resources. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time GC in JeRTy™VM using the return-barrier method

    Publication Year: 2005, Page(s):140 - 148
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (176 KB) | HTML iconHTML

    Runtime systems for applications written in certain languages such as Java™ and Lisp usually have a garbage collection (GC) feature to make efficient use of memory. With this feature, the system, before running out of memory space, automatically reclaims unnecessary fragments of memory at one burst and recycles them for use by applications. In conventional implementations, however, the syste... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System recovery through dynamic regeneration of workflow specification

    Publication Year: 2005, Page(s):149 - 156
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (320 KB) | HTML iconHTML

    Distributed software systems are the basis for innovative applications (e.g., pervasive computing, telecommunication services, and grid utility services). The key for achieving survivable and maintainable distributed systems is agility because otherwise the non-deterministic nature of distribution would leave the system uncontrollable. Survivability is defined as the capability of a service to ful... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dependable real-time data mining

    Publication Year: 2005, Page(s):158 - 165
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (120 KB) | HTML iconHTML

    In this paper we discuss the need for real-time data mining for many applications in government and industry and describe resulting research issues. We also discuss dependability issues including incorporating security, integrity, timeliness and fault tolerance into data mining. Several different data mining outcomes are described with regard to their implementation in a real-time environment. The... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Code generation from hybrid systems models for distributed embedded systems

    Publication Year: 2005, Page(s):166 - 173
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (328 KB) | HTML iconHTML

    Code generation from hybrid system models is a promising approach to producing reliable embedded systems. This approach presents new challenges as the precise semantics of the model are hard to capture in the code. A framework for generating code was introduced for single threaded/processor environments. We extend it by considering code generation for distributed environments. We also define crite... View full abstract»

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