Summary: | Approved for public release; distribution is unlimited === The prototyping description language (PSDL), a key component of CAPS, is a language designed for clarifying the requirements of complex real-time systems. Through the use of prototyping, the functional requirements for an embedded system can be rapidly validated to preclude inefficient usage of resources. This research has concentrated on the software engineering area of extending the PSDL data type and Ayacc source to support requirements tracing. Currently, CAPS doesn't use requirements tracing so the extensions just described are a significant step in that direction. This thesis includes an investigation into the potential use of an which will interface with and be utilized to store the list of requirement IDS for each PSDL component. Through the ADA95 program implementation and extension to the capabilities of the PSDL data type and Ayacc source, the programmer/designer has automated documentation support which will link the requirement IDS to their respective component names. This research demonstrates there is no ADA95 OODBMS at the current time and therefore the requirement IDS are stored in a file. There is an ADA95 OODBMS being developed at Lockheed Martin under the project name of FIRM. Also demonstrated is the connection of the unique list of requirement IDS in the design phase with their respective PSDL components, so that the link between the design stages and analysis phase support for the modules is more completely established
|