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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Software Assurance for Model-Based Design


    Contributors:


    Publication date :

    2008-03-01


    Size :

    830573 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



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

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


    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


    Space product assurance - software product assurance

    European Cooperation for Space Standardization | SLUB | 1996


    Product assurance management and software product assurance

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


    Model Based Mission Assurance: NASA's Assurance Future

    Evans, John / Cornford, Steven / Feather, Martin S. | NTRS | 2016