By Topic

Object-Oriented Real-Time Dependable Systems,1996. Proceedings of WORDS '96., Second Workshop on

1-2 Feb. 1996

Filter Results

Displaying Results 1 - 25 of 36
  • Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (181 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (61 KB)
    Freely Available from IEEE
  • Paths: programming with system resources in support of real-time distributed applications

    Publication Year: 1996, Page(s):36 - 45
    Cited by:  Papers (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (860 KB)

    Real-time distributed applications often rely upon underlying communication services to provide different types of guarantees, such as forward progress and bounded delivery time. Providing such guarantees requires the careful management of several resources, including memory, CPU and network bandwidth. This paper describes how our Object-Oriented Communication Subsystem, CORDS, was enhanced to man... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integration of formal verification with real-time design

    Publication Year: 1996, Page(s):128 - 136
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (920 KB)

    As computers play greater roles in critical functions of complex systems, an increased reliance on formal methods for verification of critical components will be required. However, formal methods are often criticized regarding their intractability to large problems domains and lack of mechanical support. The paper reports on preliminary research aimed at integrating formal verification techniques ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On real-time extensions to object request brokers: a panel position paper

    Publication Year: 1996, Page(s):182 - 185
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (340 KB)

    The paper describes some of the issues that need to be investigated in order to develop real time data processing extensions to CORBA. In particular, issues on extensions to the object model, ORB, and IDL are discussed. Finally a discussion of some real time services and applications hosted on real time ORBs are provided View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Schedulability and safety analysis in the graphical communicating shared resources

    Publication Year: 1996, Page(s):25 - 33
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (812 KB)

    Graphical Communicating Shared Resources is a formal language for the specification and analysis of real-time systems, including their functional, temporal and resource requirements. GCSR supports the explicit representation of system resources and priorities to arbitrate resource contentions. These features allow a designer to examine resource inherent constraints and to experiment with various r... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Failure notifications: a useful extension to the object programming model

    Publication Year: 1996
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (84 KB)

    Object oriented system design and development methods have proven useful in building large and complex systems. Since real time, dependable systems tend to be large and complex systems it is natural to use object oriented methods for building such systems. Unfortunately, the object oriented programming paradigm and the languages that support it were not designed with real time or fault tolerant sy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A simulation study of real-time MPEG traffic using forward error control scheme

    Publication Year: 1996, Page(s):232 - 240
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (660 KB)

    MPEG coding dramatically reduces the amount of data required for video. On the other hand, its bursty and cyclic nature creates a challenge for transmission in ATM networks. Various methods have been proposed to transmit MPEG streams, such as priority coding, dynamic bandwidth allocation and smoothing. This paper suggests another scheme to solve the problem. The original MPEG streams are split int... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Position paper: resource management for complex distributed systems

    Publication Year: 1996, Page(s):113 - 115
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (248 KB)

    Complex distributed systems require resource management capabilities that can allocate resources to applications, monitor and control the use of resources, and reallocate resources in response to anomalies. To utilize resources efficiently and meet application and system wide requirements, the resource management system must consider resource availability, control policies, and application's quali... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time programming in the concurrent object-oriented language TAO

    Publication Year: 1996, Page(s):179 - 181
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (192 KB)

    The paper introduces the concurrent object oriented language TAO and then considers how real time support can be added. The paper describes how concurrent objects can be mapped to sporadic and periodic tasks through inheritance within the concurrent object oriented language TAO View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real time formal specification using VDM++

    Publication Year: 1996, Page(s):17 - 24
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (660 KB)

    VDM++ is a formal Object Oriented Specification language, derived from VDM. It extends VDM by providing object-orientation and concurrency features. The use of the language is supported by design guidelines and a toolset. The latter offers graphical representations, syntactic and semantic checking, pretty printing and code generation. In this paper we address real-time extensions as bei... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Operating system structure model for real-time systems

    Publication Year: 1996, Page(s):120 - 124
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (332 KB)

    For real time computing, an operating system is one of the most important components to realize the required computing functions with time critical conditions. OS Route MIX is proposed for evaluating OS performance. By applying this performance measure, the practical OS designs are shown. To improve OS performance, the “three layers structure model” is defined, to add an OS process as ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fault-tolerant real-time synchronous collaboration environment using WWW

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

    Drastic advancements in the computer industry have brought about today's complicated and various computer technologies. In particular, two can be noticed with respect to the area of the computing environment. One is the technology which has enabled video-conferencing, which handles multimedia data on the Mbone, and the other is the World Wide Web (WWW), which provides an environment in which to ea... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • QoS issues for wide-area CORBA-based object systems

    Publication Year: 1996, Page(s):110 - 112
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (252 KB)

    CORBA is a distributed object technology which shows great promise in simplifying the task of programming applications which must operate over a wide area network (WAN). However, WAN environments are dynamic and hostile, making applications which are distributed over a WAN much more difficult to develop and maintain than those only distributed across a local area network (LAN). Quality of service ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System development based on a real-time object model

    Publication Year: 1996, Page(s):152 - 159
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (672 KB)

    The paper presents an approach to developing real time dependable systems (RDSs) based on a real time object model. A process to develop an RDS is divided into two phases (specification phase and construction phase), and a real time object model, named RTO.e, plays the role of a connector as well as that of a fire wall between two phases. RTO.e, an extension of the RTO.k model proposed earlier by ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CORBA technology for cross-domain interoperability in embedded military systems, and issues in its use

    Publication Year: 1996, Page(s):173 - 178
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (504 KB)

    Object technology, particularly the Common Object Request Broker (CORBA), offers several benefits for embedded military systems including support for application diversity, interface management, technology insertion, system evolution, distribution, reconfiguration, and open standards, as well as mainstream commercial availability. These systems place requirements on the technology including suppor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A logic-based requirements language for the specification and analysis of real-time systems

    Publication Year: 1996, Page(s):8 - 16
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (792 KB)

    The applications of real-time systems have dramatically increased over recent years. Requirements for real-time systems need to specify timing constraints. In this paper, we augment the FRORL requirements specification language with constructs specifically geared towards capturing requirements of real-time systems. We give meaning to these constructs through temporal logic. The non-functional aspe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented method for real-time systems based on timed automaton

    Publication Year: 1996, Page(s):210 - 217
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (560 KB)

    It is useful to introduce object-orientation into an analysis and design methodology for real-time systems. We have proposed such an object-oriented methodology for real-time systems, which is integrated with a timed automaton, but, using the proposed method, the verification cost is very large. In this paper, we focus on the verification of a dynamic model and propose two effective verification m... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ada95 object-oriented and real-time support for development of software fault tolerance reusable components

    Publication Year: 1996, Page(s):93 - 100
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (600 KB)

    The paper reports our experience on exploiting the object oriented and real time features of Ada95 to support the development of a reusable software fault tolerance testbed. The testbed is a hardware and software platform for the creation of software fault tolerance systems from reusable components and provides a fault injection environment for evaluating their effectiveness. The reusable componen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A client-server approach to DCE inter-operability

    Publication Year: 1996, Page(s):46 - 53
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (708 KB)

    Advances in distributed computing technology have lead to the development of numerous Distributed Computing Environments (DCEs). Most support a common set of services necessary for implementing distributed applications, while also featuring some unique properties or additional services which distinguish them from the rest. Each product is well suited to serve the needs of application developers wi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification and analysis of real-time systems in Statecharts

    Publication Year: 1996, Page(s):137 - 143
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (572 KB)

    Increased use of software in controlling safety critical systems produced an urgent need to specify and analyze behavior of these systems systematically and rigorously. Statecharts formalism, a popular extension of conventional finite state machines, has been successfully used for specifying requirements of many reactive systems including the TCAS II, an aircraft collision avoidance system. Howeve... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using object frameworks to enable real-time and dependability in a modular operating system

    Publication Year: 1996, Page(s):186 - 190
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (380 KB)

    The Open Software Foundation (OSF) Research Institute (RI) has developed a multiserver, microkernel based operating system that provides performance competitive with commercial systems and enables reliable, distributed real time applications. Use of object frameworks within the operating system allows configuration choices including desktop workstation systems and real time dependable systems from... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented programming of complex fault-tolerant real-time systems

    Publication Year: 1996, Page(s):116 - 119
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (300 KB)

    The challenge is to build, on top of standard operating systems, complex fault tolerant real time systems that operate fast enough to meet real time deadlines even under fault conditions, using an approach that simplifies the application programming. The Realize system, being developed at the University of California, Santa Barbara, aims to meet that challenge View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented software development with fault tolerance for distributed real-time systems

    Publication Year: 1996, Page(s):160 - 167
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (556 KB)

    An object oriented application software development approach with fault tolerance for distributed real time systems is presented. This approach is based on the Parallel Object Oriented Functional computation model (PROOF) with real time and fault tolerance features. The real time constraints are satisfied by using multi version methods, which are based on virtual method definitions with different ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design and optimization of complex real-time dependable systems

    Publication Year: 1996, Page(s):218 - 224
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (468 KB)

    Proposes the RINDO (Rapid Iterative Nested Design Optimization) algorithm for optimizing multi-criteria complex systems. We first use a utility function to formulate multi-criteria stochastic optimization problems. An ordinal optimization algorithm is then applied to the utility function for obtaining a set of good solutions. Finally, the gradient surface method is used to search for the optimal s... View full abstract»

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