MISRA- und ISO-konforme Software-Modelle erstellen – so geht‘s. Dieser Vortrag ist ein Einstieg in die Welt der Modellierungsrichtlinien und der statischen Modellanalyse am Beispiel von MATLAB Simulink/Stateflow und TargetLink-Modellen. Neben Best Practices für Modellierungsrichtlinien und Modell-Komplexität erläutern wir die grundsätzliche Funktionsweise einer statischen Modellanalyse. Wir zeigen Methoden für die automatische Richtlinienprüfung und Korrektur und die Komplexitätsanalyse und das Auffinden von identischen Subsystemen (Clones) in Software-Modellen.

Inhaltsüberblick:

• statische Modellanalyse: Die Anwendung von Richtlinien und Standards
• Quellen für Modellierungsrichtlinien, Beispiele
• Ziele für den Einsatz von Modellierungsrichtlinien
• Modellstruktur-Analyse und Komplexitätsreduzierung
• Vorgaben von Standards wie IEC61508 zu Richtlinien und Designprinzipien

Was lernen die Zuhörer in dem Workshop?

Anwendung von Modellierungsrichtlinien nach Normvorgaben