info@PortalDerWirtschaft.de | 02635/9224-11
Suchmaschinenoptimierung
mit Content-Marketing - Ihre News
The MathWorks GmbH - Standort Aachen |

MathWorks stellt Simulink Design Verifier 2.0 vor

Bewerten Sie hier diesen Artikel:
0 Bewertungen (Durchschnitt: 0)


Neue Funktionen zur automatischen Fehlererkennung in Simulink-Modellen


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

Aachen/München, 07.07.2011 - 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.

Verfügbarkeit

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


Für den Inhalt der Pressemitteilung ist der Einsteller, PresseBox.de, verantwortlich.

Pressemitteilungstext: 183 Wörter, 1812 Zeichen. Als Spam melden


Kommentare:

Es wurde noch kein Kommentar zu diesem Thema abgegeben.



Ihr Kommentar zum Thema





Weitere Pressemitteilungen von The MathWorks GmbH - Standort Aachen lesen:

The MathWorks GmbH - Standort Aachen | 26.03.2013

MathWorks beschleunigt das Design von Wireless- und Radar-Systemen mit MATLAB und Simulink

Aachen/München, 26.03.2013 - MathWorks verbessert das Design von Systemen zur drahtlosen Kommunikation sowie von Radar-Systemen mit MATLAB und Simulink. Mit den Erweiterungen von Release R2013a für Phased Array System Toolbox und SimRF können Entw...
The MathWorks GmbH - Standort Aachen | 08.03.2013

Neues Release 2013a der MATLAB- und Simulink-Produktfamilien von MathWorks

Aachen/München, 08.03.2013 - MathWorks stellt das Release 2013a (R2013a) seiner MATLAB- und Simulink-Produktfamilien vor. Mit diesem Release wird neu der Fixed-Point Designer eingeführt, der die Funktionalitäten von Fixed-Point Toolbox und Simulin...
The MathWorks GmbH - Standort Aachen | 13.02.2013

MathWorks@EDUCON 2013 im März in Berlin

Aachen / München, 13.02.2013 - MathWorks nimmt an der 4. IEEE Global Engineering Education Conference teil, die vom 13.-15. März auf dem Campus der Technischen Universität in Berlin stattfindet. Die Konferenz bietet ein interdisziplinäres Forum f...