Polyspace の推奨マシンはありますか？

Polyspace サーバを新規に購入する予定ですが、推奨スペックや注意点がありましたら教えてください。

Answer 1

[MathWorks Support Team]

推奨スペックにつきましては、下記動作環境のページの紹介を参照してください。

Windows 版

https://jp.mathworks.com/support/requirements/matlab-system-requirements.html

他に推奨ポイントとしては次の通りとなります。

1. コア数

→ 1プロセッサあたりの推奨コア数は 4 となります。

2. RAM

→ Polyspace では、1コアあたり少なくとも 2GB RAM が必要となります。

3. ローカルディスクの読み書き速度

→ Polyspace では、多くの I/O read/write アクセスを必要とするため、大きな要素となります。なお、SSD は高速な効率的なディスクとなり、ご利用に関しましては特に問題ないということになります。

Polyspace 解析にあたり、コアあたりのメモリが大きい方が良いということになります。

なお、実行速度、および安定性につきましては、ベンチテストを行っておりませんので、具体的な比較までは正式に回答できませんが、速度や安定性の面からサーバマシンとして、Linux の方を推奨できるということです。(全ての Polyspace でサポートしている Linux 版においては解析にとって推奨できるということになります)

Windows 版 Polyspace につきましても、現状では安定しており、Windows 版を Sever マシンとして使用している実績はあります。