A Static Scheduler for critical timing constraints

Approved for public release; distribution is unlimited === The Computer Aided Prototyping System (CAPS) and the Prototype System Description Language (PSDL) represent a pioneering effort in the field of software development. The implementation of CAPS will enable software engineers to automatical...

Full description

Bibliographic Details
Main Author: Marlowe, Laura C.
Other Authors: Luqi
Format: Others
Language:en_US
Published: Monterey, California. Naval Postgraduate School Dece
Subjects:
Ada
Online Access:http://hdl.handle.net/10945/23406
Description
Summary:Approved for public release; distribution is unlimited === The Computer Aided Prototyping System (CAPS) and the Prototype System Description Language (PSDL) represent a pioneering effort in the field of software development. The implementation of CAPS will enable software engineers to automatically validate design specifications and functional requirements early in the design of a software system through the development and execution of a prototype of the system under construction. Execution of the prototype is controlled by an Execution Support System (ESS) within the framework of CAPS. One of the critical elements of the ESS is the Static Scheduler which extracts critical timing constraints and precedence information about operators from the PSDL source that describes the prototype. The Static Scheduler then uses this information to determine whether a feasible schedule can be built, and if it can, constructs the schedule for operator execution within the prototype. === http://archive.org/details/staticschedulerf00marl === Lieutenant Commander, United States Navy