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
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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 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.
  • 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.
  • 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.
  • An approach to safety verification of object-oriented design specification for an elevator control system

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

    Several methods have been proposed for verifying the safety of software. We have also proposed a new method to verify both safety and correctness of object-oriented design specifications (Proc. 6th ISSRE, pp.78-83, 1995). In that method, we assumed that, in the design specification, any event results in the same action regardless of what state the system is originally in. In this paper, we relax t... 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.
  • 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.
  • A configuration approach for distributed object-oriented system customization

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

    Distributed application systems are built to meet functional and non-functional requirements (such as availability, reliability, security, real-time). This can be obtained constructing an application specific operating system to support the non-functional requirements. Nowadays, an attractive approach is to extend a standard support environment in order to include the extra mechanisms required. 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.