Approved for public release; distribution is unlimited / As demand for hard real-time and embedded computer systems increases, a new approach to software development is critical. Software engineers and users would benefit from an automated methodology allowing validation of design specifications or functional requirements early in the development life cycle. A fast, efficient, easy-to-use tool would increase productivity and would enhance user confidence that software would be delivered at less cost and on schedule. The Computer Aided Prototyping System (CAPS) is a conceptualized tool providing these capabilities. This thesis represents a pioneering effort to develop a Static Scheduler for the CAPS Execution Support System using the Ada programming language. The Static Scheduler initially extracts critical operators, timing constraints and precedence relationships from a high-level prototype source program. The Static Scheduler then creates a static schedule for run-time execution, using worst case scenarios, guaranteeing that timing constraints are met. The primary goal of this thesis is to provide the scheduling algorithms and implementation guidelines for the Static Scheduler. Secondary goals are to demonstrate the significance of continued research to telecommunications applications and to demonstrate the feasibility of Ada as the implementation language. / http://archive.org/details/staticschedulerf00jans / Lieutenant, United States Navy

Approved for public release; distribution is unlimited / Rapid prototyping is a method of software system development that is gaining much support presently. Rapid prototyping allows the designer to quickly produce a model of a system or part of a system which the user can see and thus verify if his requirements have been met. The prototype specifications can then be efficiently converted to an accurate set of program specifications that the programmers can implement as a final working system. The computer aided prototyping system (CAPS) is a rapid prototyping system that will automate many of the processes of prototyping such as code generation of prototype modules and searching for reusable components. One of the many components of CAPS is a language translator which translates a prototype specification written in the Prototype System Description Language (PSDL) into a set of Ada procedures and packages. The Ada procedures and packages, when executed in proper order, will effectively execute the prototype. This thesis demonstrates an implementation of the translator component of the CAPS. An attribute grammar tool, Kodiyak, is used to build a translator which implements the major constructs of PSDL and produces Ada code to implement PSDL operators according to their control constraints. / http://archive.org/details/implementationof00alti / Lieutenant, United States Navy

Approved for public release; distribution is unlimited / This thesis builds upon work previously done in the development of the Computer Aided Prototyping System (CAPS) and the Prototype System Description Language (PSDL), and presents a conceptual design for the Software Base Management System (SBMS) component of CAPS. The SBMS is the most critical component of CAPS as it will coordinate the retrieval and integration of Ada software modules. A robust SBMS that enables a software system designer to successfully retrieve reusable Ada components will expedite the prototype development process and enhance designer productivity. Implementation of the conceptual design will be the basis for further work in this area. (Ada is a registered trademark of the United States Government, Ada Joint Program Office.) / http://archive.org/details/conceptualdesign00gali / Lieutenant Commander, United States Navy

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