MATLAB®/Simulink®/Stateflow® für die Funktionsentwicklung

Erfüllen Sie die ISO 26262 Anforderungen mit Model-Based Design.

Präsenztraining4 TageVirtuelles Klassenzimmer

Die modellbasierte Entwicklung und Verifizierung der Software gem. der ISO 26262 kann durch die effektive Nutzung von MATLAB®, Simulink® und Stateflow® unterstützt werden, um somit die sicherheitsrelevanten Anforderungen (bis ASIL-D) einfach und schnell zu erfüllen. Durch die praktische Anwendung dieser Programme und Methoden anhand realer modellbasierter Projekte erlernen die Teilnehmenden in unserem 4-Tages-Kurs wie man die Modelle richtlinienkonform entwickeln, absichern und integrieren kann.

Grundlegende Techniken werden vorgestellt, um:

Daten und Programme in MATLAB® effizient zu erstellen und zu bearbeiten
Modelle in Simulink® und Stateflow® zu erstellen und produktionsreif zu verifizieren
Der Kurs ist so aufgebaut, dass die Inhalte in einer kleinen Runde (6-10 Teilnehmer) anhand einfacher Beispiele und Übungen praktisch vermittelt werden.
The model-based development and verification of software in accordance with ISO 26262 can be supported by the effective use of MATLAB®, Simulink® and Stateflow® in order to fulfill the safety-relevant requirements (up to ASIL-D) quickly and easily. We teach the practical application of these programs and methods using experience from real model-based projects. In our 4-day course the participants learn how to develop, verify, integrate and validate the models in accordance with the model guidelines and in compliance with safety standards.
Basic techniques are presented to:
- Efficiently create and edit data and programs in MATLAB® - create models in Simulink® and Stateflow® and verify them „ready for production“
The course is structured in such a way that the content is taught in a small group (6-10 participants) using simple examples and practical exercises.

Ihre Vorteile

Die Teilnehmenden erlernen:

die Methodik der Funktionsentwicklung in MATLAB®/Simulink®/Stateflow® nach ISO 26262: anforderungsbasiert, modular, testgetrieben
den Umgang mit der MATLAB®-Umgebung und der MATLAB®-Sprache als Basis für Automatisierung in Simulink®
den Umgang mit der Simulink®-Umgebung mit Konzepten der modellbasierten Entwicklung nach ISO 26262
den Umgang mit der Stateflow®-Umgebung mit Konzepten der Flussdiagramme und Zustandsautomaten
anforderungsbasierte Implementierung und Verifikation der Funktionsmodelle. Dies umfasst die richtlinienkonforme Erstellung und Review der Block-Diagramme, die Simulation und das Debugging in Simulink®, sowie die entwicklungsbegleitende Verifikation der Modelle nach ISO 26262
die Methoden für die Formalisierung der Modelle und erhalten Ausblicke auf die Codegenerierung und Verifikation von C-Code nach ISO 26262 für die Produktion
Participants will learn:
the methodology of function development in MATLAB®/Simulink®/Stateflow® according to ISO 26262: requirements-based, unit-based and modular, test-driven
how to use the MATLAB® environment and the MATLAB® language as the basis for automation in Simulink®
how to use the Simulink® environment with relevant concepts of model-based development according to ISO 26262
handling the Stateflow® environment with concepts of flowcharts and state machines
requirements-based implementation and verification of functional models. This includes the guideline-compliant creation and review of block diagrams, simulation and debugging in Simulink®, Stateflow® and generated C code, as well as the verification of models during development in accordance with ISO 26262
the methods for the formalization of the models and the outlook for C code generation and verification according to ISO 26262 for production

Inhalte im Überblick

Einführung:
- Modellbasierte Entwicklung
- Kontext der automatischen C-Codegenerierung
MATLAB®:
- Import und Visualisierung von Daten in MATLAB®
- Datenverwaltung und Methoden der Datenmanipulation
- Automatisierungsskripte dateibasiert erstellen und dokumentieren
- Datenkapselung für robusten und wiederverwendbaren Code
- Fehlersuche und Verbesserung der Laufzeit (Debugging & Profiling)
Simulink®:
- Anforderungsbasierte Implementierung dynamischer Systeme
- Modellierungsrichtlinien und statische Analyse in Simulink®
- Verwaltung der Modell-Konfiguration: Solver, Abtastraten, etc.
- Datenfluss-Analyse in Simulink®: Signale, Parameter, globale Daten
- Systematische Verwaltung der Parameter und Schnittstellensignale
- Anforderungsbasierte Verifikation der Units
- Strukturelle Modellüberdeckung und andere Testabschluss-Kriterien
- Architektur: Module, Integrationen, Systeme
- Dokumentation der Units und Verwaltung der Artefakte
Stateflow®:
- Simulink® und Stateflow® sinnvoll kombinieren
- Modellierung komplexer logischer Abläufe mit Flussdiagrammen
- Daten- und Schnittstellenverwaltung in Model Explorer
- Modellierung sequentieller Logik und endlicher Zustandsautomaten
- Kontrollfluss-Analyse in Stateflow: Zustände, Events, temporale Logik
- Modellierungsrichtlinien, -patterns und statische Analyse in Stateflow
- Effizient simulieren, debuggen, verifizieren und dokumentieren
  Contents:
Introduction:
- Model-based development
- Context of automatic C code generation
MATLAB®:
- Import and visualization of data in MATLAB®
- Data management and methods of data manipulation
- Creating and documenting file-based automation scripts
- Data encapsulation for robust and reusable code
- Debugging and runtime improvement (debugging & profiling)
Simulink®:
- Requirements-based implementation of dynamic systems
- Modeling guidelines and static analysis in Simulink®
- Model configuration management: solvers, sampling rates, etc.
- Data flow analysis in Simulink®: Signals, parameters, global data
- Systematic management of parameters and interface signals
- Requirement-based verification of the units
- Structural model coverage and other test completion criteria
- Architecture: units, integrations, systems
- Documentation of units and management of artifacts
Stateflow®:
- Combining Simulink® and Stateflow® in a meaningful way
- Modeling complex logical processes with flowcharts
- Data and interface management in Model Explorer
- Modeling sequential logic and finite state machines
- Control flow analysis in Stateflow®: states, events, temporal logic
- Modeling guidelines, patterns and static analysis in Stateflow®
- Efficiently simulate, debug, verify and document

Abschluss

TÜV SÜD Teilnahmebescheinigung

Teilnahmevoraussetzungen

Es sind keine Vorkenntnisse in MATLAB®, Simulink®, Stateflow® oder ISO 26262 erforderlich, jedoch von Vorteil. Folgende Programme sollen auf Nutzer-PCs mit dem Windows-OS® 10 oder höher installiert und lauffähig sein (kostenlose Testversion ist ausreichend):

No previous knowledge of MATLAB®, Simulink®, Stateflow® or ISO 26262 is required, but would be an advantage. The following software programs should be installed and running on user PCs with Windows OS® 10 or higher (free trial version is sufficient):

MATLAB® R2024b oder höher / or higher
Simulink®
Stateflow®
Simulink Coverage®
EverCheck®
EverTest®
MS Excel® 2007 oder höher / or higher

Wichtige Hinweise

Die Vortragssprache ist standardmäßig Deutsch. Falls die Vortragssprache Englisch ist wird dies bei der Terminwahl der Veranstaltungen ersichtlich.
Die Präsentationsfolien und Teilnehmerunterlagen sind für dieses Training nur in Englischer Sprache verfügbar.
The lecture language is German as standard. You can see while choosing the events with the additional remark "Seminarsprache Englisch" that the lecture language is English.
The presentation slides and participant documents for this training are written only in English.

Zielgruppe

Dieser viertägige Kurs richtet sich an Ingenieure, Sicherheitsexperten, technische Manager und Prozessverantwortliche, die ihre Funktionen im sicherheitsrelevanten Kontext nach ISO 26262 modellbasiert mit MATLAB®, Simulink® und Stateflow® und anschließender Code-Generierung entwickeln und verifizieren möchten.

This four-day course is aimed at engineers, safety experts, technical managers and process owners who want to develop and verify their functions in a safety-relevant context in accordance with ISO 26262 using model-based design with MATLAB®, Simulink® and Stateflow® and subsequent C-code generation.