Medienkontakte: Janice Hughes, Hughes Communications, Inc

Medienkontakte:
Janice Hughes, Hughes Communications, Inc., Media Relations
Tel: +1 (705) 774-8686, Email: [email protected]
Mark James, LDRA, Marketing Manager
Tel: +44 (0)151 649 9300, Email: [email protected]
Diese Pressemitteilung können von der Internetadresse www.hughescom.net mit den zugehörigen Bildern (im hochauflösenden
jpeg Format) heruntergeladen werden.
ARM TechCon: LDRA an Stand 831
Express Logic wählt LDRA als bevorzugten Partner
für den Bereich funktionale Sicherheit
LDRA Tool Suite® verifiziert die Konformität von ThreadX™ zu den
Normen ISO 26262 (Automotive) und EN 50128 (Eisenbahn)
Von ARM TechCon, Santa Clara (CA), den 10. November 2015 — LDRA, führender Anbieter in den
Bereichen Normkonformität (Compliance), automatisierte Software-Verifikation, Quellcode-Analyse und
Test-Tools, teilt mit, dass LDRA von Express Logic als bevorzugter Partner für die Zertifizierung im
Automotive- und Eisenbahnbereich gewählt wurde. Die Entscheidung zugunsten von LDRA fiel aufgrund
der umfangreichen Zertifizierungs-Erfahrung des Unternehmens und der Eignung seiner Tools für die
zusätzlichen Verifikationsanforderungen der Normen ISO 26262 und EN 50128.
Die für ihre umfassenden Softwaretest- und -verifikationsfähigkeiten bekannte LDRA Tool Suite geht über
den Rahmen konkurrierender Produkte hinaus und bietet den Kunden die vollständigsten ComplianceFunktionen auf dem Markt. LDRA ist einzigartig in seiner Fähigkeit die Software-Qualitätsanalyse zu
automatisieren und umfassenden Zertifizierungs-Support und Compliance zu bieten. Hierfür werden unter
anderem folgende Fähigkeiten geboten:






Vollständig integrierte statische Codeanalyse, dynamische Coverage-Analyse und Modul/Integrationstests
Objektcode-Verifikation
Data Coupling- und Control Coupling-Analyse
100-prozentige MC/DC-Coverage zur Sicherstellung, dass alle möglichen Resultate und
Bedingungen komplett getestet werden
Verifikations-Automatisierung mit modellbasierten Entwicklungslösungen
Rückverfolgbarkeit über den kompletten Lebenszyklus bis zu den Zielsetzungen der Normen
Express Logic konnte die Vor-Zertifizierung des branchenführenden Echtzeit-Betriebssystems ThreadX
nur erreichen, indem der Code einer solch fundierten Analyse unterzogen wurde. Die Tools von LDRA,
die dem TÜV als Zertifizierungsstelle bestens bekannt sind, beschleunigten den Vorgang so, dass
Express Logic die Normkonformität schnell und unkompliziert erreichen konnte.
Rigorose Softwaretests sind entscheidend für moderne Autos und Hochgeschwindigkeitszüge
Laut IEEE Spectrum liegen sowohl die Zahl der Computer als auch der Codeumfang in modernen
Automobilen auf dem Niveau moderner Verkehrsflugzeugen. Gesteuert werden unter anderem auch
lebensentscheidende Funktionen wie etwa E-Gas oder Brems- und Kollisionsvermeidungs-Systeme. Mit
der Einführung computergestützt und autonom fahrender Autos wird sich dieser Trend sogar noch
verstärken. Automobilhersteller und deren Zulieferer sind deshalb auf der Suche nach Möglichkeiten, die
Zuverlässigkeit der Computersoftware zu gewährleisten. Die Automotive-Norm ISO 26262 erzwingt dabei
einen umfassenden, rigorosen Entwicklungsprozess, der den Unternehmen bei der Entwicklung qualitativ
hochwertiger Software hilft.
Ähnlich ist es bei den Hochgeschwindigkeitszügen, wo man ebenfalls eine Verbesserung der Sicherheit
anstrebt. Ein immer größerer Umfang an Funktionalität und Systemmanagement-Aufgaben wird in die
Software verlagert, sodass ein qualitativ hochwertiger Entwicklungsprozess und Compliance-Prüfungen
für die Software erforderlich sind. Die Verwendung eines bereits zertifizierten Echtzeit-Betriebssystems
(RTOS) bietet dem Kunden hierbei die Gewähr, dass sein System die Zertifizierung mit größerer
Wahrscheinlichkeit ohne unnötige Verzögerungen und zusätzliche Nachweise passiert.
„Transportsysteme enthalten heute häufig mehr als 100 Mikrocontroller, und die Zahl der Codezeilen liegt
im zweistelligen Millionenbereich. Unsere Tools müssen deshalb den strengsten ZertifizierungsAnforderungen gerecht werden“, berichtet William E. Lamie, CEO of Express Logic, Inc. „LDRA genießt
einen ausgezeichneten Ruf und ist als Anbieter der besten End-to-End-Zertifizierungs- und Prüf-Tools auf
dem Markt bekannt. Die LDRA Tool Suite ermöglicht die zügigste Zertifizierung und wird von einem
hervorragenden, kompetenten Support-Team gestützt, das über die gesamte Strecke Hand in Hand mit
unserem Entwicklungsteam zusammenarbeitete. Wir sind deshalb zuversichtlich, dass ThreadX die
fundierte, zuverlässige Compliance erreicht hat, die unsere aus dem Automobil- und Eisenbahnsektor
kommenden Kunden für ihre sicherheitskritischen Systeme benötigen.“
Das Compliance-Angebot von LDRA
LDRA bietet die vollständigste Softwareverifikations- und Validierungslösung zur Entwicklung
sicherheitskritischer Automotive-Software. Die LDRA Tool Suite unterstützt den gesamten ISO 26262und EN 50128-Prozess von den Anforderungen bis zum Deployment und hilft auf diese Weise,
arbeitsintensive und fehlerträchtige Elemente des Entwicklungsprozesses zu eliminieren oder zu
reduzieren. Abgesehen von der kompletten Compliance zu den Codierungsstandards gibt LDRA den
Unternehmen die Möglichkeit, Zielsetzungen der Normen ISO 26262 und EN 50128 mit Anforderungen
zu verknüpfen, sodass sie beim Design, bei der Implementierung und bei der Verifikation zurückverfolgt
werden können. Umfassende Tests stellen ferner sicher, dass der Code komplett geprüft wird und dass
die Kunden die komplette Structural-Coverage-Verifikation erreichen können, wie es gemäß ISO 26262
ASIL Level D und EN 50128 für Softwarefunktionen erforderlich ist, die strengste
Sicherheitsanforderungen erfüllen müssen.
„Mit mehr als zwei Millionen Deployments genießt ThreadX von Express Logic einen hervorragenden Ruf
für optimierten, leistungsfähigen und zuverlässigen Code, der damit alle für sicherheitskritische Märkte
entscheidenden Voraussetzungen mitbringt“, sagt Ian Hennell, Operations Director bei LDRA. „Wir
wissen das Vertrauen, das Express Logic in die LDRA Tool Suite setzt, sehr zu schätzen und freuen uns,
dem Unternehmen helfen zu können, seine Spitzenstellung im Bereich der Automobile und
Hochgeschwindigkeitszüge weiter auszubauen.“
###
Über LDRA
Seit mehr als 40 Jahren hat LDRA den Markt für Software für automatisierte Code-Analysen und
Softwaretests in sicherheits-, missions- und geschäftsentscheidenden Anwendungen weiterentwickelt
und vorangetrieben. Gemeinsam mit seinen Kunden arbeitet das Unternehmen daran, Fehler frühzeitig
aufzudecken und Industriestandards lückenlos einzuhalten. LDRA nutzt die Rückverfolgung der
Anforderungen über statische und dynamische Analysen, Programmeinheits-Tests und die Verifikation für
eine breite Palette von Hardware- und Software-Plattformen. Das Unternehmen mit Sitz im Vereinigten
Königreich ist weltweit präsent und unterhält neben Tochtergesellschaften in den USA und Indien auch
ein umfangreiches Distributornetz. Weitere Informationen über die Tool-Serie von LDRA finden Sie auf
www.ldra.com
Leseranfragen bitte an:
Mark James
Email: [email protected]
Alle erwähnten Produkt- oder Dienstleistungsnamen sind Marken der jeweiligen Eigentümer.