By Topic

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
  • 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.
  • Toward optimal assignment of human functions in complex defense systems via uniform object modeling and real-time simulation

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

    The view of a complex real-time computer-based application system as one in which not only automated machine components are embedded but also human servers, especially those who perform time-sensitive tasks in close interaction with machine components, are “embedded” as components, is adopted. Efforts for optimal scheduling of executing components can then be applied not only to the ma... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 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.
  • 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.
  • 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.
  • RTR model: an approach for dealing with real-time programming in open distributed systems

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

    Presents the RTR (real-time reflective) model, which allows a flexible programming of real-time applications in open distributed systems. The RTR model approach is based on object-orientation and reflective computation. Using this approach, real-time constraints can be easily expressed and implemented. Interoperability among distributed heterogeneous components is provided by adapting the RTR mode... 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.
  • 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 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.
  • Automatic generation of tests for timing constraints from requirements

    Publication Year: 1997, Page(s):199 - 206
    Cited by:  Papers (30)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (768 KB)

    The authors present a framework for testing timing constraints of real-time systems. The tests are automatically derived from specifications of minimum and maximum allowable delays between input/output events in the execution of a system. The test derivation scheme uses a graphical specification formalism for timing constraints, and the real-time process algebra Algebra of Communicating Shared Res... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating time-aware CORBA objects into O-O real-time computations

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

    Future real time applications are often closely integrated with the surrounding IT infrastructure and often they have to interact with external services that have CORBA interfaces. In such a scenario, static run time prediction for scheduling and static guarantees of timing assertions is impossible since many nonpredictable interaction elements influence execution times. To include CORBA objects i... 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.
  • 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.
  • 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.
  • On-board preventive maintenance: analysis of effectiveness and optimal duty period

    Publication Year: 1997, Page(s):40 - 47
    Cited by:  Papers (22)
    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.
  • 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.
  • 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.
  • 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.
  • An approach for adaptive fault-tolerance in object-oriented open distributed systems

    Publication Year: 1997, Page(s):298 - 305
    Cited by:  Papers (11)
    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.
  • 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.
  • Architecture of an autonomous distributed system and verification of implementation as a logistics information management system

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

    A host based centralized logistics information management system collects information pertaining to all product inventory, and based on this information, issues order, inquiry and shipping instructions. In the client/server paradigm, these systems are not merely downsized; rather, they are transformed into autonomous distributed systems at each plant in order to satisfy demands for greater utiliza... 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.