Ansys SCADEクリティカルなシステム・ソフトウェアの統合開発環境
概要
Ansys SCADE®製品は、クリティカルシステムのシステム設計から、形式言語によるソフトウェア開発、アプリケーションライフサイクル管理を構築するツール群です。
Ansys SCADE Tech_BLOG オススメ!
- 「シミュレーションと最適化技術を用いた 機能安全コンセプト策定手法」のご提案（その1）
- 「シミュレーションと最適化技術を用いた 機能安全コンセプト策定手法」のご提案（その2）
- 「シミュレーションと最適化技術を用いた 機能安全コンセプト策定手法」のご提案（その3）
- 「シミュレーションと最適化技術を用いた 機能安全コンセプト策定手法」のご提案（最終回）
- 機能安全に準拠した複雑なシステムの効率的な開発支援のために（その1）
- 機能安全に準拠した複雑なシステムの効率的な開発支援のために（その2）
- 機能安全に準拠した複雑なシステムの効率的な開発支援のために（その3）
- 機能安全に準拠した複雑なシステムの効率的な開発支援のために（その4）
- 機能安全に準拠した複雑なシステムの効率的な開発支援のために（その5）
- 機能安全に準拠した複雑なシステムの効率的な開発支援のために（その6）
- 機能安全に準拠した複雑なシステムの効率的な開発支援のために（その7）
- 認証取得済みコード生成機能を核とした、組み込みソフトウェアのモデルベース開発環境「Ansys SCADE」 のご紹介（その1）
- 認証取得済みコード生成機能を核とした、組み込みソフトウェアのモデルベース開発環境「Ansys SCADE」 のご紹介（その2）
- 認証取得済みコード生成機能を核とした、組み込みソフトウェアのモデルベース開発環境「Ansys SCADE」 のご紹介（その3）
- 「機能安全とISO26262」基礎の基礎（その1）
- 「機能安全とISO26262」基礎の基礎（その2）
- 電動化時代を見据えた形式言語モデルを活用した効率的なソフトウェア開発
- モデルベースによる次世代HMI（ヒューマンマシンインターフェース）の開発
- SATソルバーとソフトウェア検証技術（その1）
- SATソルバーとソフトウェア検証技術（その2）
- SATソルバーとソフトウェア検証技術（その3）
- SATソルバーとソフトウェア検証技術（その4）
- SATソルバーとソフトウェア検証技術（その5・最終回）
- モデルベースによるアジャイルな組み込みシステム開発（その1）
- モデルベースによるアジャイルな組み込みシステム開発（その2）
Ansys SCADEは、ANSYS, Inc.により開発されました。
Ansys®、及びその他すべてのANSYS, Inc.の製品名は、ANSYS, Inc.またはその子会社の米国およびその他の国における商標または登録商標です。
その他のすべての商標または登録商標は、各所有者の財産です。
株式会社IDAJは、ANSYSのセレクトパートナーです。
-
Ansys SCADE Architect
Ansys SCADE Architectは、SysMLによるシステム設計/アーキテクチャ設計を支援するツール環境です。 -
Ansys SCADE Suite
Ansys SCADE Suiteは、モデルベース開発手法によるセーフティクリティカルな組込み制御ソフトウェア開発支援ツールです。 -
Ansys SCADE Display
Ansys SCADE Displayは、組込みディスプレイシステムのディスプレイ仕様設計と自動コード生成を支援するツール環境です。 -
Ansys SCADE Test
Ansys SCADE Suiteで作成した制御ソフトウェア設計モデルに対して、テストケース作成、管理、テスト実行、テスト結果の管理を行います。 -
Ansys SCADE LifeCycle
Ansys SCADE LifeCycleは、Ansys SCADE製品で開発しているアプリケーションのライフサイクルを管理するツール環境です。 -
Ansys SCADE Solutions for ARINC 661
ARINC 661規格に基づいたコックピット・ディスプレイ・システム（CDS）、ユーザー・アプリケーション（UA）の開発を支援するための一連の機能をご提供します。 -
産業別パッケージ
自動車・航空機・防衛各産業に特化したパッケージをご提供します。
カタログダウンロード
ご購入について
