Diese Schulung bietet einen praxisorientierten Überblick über die Entwicklung und Absicherung eingebetteter Software. Der Fokus liegt auf Simulink und Codegeneratoren wie Embedded Coder und TargetLink in Serienprojekten. Die Schulung führt die Teilnehmer:innen durch alle Prozessschritte. Dazu gehören die Konzeption und Erstellung von Simulationsmodellen in Simulink und Stateflow sowie die Generierung von Seriencode.
Die Qualitätssicherung des Modells umfasst die Überprüfung der Modell- und Softwarearchitektur. Sie beinhaltet außerdem die Sicherstellung von Modellierungsrichtlinien sowie die Prüfung der funktionalen Anforderungen in Modelltests. Die effiziente anforderungsbasierte Testspezifikation wird für die erstellten Modelle umgesetzt und in MiL- und SiL-Tests angewendet.
Die Funktionsgenauigkeit wird durch die Auswertung von Regressions- und Back-to-Back-Tests verifiziert. In praktischen Übungen lernen Sie alle Schritte kennen und nutzen dabei den MES Test Manager® (MTest), den MES Model Examiner® (MXAM) und den MES Quality Commander® (MQC).
Zielgruppe
Diese Schulung richtet sich an Einsteigende in die modellbasierte Entwicklung eingebetteter Software mit Simulink, Embedded Coder oder TargetLink. Sie ist geeignet für Entwickler:innen, Tester:innen, Qualitätsmanager:innen, Projektmanager:innen und Teamleiter:innen. Grundlegende Modellierungskenntnisse in Simulink und Stateflow sind erforderlich.
Highlights
- Modellbasierte Entwicklung mit Simulink und Stateflow
- Entwicklung sicherheitsrelevanter Software nach ISO 26262
- Codegenerierung aus Simulink-Modellen
- Analyse und Evaluation der Modellqualität
- Modellierungsrichtlinien
- Modelltest und Testimplementierungstechniken
- Ein anschauliches Beispiel, das alle Entwicklungsstufen abbildet
Agenda
Tag 1
- Grundlagen der modellbasierten Entwicklung
- Überblick über Entwicklungs- und Absicherungsaktivitäten
- Merkmale der ISO 26262-konformen Entwicklung
- Einrichten der Modellierungsumgebung
- Einführung in die Beispiel-Modelle
- Die Simulink Modellierungsumgebung
- Zusammensetzung und Struktur von Umgebungs- und Reglermodellen
- Parametrisierung von Simulink-Modellen
- Modellierung kontinuierlicher und diskreter Systeme
Hands-on: Simulink
- Einführung in das Konzept der Zustandsautomaten
- Stateflow-Modellierungsumgebung
- Stateflow Design-Pattern
- Empfohlene Best-Practices
Hands-on: Stateflow
- Analyse der Modellstruktur
- Einführung in Komplexitätsmetriken
- Berechnung der Modellkomplexität
- Messwerte zur Reduzierung der Modellkomplexität
- Identifizieren von ineffektiven Schnittstellen und Modellklonen
Hands-on: Analyse, Bewertung und Refactoring der Modellarchitektur
Tag 2
- Grundlagen der Code-Generierung
- Data Dictionary
- Datentypen, Klassen, Skalierung und Festkomma-Arithmetik
- Schnittstellen (Signale und Busse)
- Vorteile der Referenzierung von Modellen und Bibliotheken
- Definition von verteilten Parameter-Dateien
- Überblick über Modellierungsrichtlinien
- Modellierungsrichtlinien für die MISRA- und ISO 26262-konforme Modellierung
- Spezifische Richtlinien zur Verbesserung der Anwendung des Codegenerators
- Automatische Prüfung von Modellierungsrichtlinien
Hands-on: Absicherung der Modellqualität mithilfe von Modellierungsrichtlinien
- Anforderungen der ISO 26262 an den Testprozess
- Testziele auf den unterschiedlichen Teststufen
- Regressions- und Back-to-back-Test, MiL – SiL – PiL
- Modell- und Codecoverage
- Automatisierte Testauswertung mit Test Assessments
Hands-on: Modelltest-Projekt
- Test cases: What are the typical basic elements?
- Definition of test groups and test sequences
- Specification functions and parameter handling
- Best practices for test specifications
Hands-on: Testspezifikation mit MTest
Tag 3
- Grundsätze und Ziele von Test-Assessments
- Assessment-Generierung aus Anforderungen (MARS)
- Vorteile einer formalen Syntax zur Spezifikation von Anforderungen
Hands-on: Formale Anforderungen mit MTest
- Anwendungsbereiche (MiL – SiL – PiL)
- Kombination von Back-to-Back und Regressions-Test
Hands-on: Signalvergleich mit MTest
- Model-Coverage für alle MiL-Testplattformen
- Code-Coverage für SiL-/PiL-Testplattformen
Hands-on: Erhöhung der Modell-/Code-Coverage mit MTest
- Qualitätsüberwachung von Entwicklungsprojekten, Software-Verifikationsbericht
- Priorisierung der ISO 26262-Anforderungen für die modellbasierte Entwicklung
- Bewertung von Aufwand und Nutzen der ISO 26262-Anforderungen
- Verfügbare Methoden und Werkzeuge für die Prozessanpassung
Hands-on: Qualitäts-Monitoring-Projekt
Kundenstimme
Unsere Trainer:innen