開発支援ツール『Ansys SCADE Suite』

セーフティクリティカルな組込み制御ソフトウェア開発支援ツール

ドでの実行 ・ブロック単位でのシミュレーション実行 ■安全性プロパティの形式検証 ・安全性プロパティのグラフィカルな記述と検証の自動実行 ・検証用ライブラリの提供 ■Cコード生成 ・インライン、コールモードでのコード生成 ・ASAP2ファイルの生成 ■モデリングツールインターフェース ・“モジュラー”方式によるインポート ・SCADEモデルのS-function化 ■コンパ...

メーカー・取り扱い企業： 株式会社IDAJ