Technologiepartnerschaft von Esterel Technologies und AbsInt GmbH: AbsInts Analysewerkzeuge aiT und StackAnalyzer wurden in Esterels SCADE-Umgebung zur Entwicklung sicherheitskritischer eingebetteter Softwaresysteme integriert. Die Integration bietet SCADE-Nutzern erstmals direkten Zugriff auf die Ergebnisse der Analysen der Worst-Case-Ausführungszeit (WCET) und des Stackverbrauch auf Modellebene.
Elancourt, Frankreich und Saarbrücken, Deutschland, 31. Januar 2008 — Esterel Technologies, weltweit führender Anbieter modellbasierter Entwicklungs- und Verifikationswerkzeuge für sicherheitskritische Systeme und AbsInt, der weltweit führende Anbieter von WCET- und Stackverbrauchsanalysen, 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 Validierung bis hin zur C-Codegenerierung für den Produktionseinsatz in sicherheitskritischen 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. Es analysiert unmittelbar die ausführbaren Binärdateien des Systems und berücksichtigt dessen Cache- und Pipeline-Verhalten.
StackAnalyzer berechnet automatisch sichere obere Schranken für den Stackverbrauch.
Die Kopplung von Esterel SCADE mit AbsInts 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 Modellebene. 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 automatischem Vergleich ermöglichen es darüberhinaus, Codegenerierungs- und Compileroptionen effizient zu optimieren.
Die integrierte Lösung wird 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äftsfü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 Designphase 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 Stackverbrauchsanalyse in Esterels SCADE-Softwareentwicklungsumgebung mit dem qualifizierten Codegenerator verbessert die Kommunikation im Entwicklungsteam, verkürzt die Entwicklungszeit, reduziert den Qualifizierungsaufwand 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.
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 allozieren. Eine Unterschätzung kann hier zu fatalen Laufzeitfehlern führen. Eine Überschätzung hingegen führt zur Verschwendung von Hardware-Ressourcen.
Über Esterel SCADE
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 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 sicherheitskritische Display-Systeme, DO-178B-qualifiziert 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, Optimierung und Verifikation von eingebetteten Systemen und sicherheitskritischen Softwareprogrammen. AbsInts Kunden kommen aus der Automobil-, Luftfahrt- und Telekommunikationsindustrie.
Über Esterel Technologies
Esterel Technologies ist der weltweit führende Anbieter modellbasierter Entwicklungs- und Verifikationswerkzeuge für kritische eingebettete Systeme. Es ist ein privates Unternehmen mit Hauptsitz in Elancourt, Frankreich und Mountain View, Kalifornien, USA, mit Tochtergesellschaften in Deutschland, Großbritannien und China.
Pressekontakte
Gundel Hahn, Esterel Technologies
Telefon: (+49 89) 123 922 04
gundel.hahn@esterel-technologies.com
Bärbel Franzen, AbsInt
Telefon: (+49 681) 383 60 14
franzen@absint.com
Deutschland-Roadshow 2008
