Date of Award

12-1991

Document Type

Thesis

Degree Name

Master of Science

Department

Department of Electrical and Computer Engineering

First Advisor

Kim Kanzaki, Major, USAF

Abstract

Formalizing an informal requirements specification, such as SADT, and executing the formal specification in a simulation environment, such as VHDL, provides a requirements analyst a means to validate the behavior of a specification early in the development life cycle. This research effort investigated and demonstrated the feasibility and benefit of transforming an SADT specification of a system into an equivalent VHDL executable simulation. Both non-time related behavior and concurrent, real-time related behavior is addressed. First, a decision table extension to SADT is created so that detailed, executable behavior can be specified. Next a mapping from SADT to VHDL is defined. Last, this mapping was applied to two example problems: the Heating System and the Lift (elevator) Control System. An SADT specification was generated for each of these problems, and the resulting specification was transformed into an equivalent VHDL specification using the mapping technique defined by this research. The VHDL simulation environment was used to execute the specification, determine its behavior, make necessary changes, and re- execute the specification until the proper system behavior was specified.

AFIT Designator

AFIT-GCS-ENG-91D-6

DTIC Accession Number

ADA244182

Comments

The author's Vita page is omitted.

Download

Share

COinS