I-Logix und Esterel Technologies kooperieren beim Angebot einer bahnbrechenden, modellbasierten Lösung für die Entwicklung sicherheitskritischer Embedded-Software-Applikationen
Integrierte System-/Software-Entwicklungsumgebung kombiniert UML/SysML-basiertes Rhapsody mit dem implementierungsnahen, prozessbezogenen SCADE, um den Zertifizierungsprozess dramatisch zu verkürzen
Embedded World Nürnberg — 14. Februar 2006
I-Logix, weltweit führender Anbieter von modellbasierten Entwicklungslösungen (Model-Driven Development, MDD) für Systemdesign und Softwareentwicklung und Esterel Technologies, weltweit führender Anbieter von MDD-Lösungen zur Softwareentwicklung sicherheitskritischer Systeme, verkündeten heute ihre Partnerschaft bei der Entwicklung einer einzigartigen integrierten MDD-Umgebung zur Entwicklung DO-178B- und IEC 61508-zertifizierter sicherheitskritischer Embedded Software-Anwendungen, die ein unterbrechungsfreies Arbeiten zwischen den Rhapsody-Produkten von I-Logix und den SCADE-Produkten von Esterel Technologies ermöglichen.
Rhapsody, die MDD-Umgebung mit den größten Zuwächsen, basiert auf dem Unified Modeling Language 2.0-Standard (UML) und dem aktuellen Entwurf zum Standard der Systems Modeling Language (SysML) zur Spezifikation, Dokumentierung und Validierung von Systemdesigns.
SCADE bietet ein ganzes Paket von MDD-Tools, von formalem graphischen Designentwurf und Simulation bis zur Generierung von eingebettetem C-Code für sicherheitskritische Anwen-dungen. SCADE ist die einzige MDD-Lösung, die DO-178B-qualifizierte C-Code-Generierung bis zu Level A und IEC 61508-zertifizierte C-Code-Generierung für alle SIL-Level bietet.
Die Integration von Rhapsody und SCADE bietet eine einzigartige, übergangslose MDD-Lösung, welche eine Standard-UML/SysML-Designumgebung mit einem qualifizierten C-Code-Generator vereint, der die internationalen DO-178B- und IEC 61508-Sicherheitsstandards erfüllt. Herkömmlicherweise ist der Software-Zertifizierungsprozess gemäß dem DO-178B IEC- und IEC 61508-Standard mit beträchtlichem Personal- und Zeitaufwand verbunden, was die Verifizierungsaktivitäten von C-Code zu einer sehr kostenaufwändigen Angelegenheit macht.
In den meisten Fällen machen sie über 50% der Gesamtentwicklungskosten aus. Nach Erfahrungen von I-Logix und Esterel aus aktuellen Kundenprojekten wird sich die Zeit, die Entwickler normalerweise für die Zertifizierung von Code benötigen, bei Verwendung der integrierten Lösung schätzungsweise halbieren. Dies wird durch den Einsatz zertifizierter C-Code-Generatoren erreicht, die ‚Low-Level‘-Aktivitäten zur Verifizierung des C-Codes überflüssig machen.
Die integrierte Rhapsody- und SCADE-Lösung ist für sämtliche Anwendungen gedacht, die Software-Zertifizierung erfordern. Derartige Anwendungen sind typischerweise in der (kommerziellen und militärischen) Luft- und Raumfahrt- sowie Transportation-Industrie anzutreffen. Die neue MDD-Lösung unterstützt auf einzigartige Weise multiple Entwicklungs-szenarien, einschließlich rein sicherheitskritischer Systeme und hybrider Systeme, mit einer Mischung aus sicherheitskritischen und nichtsicherheitskritischen Anwendungen.
Die integrierte Lösung wird phasenweise im Verlauf des Jahres 2006 geliefert, wobei die erste Phase im zweiten Quartal erhältlich sein wird. I-Logix und Esterel Technologies werden bei der Vermarktung und dem Vertrieb dieser integrierten Lösung zusammenarbeiten.
Unsere Zusammenarbeit mit Esterel Technologies definiert die Art und Weise, wie sicherheitskritische Systeme in der Zukunft entwickelt und zertifiziert werden, grundlegend neu,
erklärte Neeraj Chandra, Senior Vice President für die Bereiche Marketing und Corporate Development bei I-Logix. Kunden können ihre sicherheitskritischen Produkte nun in einem Bruchteil der Zeit, die bislang für manuelle Methoden benötigt wurde, auf den Markt bringen.
Unsere Partnerschaft mit I-Logix hilft bei der Überwindung der zeitlichen und finanziellen Probleme, die mit der sicherheitskritischen Softwareentwicklung verbunden sind und schließt die Lücke zwischen System- und Software-Engineering, um nahtlose Arbeitsabläufe zu gewähr-leisten,
sagte Gérard Morin, Vizepräsident für Produktmarketing bei Esterel. Die Möglichkeit, die Einführung von System- und Softwarearchitektur zu automatisieren und Use Cases aus Rhapsody direkt in die SCADE-Softwareentwicklung mit der qualifizierten Code-Generierungs-umgebung zu importieren, verbessert die Kommunikation zwischen System- und Software-Teams und führt zu einer immensen Zeiteinsparung bei Design, Implementierung und Code-Zertifizierung .
Über Rhapsody
Rhapsody ist eine preisgekrönte Unified Modeling Language (UML™)-kompatible, modell-basierte Entwicklungsumgebung für Software-Systemdesign und Anwendungsentwicklung von eingebetteten Echtzeitsystemen. Rhapsody kombiniert auf einzigartige Art und Weise ein graphisches UML-Programmierparadigma mit hoch entwickelten Software-Systemdesign- und Analysemöglichkeiten und verknüpft sich nahtlos mit der Ziel-Implementationssprache. Das Resultat ist eine vollständig modellbasierte Entwicklungsumgebung, angefangen mit der Anforderungserfassung bis hin zu Analyse, Design, Implementierung und Tests. Rhapsody reduziert die Komplexität von Software und steigert die Produktivität von Softwareentwicklung für schnellere, hochwertigere und vorhersehbarere Ergebnisse.
Über SCADE
SCADE Suite ist eine Entwicklungsumgebung für sicherheitskritische Embedded Software-Anwendungen, die die Entwicklung und Simulation graphischer Spezifikationen bietet, zusammen mit der Möglichkeit, Sicherheitseigenschaften auf der Modellebene zu überprüfen. Des Weiteren ist der SCADE-KCG-zertifizierte Code-Generator kompatibel mit den höchsten Sicherheitsstandards, IEC 61508 und DO-178B, was den schnellen Einsatz von SCADE-generierten Designs ermöglicht.
Über I-Logix
I-Logix wurde 1987 gegründet und ist der weltweit führende Anbieter von kollaborativen modellbasierten Lösungen (Collaborative Model-Driven Development, MDD) für Systemdesign und Softwareentwicklung, mit dem Schwerpunkt auf eingebetteten Echtzeit-Anwendungen. Diese Lösungen ermöglichen es Ingenieuren, die in kleinen oder sehr großen Teams arbeiten, die Anforderungen, Verhaltensweisen und Funktionen eingebetteter Systeme graphisch zu modellieren. Das Design wird im Verlauf des Entwicklungsprozesses iterativ analysiert, validiert und getestet, während automatisch generierter Produktions-Qualitätscode in einer Vielzahl von Sprachen produziert werden kann. I-Logix vereinfacht die Teamarbeit dank seiner einzigartigen Möglichkeiten zur Projekt- und Aufgabenverwaltung, die in die UML-basierten MDD-Lösungen integriert sind. Designprüfung und Teamarbeit sind so vom Konzept bis zur Codegenerierung möglich, ganz gleich, wo sich die Teammitglieder befinden. Die Unternehmenszentrale von I-Logix befindet sich in Andover, Massachusetts mit Verkaufs- und Support-Zentren in Nordamerika, Europa und Fernost. Weitere Informationen erhalten Sie hier: www.ilogix.com.
Über Esterel Technologies
Esterel Technologies’ Produkte und Dienstleistungen helfen bei der Lösung von Problemen bei hochzuverlässigen Embedded-Sytemen, mit Hilfe einer vollständigen Tool Suite die den Entwickler durch alle Phasen hindurch unterstützt: Design/Entwurf, Validierung und Verifizierung von Requirements bis zum Nachweis der korrekten Ausführung auf der Ziel-plattform. Ermöglicht wird dies mit Hilfe von Abstraktion und der Anwendung synchroner Methoden. Die Tools von Esterel Technologies ermöglichen die Modellierung eindeutiger Softwarespezifikationen, welche die Voraussetzung für automatische ‘Correct-by-Construction’-Implementierungen in Software und/oder Hardware sind. SCADE Suite™ ist heute der Industrie-Standard für die Erstellung sicherheitskritischer Software gemäß den Anforderungen der RTCA DO-178B, EUROCAE ED-12B, IEC 61508 in der zivilen Luftfahrt und in der Transportation-Industrie. SCADE Drive™ ist der aufkommende Standard für die Erstellung sicherheitskritischer Embedded-Software in der Automobilindustrie. Esterel Studio™ ermöglicht Elektronikhard-ware-Entwicklern Golden Specification Models
aufzubauen, die verifiziert und automatisch in RTL oder C implementiert werden können.
Esterel Technologies ist ein privates Unternehmen, mit Hauptsitz in Mountain View, Kalifor-nien, USA und Elancourt, Frankreich sowie Tochtergesellschaften in Deutschland, Groß-britannien und China. Weitere Informationen erhalten Sie über www.esterel-technologies.com.
Pressekontakte
Esterel Technologies:
Gundel Hahn, Gundel Hahn Medienservice
Phone: +49 (0) 89 123 922 04
E-mail: Gundel.Hahn@esterel-technologies.com
I-Logix:
Rani Salehi
Marketing Communication Manager
E-mail: rsalehi@ilogix.com
and
James Rawstron
Marketing Communication Specialist
E-mail: jrawstron@ilogix.com
###
⇑