Esterel Technologies stellt SCADE 6.0 vor - die neueste Version seiner Certified Software Factory
Das Unified Modeling-Verfahren von SCADE 6 vereint die Möglichkeiten Regel- und Datenfluss-orientierter Systeme in einer einzigen voll integrierten Umgebung.
Embedded World, Nürnberg — 13. Februar, 2007
Esterel Technologies, Anbieter der weltweit führenden modellbasierten Entwicklungs-, Codegenerierungs- und Verifikations-Tools für die Entwicklung sicherheitskritischer Embedded-Systeme stellt heute die neue Version 6.0 von SCADE (Safety-Critical Application Development Environment) vor.
SCADE 6.0 bietet die bahnbrechende Möglichkeit, Modellierung, Verifikation und zertifizierte Codegenerierung zu vereinigen. Dieser ‚‘Unified Modeling Style’ erlaubt es den Entwicklern von Embedded-Software, Datenflüsse und Zustandsautomaten in einer einzigen, integrierten Entwicklungsumgebung frei zu kombinieren und hierarchisch zu gliedern. Eine weitere Neuerung ist die Einführung komplexer Datentypen wie Matrizen und Arrays, mit welchen es möglich ist, komplizierte Vorgänge einfach, verständlich und effizient zu modellieren.
Entwickler anspruchsvoller Anwendungen, in welchen Datenfluss- und Regel-orientierte Applikationen gemischt sind, profitieren von dieser einzigartigen Modellierungsfreiheit von SCADE 6.0 mit seiner grösseren Designflexibilität und Wiederverwendbarkeit. Weitere Vorteile sind die Reduzierung des Entwicklungs- und Verifikationsaufwands sowie ein schnellerer Codegenerator mit optimierter Codegrösse. Typische Anwednungen sind industrielle Steuerungen, Antriebssteuerungen bei Automobilen sowie der Luft- und Raumfahrt, Aerospace’-Navigations- und Steuersysteme, Cockpit-Display-Systeme, Flugsoftware und Steuerelemente, Bremssysteme, Fahrzeugsteuerelemente, Airbags, Sensorsteuerungen, Rail Interlocking und Zugsteuerungssysteme, Steuerungen für die Energiegewinnung …
Bestehende Modellierungslösungen vertrauen auf die Zusammenarbeit zwischen zwei unabhängigen Modellierungs-Editoren; ‚Unified Modeling Style’ von SCADE 6.0 vereinfacht hingegen das Leben eines Entwicklers nicht nur in sicherheitskritischen Applikationen. Nun kann sich der Entwickler auf die Leistungsfähigkeit seiner Modellierungsarbeit konzentrieren, in dem Wissen, dass alle die Zertifizierungs- und Verifikations-Optimierungsvorteile vorangegangener SCADE-Versionen erhalten bleiben.
SCADE 6.0 erweitert auch die Anzahl der Sicherheitsstandards, die von SCADEs einzig-artigem, qualifizierten C-Codegenerator KCG in verschiedenen Industriebereichen abgedeckt werden, darunter:
- Zertifizierung gemäss Industriestandard IEC 61508 ohne SIL-Level-Begrenzung
- Zertifizierung gemäss Eisenbahn-Standard EN 50128 ohne SIL-Level-Begrenzung
- Qualifikation als Entwicklungstool gemäss ‚Aerospace’-Standard RTCA DO-178B bis Level A
- Einhaltung des nuklearen Software-Sicherheits-Standards IEC 60880
Esterel Technologies arbeitet zudem mit der Automobilindustrie zusammen, um in Zukunft die Einhaltung des ISO 26262-Standards durch den SCADE 6.0 KCG C-Codegenerator sicher zu stellen.
Die Prozess-zentrierte SCADE 6.0 “Certified Software Factory” besitzt acht voll integrierte Module, die den Erstellungsprozess sicherheitskritischer Applikationssoftware unterstützen und sich erstrecken auf:
- Das Design der Softwaremodelle innerhalb des Unified Modeling Style, ihre Integration mit Konfigurations-Managementtools und die automatische Generierung von Dokumentation mit dem SCADE 6.0 Advanced Modeler
- Die Rückverfolgbarkeit der Softwaremodelle in Bezug auf die Systemanforderungen mit dem SCADE 6.0 Requirements Management Gateway (das TNI Softwares Reqtify™ Technologie beinhaltet)
- Die Validierung der Modelle über ‚Model Test Coverage’ (SCADE 6.0 Model Test Coverage) und formale Verifikation der Sicherheitseigenschaften (SCADE 6.0 Design Verifier, unterstützt durch Prover Technologies A.B. Prover™ Plug-in für SCADE)
- Die automatische und zertifizierte Codegenerierung mit dem qualifizierten Codegenerator SCADE 6.0 KCG und seine Integration auf der Zielplattform
- · Die Verifikation der korrekten Compilierung des generierten Codes und die Ausführung auf der Zielplattform mit dem SCADE 6.0 Compiler Verification Kit
SCADE 6.0 ermöglicht zudem einige Import-/Export-Funktionen, wie den Import von System- und Softwarearchitektur mit SCADE 6.0 SysML/UML Gateway für Rhapsody™ und den Import von Algorithmusentwicklungen.
Durch die zur Verfügungstellung von:
- Einer Modellierungsumgebung die den Entwicklungsprozess strafft
- Einem einzigen codeoptimierten und zertifizierten Codegenerator der sicheren C-Code erzeugt
- Bis zu 50% Zeitersparnis bei der Zertifizierung aufgrund der Vermeidung von ‚Low-Level’-Quellcode-Verifikationsaktivitäten
- Volle Synchronisierung von Anforderungen (Requirements), Modellen, Testplänen, Projektdokumentation und Zertifizierungsartefakten
ermöglicht die SCADE 6.0 Certified Software Factory eine dramatische Reduzierung des gesamten Entwicklungszykluses insbesondere der Turnaround-Zeiten von Requirements-Änderungen bis zum zertifiziertem Code.
Die Entwicklung von SCADE 6.0 war mit beträchtlichem Aufwand verbunden und kombiniert modernste
Technologie mit mehr als drei Jahren an Forschungs- und Entwicklungsaktivitäten sowie enge Zusammenarbeit
mit vielen Kunden in verschiedenen Marktsegmenten. Wir sind sehr stolz, das erste Unternehmen zu sein,
das Entwicklern von sicherheitskritischen Embedded-Systemen die einzigartige Kombination voller
Modellierungsfreiheit und enormer Kosteneinsparungen bietet
, sagt Eric Bantegnie, CEO von Esterel Technologies.
SCADE 6.0 wird auf der Embedded World 2007 in Nürnberg (Halle 10, Stand 221) vorgestellt und für den allgemeinen Markt im Juli 2007 verfügbar sein.
Über Esterel Technologies
Esterel Technologies ist der weltweit führende Anbieter modellbasierter Entwicklungs- und Verifikations-Tools für kritische Embedded-Systeme.
Die SCADE Suite™ ist die führende modellbasierte Entwicklungsumgebung, ausgelegt für sicherheitskritische Embedded-Software:
- IEC 61508-zertifiziert für alle SIL-Level durch den TÜV für industrielle Anwendungen
- DO-178B-qualifiziert bis Level A für die Militär- und ‚Aerospace’-Industrie: DO-178B Code Generation
- EN 50128-zertifiziert für alle SIL-Level durch den TÜV für ‚Rail-/Transportation’-Applikationen
SCADE Display™ ist eine hochentwickelte Embedded-Grafik-Entwicklungsumgebung ausgelegt für sicherheitskritische Display-Systeme, DO-178B-qualifiziert bis Level A für die Militär und ‚Aerospace’-Industrie.
SCADE Suite und SCADE Display vereint in der SCADE Certified Software Factory bilden das einzige integrierte und industriealisierte, Tool Suite-übergreifende Algorithmus-, Logik- und Display-Designwerkzeug, mit einer Verbindung von formaler Verifikation und zertifizierter Codegenerierung.
Esterel Studio™ ist die führende Frontend-Design- und Verifikationssuite für kontrollintensive Hardware IP. Esterel Studio bietet die vollen Vorteile der ESL-Synthese mit automatisierter RTL/C/SystemC-Code-Produktion ausgeführt von einer einzigen und formal verifizierten Esterel Studio IP-Spezifikation.
Esterel Technologies ist ein privates Unternehmen, mit Hauptsitz in Elancourt, Frankreich und Mountain View, Kalifornien, USA, mit Tochtergesellschaften in Deutschland, Großbritannien und China. Weitere Informationen erhalten Sie über www.esterel-technologies.com
Das Esterel-Logo ist ein Warenzeichen von Esterel Technologies S.A. SCADE, SCADE Suite, Esterel Studio und KCG sind eingetragene Wahrzeichen von Esterel Technologies S.A. Alle anderen Warenzeichen sind das Eigentum ihres jeweiligen Besitzers.
Pressekontakt:
Gundel Hahn
Tel.: +49 (0) 89 123 922 04
E-mail: Gundel.Hahn@esterel-technologies.com
###
⇑