LDRA
Support für Arm-Chips in Safety-kritischen Anwendungen
LDRA weitet seine Objektcode-Verifikation um Softwaretests für Arm-basierte Chips aus, die in Safety-kritischen Aerospace-, Rüstungs- und Automotive-Anwendungen zum Einsatz kommen.
Da Arm-Chipsätze in den zentralen CPUs von Luftfahrzeugen und Automobilen immer mehr an Verbreitung gewinnen, wird die Safety-kritische Verifikation zunehmend unerlässlich. Der von LDRA gebotene Support ermöglicht Softwareentwicklern die Nutzung der LDRA Tool Suite, um die Codeabdeckung sowohl auf der Assembler- als auch auf der Quellcode-Ebene zu verifizieren.
Durch die Ausweitung der Objektcode-Verifikation auf Arm-basierte Chips ermöglicht LDRA die Einhaltung von Level A, also der höchsten Safety-Anforderungen, des für den Aerospace-Bereich geltenden Safety-Standards DO-178C. Automotive-Entwicklern wird damit gleichzeitig die Gelegenheit geboten, für die anspruchsvollsten Anwendungen ihres Tätigkeitsfelds ein ähnliches Maß an Verlässlichkeit zu erreichen.
Lesen Sie mehr zum Thema
Das könnte Sie auch interessieren
Software-Verifikation
LDRA unterstützt Tools von Intland und Atlassian
Produkte des Jahres 2020
Software-Engineering
Codierrichtlinien
Integrierte C++-Richtlinien: Autosar und Misra
