Within JPL and NASA, the emergence of model-based design will reformulate the design process. Simultaneously, the mission-critical role of software is increasing. Thus, the nature of software assurance must change accordingly. This paper examines the experience of using model-based design in the context of development of mission flight software and also covers how software assurance practices are being adapted to work with this approach. In the model-based development paradigm, novelty stems from the fact that many of the artifacts are in machine manipulable representations, not simply paragraphs of textual descriptions or drawings intended purely for human viewing. Furthermore, using tools that support the model-based paradigm allows automatic code generation to be employed, yielding significant portions of machine-generated source code as significant parts of the development efforts.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Software Assurance for Model-Based Design


    Beteiligte:


    Erscheinungsdatum :

    01.03.2008


    Format / Umfang :

    830573 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Model-Based Software Quality Assurance with the Architecture Analysis and Design Language

    Feiler, Peter / Gluch, David / Weiss, Kathryn et al. | AIAA | 2009


    Space product assurance - software product assurance

    European Cooperation for Space Standardization | SLUB | 1996


    Model-Based Software Quality Assurance with the Architecture Analysis and Design Language

    Feiler, P. / Gluch, D. / Weiss, K. et al. | British Library Conference Proceedings | 2009


    Product assurance management and software product assurance

    Schneider, C. / Borycki, G. / Panaroni, P. et al. | NTRS | 1991


    Perspectives on software assurance

    Nikora, A. P. | NTRS | 2002