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)


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    A software engineering approach to expert system design and verification

    Bochsler, Daniel C. / Goodwin, Mary Ann | NTRS | 1988


    Safety Critical Software System Verification Strategy

    McNeil, J. / Nation, D. / System Safety Society (U.S.) | British Library Conference Proceedings | 2006


    Automated Software Verification Supporting ABS TCS Safety Design

    Sauer, T. / Society of Automotive Engineers | British Library Conference Proceedings | 1994


    Automated Software Verification Supporting ABS TCS Safety Design

    Sauer, Torsten | SAE Technical Papers | 1994


    Telecommand Validation and Verification software Design and Implementation

    Qu, Yi / Zeng, Lingchuan / Li, Dapeng et al. | AIAA | 2016