Software Assurance for Model-Based Design

Abstract

Within"12 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.

What project leaders need to know about Model Driven Development: A paradigm shift in software

“…It is important for project leaders and organizational leaders to understand the implications of a paradigm shift toward MDD, because to leverage this technology requires an organization to make investments in new tools, training, and changes in their software development practices [7,8]. It is up to those individuals that control the purse strings within an organization to recognize the importance of a paradigm shift and make the necessary investments to leverage the new paradigm.…”