Sicherheitslösung beschleunigt die Zertifizierung von Automobil- und Industriedesigns

Aktualisierung: 26. Oktober 2021

Sicherheitslösung beschleunigt die Zertifizierung von Automobil- und Industriedesigns

Sicherheitslösung beschleunigt die Zertifizierung von Automobil- und Industriedesigns

Die Cadence Safety Solution ist ein neues Angebot, das auf sicherheitskritische Anwendungen abzielt und integrierte analoge und digitale Sicherheitsabläufe und Engines für eine schnellere Zertifizierung nach ISO 26262 und IEC 61508 bietet.

Die Sicherheitslösung wurde entwickelt, um die Automatisierung und Produktivität im Zusammenhang mit der Einhaltung funktionaler Sicherheitsstandards wie ISO 26262 zu verbessern und bietet neue Verifizierungstools, darunter die Midas Safety Platform, den vManager Safety Manager und den Xcelium Safety Simulator.

Darüber hinaus besteht die Sicherheitslösung auch aus bestehenden Verifikations-, Design-, analogen und digitalen Tools, einschließlich der Kadenz Jasper Functional Safety Verification (FSV) App, Legato Reliability Solution, Spectre Simulation Platform, Genus Synthesis Solution, Innovus Implementation System, Modus DFT Software Solution und Conformal Equivalence Checker.

"Halbleiter „Die Entwicklung für Automobilanwendungen stellt eine Vielzahl von Herausforderungen dar, denen sich die gesamte Lieferkette stellen muss, einschließlich strenger Sicherheitszertifizierungen, die erforderlich sind, um die Einhaltung des ISO 26262-Standards zu erreichen“, sagte Paul Cunningham, Corporate VP und GM der System & Verification Group bei Kadenz.

Das Die Cadence Safety Solution umfasst Flows und Engines, die für fortschrittliches Sicherheitsdesign und -verifizierung optimiert wurden, und umfasst:

  • FMEDA-Management: Die neue Midas-Sicherheitsplattform ermöglicht die Erforschung funktionaler Sicherheitsarchitekturen in der frühen Phase und nutzt native Chip-Designdaten, um eine genaue Sicherheitsanalyse effizient durchzuführen. Die Plattform ist eine einheitliche Lösung, die überall verfügbar ist Cadence-Produkte und ihre modulare Architektur unterstützen sowohl die eingebettete als auch die eigenständige Verwendung mit dem Kadenz Durchfluss.
  • Fehlersimulation: Der neue Xcelium Safety Simulator nutzt die Vorteile Die nativen seriellen und gleichzeitigen Fehlersimulationstechnologien von Cadence ermöglichen die leistungsstärkste verfügbare Sicherheitsanalyse. Die maschinellen Lernalgorithmen des Simulators in Verbindung mit dem formalbasierten Ablauf beschleunigen den gesamten Verifizierungsdurchsatz erheblich.
  • Fehlerkampagnenmanagement: Der neue vManager Safety Manager bietet Funktions- und Sicherheitsverifizierungsmanagement integriert in ein einheitliches System für das Verifizierungskampagnenmanagement über alle Trittfrequenz-Motoren. Kunden können die Durchlaufzeit für Sicherheitsüberprüfungskampagnen um das Dreifache reduzieren, indem sie den vManager Safety Manager nutzen, um die Fehlerabdeckung in der Jasper FSV App und dem Xcelium Safety Simulator zu orchestrieren. Darüber hinaus bietet die vManager Verification Management-Plattform den Kunden Verbindungen, um die Rückverfolgbarkeit von Anforderungen zu ermöglichen, während der vManager Safety Manager die Sicherheitsüberprüfung sowohl in analogen als auch in digitalen Domänen übernimmt und die Berichterstellung für die erforderliche Sicherheitsdokumentation automatisiert.
  • Formale Verifizierung: Die Jasper FSV App wendet branchenführende formale Techniken zur Fehleranalyse an, reduziert die Simulationsfehlerliste um bis zu 30 % und erhöht die Leistung der Sicherheitsverifizierung.
  • Automatisierte analoge funktionale Sicherheit: Die Sicherheitslösung integriert die Spectre-Simulationsplattform und die Legato-Zuverlässigkeitslösung, um den automatisierten Start von Analog- und Mixed-Signal-Fehlersimulationen für verschiedene Fehlermodi und die Generierung von Diagnoseberichten zur funktionalen Sicherheit mit einer Annotation zurück in Midas Safety zu ermöglichen Plattform, beschleunigender Funktionssicherheitsverschluss.
  • Automatisiertes Einfügen, Optimierung und Verifizieren von Sicherheitsmechanismen: Die Sicherheitslösung integriert die Genus-Synthese-Lösung, das Innovus-Implementierungssystem und den konformen Äquivalenz-Checker, um die Einführung von Sicherheitsmechanismen, wie z Implementierungsablauf, der es den Kunden ermöglicht, Sicherheitsanforderungen zu erfüllen und gleichzeitig die Leistungs-, Leistungs- und Flächenziele zu optimieren.