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
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • Multiple invariant system design for fault-tolerant real-time applications

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

    Multiple invariant design technique can be used for writing parallel programs to enhance performance and achieve fault tolerance. Essentially, a system can have multiple invariants, ranging from strong ones to weak ones. After a change in the system state (due to client requests, environmental changes, processor failures, and so on), the system is allowed to converge to a state that satisfies a we... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The DREAM library support for PCD and RTO.k programming in C++

    Publication Year: 1996, Page(s):59 - 68
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1032 KB)

    In order to realize real-time computing in the form of a generalization of non-real-time computing and yet allowing system engineers to confidently produce certifiable RTCS's for safety-critical applications, we have established a real-time object-oriented (OO) structuring approach called the RTO.k object structuring scheme in recent years. Also, a model of an operating system kernel which can sup... 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.
  • 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.
  • 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 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.
  • Implementation of a transparent RPC for distributed object-oriented systems

    Publication Year: 1996, Page(s):54 - 58
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (448 KB)

    In this paper we describe a remote procedure call (RPC) mechanism that is used to implement the object oriented programming language Deal. Deal (Dedos Application Language) is a C++-based language that supports real-time and concurrency and is developed in the context of the Dependable Distributed Operating System (Dedos) project at Eindhoven University of Technology. An essential aspect of the pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-based model for dependable real-time distributed systems

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

    A systematic way to introduce fault-tolerant and time-dependent properties into a complex software system is presented. The approach is based on an extended Petri net model, called the G-Net, enhanced with a deterministic timing scheme. In the timed G-Net (TGN) model, exception handling and time-out mechanisms are used to introduce the fault-tolerant and real-time properties. The basic idea is to ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An analytical approach to change for the design of reusable real-time software

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

    We present an analytical method for incorporating knowledge about change into the design of reusable real time software components. We apply this method to the construction of algorithmic software solutions that minimize the effect of anticipated changes in the solution. The motivation for our research is based on two premises: software solutions that can easily be adapted to changes in the proble... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Position paper: real-time is a critical feature for CORBA, just like everything else

    Publication Year: 1996, Page(s):170 - 172
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (192 KB)

    The author discusses the middleware concept, focusing on CORBA. He defines middleware is a collection of widely portable API's supporting interoperability between applications. He remarks that as one explores more deeply the middleware phenomenon, one finds an even more deeply rooted need than portability that middleware attempts to exploit. Middleware packages, whether based on remote procedure c... View full abstract»

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