組み込みシステムのセキュリティ

完全なトレーサビリティでサイバーセキュリティの目標を管理

システムレベルのセキュリティ アーキテクチャを取得し、セキュリティ目標を割り当てます。要件をアーキテクチャ、設計、生成コード、およびテスト アーティファクトとともに作成および管理することができます。デジタルスレッドにより設計の一貫性を保ち、実装またはテストのギャップを特定し、高レベルの要件から実装までの完全なトレーサビリティを実現することができます。設計変更の影響をすばやく理解し、監査用の検証および妥当性確認レポートを生成します。

脆弱性とコンプライアンスの問題についてコードを解析

人間のエキスパートやコードレビューに頼ることなく、C/C++ ソースコードのセキュリティを評価します。静的アプリケーション セキュリティ テスト (SAST) を使用すると、開発者はソフトウェア開発ライフサイクルの早い段階で、最新のセキュアコーディング規約 (CERT^® C および CERT C++) への準拠を確認し、脆弱性パターン (CWE) を回避することができます。拡張されたセキュリティチェックにより、汚染データ、暗号化ライブラリの誤用、および機密上の問題を特定することができます。ソフトウェアの堅牢性を解析し、形式的手法に基づくコード解析で重大な脆弱性がないことを証明します。

セキュリティチェックを自動化

プロセスを自動化し、開発と運用全体で、一貫した効率的なセキュリティチェックを確保します。モデルの CI パイプラインを設定して、変更を自動的にテストし、セキュアなコードを生成します。すべてのコミットでコードベースを頻繁にスキャンして脆弱性を検出し、コンプライアンス レポートを生成します。

製品情報を見る

• Polyspace
• MATLAB Report Generator