Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems

20-20 Nov. 1999

Filter Results

Displaying Results 1 - 22 of 22
  • Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems

    Publication Year: 1999
    Request permission for commercial reuse | PDF file iconPDF (159 KB)
    Freely Available from IEEE
  • Index of authors

    Publication Year: 1999, Page(s): 155
    Request permission for commercial reuse | PDF file iconPDF (4 KB)
    Freely Available from IEEE
  • Process algebraic approach to the parametric analysis of object scheduling in real-time systems

    Publication Year: 1999, Page(s):131 - 138
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (144 KB)

    Describes an approach to the specification and analysis of scheduling problems of real-time systems. The method is based on ACSR-VP (Algebra of Communicating Shared Resources with Value Passing), which is an extension of ACSR, a real-time process algebra, with value-passing capabilities and parameterized processes. A scheduling problem is described in ACSR-VP terms with unknown parameters. H.-H. K... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards language support for component-oriented real-time programming

    Publication Year: 1999, Page(s):125 - 129
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (76 KB)

    Component-oriented programming promises to finally make the vision of pervasive software components a reality. In the area of dependable real-time systems, the benefits of increased reuse, reliability and efficiency make component-oriented programming especially attractive. As part of the Lagoona project, we are investigating how component-oriented programming can be supported at the level of prog... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Protocol for groups of pseudo-active replicated objects

    Publication Year: 1999, Page(s):35 - 41
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (184 KB)

    Distributed applications are realized by the cooperation of multiple objects based on client-server style communication. Server objects are replicated on multiple computers to achieve fault tolerance. In active replication, all the replicated server objects (replicas) receive the same requests in the same order from the client objects, invoke the same operations (methods) and send back responses. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An experiment with adaptive fault tolerance in highly-constrained systems

    Publication Year: 1999, Page(s):119 - 124
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (84 KB)

    Highly resource-constrained dependable real-time systems have a very limited number of resources which have to be managed dynamically throughout their lives. These systems also require self-contained fault tolerance capabilities while operating under dynamic environments. Varying environmental conditions, a dynamic application profile and severe constraints in resource availability necessitates a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying a scalable CORBA event service to large-scale distributed interactive simulations

    Publication Year: 1999, Page(s):67 - 74
    Cited by:  Papers (9)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (176 KB)

    Next-generation distributed interactive simulations (DISs) will have stringent quality of service (QoS) requirements for throughput, latency and scalability, as well as requirements for a flexible communication infrastructure to reduce software lifecycle costs. The CORBA event service provides a flexible model for asynchronous communication among distributed and collocated objects. However, the st... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards automatic synthesis of QoS preserving implementations from object-oriented design models

    Publication Year: 1999, Page(s):93 - 99
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (48 KB)

    The translation of object-oriented design models into implementations requires a number of decisions to be made before the code can be generated. Besides choosing the target platform, these decisions also include strategies for multi-tasking and scheduling, the selection of scheduling attributes, etc. Such decisions clearly impact the QoS properties of the implemented system. In this paper, we add... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A database approach to testing and evaluating of object-oriented programs

    Publication Year: 1999, Page(s):19 - 26
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (120 KB)

    Our research in the past has been focused on the use of database/knowledge base technologies to automate software testing tasks in order to provide a more cost-effective approach to managing software faults. Our recent interest is to build a knowledge-based testing and evaluation (T&E) environment such that tests, faults and diagnoses associated with a program at different levels of abstractio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-based precedency of messages in object-based systems

    Publication Year: 1999, Page(s):141 - 147
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (148 KB)

    Distributed applications are realized by the cooperation of multiple objects. The state of an object depends on the order in which request and response messages are delivered. In this paper, we define an object-based precedence relation of messages based on a conflicting relation among requests in synchronous, asynchronous and one-way nested invocations of requests. Only the messages to be ordered... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Transparent object replication: a formal model

    Publication Year: 1999, Page(s):43 - 49
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (104 KB)

    Presents a formal object model in which the replication of components and recovery from crash failures are transparent. The model is based on concurrently executing objects that interact through a shared data space. We formally define the model by a denotational semantics in which the possible behaviours of an object are defined by a corresponding set of state transition traces. Using the semantic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dependable objects for databases, middleware and methodologies: a position paper

    Publication Year: 1999, Page(s):75 - 78
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (108 KB)

    Describes work that needs to be done to integrate the features of security, fault tolerance and real-time computing into object-oriented technology to produce “dependable objects”. This dependable technology can be applied in the areas of databases, middleware (including object request brokers) and object-based design and analysis methodologies. The accomplishments to date of various g... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A CORBA service enabling programmer-friendly object-oriented real-time distributed computing

    Publication Year: 1999, Page(s):101 - 107
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (232 KB)

    The TMO (time-triggered message-triggered object) structuring scheme has been established to remove the severe limitations of conventional object structuring techniques in developing real-time distributed computing (RTdC) applications. To facilitate the construction of TMO-structured RTdC applications consisting of CORBA-compliant TMO components, a middleware named TMO Execution Support (TMOES) ha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Batching earliest deadline first scheduling

    Publication Year: 1999, Page(s):29 - 34
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (32 KB)

    Investigates the trade-off in the dynamic scheduling of real-time tasks, between the frequency at which the scheduling algorithm is invoked, the size of the task set to which the scheduling (prioritization) policy is applied at every invocation, and the quality of the resulting schedules in terms of deadline compliance. We identify two classes of algorithms, one of which forms a batch of arrived t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements specification of an automotive system with hybrid sequence charts

    Publication Year: 1999, Page(s):149 - 151
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (32 KB)

    Outlines the key ideas behind hybrid sequence charts (HySCs), along with an example system taken from the automotive industry. HySCs are a visual description technique for communication in hybrid systems, inspired by the well-known message sequence charts syntax. However, they have a completely different semantic model that is well-suited to the application domain of hybrid systems. As a modelling... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software testing of the behavioral aspects of objects

    Publication Year: 1999, Page(s):51 - 55
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (40 KB)

    Considerable work has previously been done on testing the static aspects of object-oriented systems. This includes both unit testing of individual objects as well as integration testing, which tests whether the static relationships between objects (such as inheritance and aggregation) have been properly implemented. Little work has been done on testing the dynamic aspects beyond testing individual... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On framing object relationships to improve QoS in distributed systems

    Publication Year: 1999, Page(s):81 - 85
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (40 KB)

    There has been a great deal of confusion about building referential, containment and other relationships into object-oriented distributed systems built according to the object invocation model. While real-time object request brokers (ORBs) have come into the marketplace, lagging behind is the craft of building distributed systems that can have predictable behavior while allowing large-scale object... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • General framework for fault tolerance from ISO/ITU Reference Model for Open Distributed Processing (RM-ODP)

    Publication Year: 1999, Page(s):111 - 118
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (56 KB)

    The ISO Reference Model for Open Distributed Processing (RM-ODP) is a software engineering enabler for the software architecture of distributed systems. It addresses the non-functional properties of distributed systems in terms of a framework of concepts, structuring rules, semantics and mechanisms. One such property is fault tolerance (FT). This paper provides a view of how RM-ODP addresses the F... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a real-time agent architecture-a whitepaper

    Publication Year: 1999, Page(s):59 - 64
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (44 KB)

    Applications such as military training simulations and electronic commerce can benefit from the flexible and responsive nature of multi-agent systems. These applications have inherent timing constraints on the operations and interactions that the agents might perform. This paper presents a real-time agent architecture in which agents communicate, cooperate, coordinate and negotiate to meet the goa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • High-level Integrated Design Environment for dependability (HIDE)

    Publication Year: 1999, Page(s):87 - 92
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (288 KB)

    For most systems, especially dependable real-time systems for critical applications, an effective design process requires an early validation of the concepts and architectural choices, without wasting time and resources prior of checking whether the system fulfils its objectives or needs some re-design. Although a thorough system specification surely increases the level of confidence that can be p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the coordination of autonomous systems

    Publication Year: 1999, Page(s):5 - 9
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (36 KB)

    There is a general trend in designing distributed control systems to give an increasing amount of autonomy to the individual nodes of such systems. Two interrelated system layers must be considered when autonomous systems have to be coordinated under real-time constraints: the distributed programming paradigm and the communication layer. We analyze current trends and options, and give an approach ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Steering of real-time systems based on monitoring and checking

    Publication Year: 1999, Page(s):11 - 18
    Cited by:  Papers (1)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (216 KB)

    Presents an approach to enhance the fault tolerance of real-time systems through steering. Steering means external alteration of the system's behavior in response to a deviation from requirements. The steering technique is embedded into a framework of monitoring and checking (MaC). MaC allows the users to perform runtime analysis of the current execution of a system with respect to formally specif... View full abstract»

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