Accession Number : ADA115738

Title :   An Approach to Describing the Functional Requirements of an Embedded Communication System.

Descriptive Note : Final rept.,


Personal Author(s) : Heitmeyer,Constance L ; McLean,John D

PDF Url : ADA115738

Report Date : 14 Jun 1982

Pagination or Media Count : 19

Abstract : An 'abstract' requirements specification describes a system's externally visible behavior without making decisions about its design. Although they have important advantages, such specifications are difficult to produce for complex systems and hence are seldom seen in the real programming world. This report describes an abstract requirements specification for a complex, real-world system; the specification is intended to serve as a fully worked out example for those tasked to document the requirements of similar systems. After introducing the Navy application with which we are concerned, we demonstrate that the traditional approach of functional decomposition, where each output is expressed as a mathematical function of inputs, leads to premature design decisions. Next, we present a new approach to writing requirements documents that avoids design decisions and thus leads to an abstract specification. The new approach is compared to a similar approach used in a related project. An appendix provides an example that illustrates the formal techniques employed in the approach. (Author)

Descriptors :   *Communication equipment, *Computer programming, Functions(Mathematics), Decision making, Requirements, Documents, Writing, Behavior, Functions, Embedding

Subject Categories : Computer Programming and Software
      Non-radio Communications

Distribution Statement : APPROVED FOR PUBLIC RELEASE