Functional Safety

概要

ISO 26262とIEC61508の完全検証

自動車、産業、航空宇宙アプリケーション向けの包括的な機能安全フローで、安全分析、故障挿入シミュレーション管理/実行機能が統合されています。

Products

ケイデンスの機能安全ソリューション

自動車、産業、航空宇宙産業の業界では、最先端のエレクトロニクスを使ってより多くの接続性と自律性を実現しつつありますが、この流れのなかでは、安全性に準拠した半導体の開発が非常に重要です。ケイデンスのFMEDAドリブンの機能安全ソリューションは、デジタルでのセーフティメカニズム支援を含むアナログ・デジタル・フルフロー構築するために必要となる高度な安全解析、安全検証、安全性を考慮したインプリメンテーションを強化した製品で構成されています。

FMEDA解析 (Midas)

Midas Safety PlatformによるFMEDA管理

機能安全アーキテクチャの初期段階での検討
チップ設計データを活用し、正確な安全性解析を効率的に行うことが可能
ケイデンスの各製品において利用できる統合ソリューションであり、ケイデンスフローに組み込んでの使用やスタンドアローンとしての使用が可能
WindowsとLinuxに対応

デジタル検証の安全性 (vManager, Xcelium, Jasper)

Xcelium™ Safetyによる故障シミュレーション

ケイデンスの先進的なシリアルおよびンカレント故障シミュレーション技術を活用して、最高性能の安全解析を実現
マシンラーニングアルゴリズムとフォーマルベースフローの組み合わせにより、FMEDA全体のスループットを大幅に向上

vManager™ Safetyによる故障キャンペーン管理

全エンジンの検証キャンペーンを一元管理できるシステム
アナログとデジタルの両方の領域での安全性検証に対応
要求事項のトレーサビリティーが可能
必要な安全文書の報告を自動化

Jasper FSV Appによる故障解析

業界最先端のフォーマル技術を故障解析に適用
シミュレーションの故障リストを最大30%削減
安全性検証のパフォーマンスが向上

アナログ／ミックスシグナルの機能安全 (Legato, Spectre)

アナログ/ミックスシグナル機能安全の自動化

Spectre^® Simulation Platform とLegato™ Reliability Solutionを統合したSafetyソリューション
さまざまな故障モードに対するアナログおよびミックスドシグナルの故障シミュレーションの起動を自動化
Midas Safety Platformにアノテーションできる機能安全診断カバレッジ・レポートを生成し、機能安全の作業を効率化

デジタル・インプリメンテーションの安全性 (Genus, Innovus, Conformal)

安全機構の挿入、最適化、検証の自動化

Safety Solutionは Genus Synthesis、Innovus Implementation、Conformal Equivalence Checkerを統合したソリューション
三重化冗長回路やデュアルコアロックステップなどの安全機構の挿入をガイド
安全要求の達成と検証が可能

IPの安全性(インターフェースIP, Tensilica)

認証されたテンシリカ・プロセッサ・セーフティ・パッケージにより、IPの統合とデバイス認証活動が容易
ASIL-BおよびASIL-D規格のランダム故障に対するSEooCとして認証されたIP
ASIL-Dで認証されたハードウェアとソフトウェアの機能安全設計および管理プロセス
独立した第三者評価機関によるISO 26262 準拠の認証

ISO 26262 TCL Compliance

ケイデンスは、車載向け半導体の設計・検証の全領域をカバーする機能安全ドキュメントキットを提供しています。このキットには、ASIL認証を取得するために、自社のツールやフローに対して準備する必要のある様々なドキュメントが用意されています。このキットを利用することで、各設計プロジェクトにおけるツールのユースケースの評価や、ツール認証に必要な労力を大幅に削減できます。