Die Demonstrationen am MathWorks-Messestand im Einzelnen:
Verifikation und Validierung in Simulink:
Die Demo zeigt den kompletten Workflow von der Erstellung und Verwaltung von Anforderungen in Simulink bis hin zum automatisierten Testen sowie typische Qualitätsmessungen.
Source Code Verifikation mit formalen Beweismethoden:
Die Demo zeigt, wie Polyspace als formales statisches Codeanalyseprodukt für handgeschriebenen und generierten Code Softwareentwicklern hilft, Laufzeitfehlerquellen zu identifizieren, Anforderungen aus Safety- und Security-Standards zu erfüllen und den Testaufwand zu reduzieren.
Modellierung, Simulation und Test eines Spurhalteassistenten:
Die Simulation des Regelkreises eines Spurhalteassistenten ermöglicht automatisiertes Testen von Sprint-Intervallen innerhalb eines agilen Entwicklungsprozesses sowie die Verifikation und Validierung verschiedener Verkehrsszenarien und Parametrierungen der Sensoren und der Fahrzeugdynamik.
Data Capture und Verifikation für SoC FPGAs:
Verifikation und Debug von komplexen SoC-Designs durch Analyse von in Echtzeit aufgenommenen SoC-FPGA-Signalen in Matlab und Simulink.
PMSM Motorsteuerung und Leistungselektronik
Diese Demo zeigt, wie Abtastraten bis in den MHz-Bereich erreicht werden können sowie die Unterstützung für die PWM-Generierung mit einer Zeitauflösung von nur 5ns.
Echtzeit-Spurerkennung durch direkte Videoaufnahme:
Automatisierte Identifizierung von Spuren und Objekten, einschließlich Videoerfassung und algorithmischer Verarbeitung mittels der Computer Vision System Toolbox und der Vision HDL Toolbox.
Virtual Commissioning Demonstrator:
Gestaltung eines Regelalgorithmus mit Simulink und automatische Generierung von strukturiertem Text mit dem Simulink PLC Coder. Der Regelalgorithmus wird in Echtzeit getestet.
GPU Coder für beschleunigte Bild- und Signalverarbeitung und Deep Learning:
Die Demo zeigt, wie neuronale Netze auf einem Embedded Device für Objekterkennungs- und Klassifizierungsaufgaben verwendet werden können.
Automatische Generierung von C Code für Eingebettete Systeme:
Automatische Implementierung von Regelalgorithmen in funktionaler Software, die durch Closed-Loop-Simulation entwickelt und getestet wurde. @Normal:
