Umfassende ‘Traceability’-Lösung für die Entwicklung sicherheitskritischer Applikationen

Esterel Technologies und TNI-Software kooperieren zur Erweiterung der Requirements Management-Funktionen von Esterel Technologies’ SCADE Suite, um so eine umfassende ‘Traceability’-Lösung für die Entwicklung sicherheitskritischer Applikationen zu bieten.

Paris, Frankreich und Mountain View, Kalifornien — 7. Juni, 2006

Esterel Technologies, Anbieter der weltweit führenden modellbasierten Entwicklungsum-gebung SCADE Suite für sicherheitskritische Embedded-Software, hat die sofortige Verfügbarkeit seines neuen SCADE Requirements Management Gateways bekannt-gegeben, das jetzt die bewährte und verbreitet eingesetzte Reqtify-Technologie von TNI-Software beinhaltet.

Der harte und international anerkannte DO-178B-Prozess-Standard, der die Entwick-lung ziviler Avionik-Embedded-Software regelt, ist vornehmlich Requirements-getrieben. Dies setzt voraus, dass der Softwareentwickler in jedem Stadium der Entwicklung in der Lage sein muss, die ‘Traceability’ von Designs gegenüber den Requirements nachweisen zu können, z.B. sind die High-Level-Requirements, die ich spezifiziere ‘traceable’ zu den System-Requirements? Sind die Low-Level Require-ments rückverfolgbar (traceable) zu den High-Level-Requirements usw. Im Allgemeinen wird die Traceability von den anspruchsvollsten sicherheitskritischen Prozess-Standards wie DO178B, IEC 61508 und EN50128 gefordert.

Ein Requirements Management Tool ist erforderlich, um sicher und immer wieder auf dieses Problem reagieren zu können und auf diese Weise Links zwischen den einzelnen Artefakten zu ermöglichen, Unterstützung für sich wiederholende Aufgaben zu bieten und schliesslich den Teams die Möglichkeit zu geben, die Übersicht über ihre Designs zu behalten.

Das vorgestellte SCADE RM Gateway ermöglicht Entwicklern, High-Level-Require-ments zu erstellen und sie während des Designs mit dem SCADE-Modell zu ver-linken. Die Hauptfunktionen beinhalten:

Automatische ‚Coverage Analysis‘
Automatisches Hervorheben geänderter Requirements
‚Upstream/Downstream Impact Analysis‘ (Unterstützung für ‚Regression Risk Management‘)
‚Requirements Consistency Rule Checking‘: nicht abgedeckt, undefiniert, mehrfach vorhanden
Automatisch und kundenspezifisch abgefasste Berichte über die Traceability-Matrix, Coverage Analysis und Impact Analysis
Bidirektionale Navigation zwischen der SCADE-Spezifikation und ihren Requirements

Dank TNI-Softwares robuster und agiler Technologie waren wir in der Lage, die vorhandenen SCADE-Gateways mit einem ursprünglichen und präzisen Require-ments Management Gateway zu ergänzen, sagte Eric Bantegnie, CEO von Esterel Technologies. Die SCADE Certified Software Factory™ profitiert ausserordentlich von diesem neuen Modul. Das SCADE RM Gateway ermöglicht eine lückenlose Integration von SCADE in bestehende Prozesse und Tools unserer Kunden und erweitert die Verbindungsmöglichkeit zu einer Vielzahl von Textverarbeitungstools, RM Tools, Testtools und Modellierungstools.

Der gleichzeitige Einsatz des SCADE RM Gateways und des SCADE Model Test Coverage-Moduls stellt sicher, dass Requirements, Modell, Testplan und Test-Skripts immer synchronisiert sind. Zudem ermöglicht er die Erstellung von ‘Cross-Reports’, die den Zertifizierungsprozess erheblich erleichtern. Und schliesslich entsprechen diese einzigartigen Fähigkeiten den anspruchvollsten Qualitätsstandards und unterstützen den CMMI- (Capability Maturity Model® Integration) Prozess zur Verbesserung der Softwareentwicklung.

Requirements Management und Traceability nahmen ihren Anfang in der ‘Aerospace’-Industrie, um die Zertifizierung zu unterstützung. SCADE Certified Software Factory™ ist nun der Industriestandard der meisten in der Aerospace- und Transportation-Industrie führenden Softwareteams. Als Anbieter von Traceability-Automation-Technologie, die sich schnell in verschiedenen Industriebereichen verbreitet, sind wir stolz darauf, von Esterel Technologies ausgewählt worden zu sein, die Technologie für SCADE RM zu liefern. Das Verknüpfen von Softwaretools führt besonders bei Grossprojekten zu beachtlichen Verbesserungen der Resultate, die dadurch präziser und schneller erhältlich sind, sagte Marc Frouin, CEO von TNI-Software. Wir erwarten viel von dieser Partnerschaft in Bezug auf die Anwender-zufriedenheit und ein daraus resultierendes Akzeptieren sowohl für TNI-Software als auch Esterel Technologies.

Verfügbarkeit

Das SCADE RM Gateway wird im September 2006 als Modul von SCADE 5.1

Über TNI-Software

TNI-Software bietet Lösungen für die Entwicklung und Verifikation von Embedded-Applikationen in der der Luft- und Raumfahrt-, Automobil-, Transportation und Automatisierungsindustrie:

Reqtify: Lösung für Requirements Management, Traceability und Impact Analysis.
Safety Test Builder: vollständig in der Simulink™-Umgebung integrierte Lösung für das automatische Generieren von Testszenarien auf Simulink- & StateFlow-Modellen
Safety Checker Blockset: Simulink-Bibliothek ausgelegt für die formale Verifikation von Simulink-/StateFlow-Modellen
RT-Builder: Lösung für die Modellierung, Simulation und Untersuchung verteilter Multiprozessor- und Multibus-Echtzeit-Architekturen
ControlBuild: Beste Entwicklungslösung im Automatisierungsbereich, die einen globalen und einheitlichen Ansatz für die Spezifikationsvalidierung bis hin zur Systembereitstellung und -untersuchung liefert.

TNI-Software ist ein Premium-Mitglied des AUTOSAR-Konsortiums und wurde mit der ‘Innovation Trophy’ von Siemens VDO 2005 ausgezeichnet. TNI-Software hat Nieder-lassungen in Europa und China mit Repräsentanten in den USA, Japan und Australien. Weitere Informationen erhalten Sie unter www.tni-software.com

Über Esterel Technologies

Esterel Technologies ist der weltweit führende Anbieter modellbasierter Entwick-lungs- und Verifikationstools für kritische Embedded-Systeme.

Die SCADE Suite™ ist die führende modellbasierte Entwicklungsumgebung, ausgelegt für sicherheitskritische Embedded-Software:

DO-178B-qualifiziert bis Level A für die Militär- und Aerospace-Industrie: www.esterel-technologies.com/products/scade-suite/do-178b-code-generation.html
IEC 61508-zertifiziert für alle SIL-Level durch den TÜV für ‚Rail‘-, Transportation-, Schwermaschinen- und Energieapplikationen

SCADE Drive™ ist die führende, modellbasierte Entwicklungsumgebung, ausgelegt für sicherheitskritische Automobilsoftware:

IEC 61508-zertifiziert für alle SIL-Level durch den TÜV
MISRA C-kompatibel

Esterel Studio™ ist die führende Frontend-Design- und Verifikationssuite für kontrollintensive Hardware IP.

Esterel Technologies ist ein privates Unternehmen, mit Hauptsitz in Elancourt, Frankreich und Mountain View, Kalifornien, USA, in Deutschland mit der Esterel Technologies GmbH, sowie Tochtergesellschaften in Großbritannien und China. Weitere Informationen erhalten Sie über www.esterel-technologies.com.

Pressekontakt für Esterel Technologies:

Gundel Hahn, Gundel Hahn Medienservice

Phone: +49 (0) 89 123 922 04

Email: Gundel.Hahn@esterel-technologies.com

Pressekontakt für TNI-Software:

Amélie Quérébel, TNI-Software

Phone: + 33 (0)1 53 38 46 00

Email: amelie.querebel@tni-software.com

###

⇑