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

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

【機能(一部)】 ■制御モデル設計 ・ブロックダイアグラムによるデータフロー設計 ・設計モデルの静的な検証 ■シミュレーション ・1ステップ、複数ステップ、連続ステップモードでの実行 ・ブロック単位でのシミュレーション実行 ■安全性プロパティの形式検証 ・安全性プロパティのグラフィカルな記述と検証の自動実行 ・検証用ライブラリ...

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

シミュレーションプラットフォーム『xMOD』

マルチツール連携、MILS、SILSからHILSまでモデル共有を可能と…

されたモデルを結合した複雑なモデルの シミュレーションを、最適に実行するシミュレーションプラットフォームです。 エディタ上で、異なるモデルをグラフィカルに結合し、最適化された ソルバーやステップ時間によって、マルチコア上で高速に計算を実行します。 PC上でのxMODシミュレーション環境をRTX OS(Windowsネイティブな リアルタイムOS)上に構築することで、シームレスにH...

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