MathWorks stellt Simulink Design Verifier 2.0 vor
ID: 437122
Neue Funktionen zur automatischen Fehlererkennung in Simulink-Modellen
(PresseBox) - 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.
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. Darüber hinaus haben sich MathWorks-Produkte als zentrale Werkzeuge für Forschung und Lehre an Universitäten und Bildungseinrichtungen auf der ganzen Welt etabliert. MathWorks wurde 1984 gegründet und beschäftigt mehr als 2.200 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 http://www.mathworks.de oder http://www.mathworks.ch.
Unternehmensinformation / Kurzprofil:
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. Darüber hinaus haben sich MathWorks-Produkte als zentrale Werkzeuge für Forschung und Lehre an Universitäten und Bildungseinrichtungen auf der ganzen Welt etabliert. MathWorks wurde 1984 gegründet und beschäftigt mehr als 2.200 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 http://www.mathworks.de oder http://www.mathworks.ch.
Datum: 07.07.2011 - 09:15 Uhr
Sprache: Deutsch
News-ID 437122
Anzahl Zeichen: 3192
Kontakt-Informationen:
Stadt:
Aachen/München
Kategorie:
Softwareindustrie
Diese Pressemitteilung wurde bisher 179 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"MathWorks stellt Simulink Design Verifier 2.0 vor"
steht unter der journalistisch-redaktionellen Verantwortung von
The MathWorks GmbH - Standort Aachen (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).
Nach großem Erfolg in Asien und Großbritannien, kommt die MATLAB EXPO jetzt auch nach Deutschland. Die größte deutschsprachige MATLAB & Simulink Konferenz findet am 2. Juli 2013 in München statt. Zur eintägigen Konferenz lädt MathWorks Projektleiter, Entwickler und Forscher aus Wirtschaf
STARC zertifiziert MATLAB und Simulink als bevorzugte Tools für den neuen STARCAD-AMS-Entwicklungsworkflow ...
MathWorks gibt bekannt, dass das Akademische Forschungszentrum für Halbleitertechnologie (STARC, Semiconductor Technology Academic Research Center) in Japan MATLAB, Simulink und Embedded Coder als bevorzugte Tools für das Model-Based Design im Rahmen des neuen STARCAD-AMS-Entwicklungsworkflows au
MathWorks beschleunigt das Design von Wireless- und Radar-Systemen mit MATLAB und Simulink ...
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 Entwickler von drahtlosen Kommunikations- und Radarsystemen die Modellierung und Si
Weitere Mitteilungen von The MathWorks GmbH - Standort Aachen
"Digital Engineering 2.0" von Entwickler SimuForm erhält Softwarepreis / SimuForm wurde von der Software-Initiative Deutschland ausgezeichnet ...
Die Software-Initiative Deutschland e.V. (www.softwareinitiative.de - SID) hat dem Dortmunder Unternehmen SimuForm GmbH (www.simuform.de) den SID-Award "Innovation 2011" für die Software-Suite rund um die "SimuForm Knowledge-Base" verliehen. Der Preis in der Kategorie "
Der Lean Six Sigma Coach - iPad Edition ...
Das Beratungsunternehmen procise gmbh hat eine innovative Lean Six Sigma-Anwendung speziell für das iPad von Apple entwickelt, die ab sofort verfügbar ist. Der Lean Six Sigma Coach für das iPad stellt Lean Six Sigma Wissen, die Methodik sowie ausgewählte Werkzeuge in Deutsch und Englisc
Aktualisierung: ICAP Patent Brokerage hat Einsendefrist für Fall 2011 Live IP Auction am 17. November in San Francisco, Kalifornien, eröffnet ...
ICAP Patent Brokerage [http://www.icappatentbrokerage.com ], eine Geschäftssparte von ICAP plc, ist der weltweit grösste Makler für geistiges Eigentum und das grösste Auktionsunternehmen für Patente. Ab sofort nimmt das Unternehmen Patenteinsendungen ( http://icappatentbrokerage.com/auction
SonicWALL präsentiert SonicOS 5.8.1 mit integrierter WAN-Beschleunigung ...
SonicWALL, führender Anbieter intelligenter Netzwerk- und Datensicherheitslösungen, kündigt heute SonicOS 5.8.1 mit WAN-Beschleunigung an. SonicWALL erweitert damit den Leistungsumfang der SonicWALL Next-Generation Firewalls (NGFW) um die Funktionen der WAN Acceleration Appliances (WXA). M
