Esterel Technologies erweitert den Zertifizierungsbereich mit SCADE Suite® 6.0

Esterel SCADE Suite

Esterel SCADE Suite-Codegenerierungs- und Verifizierungstools unterstützen nun mehrere Zertifizierungs-/Qualifizierungsstandards für die unternehmens- und sicherheitskritische Applikationsentwicklung (DO-178B, IEC 61508, EN 50128 und IEC 60880)

Elancourt Frankreich und Nürnberg, Deutschland — 26 Februar 2008

Esterel Technologies, weltweit führender Anbieter modellbasierter Lösungen für die Entwicklung unternehmens- und sicherheitskritischer Systeme, hat seine Unterstützung für die Zertifizierungs- und Qualifizierungsstandards in den Bereichen militärische Anwendungen, Luft- und Raumfahrt, Eisenbahn/Transportation, industrielle, nukleare und Automobilapplikationen erweitert.

Esterel SCADE Suite ist die einzige modellbasierte Lösung die mit ihrem automatischen Codegenerator KCG mehrere Qualifikationen für verschiedene Standards bietet. Der qualifizierte Codegenerator SCADE Suite KCG 6.0 erfährt eine Qualifizierung als Entwicklungstool gemäß des militärischen und Aerospace-Standards DO-178B, bis Level A. Frühere Versionen des KCG sind als Entwicklungstool gemäß DO-178B Level A für mehr als 25 Flugzeugprogramme von EASA, Transport Canada und der Federal Aviation Administration (FAA) qualifiziert worden. Die erste Qualifizierung des SCADE Suite KCG 6.0 wird im Frühling 2008 für mehrere Flugzeugprogramme, darunter das militärische Transportflugzeug Airbus A400M, durchgeführt werden.

Zusätzlich zur DO-178B-Qualifizierung in der Luft- und Raumfahrt, erfährt der SCADE Suite KCG 6.0 auch eine Zertifizierung durch TÜV SÜD. Diese Zertifizierungsbemühungen schreiten gleichzeitig voran. Im Jahr 2007 prüfte TÜV SÜD den KCG 5.1 der SCADE Suite, um die Einhaltung der Anforderungen des SIL3 gemäß IEC 61508 und des SIL3/4 nach EN 50128 zu bestätigen.

Diese verschiedenen Qualifizierungen/Zertifizierungen werden durch die direkte Abbildung zwischen dem Esterel SCADE Suite-Grafikmodell und dem generierten Code erreicht, was einen vollständig rückverfolgbaren Pfad vom Modell zum Code gewährleistet, einschließlich der Einhaltung zugehöriger Entwicklungs- und Sicherheitsstandards. Der SCADE Suite KCG generiert ANSI C Code, der den Anforderungen der sicherheitskritischer Software-Entwicklung gerecht wird. Charakteristiken dieses Codes sind:

Voll portabel zu sein (Compiler-, Zielsystem- und Betriebssystem-unabhängig)
MISRA™-kompatibel zu sein
Lesbar und rückverfolgbar in Bezug auf das Design zu sein
Größen- und/oder Geschwindigkeits-optimiert zu sein
Gut strukturiert zu sein (über Funktionen und/oder Blöcke)

Auf der niedrigsten Abstraktionsebene führt dieser Code nur statische Speicherzuordnungen aus, keine Pointer-Arithmetik, keine Rekursion (nur begrenzte Schleifen) und verfügt über eine wohldefinierte Ausführungszeit.

Esterel Technologies stellt das SCADE Suite KCG Qualification Kit zur Verfügung, das alle Artefakte beinhaltet, die von Esterel während der Entwicklung des Tools produziert wurden und die von der Zertifizierungsbehörde in der FAA-Anordnung 8110.49 für ein Entwicklungstool gefordert werden, wie:

Tool Qualification Plan (TQP)
Software Requirements Data
Software Installation Procedure (SIP)
Version Content (VC)
Software Configuration Index (SCI)
Tool Accomplishment Summary (TAS)

Esterel Technologies setzt sich für die weitere Entwicklung von Zertifizierungsstandards in mehreren Industriebereichen ein. Beispiele dieses Engagements sind die Teilnahme an den ISO 26262-Bestrebungen im Automobilbereich sowie im DO-178C-Komitee im Luft- und Raumfahrtbereich. Unser Einsatz für unternehmens- und sicherheitskritische Applikationen hat es uns ermöglicht, über verschiedene Industriebereiche hinweg eine weltweite Expertise in Softwarezertifizierungsprozessen zu erreichen, die die gemeinsamen Anliegen bzgl. Sicherheit und Abhängigkeit teilen, sagte Eric Bantegnie, Präsident und CEO von Esterel Technologies. Unsere Mitwirkung bei der Entwicklung künftiger Standards und die gemeinsame Nutzung optimaler Verfahren und Prozesse über Industriebereiche hinweg, auf einer weltweiten Basis, wird auch weiterhin messbare Vorteile für unsere Kunden bieten.

Über Esterel SCADE Suite

Esterel SCADE, die Entwicklungsumgebung für eingebettete sicherheitskritische Softwareapplikationen, bietet grafische Spezifikationserfassung und -simulation, zusammen mit der Fähigkeit, Sicherheitseigenschaften auf Modellebene zu überprüfen. Sie umfasst SCADE Suite® und SCADE Display™.

SCADE Suite® ist die führende, modellbasierte Entwicklungsumgebung für sicherheits-kritische Embedded-Software:

DO-178B-qualifiziert bis Level A für die Militär- und Flugzeugindustrie
IEC 61508-zertifiziert für SIL-Level 3 durch den TÜV für Schwermaschinen- und Energieapplikationen
EN 50128-zertifiziert für SIL-Level 4 durch den TÜV für ‚Rail-/Transportation'-Applikationen

SCADE Display™ ist die führende Embedded-Grafik-Entwicklungsumgebung für sicherheitskritische Display-Systeme, DO-178B-qualifiziert bis Level A für die Militär- und Flugzeugindustrie.

Über Esterel Technologies

Esterel Technologies ist der weltweit führende Anbieter modellbasierter Entwicklungs- und Verifikationswerkzeuge für kritische Embedded-Systeme.

Es ist ein privates Unternehmen mit Hauptsitz in Elancourt, Frankreich und Mountain View, Kalifornien, USA, mit Tochtergesellschaften in Deutschland, Großbritannien und China. Weitere Informationen zu Esterel Technologies finden Sie unter: www.esterel-technologies.com.

Pressekontakt :

For Esterel Technologies :

Gundel Hahn

Tel : +49 (0) 89 123 922 04

E-mail : Gundel.Hahn@esterel-technologies.com

###

⇑