Athe AFAL Digital Avionics Information System (DAIS)will become a test bed for evaluation of complex avionics systems architecture. The Software Design and Verification System (SDVS) has been developed as a highly transportable set of avionic software development and management tools to support DAIS and other software development centers. SDVS automates and controls mission software configuration management, simulation, data base management, and test and evaluation functions. This report presents an explanation of what DAIS is and the role of SDVS in this program. The various SDVS functions available are presented in addition to a description of the development methodolgy used for the design, development, and validation of the SDVS. The methodolgy included application of top-down design, development, and test techniques, in addition to the use of structured programming concepts. (Author)
The Software Design and Verification System (SDVS)
1977
90 pages
Report
Keine Angabe
Englisch
Computer Software , Avionics , Computer programming , Computer program verification , Computer program reliability , Configuration management , Digital systems , Compilers , Computerized simulation , Computer architecture , SDVS(Software Design and Verification System) , Software design and verification system , DAIS(Digital Avionics Information system) , Digital avionics information system
Safety Critical Software System Verification Strategy
British Library Conference Proceedings | 2006
|Automated Software Verification Supporting ABS TCS Safety Design
British Library Conference Proceedings | 1994
|Automated Software Verification Supporting ABS TCS Safety Design
SAE Technical Papers | 1994
|