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

SCADE Suite®は、モデルベース開発手法によるセーフティクリティカルな組込み制御ソフトウェア開発支援ツールです。厳格なセマンティクスを持つグラフィカル言語を使用して、「ソフトウェア設計、検証(セマンティックチェック、要件ベーステスト、モデルテストカバレッジ解析、形式検証、最悪実行時間解析、スタックサイズ解析)、自動Cコード生成」までの一貫したソフトウェアの開発工程を、1つのツール環境で実現します。特に自動Cコード生成は、世界的にも稀なIEC-61508 SIL3認証取得、EN-50128 SIL4認証取得、DO-178BレベルA認証取得が可能なコードジェネレータで、設計モデルと自動的に生成されるCコードとの一致性が確保されています。これによって、コードレベルでの静的検証を行う必要がなくなり、検証工程全般に要する時間の大幅な削減が可能になるとともに、より信頼性の高い組込み制御ソフトウェア開発プロセスを実現します。

SCADE Suiteは、Esterel Technologies により開発されました。