Hi John, i believe that SystemModeler together with Mathematica will be able to target many of your problems better than the list reflects. However, it is hard to say as it might depend on the interpretation of each headline. If you like we can setup a phone meeting to better understand your requirements and give you more accurate answers.

Isn't 1 better than 8 in this spreadsheet?

John, One thing to think about, at least when it comes to SystemModeler, is that it is using the open modeling language Modelica. This makes it possible to share models with other modeling software, version control models(something I really think is lacking from your spreadsheet, BTW) and much more. SystemModeler also supports FMI, so you can export the simulation, or parts of it, to a wide variety of tools. Wolfram has a very capable testing and quality assurance team, and many of the tools used by this team is included into the software, such as the function VerificationTest. Just saying that I think it deserves a much higher rating than 1/10.

We do similar types of modeling. You should evaluate wolfram SystemModeler (WSM) connected to Mathematica. This combination fixes many of the shortcomings of Mathematica alone. You can do equation derivation in Mathematica and simulate dynamics in WSM. Furthermore you can rely on existing models and components in WSM. WSM also gives you animations with little extra effort. It is the right combination for your project. I think the WSM team can give you more information.