Recorded Webinar: Methoden zur Absicherung von Systemverhalten im Model-Based Design

Testen Sie Ihre Software bzw. Ihre Modelle? Gut - aber Model-Based Design bietet noch viel mehr Potential: Sicherstellen von Nachverfolgbarkeit, Einhaltung von Modellierungsrichtlinien, sowie - neben unterstützenden Funktionalitäten bei Testdurchführung und Auswertung - sogar Möglichkeiten der gezielten Testgenerierung und des Beweisens der Modellkorrektheit.

In diesem Webinar erfahren Sie, wie Sie diese sich ergänzenden Methoden im Model-Based Design frühzeitig einsetzen können. Auf diese Weise können Sie auf dem Wege von den Anforderungen bis zum Object Code Fehler im System von vornherein vermeiden bzw. frühzeitig aufdecken. Weiterhin zeigen wir Ihnen, wie Sie in Ihrem Entwicklungsprozess alle Schritte in angemessener Weise absichern können.

Das Webinar richtet sich an Entscheidungsträger und Ingenieure in der Entwicklung und Absicherung von eingebetteten Systemen aller Art:
- Entwickler
- Ingenieure
- Projektleiter
- Qualitätsverantwortliche
- Tester

Simulink-Kenntnisse sind von Vorteil, aber nicht erforderlich.

Themen:
- Standards
- Traceability
- Modellierungsrichtlinien
- Formale Methoden