  The superelastic constitutive model implemented in the commercial finite
element code ABAQUS is verified using the method of exact solutions (MES). An
analytical solution for uniaxial strain is first developed under a set of
simplifying assumptions including von Mises-like transformation surfaces,
symmetric transformation behavior, and monotonic loading. Numerical simulations
are then performed, and simulation predictions are compared to the exact
analytical solutions. Results reveal the superelasticity model agrees with the
analytical solution to within one ten-thousandth of a percent (0.0001%) or less
for stress and strain quantities of interest when using displacement-driven
boundary conditions. Full derivation of the analytical solution is provided in
an Appendix, and simulation input files and post-processing scripts are
provided as supplemental material.
