Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems

June 5 1997-Feb. 7 1997

Filter Results

Displaying Results 1 - 25 of 47
  • Proceedings- Third International Workshop on Object-Oriented Real-Time Dependable Systems

    Publication Year: 1997, Page(s):III - VIII
    Request permission for commercial reuse | PDF file iconPDF (250 KB)
    Freely Available from IEEE
  • Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems

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

    Publication Year: 1997, Page(s):355 - 356
    Request permission for commercial reuse | PDF file iconPDF (91 KB)
    Freely Available from IEEE
  • Probabilistic analysis of real-time dependable systems

    Publication Year: 1997, Page(s):306 - 313
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (628 KB)

    The design of real-time dependable systems is dominated by the need to meet real-time deadlines. The authors present a methodology for analyzing durations an real-time dependable systems and for estimating the probabilities that real-time deadlines will be met. Probability density functions for the durations of composite operations are obtained by convolving the probability density functions for t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach for adaptive fault-tolerance in object-oriented open distributed systems

    Publication Year: 1997, Page(s):298 - 305
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (920 KB)

    Effective fault-handling in emerging complex distributed applications requires the ability to dynamically adapt resource allocation and fault-tolerance policies in response to possible changes in environment, application requirements, and available resources. The paper reports an effort on design and implementation of an adaptive fault-tolerance middleware (AFTM) using a CORBA-compliant object req... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On-board preventive maintenance: analysis of effectiveness and optimal duty period

    Publication Year: 1997, Page(s):40 - 47
    Cited by:  Papers (23)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (620 KB)

    To maximize the reliability of a spacecraft which performs a long-life (over 10-year) deep-space mission (to an outer planet), a fault-tolerant environment incorporating on-board preventive maintenance is highly desirable. In this paper, we present an initial model-based study which identifies the key factors for the reliability gained from on-board preventive maintenance and demonstrates the capa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented fault-tolerance framework based on specialization techniques

    Publication Year: 1997, Page(s):291 - 297
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (600 KB)

    Many fault-tolerant systems have been designed for specific fault tolerance requirements and application domains. The author develops a fault tolerance framework that can be easily customized for various system specifications and requirements. The framework is constructed in an object-oriented paradigm. An application program can be plugged in the framework and a desired configuration can be speci... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Time-bounded cooperative recovery with the distributed real-time conversation scheme

    Publication Year: 1997, Page(s):32 - 39
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (712 KB)

    Of several schemes proposed to handle the propagation of erroneous information among interacting processes in distributed and parallel computer systems, the distributed real-time conversation (DRC) scheme stands out in its fast forward recovery capability which is essential in safety-critical hard-real-time applications. However, previous formulations of the scheme remained at relatively abstract ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time dependable decisions in timed asynchronous distributed systems

    Publication Year: 1997, Page(s):283 - 290
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (708 KB)

    Allowing a set of objects to make a consistent decision, according to the values they propose, is a fundamental problem of distributed systems. When the system is reliable and synchronous the problem is simple. In the context of unreliable asynchronous systems that have to meet real-time constraints, the problem is far from trivial. A negative result stipulates that it is impossible to design a co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time scheduling for synchronized presentation of multimedia information in distributed multimedia systems

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

    Distributed, networked multimedia information systems are expected to play a major role in the information age of today. Presentation of multimedia information requires temporal synchronization within and among different objects. Network heterogeneity, resource constraints, and random traffic characteristics necessitate intelligent mechanisms for synchronized presentation of multimedia data in dis... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for adding time into formal object models

    Publication Year: 1997, Page(s):26 - 31
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (356 KB)

    Real-time safety-critical systems have both functional and timing requirements. Producing the correct result at the right time is the goal of such systems. The creation of a precise specification of a real-time system is essential for the development of the system. This paper presents a framework that extends the formal specification language Object-Z to incorporate the notion of timing behaviour ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time behaviour in a heterogeneous environment?

    Publication Year: 1997, Page(s):275 - 281
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (536 KB)

    Because of the availability of cheap network technology and computing power, people and business are becoming increasingly dependent on computing systems. Timeliness and correctness, therefore, become the most urgently requested system properties, often subsumed in the notion of quality of service. Real-time computing is becoming an enabling technology for many important applications such as flexi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A method for real-time scheduling problems

    Publication Year: 1997, Page(s):172 - 176
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (436 KB)

    Many real-time scheduling problems have been proven to be NP-hard. Recently (1996), we proposed a randomized optimization framework for efficiently solving such NP-hard problems. The proposed method, called the nested partitions (NP) method, is proved to converge to global optimal solutions and it is also highly matched to emerging massively parallel processing capabilities. In particular, we appl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Diversity in the software development process

    Publication Year: 1997, Page(s):129 - 136
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (736 KB)

    Various methods have been proposed for building fault-tolerant software in an effort to provide substantial improvements in software reliability for critical applications, such as flight control, air-traffic control, patient monitoring or power plant monitoring. The two best-known methods of building fault-tolerant software are n-version programming and recovery blocks. To tolerate faults, both of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented shadow generation algorithm for real-time application

    Publication Year: 1997, Page(s):17 - 24
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (656 KB)

    Presents a fast shadow generation algorithm for a large number of convex polyhedra (objects) in a 3D scene based on the concept of characteristic views (CVs). The concept of CVs is that the infinite possible views of a 3D polyhedron can be grouped into a finite number of classes which have the same visible polygons from some reference points (i.e. viewpoints or point light sources). The space can ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Separation of concerns: functionality vs. quality of service

    Publication Year: 1997, Page(s):272 - 274
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (264 KB)

    The development of complex future applications will depend on the separation of concerns between the functional behavior of the application, probably represented by an object-oriented program, and the resource management of the application. In particular, effective fault tolerance will depend on hiding the replication of objects and their distribution to multiple processors View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Sequence specification for concurrent object-oriented applications

    Publication Year: 1997, Page(s):163 - 170
    Cited by:  Papers (3)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (760 KB)

    Modeling synchronization among threads is important for the specification, design and testing of concurrent object-oriented applications such as those written in Java. This paper proposes SMtSS (Synchronized Method Sequence Specification)-a mechanism for specifying synchronization requirements among multiple threads sharing a common object. SMtSS identifies two kinds of synchronization among the s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Developing a real-time metaobject protocol

    Publication Year: 1997, Page(s):323 - 330
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (772 KB)

    The paper first introduces the concepts of reflection and its use for separating functional and non-functional concerns within a system. The authors then explore the structure and behaviour required of a real-time metaobject protocol and develop a MOP based on scheduling groups. Finally, they present examples of using reflection in real-time systems for the dynamic scheduling of tasks via best-eff... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Deadlocks in fully uncoordinated checkpointing rollback recovery systems

    Publication Year: 1997, Page(s):190 - 197
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (672 KB)

    Synchronization issues in checkpointing and rollback recovery schemes have been dealt with in depth over the past few years. The authors investigate the possibility of deadlocks in a fully uncoordinated checkpointing system. A protocol is first illustrated for a fully uncoordinated checkpointing scheme. Rollback propagation analysis (RPA) is performed using a stack based algorithm. The probability... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integration of time in canonical testers for real-time systems

    Publication Year: 1997, Page(s):207 - 214
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (476 KB)

    Testing a real-time system is not an easy thing, because the notion of time is not under control. In this paper, we present different formal models of specification that introduce time. We use one of these, the extended-time input-output state machine, to develop an algorithm to create a canonical tester which is used afterwards for producing test sequences with time View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-based checkpoints in distributed systems

    Publication Year: 1997, Page(s):9 - 16
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (564 KB)

    In distributed applications, multiple objects are cooperated to achieve some objective. The objects may suffer from certain kinds of faults. If some object o is faulty, it is rolled back to the checkpoint and objects which have received messages from o are also required to be rolled back. In this paper, we define influential messages whose receivers are required to be rolled back if the senders ar... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object technology for the integration of the infrastructure, data manager, and tracker for command and control applications

    Publication Year: 1997, Page(s):117 - 128
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (892 KB)

    Mitre's evolvable real-time C3 (command, control and communications) initiative attempts to develop an approach that would enable current real-time systems to evolve into the systems of the future. Bensley et al. (1996) described the design and proof-of-concept object-oriented implementation of the infrastructure and data manager. In this paper, we describe the object technology-based integration ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for location transparency in distributed systems

    Publication Year: 1997, Page(s):66 - 73
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (652 KB)

    A common issue of distributed software systems is the allocation of the logical software components of a system to physical nodes. In particular there is often a need for “location transparency”, that is, the ability to map a single specification to a number of different physical environments without requiring changes to the code. We describe a formal framework that can be used to achi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Taxonomy for QoS specifications

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

    It is becoming increasingly commonplace for multiple applications with different quality of service (QoS) requirements to share the resources of a distributed system. Within this environment, the resource management algorithms must take into account the QoS desired by applications and the ability of the system resources to provide it. We present a taxonomy for specifying QoS for the different comp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying object-oriented concepts to the development of real-time industrial automation systems

    Publication Year: 1997, Page(s):264 - 270
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (428 KB)

    The paper presents an object-oriented approach to the development of real-time industrial automation applications. The approach covers all developments phases, from requirements engineering, through hardware and software design, to implementation. The paper discusses strategies for structuring the software and hardware components of industrial automation applications using real-time active objects... View full abstract»

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