主な機能
Ansys SCADE Suiteは、重要な制御アプリケーションの設計を簡素化し、検証、適格／認定コード生成、およびドキュメント生成を自動化することで、安全認証コストを大幅に削減します。
Ansys SCADE Suiteは、相互運用性標準のサポートとPythonベースのカスタマイズ機能により、ユーザーフローにシームレスに統合されます。
Ansys SCADE Suite
重要な組込みソフトウェア向けのモデルベース開発環境
Ansys SCADE Suiteは、信頼性の高い組込みソフトウェアのためのモデルベース開発環境であり、要件管理、モデルベース設計、検証、適格／認定コード生成機能、および他の開発ツールやプラットフォームとの相互運用性を提供します。
モデルベース設計
信頼性の高い組込み制御ソフトウェアは、Ansys SCADE Suiteで作成されている
現代の自動車、航空機、およびその他の複雑な工業製品は、重要な機能を提供するために完全に統合された複数の電子部品で構成されています。これらの高度なシステムの基盤となっているのは、あらゆるオペレーティングシナリオで完璧な動作を保証する数百万行の組込みソフトウェアコードです。
Ansys SCADE Suiteは、重要なアプリケーションの安全性と信頼性を損なうことなく、検証作業を節約し、生産性を向上させます。
-
重要なアプリケーションに合わせてカスタマイズ
-
検証と妥当性確認
-
モデルベースの高度なソフトウェア設計
-
自動 コード生成
-
最大50%のコスト削減 -
認定コード生成 -
PythonベースのAPI -
VRXとTwinBuilderの統合
-
エンドツーエンドのトレーサビリティ -
シームレスなターゲット統合 -
FMU-FMI、AUTOSARサポート -
Simulinkインポート、S-Functionエクスポート
-
手動テストの削減 -
モデルの完全性の保証 -
シームレスなユーザーフロー統合 -
MISRA準拠
Ansys SCADEを使用したSubaru社によるECUの制御
自動車業界のリーダーは、開発プロセスの95%を自動化し、比類のない精度、スピード、コスト削減を実現しています。
Ansys SCADEは、この10年間、新型ハイブリッド車や電気自動車の発売競争において、Subaru社にとって価値ある戦略ツールとして浮上し、安全性と品質を追求する自動車メーカーのコミットメントを支えてきました。制御ソフトウェアの精度を犠牲にすることなく、ECUのエンドツーエンド開発にかかる時間を短縮することは、Subaru社が革新的な新技術を導入する上で非常に重要でした。
ECU用のソフトウェアコードを生成するプロセスは、自動車のエレクトロニクスアーキテクチャのすべての部分をまとめるための制御ロジックを定義することから始まります。この一連のロジックベースのルールにより、自動車のすべての電子機器が安全かつ確実に統合されます。システムの相互作用を管理し、必要に応じてアラートを送信し、緊急時にシステムをシャットダウンすることもできます。車両ダイナミクス、エンジン機能、車両のエネルギー消費、および電気バッテリーの負荷管理を制御します。
機能
優れた製品安全性、信頼性、品質、コンプライアンスを確保
Ansys SCADE Suiteは、重要な組込みソフトウェアのモデルベース開発環境で、プロジェクト認証コストを最小限に抑えながら、重要な組込みソフトウェアの設計と妥当性確認が可能です。形式的に定義されたScade言語により、記法を直感的かつ明確にする
主な機能
Ansys SCADE Suiteは、重要なアプリケーション向けの信頼性の高い組込みソフトウェアの設計、解析、シミュレーション、検証を行うための完全なモデルベースのソリューションです。
- 高度なモデルベース設計
- ソフトウェアアーキテクチャ設計との同期
- モデル解析
- デバッグとシミュレーション
- 自動 コード生成
- SCADEツールの統合
- システムシミュレーション機能
- 車載ソフトウェア専用ソリューション
Ansys SCADE Suiteでは、データフローと階層型ステートマシンの無制限のネストをサポートする直感的なグラフィカル表記を使用できます。ルールチェッカーを使用して、コードが適用可能な規格に準拠していることを確認します。Pythonベースのフレームワークを使用すると、すべてのプロジェクトに合わせて完全にカスタマイズされたソリューション用に独自のルールとメトリクスを作成できます。
この統合により、要求に応じて、プロジェクトのマイルストーンで同期を使用して、アーキテクチャと設計を並行して進化させることができます。アーキテクチャと設計モデル間の双方向同期により、インターフェースの同期作業の重複を削減または排除して効率を最大化します。Ansys SCADE SuiteとAnsys SCADE Architect間の同期は、IMA、FACE、AUTOSARなどのコンテキストでのアーキテクチャ設計からコード生成フローまでをサポートします。
ビデオ: ソフトウェア集約型組込みシステムの統合ワークフロー
Ansys SCADE Suiteのコードジェネレータは、コード検証を必要とせずに、モデルで提供されている仕様を満たしています。そのため、モデルの動作が正しいことを確認することが重要です。当社のソフトウェアには、モデルの正確性を検証し、開発時間を短縮するための複数のモデルレベル解析が搭載されています。モデルの静解析を実行できるようになります。モデルの静解析（モデルの整合性、データフローの適切な型付け、初期化の適切な実行）は、コードジェネレータのフロントエンドによって実行されるため、さまざまなソフトウェア安全規格に対して最高レベルで認定されています。ルールチェッカーを使用すると、必須ルールまたはアドバイザリルールのジャスティフィケーションメカニズムをサポートするPythonベースのフレームワークを使用して、特定のチェックをカスタマイズおよび追加できます。
Ansys SCADE Suite Design Verifierは、安全要件を形式的に表現して評価する検証アシスタントであり、開発プロセスの初期段階でバグを発見するための生産的な方法を提供します。Prover® Technologyを搭載し、浮動小数点演算をサポートするマルチコア対応の形式証明エンジンによってサポートされています。
Ansys SCADE Suiteを使用すると、グラフィカルブロックとテキストブロックを使用してソフトウェア設計を定義できます。定義したら、自動生成されたコードに基づくシミュレーション機能を使用して、ソフトウェア設計またはその個々のブロックをシミュレーションできます。シミュレーションおよびデバッグ機能には、実行可能な設計、実際に生成されたコードの詳細なシミュレーション、シナリオの記録と再生、仕様エラーの早期検出、自動非回帰テストなどがあります。
Ansys SCADE Suite KCGはScadeモデルのCおよびAdaコードジェネレータであり、TQL-1でレベルAおよびDO-178C/DO-330までのDO-178Bソフトウェアの開発ツールとして認定されています。SIL 3ではIEC 61508、SIL 3/4ではEN 50128に認定されています。 また、ASIL DまでのISO 26262ソフトウェアに適合しているため、KCGの開発プロセスはこれらのソフトウェア安全基準に準拠しています。Ansys SCADE Suiteでは、マルチコアコードジェネレータを使用してマルチコアコードを生成できます。演算子の特定のインスタンスがモデル内で識別され、並列化可能なタスクになります。これらのタスクの仕様はモデルから独立しているため、さまざまな構成が可能です。
Ansys SCADE Suiteは、システムアーキテクチャ設計、HMI開発およびテスト、アプリケーションライフサイクル管理のためのツールと簡単に統合でき、すべての組込みソフトウェア開発活動に完全な環境を提供します
Ansys SCADE SuiteのAdvanced Modelerには、仮想システムプロトタイプのモデリング、シミュレーション、解析を行うための強力なプラットフォームであるTwin Builderが含まれています。これにより、製品開発チームは、ソフトウェア制御のマルチドメインシステム設計のパフォーマンスを検証および最適化できます。
Ansys SCADE Suiteは、自動車市場向けのシステム設計機能を拡張および簡素化します。AUTOSARソフトウェアコンポーネント（SWC）からAUTOSAR RTE準拠のランナブルコード生成までの開発フローをサポートします。AUTOSAR規格に基づいて開発フローを開始し、Ansys SCADE SuiteのKCGコードジェネレータによって生成されたAUTOSAR RTE準拠コードを作成できます。また、AUTOSAR ARXML相互交換形式のインポートとエクスポート、システムエンジニア間のマルチ同期、準拠コードの生成も可能です。
リソース & イベント
ケーススタディ
テクニカルペーパーとデータシート
ブログ
アクセシビリティに優れたAnsysソフトウェア
Ansysは、障がいを持つユーザーを含め、あらゆるユーザーが当社製品にアクセスできることはきわめて重要であると考えています。そのため、US Access Board（第508条）、Web Content Accessibility Guidelines（WCAG）、およびVoluntary Product Accessibility Template（VPAT）の最新フォーマットに基づくアクセシビリティ要件に準拠するよう努めています。