SDVault.ai™
SDVault.ai™は、ソフトウェア定義車両（SDV）のためのエビデンス層です。
エンジニアリング・インテリジェンスを保証ライフサイクルに導入するこのプラットフォームは、アーキテクチャの構築、統合の検証、結果の認証を、3つの並行する書類ベースのプロセスではなく、1つの連携した構造の中で一元的に行います。
保証のギャップ
SDV開発が継続的になったものの、品質保証が追いついていない場合
SDVエコシステムにおいて、要件はアーキテクチャを形成します。これは設計へと変換され、さらにコードとなります。コードはテストケースとなり、それがエビデンスへとつながります。複数の引き継ぎが行われるたびに、その都度、目の前の成果物に基づいて作業する新しいエンジニアによって、その意味が解釈されます。
それらの解釈のどれもが間違いというわけではありませんが、それらが積み重なることで、仕様から逸脱が生じることがあります。設計変更が反映され、その下流のどこかで、解析結果が車両の状態を正確に記述しなくなることがあります。何も故障せず、警告も出ないまま、単にその文書が古くなり、真実性を失ってしまうのです。
シリコンが到着する頃には、問題はもはやソフトウェアが動作するかどうかではありません。構築されたものが仕様通りであることを、誰かがまだ実証できるかどうかが問題となるのです。
SDVault.ai™ が SDV アーキテクチャ、検証、および保証をどのように結びつけるか
図面ではなく、グラフとしてのアーキテクチャ。
ブロック、インターフェース、電源ドメイン、重要度レベルは、クエリを実行できるオブジェクトです。これにより、ソフトウェア定義の車両プラットフォームにおける安全性および整合性のルールは、数週間後にレビュー担当者が図面から確認するものではなく、設計が組み立てられる過程でその整合性が検証されるものとなります。
- 管理されたブロックカタログから構成され、アプリケーションからハードウェアへと階層化されたリファレンスアーキテクチャ。
- ソフトウェア定義車両の設計に対して、分離、冗長性、ルーティング、重要度のルールが適用され、違反があった場合は警告ではなくブロックされる。
- 要件文書を入力として受け取り、意思決定によるゲートが設けられたアーキテクチャ候補へと変換されます。分岐の判断はエンジニアに委ねられ、決して前提とされません。
管理対象のリファレンスアーキテクチャ
実行可能な設計ルール
決定ゲート型候補アーキテクチャ
実環境で実証された統合。
サプライヤーからの納品物は同一のグラフ上で照合され、そこから統合検証に必要なソフトウェア定義車両プラットフォームのアートファクトが生成されます。自動車用ソフトウェアの検証テストは実際のターゲットに対して実行され、根本原因の所在は「直感」ではなく「証拠」に基づいて特定されます。
- すべてのサプライヤーからのインターフェース記述が照合され、競合箇所が明らかにされるとともに、両方の出所情報が保持され、黙って上書きされることはありません。
- 「前回の納品以降、何が変更されたのか」という統合チームの実際の疑問に答える、ドロップ単位の比較。
- トレース、ログ、診断情報を統合して分析し、証拠が裏付ける領域に根本原因を絞り込みます。既存の静的解析やテスト結果は、置き換えるのではなく、証拠として取り込みます。
仕入先インターフェースの照合
ドロップごとの変化の比較
エビデンスに基づく根本原因分析
車両の安全性、サイバーセキュリティ、プロセス――これらを単一の構造に統合。
ソフトウェア定義車両（SDV）における機能安全、サイバーセキュリティ、およびプロセス適合性は、並行する文書セットではなく、同一の証拠構造における3つの視点に過ぎません。1つの視点を変更すると、他の視点も静かに陳腐化するのではなく、再検討の対象となります。
- 機能安全はISO 26262に準拠しており、ハザード分析、故障分析、フォールトツリー、およびトレーサビリティが相互に関連した成果物として管理され、審査員がすでに承認している形式でエクスポートされます。
- サイバーセキュリティは、ISO/SAE 21434に準拠し、UN R155およびR156を視野に入れて実施されます。脅威分析、証明経路を伴う到達可能性の論証、そして状況の変化に応じて再生成される「主張・論証・証拠」のケースが含まれます。
- Automotive SPICEへの適合性については、お客様がすでに作成している証拠に基づいて継続的に監査が行われ、指摘事項は黙って修正されるのではなく、検討可能な変更提案として提示されます。
コネクテッド・ファンクショナル・セーフティの証拠
統合型サイバーセキュリティ保証
自動車分野における継続的なSPICE準拠
SDVault.ai™
Handpicked for You
SDVault.ai™の実用事例
継続的なSDV保証にSDVault.ai™を選ぶべき理由は？
実行可能な工学データとしての建築
ブロック、インターフェース、電源ドメイン、および重要度レベルは、クエリ可能なオブジェクトとして表現されており、設計が構築される過程で、その設計に対して安全性および整合性のルールを実行することが可能になります。
ライフサイクル全体にわたる関連証拠
アーキテクチャ上の決定事項、サプライヤーからの納品、検証結果、および保証アーティファクトは、開発ライフサイクルを通じて相互に関連し続けています。
変更対応型保証
設計の変更により、影響を受けた安全性、サイバーセキュリティ、およびプロセスのビューが再び利用可能となり、分析結果が知らぬ間に時代遅れになるのを防ぐことができます。
既存のエンジニアリング・ツールチェーンと連携可能
SDVault™ は、要件、既存の解析結果、静的解析およびテスト結果をエビデンスとして取り込み、それらを常に最新の状態に保つための関連付け構造を追加します。
SDVライフサイクルに関わるすべての意思決定者のために構築されました
いいえ。このシステムは、ユーザーがすでに運用しているものを活用するように設計されています。要件管理、既存の分析成果物、静的解析結果、テスト結果は、根拠として取り込まれます。このシステムが追加するのは、それらを結びつける構造と、情報を常に最新の状態に保つための仕組みです。
安全面ではISO 26262、これに関連するIEC 61508およびIEC 62304も対象としています。サイバーセキュリティ面ではISO/SAE 21434に加え、UN R155およびR156も対象としています。プロセス面ではAutomotive SPICEを採用しています。
その両方です。SDVault™環境は当社のものであり、それを実際に使用するエンジニアの方々と連携して導入を行います。最初のステップは、当社のアーキテクチャに基づくデモではなく、お客様のアーキテクチャに基づいた実演です。
はい。エアギャップに対応した動作モードは、まさにあなたが指摘されたような理由から、設計の一部となっています。
これは、読み取り、草案作成、説明のために使用されます。決定を下すために使用されるものではありません。評決は計算によって導き出され、モデルは文を記述するだけで、決して数値を記述することはありません。そして、その出力は計算結果と照合されます。
開発チームと共に、ご自身のプログラムの一部を用いて手順を解説します。その後のすべては、そこで見つかった内容に基づいて進めていきます。