推奨スペックにつきましては、下記動作環境のページの紹介を参照してください。
Windows 版
他に推奨ポイントとしては次の通りとなります。
1. コア数
→ 1プロセッサあたりの推奨コア数は 4 となります。
2. RAM
→ Polyspace では、1コアあたり少なくとも 2GB RAM が必要となります。
3. ローカルディスクの読み書き速度
→ Polyspace では、多くの I/O read/write アクセスを必要とするため、大きな要素となります。なお、SSD は高速な効率的なディスクとなり、ご利用に関しましては特に問題ないということになります。
Polyspace 解析にあたり、コアあたりのメモリが大きい方が良いということになります。
なお、実行速度、および安定性につきましては、ベンチテストを行っておりませんので、具体的な比較までは正式に回答できませんが、速度や安定性の面からサーバマシンとして、Linux の方を推奨できるということです。(全ての Polyspace でサポートしている Linux 版においては解析にとって推奨できるということになります)
Windows 版 Polyspace につきましても、現状では安定しており、Windows 版を Sever マシンとして使用している実績はあります。
