Computation and Management of Executable Requirements
Very often, the MBSE model will include many quantitative requirements that are defined as mathematical expressions. However, it won't be until these expressions have been combined and executed that a likely conflict will arise.
Maple provides a powerful, rigorous environment for importing these requirements from the architectural model, combining the related expressions together and computing the results. Not only that, since all the expressions are handled as equations, analysts are freed from the constraint of deciding which variables are dependent and independent so early in the process. This allows them to perform trade-off studies on any of the parameters and relationships to resolve design conflicts. Moreover, it is done in a live technical document environment that allows analysts to document their work with the mathematical expressions at a level of quality that would be expected in a technical publication or design manual.