MathWorks stellt Simulink Design Verifier 2.0 vor

Neue Funktionen zur automatischen Fehlererkennung in Simulink-Modellen

Aachen/München, Germany - (7 Jul 2011)

SDV_fig1_for_web_215.jpg

MathWorks stellt heute die neue Version von Simulink Design Verifier vor. Diese umfasst jetzt die Polyspace-Verifikationstechnologie zur automatischen Fehlererkennung in Simulink-Modellen. Simulink Design Verifier 2.0 integriert die Fehlererkennung der Polyspace-Technologie mit bereits bestehenden Funktionen für Eigenschaftsbeweise und Testgenerierung. Dadurch können die Ursachen von Designfehlern schneller gefunden und behoben werden, was wiederum die Gesamtkosten für die Verifikation und Validierung verringert.

Simulink Design Verifier 2.0 ermöglicht es, Model-Based Design mit formalen Analysemethoden anzuwenden, um Designfehler in Simulink- und Stateflow-Modellen zu identifizieren, ohne dass aufwändige Tests oder Simulationen durchgeführt werden müssen. Vorteile ergeben sich dadurch insbesondere für Ingenieure aus den Bereichen Luft-/Raumfahrt, Automotive, Medizintechnik, Industrie-Automation und Maschinenbau.

Wichtige Funktionen von Simulink Design Verifier 2.0 im Überblick:

  • Erkennung von toter Modelllogik, Ganzzahl- und Festkommaüberläufen, Division durch Null und Assertions-Verletzungen
  • Blöcke und Funktionen zur Modellierung funktionaler und sicherheitsspezifischer Anforderungen
  • Testvektorgenerierung aus funktionalen Anforderungen und Modellabdeckungszielen
  • Eigenschaftsbeweise einschließlich der Generierung von Gegenbeispielen zur Analyse und zum Debuggen
  • Unterstützung für Festkomma- und Gleitkommamodelle

Ein Demo-Video zu Simulink Design Verifier und den neuen Funktionen können Sie unter mathworks.com/products/sldesignverifier abrufen.

Simulink Design Verifier ist sofort verfügbar. Weitere Informationen finden Sie auf der Produktwebseite.

Über MathWorks

MathWorks ist der führende Anbieter von Software für mathematische Berechnungen. MATLAB, „the Language of Technical Computing“, ist eine Programmierumgebung für die Algorithmen-Entwicklung, die Analyse und Visualisierung von Daten sowie für numerische Berechnungen. Simulink ist eine grafische Entwicklungsumgebung für die Simulation und das Model-Based Design von dynamischen Mehrdomänen-Systemen und Embedded Systemen. Ingenieure und Wissenschaftler weltweit setzen diese Produktfamilien ein, um die Forschung sowie Innovationen und Entwicklungen in der Automobilindustrie, der Luft- und Raumfahrt, der Elektronik, dem Finanzwesen, der Biotechnologie und weiteren Industriezweigen zu beschleunigen. Produkte von MathWorks sind zudem an den Universitäten und Instituten wichtige Lehr- und Forschungswerkzeuge. MathWorks wurde 1984 gegründet und beschäftigt mehr als 2800 Mitarbeiter in 15 Ländern. Der Hauptsitz des Unternehmens ist Natick, Massachusetts, in den USA. Lokale Niederlassungen in der D-A-CH Region befinden sich in Aachen, Bern, München und Stuttgart. Weitere Informationen finden Sie unter de.mathworks.com.

MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See mathworks.com/trademarks for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders.