機能の正しさの検証だけでは十分ではありません。高い安全性が求められるソフトウェア開発においては、あらゆる関連条件下でソフトウェアが定められた時間制約内に実行されることも保証する必要があります。VectorCAST/Timingは、エンジニアがソフトウェアの実行時間を算出、可視化、および評価できるよう支援し、認証や妥当性確認で求められる統計的な確率評価にも対応します。
タイミング解析は、実際の実行時間計測データに形式的な統計手法を適用して行われます。ハードウェアモデルは使用せず、マイクロアーキテクチャに関する解析上の仮定も必要ありません。本ツールは計測データをモデル化し、安全性評価において重要となる極値を特定します。生成される結果は、追加の説明を必要とすることなく認証監査で利用可能なエビデンスとして活用できます。
VectorCAST/Timingの適用分野
VectorCAST/Timingは、シングルコアおよびマルチコアプラットフォームを対象とするセーフティエンジニア、検証チーム、品質保証チーム、およびシステムアーキテクト向けに設計されています。ISO 26262、DO-178C、EN 50716、IEC 61508、IEC 62304、および IEC 60880 に対応するプロジェクトに適しており、利用には有効なVectorCASTライセンスが必要です。
メリット
VectorCAST/Timingは、静的WCET解析と単純な計測ベース手法の双方が抱える課題を解決し、実用性と形式的な妥当性を両立したタイミング解析を実現します。
安全性評価に活用できるタイミングエビデンスを生成
実行時間の計測データに形式的な統計手法を適用することで、ISO 26262、DO-178C、EN 50716、IEC 61508、IEC 62304、および IEC 60880 の認証監査で活用できる結果を提供します。
静的WCET解析の限界を克服
静的Worst-Case Execution Time（WCET）解析では、過度に保守的な結果となることが多く、その結果として不要なハードウェアの過剰設計やシステムアーキテクチャ全体への制約が発生します。VectorCAST/Timingは、解析上の仮定ではなく、実際の計測データに基づいて解析を行います。
実際の実行データに基づくタイミング解析
ハードウェアモデルやマイクロアーキテクチャに関する仮定は必要ありません。実際に使用しているハードウェア上でソフトウェアがどのように動作したかという実測データに基づいて結果を算出します。
異常なタイミング挙動を早期に検出
統計的に異常なタイミング挙動を開発のあらゆる段階で迅速に特定できます。システム統合や認証レビューの段階になって初めて問題が発覚することを防ぎます。
既存のVectorCAST環境を活用
VectorCAST/TimingはVectorCASTエコシステム向けに設計されています。今後はテスト、コードカバレッジ、および要件トレーサビリティとの完全統合も予定されています。
VectorCAST/Timingが解決する課題
多くの開発チームにとって、タイミング解析は検証プロセスの中で最も成熟度の低い領域のひとつです。現在広く利用されている2つのアプローチには、それぞれ大きな課題があります。
静的WCET推定
静的Worst-Case Execution Time（WCET）解析は、正しく適用すること自体が非常に複雑です。また、過度に保守的な結果になりやすく、不要なハードウェアの過剰設計やシステムアーキテクチャ全体への設計制約を生み出します。
計測ベース手法のみを利用するアプローチ
計測ベースの手法には形式的な保証がありません。結果を裏付ける数学的に証明された手法がなければ、認証監査において十分なタイミングエビデンスとして認められない可能性があります。
VectorCAST/Timingはこれら双方の課題に対応します。実際の実行時間データを基に解析を行い、そのデータへ形式的な統計手法を適用することで、実測事実に基づき、かつ数学的に検証可能な結果を提供します。
主な特長
VectorCAST/Timingは、正式な妥当性確認および認証プロジェクトで使用できるよう適格性評価に対応しています。タイミング要求への適合を統計的に証明するためのレポートを生成できます。
製品の入手状況
VectorCAST/TimingのEarly Access（早期利用）は現在提供中です。正式リリースに先立ち、数学的に厳密なタイミング解析を導入したいチーム向けに提供されています。本ツールは適格性評価に対応しており、正式な妥当性確認および認証プロジェクトにおいて、タイミング要件への適合を統計的に証明するためのレポートを生成できます。
製品ロードマップは、お客様からのフィードバックやプロジェクトの優先事項を反映しながら継続的に拡張されています。Early Accessユーザーは、統合方法、レポート形式、認証エビデンスの提供方法など、最終製品の方向性に大きく影響を与えることができます。