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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

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


    Beteiligte:
    Cabos, R.P. (Autor:in)


    Erscheinungsdatum :

    1990


    Format / Umfang :

    6 Seiten, 9 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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, Mohammed / Sievers, Michael / Standley, Shaun | AIAA | 2012


    The Avionics Integrity Program

    Chou, George C. | SAE Technical Papers | 1988