Esterel Technologies und Artisan Software Tools integrieren modellbasierte Entwicklungsumgebungen, um eine vollständige ‘System to Deployment’-Lösung für sicherheitskritische Embedded-Systeme zu bieten

Artisan and Esterel Technologies Partnership

Verbindung von Esterel SCADE Suite und Artisan Studio ermöglicht UML/SysML-basierte Systementwicklung bei sicherheitskritischer Embedded-Softwareentwicklung

Elancourt, Frankreich und Nürnberg, Deutschland — 26 Februar 2008

Esterel Technologies, weltweit führender Anbieter modellbasierter Lösungen für die Entwicklung sicherheitskritischer Systeme, kooperiert mit Artisan® Software Tools, dem weltweit führenden Anbieter modellbasierter System- und Softwareentwicklungslösungen, bei der Integration der Esterel SCADE Suite® -Produktlinie mit Artisan Software Tools’ ARTiSAN Studio®. Diese Integration bringt die besten Produkte für die modellbasierte ‚Design Community’ zur Entwicklung sicherheitskritischer Applikationen zusammen. Artisan Studio, das die neueste Version des Systems Modeling Language- (SysML) und den aktuellen UML-Standard unterstützt, bietet System- und Softwareentwicklern die Möglichkeit, individuelle Embedded-Systeme zu spezifizieren, zu dokumentieren und zu validieren. Durch die Kopplung von Artisan Studio und der SCADE Suite können System- und Softwareingenieure nun effektiver bei der Entwicklung sicherheitskritischer Systeme zusammenarbeiten. Tatsächlich können diese oft sehr unterschiedlichen Bereiche nun Designinformationen innerhalb und über die Toolchain hinweg gemeinsam nutzen.

Während Artisan Studio in seinen System- und Softwaremodellierungsfähigkeiten einzigartig ist, ist die SCADE Suite die einzige modellbasierte Entwicklungsumgebung, die DO-178B-qualifizierbare Codegenerierung bis Level A für die Programmiersprache C bietet. Darüber hinaus offeriert SCADE Suite die IEC 61508-Codegenerierung, qualifiziert bis SIL 3 (Safety Integrity Level) und EN 50128-qualifizierte Codegenerierung bis SIL 4. Jedes dieser Produkte ist für sich genommen einzigartig und in Kombination bieten sie eine beispiellose Produktivitätssteigerung für die System- und Softwareentwickler sicherheitskritischer Applikationen.

In der sicherheitskritischen Applikationsentwicklung verschlingt der Codequalifizierungs-prozess für DO-178B, IEC 61508 und EN 50128 enorme Mengen an Arbeitsleistung, Zeit und Geld. Die Partnerschaft zwischen Esterel Technologies und Artisan Software Tools und die daraus resultierende Integration zwischen SCADE Suite und Artisan Studio bietet einen umfassenden und lückenlosen Arbeitsablauf, von Systemmodell, Dokumentation und Anforderungsanalyse bis hin zu produktionsgerechter Codegenerierung, Test und Validierung. Durch die effiziente Adressierung der zwei wesentlichsten kostspieligen Entwicklungsphasen, Komponententest und Softwarezertifizierung, spart diese integrierte Methode dem Entwicklungsteam viel Zeit und Geld. Der Komponententest wird weitgehend überflüssig und der zeitliche Aufwand, um die Software zu zertifizieren, wird in hohem Maße durch die bereitgestellten Qualifizierungsprodukte, die Dokumentation sowie automatische Codegenerierung und -validierung reduziert.

Im Hinblick auf den Arbeitsablauf beginnt der Prozess typischerweise mit dem Systemteam, das Artisan Studio einsetzt, um Systemanforderungen, -aufbau und -grenzen mithilfe von grafischen SysML-/UML-Darstellungen zu erfassen, zu visualisieren und zu kommunizieren. Die SCADE Suite kommt zum Einsatz, um die Artisan Studio SysML-/UML-Modelle durch die Erfassung detaillierter Softwareanforderungen der sicherheitskritischen Komponenten in Artisan Studio zu verfeinern und dann die in SysML-Blockdiagrammen, UML- Strukturdiagrammen und SysML/UML-Klassendiagrammen erfasste Systemstruktur automatisch zu importieren. Der Importmechanismus ist dabei inkrementell. Darüber hinaus bleiben in Artisan Studio erfasste Architektur, Struktur und Namen bei dem Importierungsprozess in die SCADE Suite erhalten. Alle Informationen werden aktuell gehalten und sind für die weitere Bearbeitung innerhalb von SCADE Suite verfügbar.

Für Anwendungen, die ein Human-Machine Interface (HMI) benötigen, wie z.B. Navigationsgeräte oder interaktive Systeme zur Steuerung und Konfiguration einer Applikation, bietet Esterel Technologies SCADE Display. Mit SCADE Display können Anzeigegeräte eines Embedded-Systems vollständig modelliert und simuliert werden. Diese Modelle lassen sich auf einfache Weise mit der Applikation verbinden und dienen als grafische Schnittstelle zu dem in Entwicklung befindlichen System. Die so entstehenden detaillierten Modelle von SCADE Display werden durch Simulation validiert. Anschließend wird produktionsgerechter Embedded-Code automatisch mithilfe der qualifizierten SCADE Suite und SCADE Display Codegeneratoren erzeugt. Schließlich wird das endgültige System in die Zielplattform integriert und in den eingebetteten Zielprozessor geladen.

Die Integration von SCADE Suite und Artisan Studio ist vor allem darauf ausgerichtet, die Entwicklungsprobleme in Projekten zu lösen, die eine Zertifizierung benötigen, wie sie typischerweise in Luft- und Raumfahrt, Verteidigung, im nuklearen Bereich, Transportwesen, industriellen Anwendungen, Automobil- und medizinischen Applikationen vorkommen. Diese integrierte modellbasierte Entwicklungslösung unterstützt zudem mehrere Entwicklungsszenarien, sowohl reine sicherheitskritische Systeme als auch Hybridsysteme, die sowohl sicherheitskritische als auch nicht sicherheitskritische Komponenten enthalten. Die integrierte Lösung wird im dritten Quartal dieses Jahres erhältlich sein. Beide Unternehmen werden auch weiterhin daran arbeiten, den Arbeitsprozess und die Produktivität zu verbessern.

Unsere Partnerschaft mit Artisan Software Tools ist durch unsere gemeinsamen Kunden vorangetrieben worden. Sie haben nach einem integrierten Verfahren von der Systemmodellierung bis hin zu Produktionscodegenerierung und -validierung verlangt. Diese integrierte Lösung bietet genau das für unsere Kunden, die echte sicherheitskritische Applikationen entwickeln und liefert wesentliche Verbesserungen für ihren Arbeitsprozess und ihre Produktivität, sagte Eric Bantegnie, Präsident und CEO von Esterel Technologies.

Durch den Einsatz modellbasierter Entwicklung wird der gesamte Arbeitsprozess automatisiert und optimiert, von der Anforderungsanalyse bis hin zu System- und Softwarearchitekturdefinition, mit nicht zertifizierter Codegenerierung in Artisan Studio und detailliertem Design und zertifizierter Codegenerierung von SCADE Suite, bei gleichzeitiger Gewährleistung einer gesteigerten Entwicklungsproduktivität und des Einsatzes hochqualitativer Systeme, sagte James B. Gambrell, CEO von Artisan Software Tools.

Ü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™ 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 Artisan Studio

Artisan Studio bietet vollständige Unterstützung für UML, OMG SysML und Architectural Frameworks in ein und derselben integierten Tool-Suite, die es System? und Softwareingenieuren erlaubt, als Einheit zu arbeiten (Work as One™), und zwar über den gesamten Projektzyklus von der Konzeption über die Implementierung bis hin zur Wartung.

Artisan Studio ermöglicht es großen und oft auch geographisch verteilten Teams von Analytikern, System? und Softwareingenieuren, als Einheit zu arbeiten und dabei doppelte Designarbeit und Inkonsistenzen zu vermeiden, die oft auftreten, wenn in einem Projekt mit verschiedenen Tools und Methoden gearbeitet wird. Das leistungsfähige zentrale Daten-Repository von Artisan Studio befreit Unternehmen von dem beträchtlichen Verwaltungs-aufwand, der generell mit Multi-user-Zugriffen verbunden ist. Die stabile, robuste Umgebung von Artisan Studio gewährleistet hohe Verfügbarkeit von Modellinformationen, wobei gleichzeitig alle wertvollen Daten gesichert sind.

Ü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.

Über Artisan Software Tools

Artisan Software Tools ist der führende unabhängige Anbieter kooperativer Modellierungstools in Industriequalität für komplexe, unternehmenskritische Systeme und Software. Die Toolsuite Artisan Studio unterstützt umfassend die führenden Industriestandards wie OMG SysML, UML und Architectural Frameworks und erfüllt die Anforderung an eine integrierte kooperative Entwicklungsumgebung, indem sie es System? und Softwareengineering-Teams ermöglicht, von Konzept über Lieferung bis zur Wartung als eine Einheit und mit ein und demselben Tool zu arbeiten. Artisan stellt bereits für Tausende von Benutzern aus den Bereichen Verteidigungsindustrie, Luft- und Raumfahrt, Automotive und Transportwesen, Telekommunikation und Elektronik sowie Medizintechnik eine stabile und robuste Arbeitsumgebung bereit. Das Unternehmen wurde 1997 mit breiter Unterstützung durch Beteiligungskapital gegründet und hat Firmenzentralen in den USA und Großbritan-nien, Niederlassungen in Deutschland und Italien, sowie ein globales Distributorennetzwerk. Weitere Informationen finden Sie unter www.artisansw.com.

Pressekontakte:

Für Esterel Technologies :

Gundel Hahn

Tel : +49 (0) 89 123 922 04

E-mail : Gundel.Hahn@esterel-technologies.com

Für Artisan Software Tools :

Beverley McFarlane - Marketing Manager

Tel : +44 (0) 1242 229335

E-mail : beverley.mcfarlane@artisansw.com

Keith Mason - Humbug PR

Tel : +44 (0)20 8582 0372

E-mail : keith.mason@humbugpr.com

Artisan, Artisan Studio, Real-time Studio and Work as One are Registered Trademarks of Artisan Software Tools.

###

⇑