AbsInts Analysewerkzeuge aiT und StackAnalyzer wurden
erfolgreich in Esterels SCADE-Umgebung zur Entwicklung sicherheitskritischer
eingebetteter Softwaresysteme integriert. Die Integration bietet
SCADE-
Elancourt, Frankreich und Saarbrücken, Deutschland, 22. September 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 ein OEM-Abkommen zwischen den beiden Unternehmen bekannt.
Als Ergebnis dieses Abkommens wird Esterel AbsInts aiT- und StackAnalyzer-Produkte unter dem Namen „Timing and Stack Verifiers“ in die SCADE-Produktfamilie aufnehmen. Damit ist SCADE die erste modellbasierte Softwareentwicklungsumgebung, die vollständig integrierte Analysen des Stackverbrauchs und des Worst-Case-Laufzeitverhaltens bietet.
Diese technischen Methoden sind außerordentlich wertvoll für Entwickler sicherheitskritischer eingebetteter Systeme 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 Anwendungen 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 erhältlich, darunter PowerPC, TriCore und C16x.
SCADE ist die einzige modellbasierte Entwicklungsumgebung, die eine DO-178B-qualifizierte C-Codegenerierung bis Level A sowie eine Zertifizierung der C-Codegenerierung nach IEC 61508 bis SIL 3 und nach EN 50128 bis SIL 3/4 bietet.
Dank des unterzeichneten OEM-Abkommens mit AbsInt kann Esterel nun dem Entwickler sicherheitskritischer eingebetteter Software integrierte Tools für die modellbasierte Entwicklung, Implementierung und Verifikation aus einer Hand anbieten. Die Kopplung von SCADE mit aiT und StackAnalyzer ermöglicht einen genauen Einblick in das Laufzeitverhalten eines Systems durch das Analysieren der WCET und des Stackverbrauchs jedes einzelnen Designelements auf der Modellebene. Somit können Entwickler sehr schnell feststellen, welcher Teil ihres Designs den größten Beitrag zur WCET bzw. zum Stackverbrauch liefert und ihr Modell bereits in einem frühen Entwicklungsstadium entsprechend optimieren.
Die integrierte Lösung wird mit der SCADE-Suite ab Version 6.1 ausgeliefert. 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-Validierungswerkzeuge zur 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, daß 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 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