Schulungs-Dienstleistungen

Verifikation und Validierung von Simulink-Modellen

Dieser eintägige Kurs beschreibt Techniken, um das Verhalten von Simulink-Modellen zu testen und formal zu verifizieren.

Themen sind unter anderem:

  • Simulink-Modelle für Tests vorbereiten
  • Simulink-Modelle funktional und strukturell testen
  • Modellverhalten formal verifiziern
  • Testergebnisse dokumentieren

Training Formats

Format Kursdauer Kursbeschreibung

Trainingsraum

Die Kurse werden von einem MathWorks Trainer in einem vorbereiteten Schulungsraum durchgeführt. Die Trainings finden sowohl in unseren Niederlassungen als auch an ausgewählten Schulungsorten statt und können auch bei Ihnen vor Ort durchgeführt werden.

1 Tag Details anzeigen

Voraussetzungen

Grundkenntnisse in MATLAB® und Simulink® entsprechend der Schulungen MATLAB Grundlagen und Simulink zur System- und Algorithmenmodellierung oder äquivalent sind dringend empfohlen.