Title: Requirements for a Real-Time Ada Runtime Kernel and Proposed Kernel Interface