Technologiepartnerschaft von Esterel und AbsInt

AbsInts Analysewerkzeuge aiT und StackAnalyzer werden in Esterels SCADE-Umgebung zur Entwicklung sicherheitskritischer eingebetteter Softwaresysteme integriert. Die Integra­tion bietet SCADE-Nutzern erstmals direkten Zugriff auf die Ergebnisse der Analysen der Worst-Case-Ausführungszeit (WCET) und des Stackverbrauchs auf Modellebene.

Elancourt, Frankreich und Saarbrücken, Deutschland, 31. Januar 2008 – Esterel Technologies, weltweit führender Anbieter modellbasierter Entwicklungs- und Verifikationswerkzeuge für si­cher­heits­kritische Systeme und AbsInt, der weltweit führende Anbieter von WCET- und Stack­verbrauchs­analysen, gaben heute ihre Partnerschaft bekannt. Diese hat das Ziel, aiT und StackAnalyzer nahtlos in SCADE zu integrieren.

Esterel SCADE bietet eine vollständige Palette von modellbasierten Design-Werkzeugen (MBD-Tools), von grafischem Entwurf und Va­li­die­rung bis hin zur C-Codegenerierung für den Produktionseinsatz in si­cher­heits­kri­tischen eingebetteten Systemen. Esterel SCADE ist die einzige MBD-Lösung, die eine DO-178B-qualifizierte C-Codegenerierung bis Level A sowie eine Zertifizierung der C-Codegenerierung für IEC 61508 bis SIL 3 und für EN 50128 bis SIL 4 bietet.

aiT berechnet automatisch korrekte und enge Schranken für die Ausführungszeiten von Tasks in einem Echtzeitsystem im schlimmsten Fall (worst-case execution time oder kurz WCET). Es analysiert unmittelbar die ausführbaren Bi­när­da­tei­en des Systems und berücksichtigt dessen Cache- und Pipeline-Verhalten.

StackAnalyzer berechnet automatisch sichere obere Schranken für den Stackverbrauch.

Die Kopplung von SCADE mit aiT und StackAnalyzer ermöglicht SCADE-Nutzern auf sehr komfortable Art und Weise einen präzisen Einblick in das Laufzeitverhalten eines Systems durch das Analysieren der WCET und in den Stackverbrauchs eines jeden Designelements auf Modell­ebene. Entwickler können auf Knopfdruck feststellen, welcher Teil ihres Designs den größten Beitrag zur WCET bzw. zum Stackverbrauch liefert und ihr Modell entsprechend umstrukturieren. Damit kann der Entwicklungszyklus beträchtlich verkürzt und die Anwendung direkt auf der Modellebene optimiert werden. Nutzer-konfigurierbare Reports mit auto­matischem Vergleich ermöglichen es darüberhinaus, Codegenerierungs- und Compiler­optionen effizient zu optimieren.

Die integrierte Lösung wird unter dem Namen „Timing and Stack Verifiers“ mit der SCADE-Suite 6.1 ausgeliefert, die im 3. Quartal 2008 erscheinen soll. Eine Evaluierungsversion ist bereits jetzt verfügbar.

Die Zusammenarbeit von Esterel Technologies und AbsInt wurde von der Europäischen Union im Rahmen des FP6-Forschungsprojekts „INTEREST“ gefördert.

„Unsere Partnerschaft mit Esterel Technologies revolutioniert die Art und Weise, auf welche Timing-Validation-Werkzeuge genutzt werden können”, sagte Christian Ferdinand, Geschäfts­führer von AbsInt. „Nun werden Kunden ihre sicherheitskritischen Produkte nicht nur sehr viel effizienter auf Laufzeit und Stackverbrauch validieren, sondern auch bereits während der Design­phase optimieren können.“

„Unsere Partnerschaft mit AbsInt hilft uns, die Zeit- und Kostenprobleme, die mit der Validierung von Echtzeiteigenschaften eines eingebetteten Systems einhergehen, zu lösen”, sagte Eric Bantegnie, Präsident und CEO von Esterel Technologies. „Die Integration der WCET- und Stack­verbrauchs­analyse in Esterels SCADE-Softwareentwicklungsumgebung mit dem qualifizierten Codegenerator verbessert die Kommunikation im Entwicklungsteam, verkürzt die Ent­wicklungs­zeit, reduziert den Quali­fi­zierungsaufwand und ermöglicht letztendlich einen hocheffizienten Code.“

Über aiT and StackAnalyzer

aiT-WCET-Analysatoren berechnen korrekte und präzise obere Schranken für die längstmögliche Ausführungszeit von Tasks in eingebetteten Systemen. aiT basiert auf einer statischen Analyse des Cache- und Pipeline-Verhaltens einzelner Tasks. Die Ergebnisse gelten für alle Eingaben und jede mögliche Taskausführung. Die präzisen Laufzeitschranken ermöglichen eine bessere Systemauslastung ohne Kompromisse bei der Sicherheit.

StackAnalyzer berechnet automatisch den maximalen Stackverbrauch von eingebetteten An­wendungen für jeden Programmpunkt. Es liegt im Aufgabenbereich des Entwicklers, ge­nü­gend Stack für seine Anwendung zu allozieren. Eine Unterschätzung kann hier zu fatalen Lauf­zeit­fehlern führen. Eine Überschätzung hingegen führt zur Verschwendung von Hardware-Ressourcen.

Über Esterel SCADE

Esterel SCADE, die Entwicklungsumgebung für eingebettete sicherheitskritische Software­appli­ka­tionen, bietet grafische Spezifikationserfassung und -simulation, zusammen mit der Fähigkeit, Sicherheitseigenschaften auf Modellebene zu überprüfen. Sie umfaßt SCADE Suite® und SCADE Display®.

SCADE Suite ist die führende modellbasierte Entwicklungsumgebung für sicherheitskritische eingebettete 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 Energie-Anwendungen
• EN-50128-zertifiziert für SIL-Level 4 durch den TÜV für Schienenverkehr- und Transport-Anwendungen

SCADE Display ist die führende Embedded-Grafik-Entwicklungsumgebung für sicher­heits­kritische Display-Systeme, DO-178B-qualifiziert bis Level A für die Militär- und Flug­zeug­industrie.

Über AbsInt

AbsInt Angewandte Informatik GmbH ist der weltweit führende Anbieter von Software­werkzeugen zur Analyse, Optimierung und Verifikation von eingebetteten Systemen und sicher­heits­kritischen Softwareprogrammen. AbsInts Kunden kommen aus der Automobil-, Luftfahrt- und Tele­kommu­ni­ka­tionsindustrie.

Über Esterel Technologies

Esterel Technologies ist der weltweit führende Anbieter modellbasierter Entwicklungs- und Veri­fi­ka­tions­werkzeuge für kritische eingebettete Systeme. Es ist ein privates Unternehmen mit Haupt­sitz in Elancourt, Frankreich und Mountain View, Kalifornien, USA, mit Tochter­gesell­schaften in Deutschland, Großbritannien und China.

Pressekontakte

Gundel Hahn, Esterel Technologies
Telefon: (+49 89) 123 922 04
gundel.hahn@esterel-technologies.com

Bärbel Faust, AbsInt
Telefon: (+49 681) 383 60 14
faust@absint.com