SysML to SLIM transformation methodology: Connecting model-based space systems engineering and model-based software engineering

: Identifying faults early on in the design phase drastically reduces the cost of fixing them and can even prevent the loss of a spacecraft. The Correctness, Modeling and Performance of Aerospace Systems (COMPASS) project created a toolset to approach the design of systems with a model-based angle, specifically critical on-board systems for the...