Ansys SCADE Suite®は、モデルベース開発手法によるセーフティクリティカルな組込み制御ソフトウェア開発支援ツールです。厳格なセマンティクスを持つグラフィカル言語を使用して、「ソフトウェア設計、検証(セマンティックチェック、要件ベーステスト、モデルテストカバレッジ解析、形式検証、最悪実行時間解析、スタックサイズ解析)、自動Cコード生成」までの一貫したソフトウェアの開発工程を、1つのツール環境で実現します。特に自動Cコード生成は、世界的にも稀な以下の認証取得が可能なコードジェネレータで、設計モデルと自動的に生成されるCコードとの一致性が確保されています。