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

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

『Ansys SCADE Suite』は、モデルベース開発手法によるセーフティクリティカルな 組込み制御ソフトウェア開発支援ツールです。 厳格なセマンティクスを持つグラフィカル言語を使用して、 「ソフトウェア設計、検証(セマンティックチェック、要件ベーステスト、 モデルテストカバレッジ解析、形式検証、最悪実行時間解析、 スタックサイズ解析)、自動Cコード生成」までの一貫したソフトウ...

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