Technologiepartnerschaft von Esterel Technologies und AbsInt GmbH: Die Entwicklungsumgebung SCADE von Esterel zur Entwicklung sicherheitskritischer, eingebetteter Softwaresysteme wurde mit AbsInts Analysewerkzeugen aiT (Laufzeitanalyse) und StackAnalyzer integriert.
Die Integration der AbsInt Softwarewerkzeuge aiT und StackAnalyzer mit Esterels SCADE Certified Software Factory bietet SCADE-Nutzern erstmals direkten Zugriff auf die Ergebnisse der Analysen von Worst-Case Execution Time (WCET) und Stackverbrauch auf Modellebene.
Elancourt, Frankreich und Saarbrücken, Deutschland — 31 Januar 2008
Esterel Technologies, weltweit führender Anbieter modellbasierter Entwicklungs- und Verifikationstools 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- (MBD) Tools, von grafischem Entwurf und Validierung bis hin zu 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 bietet SCADE Nutzern auf sehr komfortable Art und Weise einen präzisen Einblick in das Laufzeitverhalten eines Systems durch das Analysieren der WCET und des Stackverbrauchs jedes Designelements auf Modellebene. Entwickler können auf Knopfdruck feststellen, welcher Teil ihres Designs den größten Beitrag zur WCET oder zum Stackverbrauch liefert und ihr Modell entsprechend umstrukturieren. Damit kann der Entwicklungszyklus beträchtlich abgekürzt und die Applikation direkt auf der Modellebene optimiert werden.
Nutzer-konfigurierbare Reports mit automatischem Vergleich erlauben es, Codegenerierungs- und Compileroptionen effizient zu optimieren.
Die integrierte Lösung wird mit der SCADE Suite 6.1 ausgeliefert, die für Q3/2008 geplant ist. 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, wie Timing Validation Tools genutzt werden können
, sagte Christian Ferdinand, Geschäftsführer von AbsInt. Nun werden Kunden ihre sicherheitskritischen Produkte nicht nur sehr viel effizienter gemäß 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 Entwicklungszeit, reduziert den Qualifizierungsaufwand und ermöglicht letztendlich einen hocheffizienten Code.
Über aiT und StackAnalyzer
aiT 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.
Ü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 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 AbsInt
Angewandte Informatik GmbH bietet Softwarewerkzeuge zur Analyse, Optimierung und Verifikation von eingebetteten Systemen und sicherheitskritischen Softwareprogrammen an. AbsInts Kunden kommen aus der Automobil-, Luftfahrt- und Telekommunikations-industrie.
Weitere Informationen finden Sie unter http://www.AbsInt.com
Ü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 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 AbsInt :
Bärbel Franzen
Tel : +49 (0) 681 3836014
Email : franzen@absint.com
###
⇑