The basic principles and underlying design of a toolset for high-integrity system verification and validation support are presented. First experiences in the application of the toolset to an avionics software maintenance project are discussed. An outline is given of work, which features the extension of the existing toolset to a certification support system.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Integrated toolset for high-integrity system verification and validation support (avionics)


    Additional title:

    Integrierter Werkzeugsatz für die Verifikations- und Validationsunterstützung hochintegrierter Systeme (Avionik)


    Contributors:
    Cabos, R.P. (author)


    Publication date :

    1990


    Size :

    6 Seiten, 9 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Development of Virtual Pilot Laboratory (VPLab) Toolset in Support of Aircraft Avionics Testing and Evaluation

    Lee, D. / He, C. / Saberi, H. et al. | British Library Conference Proceedings | 2012



    Model-Based Verification and Validation of Spacecraft Avionics

    Khan, M. Omair / Sievers, Michael / Standley, Shaun | NTRS | 2012


    Model-Based Verification and Validation of Spacecraft Avionics

    Khan, Mohammed / Sievers, Michael / Standley, Shaun | AIAA | 2012


    Avionics Integrity Program (AVIP)

    T. J. Dickman / L. F. Cheshire | NTIS | 1983