Methodology for Developing Realtime Distributed Systems.

摘要

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. (KR)