製品情報 Product

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

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


DO-178B Level-A

DO-178C Level-A(DO-330 TQL-1)

IEC-61508:2010 SIL 3

EN-50128:2011 SIL 3/4

ISO-26262:2011 ASIL D

これによって、コードレベルでの静的検証を行う必要が無くなり、検証工程全般に要する時間の大幅な削減が可能になると供に、より信頼性の高い組込み制御ソフトウェア開発プロセスを実現します。

ページトップへ戻る