Ansys SCADE Suiteセーフティクリティカルな組込み制御ソフトウェア開発支援ツール
機能/動作環境
機能一覧
| 機能 | 機能概要 | 製品パッケージ |
|---|---|---|
| 制御モデル設計 |
|
Suite Advanced Modeler Seat |
| シミュレーション |
|
|
| 安全性プロパティの形式検証 |
|
Design Verifier |
| Cコード生成 |
|
SCADE Suite KCG Code Generator |
| モデリングツールインターフェース |
|
Gateway for Simulink |
| コンパイラ検証キット |
|
CVK |
| コードパフォーマンス解析 |
|
Timing and Stack Verifier |
動作環境
| プラットフォーム | オペレーティングシステム |
|---|---|
| PC | Windows 10 |
- 認証/クォリフィケーションを持つモジュールは、指定のプラットフォームでの動作が確認されています。
- Windows95/98/Me/NT/2000/VISTA/Xp/7は、サポートされていません。
Ansys SCADE製品は全てWindows 64ビットアプリケーションです。
