Funktionale Sicherheit
Kooperation von Xilinx und LDRA
Die Tools der LDRA wurden in die Zynq-7000 All Programmable SoC und das Zynq-7000 AP SoC Entwicklungs-Kit von Xilinx integriert, um den Standardnachweis für sicherheitskritische Anwendungen zu erbringen.
Xilinx setzt die strukturierte Überdeckungsanalyse und die Standardnachweismöglichkeiten der LDRA-Werkzeuge ein, um den Zynq-7000 Bootloader Code und den Gerätetreiber-Code für Schlüsselmärkte, die die Zertifizierung und den Standardnachweis für funktionale Sicherheit erfordern, zu verbessern. Darüber hinaus können die Tools bei Entwicklungen in Zynq-7000 SoC-Umgebungen genutzt werden, um sicherzustellen und nachzuweisen, dass Standards wie DO-178, IEC 61508 und ISO 26262 erfüllt werden.
Die Verwendung der LDRA-Werkzeuge zusammen mit Zynq-7000 SoC erhöht die Wertschöpfung für den sicherheitskritischen Anwendungsentwickler, der den Nachweis, dass sein System die notwendigen Standards erfüllt, von unabhängigen Prüfern zertifizieren lassen muss. Durch die Arbeit, die Xilinx erledigt, sind Entwickler, die die Verifizierungswerkzeuge von LDRA verwenden, in der Lage ihre Daten aus der Hardwareplattform leichter in die Verifizierungsprozesse, die für die Anwendungs-Software benötigt werden, zu integrieren.
Jobangebote+ passend zum Thema
Lesen Sie mehr zum Thema
Das könnte Sie auch interessieren
40 years of LDRA
Mission: Safety and Security
Drei Monate früher als geplant
16 nm All Programmable MPSoC
Mobilitätskonzepte
PTV Group und Inrix entwickeln Lösungen für Smart Cities
Signifikant höhere System-Performance
Xilinx UltraScale Multi-Processing-Architektur
Modellbasierte Enwicklung
Schwere Fehler sicher ausschließen
Softing
Diagnostic Tool Set 8 verbessert Fahrzeugdiagnose
Xilinx und Xylon
Entwicklungs-Kit für Fahrerassistenzsysteme mit bis zu sechs Kameras
ETAS
Die Zukunft der automobilen Software gestalten
Kasasi
Analyse-Tool "Reporting Manager" für Telematiklösung NIC-base
Software-Entwicklung
Schlüsselaspekte der ISO 26262 mit MISRA C:2012 erfüllen
Matlab/Simulink
Code-Generierung für Cortex-M-Prozessoren
Software-Test
Coverity bringt Code-Analyse, Unit-Test und Codierungsrichtlinien zusammen
