Methodology for Developing Realtime Distributed Systems

Abstract

The goal of this effort was to develop a methodology for establishing properties of realtime distributed operating systems. The major issues addressed include approaches to time and calendar management, verifiable kernel for meeting realtime constraints for aperiodic as well as periodic tasks, and distributed resource management schemes. The starting point in this effort was a complete evaluation and assessment of the current technology for realtime systems. This assessment was undertaken from theoretical as well as practical considerations. Our approach was to design an object based distributed system in which time properties of each object are explicitly represented and supported. The design was to be assessed through theoretical evaluation followed by a prototype implementation.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1988
Accession Number
ADA214570

Entities

People

  • Ashok Agrawala
  • Pankaj Jalote
  • Satish Tripathi
  • Scott Carson
  • Udaya Shankar

Organizations

  • University of Maryland

Tags

DTIC Thesaurus Topics

  • Computations
  • Computer Science
  • Computers
  • Environment
  • Fault Tolerance
  • Information Science
  • Local Area Networks
  • Manufacturing
  • Maryland
  • Operating Systems
  • Prototypes
  • Reliability
  • Resource Management
  • Scheduling (Production)
  • Test And Evaluation
  • Universities

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.
  • Theoretical Analysis.