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