Integrated Modeling, Analysis, and Verification for Space Missions

This project will further MBSE technology in fundamental ways by strengthening the link between SysML tools and framework engineering execution environments. Phoenix Integration has produced a commercial tool (MBSE Pak) which allows engineers to link SysML diagrams (in MagicDraw and Rhapsody) to ModelCenter, a general-purpose engineering integration framework. As a result, from SysML parametric diagrams, engineers can execute actual engineering analysis tools for the purpose of systems architectural design, requirements compliance, trade studies, etc. This proposal would extend this MBSE product in several specific ways. First, it would develop a systems analysis capability for improved management decisions including the ability to perform what-if studies of technology options, simulation of schedule and cost, and probabilistic discrete event simulation for risk analysis. Second, it would improve verification and validation of models through improved requirements compliance analysis, handling of time series data, and traceability of data pedigree for modeling artifacts. Third, it would connect SysML models to executable model libraries in which components can be executed in an ad-hoc manner (on any capable computer) from the library itself and include rich support for multi-fidelity modeling tools on the backend. A representative system model would be developed as an example problem to illustrate the developed features and would be demonstrated to NASA throughout the course of the work.