Die LDRA Werkzeugreihe ist direkt in die Altera NIOS®II Embedded Design Suite integriert

Eine Integration der LDRA Werkzeugreihe in Altera Nios II erlaubt die Zertifizierung dieser FPGAs nach Standards wie DO-178, MISRA und IEC 61508- so dass sie sich ideal eignen für den Einsatz im automobilen, medizintechnischen und Luftfahrtsbereich.

Monks Ferry, Wirral, Vereinigtes Königreich – den 31. Januar 2012. LDRA, der Marktführer für den Nachweis von Standards, der automatisierten Softwareverifizierung, der Quellcodeanalyse und weiterer Testwerkzeuge, hat die LDRA Werkzeugreihe dahingehend erweitert, dass nunmehr eine direkte Integration mit der Altera Embedded Design Suite (EDS) für Nios II „Soft Core“ Prozessoren zur Verfügung steht. Früher besaßen solche Prozessoren nicht genügend CPU Funktionen und Speicher um in automobilen, medizintechnischen, industriellen oder luftfahrttechnischen Umgebungen eingesetzt zu werden. Mit der Einführung der NIOS II Familie jedoch können nunmehr ganze Chipsätze durch ein Altera FPGA ersetzt werden, welche ideal für Anwendungen geeignet sind, die zertifiziert werden müssen. Die Integration mit LDRA stellt sicher, dass Standards wie DO-178B/C, MISRA und IEC 61508 direkt verifiziert und validiert werden können, wenn solche „Soft Core“ Prozessoren verwendet werden können.    

Um diese Integration zu erreichen hat sich LDRA einige Vorteile, die die NIOS II Werkzeugreihe bietet, zunutze gemacht. Wenn die GNU GCC Werkzeugreihe zusammen mit der Eclipse IDE benutzt werden um die NIOS II zu programmieren, dann sind Entwickler in der Lage die Vorteile der „Soft Core“ Prozessoren zu verwenden, die zuvor nur auf ASICs mit kundenspezifischen Chipsätzen  vorhanden waren. LDRA verwendet die Host-Ein-/Ausgabemöglichkeiten der GCC Werkzeugreihe um Programmeinheits- und Systemtests zu erzeugen, die die Daten nahtlos zurück zum Hostrechner transferieren. Innerhalb der Eclipse-Umgebung können Tests automatisch geladen und ausgeführt werden, so dass während der Verifizierung Zeit eingespart wird.

„Das Erreichen der Zertifizierung ist keine leichte Aufgabe“, bestätigte Ian Hennell, LDRA Operations Director. „Die LDRA Werkzeugreihe besitzt Schablonen, die speziell auf die Bedürfnisse der Industrie bezüglich bestimmter Programmierstandards zugeschnitten sind. Diese werden bereits mit bestimmten Standardanforderungen aufgefüllt ausgeliefert, so dass sich für die Entwickler der Nachweis der Erfüllung des gewählten Standardmodells vereinfacht. Die Verifizierungsstärken von LDRA kombiniert mit einer kostenreduzierten Plattform wie NIOS II senken die Kosten eingebetteter Systeme in ganz unterschiedlichen Industriesektoren, wie zum Beispiel der Automobil-, der Medizintechnik- oder der Luftfahrtindustrie, für die solche Anwendungen ideal geeignet sind.“ 

Wenn Firmen die LDRA Werkzeugreihe verwenden, dann benutzen sie Validierungswerkzeuge, die sicherstellen, dass eine Softwareanwendung, die auf einer NIOS II Plattform erzeugt wurde, zertifizierbar ist. Da FPGA basierte „Soft Core“ Prozessor beträchtliche Kostenvorteile gegenüber herkömmlichen Hardware basierten Prozessoren, sowohl was den Preis der Prozessoren selber als auch was den reduzierten Aufwand der Platinenentwicklung betrifft, verfügen, vergrößert die LDRA Integration die Marktchancen für Anwender, die sicherheits- und laufzeitkritische Anwendungen entwickeln und sich die Entwicklungs- und Kostenvorteile dieser Altera Prozessorfamilie zunutze machen wollen.

Die LDRA Werkzeugreihe bietet eine unabhängige Verifizierungsunterstützung über den vollständigen Entwicklungslebenszyklus ausgehend von den Zertifizierungszielsetzungen wie den DO-178B/C, IEC 61508, ISO 26262 und IEC 62304 Standards bis zu den Anforderungen, dem Code und dem Test auf dem Zielprozessor. Die einzigartige Fähigkeit von LDRA die Verfolgbarkeit in beide Richtungen, ausgehend von den Anforderungen über das Modell, den Code und die Tests, zu gestatten, erlaubt es heterogenen Entwicklerteams den entwickelten Code auf geeignete Programmierstandards hin zu validieren und somit den gesamten Zertifizierungsprozess zu automatisieren.

# # #

Über LDRA

Seit mehr als 35 Jahren hat LDRA den Markt für Software, welcher die Codeanalyse und den Softwaretest für Anwendungen, welche kritisch für die Sicherheit, den korrekten Ablauf von Systemen in der Luft- und Raumfahrt und anderen Wirtschaftszweigen sind, automatisiert und fortentwickelt. Zusammen mit seinen Kunden ist LDRA bestrebt frühzeitig Softwarefehler zu identifizieren und nachzuweisen, dass die entwickelten Softwaresysteme vollständig den zugrunde gelegten Industriestandards genügen. LDRA kann Anforderungen durch die Prozesse für die statische und dynamische Analyse, den Programmeinheitstest und die Verifizierung hindurch verfolgen und zwar auf einer großen Anzahl von Soft- und Hardwareplattformen. LDRA ist weltweit vertreten mit Sitz im Vereinigten Königreich und Tochtergesellschaften in den USA und Indien, sowie einem ausgedehnten Netzwerk von Distributoren. Zwecks weiterer Informationen über die LDRA Werkzeugreihe besuchen Sie bitte www.ldra.com. 

Bitte senden Sie Leseranfragen an:

Mark James

Email: Diese E-Mail-Adresse ist gegen Spambots geschützt! JavaScript muss aktiviert werden, damit sie angezeigt werden kann.