Ansys SCADEクリティカルなシステム・ソフトウェアの統合開発環境
特徴
Ansys SCADE製品群
Ansys SCADEは、ANSYS, Inc.によって開発された、セーフティクリティカルなシステムのシステム設計から組込みソフトウェア開発、組込みディスプレイ開発、アプリケーションライフサイクル管理に至る一貫したプロセス構築を可能にする製品群です。

Ansys Scade Architect™
SysMLを用いて、システムアーキテクチャを設計し、その設計モデルをシームレスにAnsys SCADE Suite、Ansys SCADE Displayに取り込みます。
Ansys SCADE Suite®
形式言語SCADEによって、ソフトウェアの詳細モデルを設計し、検証します。モデルの正しさが確認できれば、認証可能な自動コード生成によって、正しく安全なコードを生成します。
Ansys SCADE Display®
ディスプレイ画面仕様の設計、アニメーションによる検証を行います。画面仕様の正しさが確認できれば、認証可能な自動コード生成によって、正しく安全なコードを生成します。
Ansys SCADE Test™
Ansys SCADE Suiteで作成した制御ソフトウェア設計モデルに対して、テストケース作成、管理、テスト実行、テスト結果の管理を行います。
Ansys SCADE LifeCycle®
システム設計からソフトウェア開発・ディスプレイ開発に至る工程で発生する成果物間のトレーサビリティを、Ansys SCADE LifeCycleによって管理します。また、各設計情報からドキュメントを自動生成する作業も支援しています。