Esterel Technologies und AbsInt bilden eine strategische Technologie-partnerschaft, um die Softwarewerkzeuge zur Laufzeit- und Stackverbrauchs-Analyse von AbsInt als Teil der SCADE® Produktfamilie anbieten zu können

Esterel Technologies and AbsInt form Strategic Technology Partnership

Esterel Technologies' SCADE Suite Timing Verifier™ und SCADE Suite Stack Verifier™ in Kombination mit AbsInts aiT- und StackAnalyzer Tools bieten Worst-Case Execution Time- (WCET) und Stackverbrauchsanalyse auf SCADE Suite™-Modellebene

Elancourt, Frankreich und Saarbrücken, Deutschland — 22 September, 2008

Esterel Technologies, weltweit führender Anbieter modellbasierter Lösungen für die Entwicklung kritischer Embedded-Software und AbsInt, der weltweit führende Anbieter von Softwarewerkzeugen zur Laufzeit- und Stackverbrauchs-Analyse, gaben heute ein OEM-Abkommen zwischen beiden Unternehmen bekannt. Als Ziel dieses Abkommens wird Esterel Technologies AbsInts aiT- und StackAnalyzer-Produkte als SCADE Suite Timing Verifier™ und SCADE Suite Stack Verifier™ in die SCADE®-Familie aufnehmen. Damit ist die SCADE Suite die erste modellbasierte kritische Softwareentwicklungsumgebung, die vollständig integrierte Analysen für Stackverbrauch und Worst-Case Laufzeitverhalten bietet. Diese technischen Methoden sind außerordentlich wertvoll für Entwickler sicherheits-kritischer Embedded-Systeme und -Software geworden. Bei Fragen der Kosteneffizienz, Qualität und Sicherheit können Entwickler nicht länger nur auf manuelle Methoden zur Überprüfung des Stackverbrauchs und der zeitlichen Eigenschaften ihrer Applikationen vertrauen.

Die AbsInt-Produkte wurden nahtlos in die SCADE Suite-Produktlinie integriert und ermöglichen damit einen durchgängigen Prozeß vom modellbasierten Design bis zur Implementierung, einschließlich Stack- und Timing-Verifikation. SCADE Suite Timing Verifier und SCADE Suite Stack Verifier analysieren unmittelbar die ausführbaren Binärdateien des Systems und berücksichtigen das Cache- und Pipeline-Verhalten des eingesetzten Prozessors. Diese Verifikationstechnologie ist für eine Vielzahl von Prozessoren, darunter PowerPC, TriCore und C16x Prozessoren erhältlich. SCADE ist die einzige modellbasierte Entwicklungsumgebung, 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 3/4 bietet.

Mit diesem OEM-Abkommen zwischen Esterel Technologies und AbsInt bietet Esterel Technologies dem Entwickler sicherheitskritischer Embedded-Software nun integrierte Tools aus einer Hand für die modellbasierte Entwicklung, Implementierung und Verifikation. Die Kopplung von Esterels SCADE Suite mit AbsInts aiT- und StackAnalyzer-Produkten liefert einen präzisen Einblick in das Laufzeitverhalten eines Systems durch das Analysieren der WCET und des Stackverbrauchs jedes Designelements auf Modellebene. Auf diese Weise können Entwickler sehr schnell feststellen, welcher Teil ihres Designs den größten Beitrag zur WCET oder zum Stackverbrauch liefert und ihr Modell bereits in einem frühen Entwicklungsstadium entsprechend umstrukturieren.

Die integrierte Lösung wird mit der SCADE Suite 6.1 ausgeliefert, die für Q4/2008 geplant ist. Die Zusammenarbeit von Esterel Technologies und AbsInt wurde von der Europäischen Union im Rahmen des FP6 Forschungsprojekts INTEREST gefördert.

Durch das OEM-Abkommen mit Esterel Technologies können noch mehr Entwickler eingebetteter Echzeitsysteme vom Beitrag unserer Stack- und Laufzeit-Validierungs-werkzeuge zu Qualität und Produktivität bei der Entwicklung ihrer sicherheitkritischen Anwendungen profitieren, sagte Christian Ferdinand, Geschäftsführer von AbsInt.

Wir freuen uns darüber, diese Möglichkeiten unseren Kunden als einen integralen Teil unserer SCADE-Produktfamilie anbieten zu können. Die Rückmeldungen, die wir in Bezug auf die Integration bekommen haben, bestätigen unsere Überzeugung, dass dies eine revolutionäre Technologie für die modellbasierte Entwicklung sicherheitskritischer Applikationen ist, sagte Eric Bantegnie, Präsident und CEO von Esterel Technologies.

Über aiT und StackAnalyzer

aiT WCET (Worst-Case Execution Time) Analyzer berechnet 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.

Der Stackanalyzer berechnet automatisch den maximalen Stackverbrauch von eingebetteten Anwendungen für jeden Programmpunkt. Es liegt im Aufgabenbereich des Entwicklers, genügend Stack für seine Anwendung zu allokieren. Eine Unterschätzung kann hier zu fatalen Laufzeitfehlern führen, die schwierig zu ermitteln sind. Eine Überschätzung des Stackverbrauchs führt zu einer Verschwendung von Speicherressourcen.

Über Esterel SCADE

Esterel SCADE, die Entwicklungsumgebung für sicherheitskritische Embedded-Softwareapplikationen, bietet die grafische Erfassung und Simulation von Spezifikationen, zusammen mit der Möglichkeit, Sicherheitseigenschaften auf Modellebene zu prüfen. Sie beinhaltet SCADE Suite® und SCADE Display®.

SCADE Suite ist die führende, modellbasierte Entwicklungsumgebung für unternehmens- und sicherheitskritische 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 3/4 durch den TÜV für ‚Rail-/Transportation'-Applikationen

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

Über AbsInt

AbsInt Angewandte Informatik GmbH ist der weltweit führende Anbieter von Softwarewerkzeugen zur Analyse, Validierung und Verifikation von eingebetteten Systemen und sicherheitskritischen Softwareprogrammen. AbsInts Kunden kommen aus der Automobil-, Luftfahrt- und Telekommunikationsindustrie.

Weitere Informationen erhalten Sie unter www.AbsInt.com

Über Esterel Technologies – Ein ISO 9001:2000-zertifiziertes Unternehmen

Esterel Technologies ist der weltweit führende Anbieter modellbasierter Entwicklungs-, Verifikations- und Codegenerierungswerkzeuge für unternehmens- und sicherheitskritische Embedded-Systeme. Es ist ein privates Unternehmen mit europäischem Hauptsitz in Elancourt, Frankreich und amerikanischem Hauptsitz in Boston, Massachusetts, mit Tochtergesellschaften in Deutschland, Großbritannien und China.

Weitere Informationen zu Esterel Technologies finden Sie unter: www.esterel-technologies.com und www.esterel-eda.com.

Pressekontakte:

Für Esterel Technologies:

Gundel Hahn

Tel : +49 (0) 89 123 922 04

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

Für EAbsInt:

Bärbel Franzen

Tel : +49 (0) 681 3836014

E-mail : franzen@absint.com

###

⇑