IDAJ

Product製品情報

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

概要

Ansys 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

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

Ansys SCADEは、ANSYS, Inc.により開発されました。
Ansys®、及びその他すべてのANSYS, Inc.の製品名は、ANSYS, Inc.またはその子会社の米国およびその他の国における商標または登録商標です。
その他のすべての商標または登録商標は、各所有者の財産です。

ANSYSエリートパートナーロゴ
株式会社IDAJは、ANSYSのエリートパートナーです。
製品情報 技術サポート 実績・お客様事例
ユーザーサポートセンター 無料で資料請求