Goal: Migrate the UML-based engineering model of a spacecraft to TypeQL
Why Do This Migration in the First Place?
The spacecraft lifecycle is roughly divided into seven consecutive design phases. Part of the early design phases deals with the feasibility of the intended mission. Feasibility is identified by assessing each design aspect that is needed to accomplish the specific mission.
This requires that engineers lay out all possible design options and iteratively go through them in relation to all the other engineering design options, ultimately ending up with a sound system solution.