Automated benchmark generation based upon a specification languageThe problem of validating and verifying digital flight control system (DFCS) software is addressed in this paper. A new specification language DIVERS is proposed, and is the keystone of the approach. This language consists of keywords where each keyword represents an element in the block diagram of a DFCS. DIVERS has a dictionary which contains all the keywords a DFCS designer might need. Translator programs convert the system specifications into an executable, high-level language program. The features of translators are discussed and are elucidated by examples. This language is used to describe a typical flight software module.
Document ID
19850035698
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Rajan, N. (Stanford Univ. CA, United States)
Feteih, S. E. (Stanford University Stanford, CA, United States)
Saito, J. (NASA Ames Research Center Moffett Field, CA, United States)