Accession Number : ADA192539

Title :   Temporal Relations and Structures in Real-Time Operating Systems.

Descriptive Note : Technical rept.,

Corporate Author : MARYLAND UNIV COLLEGE PARK INST FOR ADVANCED COMPUTER STUDIES

Personal Author(s) : Levi, Shem-Tov ; Agrawala, Ashok K

PDF Url : ADA192539

Report Date : Dec 1987

Pagination or Media Count : 51

Abstract : The temporal properties of objects in a real-time, distributed, fault-tolerant, reactive operating systems are defined and analyzed. Accordingly, properties associated with the scheduleability of accepted jobs whose deadlines are guaranteed are examined. Special mechanisms that support temporal inference are proposed. These mechanisms support explicit time expression, precedence relations, and projections of the knowledge of real-time at different localities. Special data structures, called calendars, are proposed for management and planning of activities and for scheduling. Algorithms that verify scheduleability of arriving requests are introduced, ensuring that already-given guarantees for already-accepted jobs are not violated.

Descriptors :   *SYSTEMS ENGINEERING, *REAL TIME, ALGORITHMS, DATA BASES, PLANNING, FAULT TOLERANT COMPUTING, DISTRIBUTED DATA PROCESSING

Subject Categories : Computer Systems

Distribution Statement : APPROVED FOR PUBLIC RELEASE