In this video, we overview the theoretical missile system SysML sample. We execute the system model and analyze it during the mission. We record execution logs as sequence diagrams. We perform static and dynamic requirement verification, integrate with MATLAB analytical model. Next, we model variants, manage configuration and do comparison which can be used for trade studies between different configurations. Also, we demonstrate natural requirements langauge analysis and automatic configurations reevaluation on requirement text change.
