By Topic

Object-Oriented Real-time Distributed Computing, 1998. (ISORC 98) Proceedings. 1998 First International Symposium on

Date 20-22 April 1998

Filter Results

Displaying Results 1 - 25 of 61
  • Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)

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

    Publication Year: 1998, Page(s): 485
    Request permission for commercial reuse | PDF file iconPDF (75 KB)
    Freely Available from IEEE
  • Asynchronous protocols to meet real-time constraints: is it really sensible? How to proceed?

    Publication Year: 1998, Page(s):290 - 297
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (108 KB)

    This paper investigates the use of asynchronous protocols to design and build middleware whose aim is to provide run-time support for soft real-time applications. A simple and general framework is described. This framework allows to take into account timeliness constraints of upper layer applications, while using an asynchronous protocol at the underlying level. When a timeliness constraint is abo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experience of responsiveness verification for connection establishment protocols

    Publication Year: 1998, Page(s):383 - 392
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (220 KB)

    The responsiveness verification of a given communication protocol is to check whether the given protocol can recover from any abnormal state to a normal state within a permissible time or not. In order to make practical discussions, we assume that the lower and upper bounds of execution time are given for each message transfer and event. We propose a new responsiveness verification method which ex... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The time-triggered architecture

    Publication Year: 1998, Page(s):22 - 29
    Cited by:  Papers (22)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (116 KB)

    The Time-Triggered Architecture (TTA) is a computer architecture for distributed real-time systems in safety critical applications, such as computer controlled brakes, or computer assisted steering in an automobile. The TTA is a composable architecture for the design of large real-time systems. Its main characteristics are a common notion of time in all subsystems of the architecture and the provi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Responsive computing with CORBA

    Publication Year: 1998, Page(s):73 - 79
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (36 KB)

    The Common Object Request Broker Architecture (CORBA) is a widely-accepted, standardized system integration framework based on distributed object technologies. CORBA is focused on facilitating general computing environments and does not explicitly address the needs of responsive (fault-tolerant, real-time) computing. Therefore, the question remains how to extend today's CORBA implementations for s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real time resource allocation for multimedia object communication

    Publication Year: 1998, Page(s):308 - 316
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (168 KB)

    We propose a dynamic bandwidth management scheme for asynchronous LANs that uses the concept of time division multiple access (TDMA). The scheme is to ensure quality of service (QoS) for multimedia applications. Significant performance improvement is observed through experimental results. In particular, the transmission rates for multimedia hosts improve significantly with low jitter variations in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementation of a customizable fault tolerance framework

    Publication Year: 1998, Page(s):230 - 239
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (212 KB)

    While there has been significant advances in fault tolerance research, the effort has focused on the design of individual fault-tolerant systems or methodologies. Recently, some research has been initiated to develop fault tolerance paradigms that can be used to provide a spectrum of fault tolerance levels. In this paper, we present the design of a fault tolerance framework that can be used to sup... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach to distributed component-based real-time application software development

    Publication Year: 1998, Page(s):275 - 283
    Cited by:  Papers (12)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (144 KB)

    Component-based software development would allow application software to be largely constructed rather than programmed. This approach would dramatically improve the productivity of software development. Although there are many reusable software packages available, the integration of the chosen parts remains a very difficult problem because there are many barriers of integration, including programm... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automating regression testing for real-time software in a distributed environment

    Publication Year: 1998, Page(s):373 - 382
    Cited by:  Papers (1)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (96 KB)

    Many real time systems evolve over time due to new requirements and technology improvements. Each revision requires regression resting to ensure that existing functionality is not affected by such changes. Testing these systems often require specialized hardware and software, and both are expensive. While the overall regression testing process is similar across different organizations, the strateg... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architecture and object model for distributed object-oriented real-time databases

    Publication Year: 1998, Page(s):414 - 424
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (180 KB)

    The confluence of computers, communications, and databases is quickly creating a global virtual database where many applications require real time access to both temporally accurate and multimedia data. This is particularly true in military and intelligence applications, but these required features are needed in many commercial applications as well. We are developing a distributed database, called... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A dependable distribution-transparent remote method invocation model for object-oriented distributed embedded computer systems

    Publication Year: 1998, Page(s):467 - 476
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (172 KB)

    Decreasing hardware costs is permitting the increased use of embedded computers to support complex and sophisticated applications in a variety of products. Many of these applications require computing nodes distributed in different physical locations interconnected by communication networks. The object oriented model with its well known properties that facilitate the design of complex software app... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Object Oriented CHILL debugger

    Publication Year: 1998, Page(s):140 - 141
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (32 KB)

    We present the design and implementation of a debugger for Object-Oriented CHILL that has three object models: module, region and task modes. Besides basic facilities for general debugging, the Object-Oriented CHILL debugger provides facilities for showing information of object types (modes), inheritance, visibility and dynamic bindings. To provide debugging facilities for these object-oriented pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building middleware for real-time dependable distributed services

    Publication Year: 1998, Page(s):162 - 173
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (112 KB)

    We consider a real-time, distributed service to be dependable if it continues to have timely, predictable behavior even in the presence of partial failures. Services with this property are desirable in a host of real-time scenarios, including factory floor automation, medical monitoring equipment, and combat systems. Most distributed services built with contemporary fault-tolerance toolkits are no... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Invocation of real-time objects in a CAN bus-system

    Publication Year: 1998, Page(s):298 - 307
    Cited by:  Papers (7)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (92 KB)

    The paper focuses on method invocation of real-time objects in a CAN-based distributed real-time system. A simple object model is introduced, which allows the convenient modelling of hardware and software components. Related to the object model, two issues are discussed. Firstly, a model is introduced which allows to form and address object groups. This reflects a basic need in a real-time system ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Supporting the analyst when reasoning on requirements specifications for real-time and distributed systems

    Publication Year: 1998, Page(s):215 - 219
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (64 KB)

    Formal methods are being advocated for the design of complex software systems, like real-time and distributed systems: they provide clear semantics and allow (possibly automated) calculations to deduce properties from a system description. In practice, especially for requirements specification languages, formally analysing such descriptions may not be easily achievable. We sketch a toolset for ass... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The navigational aspects of the logical design of user interfaces

    Publication Year: 1998, Page(s):425 - 430
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (360 KB)

    The design of the user interface (UI) involves: a) logical design of the UI; and b) perceptual design of the UI. The logical design of a user interface includes both static or data related and dynamic or navigational aspects. The static aspects were discussed previously (E.J. Chang and T.S. Dillon, 1997). An important part of the static design is the determination of abstract user interface (AUI) ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Objects collection management in multidimensional DBMS data model

    Publication Year: 1998, Page(s):136 - 137
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (128 KB)

    A multidimensional DBMS (MDBMS) data model is a nested relational DBMS (RDBMS) that has been made available since 1970. A multidimensional DBMS data model could model real world problems more naturally, such as one to many parent to children table relationship, variable length record and length field and a rich set of data management functionality. The paper considers collection object type design... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A purpose-oriented access control model for object-based systems

    Publication Year: 1998, Page(s):146 - 147
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (44 KB)

    Distributed applications are modelled in an object-based model like CORBA. Here, the system is a collection of objects. The objects are manipulated only through operations supported by themselves. The purpose-oriented model is proposed where an access rule shows for what each subject s manipulates an object o by an operation t of o so as to keep the information flow legal. The purpose of s to acce... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real time in a TLA-based theory of reactive systems

    Publication Year: 1998, Page(s):186 - 195
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (124 KB)

    A practical theory for operational specification of reactive systems is described. Reasoning on temporal properties is made possible by it already at high levels of abstraction, and rigorous refinement towards implementation is supported. The paper discusses how the underlying logic, execution model, and refinement methods fit together, and how object-orientation, distribution, and real time are s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed object-oriented real-time systems using a hybrid model of Ada 95's built-in distributed capability and emerging real-time CORBA capabilities

    Publication Year: 1998, Page(s):440 - 448
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (52 KB)

    The paper reports on the issues in design and development of object oriented real time distributed systems using Ada 95. First, one of the general distributed real time problems is introduced as it fits the domain within Boeing. Next, prototype solutions to the distributed capabilities are introduced including the new technologies present in Ada 95 through DSA (Distributed Systems Annex-E) and ext... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An admission control for video broadcast systems

    Publication Year: 1998, Page(s):134 - 135
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (56 KB)

    We investigate the problem of guaranteed end-to-end response times for video/audio broadcast systems. A flow is sent by a video/audio source and recorded by video servers for local clients. Because of transmission delay variability, the video/audio flows suffer release jitter. This end-to-end guarantee is based on an admission control run only by the nodes belonging to the path of the requesting f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A method of test cases generation for real-time systems

    Publication Year: 1998, Page(s):249 - 253
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (80 KB)

    Real time software must satisfy not only functional correctness requirements but also timeliness requirements. A lot of real time research has focused on analysis rather than testing. During the execution of real time software, a sequence of events due to time take place between the concurrent processes. Because of the unpredictable progress of concurrent processes, multiple executions of real tim... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integration of autonomous decentralized systems with different fault tolerance requirement levels

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

    As the standardization of computers, networks and OS's has been going on and different systems can be easily connected physically, it is more preferable to integrate existing systems from an economical viewpoint. Under the changing requirements and situations, system engineering technologies to realize an individual user's requirements on a standard platform have become more important. Even when t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Compositional specification and structured verification of hybrid systems in cTLA

    Publication Year: 1998, Page(s):335 - 340
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (180 KB)

    Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides the modular and easy to read specification, the formal verification of required properties (e.g., safety properties) is a major problem, due to the complexity of the models. In practice, mostly informal argumentations exist which show that certain proper... View full abstract»

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