IAR visualSTATE®にはPremium版とBaseline版のパッケージがあります。
| コンポーネント |
Premium |
Baseline |
| Designer(モデル設計ツール) |
〇 |
〇
|
| Verificator(形式テストツール) |
〇
|
〇
|
| Validator(機能テストツール) |
〇
|
〇 |
| Navigator(ナビゲーションツール) |
〇
|
〇
|
| Code generator(コード生成ツール) |
〇
|
〇
|
| Documenter(レポート作成ツール) |
〇
|
〇
|
| 最大ステート数 |
無制限 |
250 |
| 無償保守期間 |
3か月 |
3か月 |
| 発注名称 |
VSPRE |
VS-BL |
この製品の詳細につきましては こちら までお問い合せください。