Scheduled System Maintenance
On Friday, October 20, IEEE Xplore will be unavailable from 9:00 PM-midnight ET. We apologize for the inconvenience.
Notice: There is currently an issue with the citation download feature. Learn more.

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
  • Issues in achieving temporal and semantic coherency in distributed real-time applications

    Publication Year: 1997, Page(s):161 - 162
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (156 KB)

    Modern information-intensive applications require timely access to temporally accurate data. This demands the collection, integration and processing of temporally-coherent data and its display in a “continuous” fashion. When utilizing several pieces of information, each must be fresh relative to the use of that information-and together, they must be relatively consistent. The technique... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Timed-event abstraction and timing constraints in distributed real-time programming

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

    Considers a method for extending programming languages that enables the specification of timing properties. The way time is treated is not language-specific and the extension can therefore be included in many existing programming languages. An essential feature is that it enables the construction of (hard) real-time programs that may be proven correct independently of the properties of the machine... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for real-time object-oriented database models

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

    This paper presents a framework upon which to define real-time object-oriented database characteristics. The framework is defined as a two-dimensional array that deals with temporal, logical and inter-object consistency for transactions and objects, and with how to recover from consistency violations. With this framework, it is possible to identify the needs of different types of real-time applica... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented behaviour modelling for real-time design

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

    The commonly recognised weakness of modern object oriented design and implementation methodologies lies in their superficial treatment of inter object dynamics. The paper addresses the problem of behaviour modelling by suggesting utilisation of the concept of high level Petri nets to model object interactions. The Petri net representation creates an additional access layer of object architecture, ... 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.
  • Formal timing analysis of OMT designs using LIMITS

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

    It is widely known that object-oriented methodologies, in spite of all their virtues, are pretty awkward in verifying quantitative time correctness of the specification, design and implementation of a developed product. This paper discusses some reasons of why object-oriented methods cannot be quite aware of timing problems and how the situation could be improved. The discussion is illustrated wit... 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.
  • 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.
  • Process-oriented development of embedded systems: modeling behavior and dependability

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

    The paper introduces a new paradigm for the development of embedded systems, called process orientation. From the analysis of the problems encountered with state of the art development methods for embedded systems, it becomes obvious that many difficulties are caused by the absence of good behavior models and the resulting intermingling of different design dimensions. It is shown that these proble... 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.
  • 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.
  • Object-based message ordering in group communication

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

    In distributed applications, a group of multiple objects cooperate. Group communication protocols have been discussed, which support the reliable and ordered delivery of messages at the network level. However, only messages to be ordered at the application level are required to be causally delivered. The state of the object depends on the order in which the conflicting requests are computed and th... 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.
  • Value-driven resource assignment in object-oriented real-time dependable systems

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

    The paper deals with object oriented real time dependable systems required to achieve the best usage of the resources, even under adverse circumstances as transient overloads or component failures. Various possible tradeoffs among the different application requirements must be considered to allow a flexible management of system resources. On the basis of a simple formulation of the concept of obje... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling of a highly reliable real-time distributed system using the RTO.k model and the monitor object

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

    The main focus of this paper is the modeling of a highly reliable real-time distributed system using the RTO.k (Real-Time Object) model incorporating the monitor approach. The RTO.k model is used to specify the real-time distributed nature of the system, while the monitor is used to support reliable operations of the system. A monitor is an abstract software component to handle faults occurring du... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A model for a flexible and predictable object-oriented real-time system

    Publication Year: 1997, Page(s):232 - 239
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (764 KB)

    The requirements on real-time systems are changing. Traditionally, reliability and predictability of hard real-time systems in particular were the main requirements. This led to systems that were stand-alone, embedded and static. Future real-time systems, but even current systems, still require reliability and predictability, but also distribution of the real-time system, integration with non-real... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework of secure object system architecture

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

    The paper presents some basic principles for the design of secure object oriented operating systems. The security relies on the control of right to call an object method. Capabilities are used to implement the control scheme. Our capabilities are named to enforce security (capabilities don't have to be kept secret) and provide a per entity controlled propagation scheme. The propagated capabilities... 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.
  • An architecture for a tightly coupled conferencing system

    Publication Year: 1997, Page(s):249 - 255
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (520 KB)

    Describes an architecture for a tightly coupled conferencing system on an asynchronous transfer mode (ATM) network. In order to provide multicast service, we construct a multicast environment using a multicast address resolution server (MARS) and multicast servers (MCSs). The architecture provides conference control services which provide tight coordination of conference membership over the enviro... 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.
  • 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.
  • Object-oriented real time systems modeling and verification

    Publication Year: 1997, Page(s):224 - 231
    Cited by:  Papers (1)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (524 KB)

    An object-oriented real-time systems conceptual modeling approach is described. In this approach, each object is specified by an object type, consisting of supertypes (inheritance), component types (aggregation), attributes, operations, static constraints and timed temporal constraints. An object type specification defines a theory of a type of objects. In particular, the static constraints define... View full abstract»

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