Verifiable MDS Architecture (VMA) is a software architecture that facilitates the construction of highly verifiable flight software for NASA s Mission Data System (MDS), especially for smaller missions subject to cost constraints. More specifically, the purpose served by VMA is to facilitate aggressive verification and validation of flight software while imposing a minimum of constraints on overall functionality. VMA exploits the state-based architecture of the MDS and partitions verification issues into elements susceptible to independent verification and validation, in such a manner that scaling issues are minimized, so that relatively large software systems can be aggressively verified in a cost-effective manner.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Architecture for Verifiable Software


    Beteiligte:


    Erscheinungsdatum :

    2005-12-01


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch





    PERSIST - a flexible and automatically verifiable software architecture for the automotive powertrain

    Richenhagen,J. / Pischinger,S. / Schlosser,A. et al. | Kraftfahrwesen | 2013


    The TableSat Platform and Its Verifiable Control Software

    Atkins, Ella / Green, Jeremy / Yi, Jianliang et al. | AIAA | 2009


    The TableSat Platform and Its Verifiable Control Software

    Atkins, E. / Green, J. / Yi, J. et al. | British Library Conference Proceedings | 2009


    Architecture of a faul-tolerant and verifiable outer planet flyby

    Mitchell, Karl L. / Rice, Eric / Frazier, William | NTRS | 2019