Einführung in die modellbasierte Entwicklung und Qualitätssicherung eingebetteter Software

Für die Qualitätssicherung des Modells überprüfen wir die Modell- und Softwarearchitektur, die Einhaltung von Modellierungsrichtlinien sowie die Erfüllung der funktionalen Spezifikation mittels Modelltests gegenüber den Anforderungen im Modelltest. Die effiziente anforderungsbasierte Testspezifikation wird für die erstellten Modelle durchgeführt und im MiL- und SiL-Test angewendet. Die Funktionsgenauigkeit wird durch die Auswertung von Regressions- und Back-to-Back-Tests verifiziert. In den praktischen Übungen erlernen Sie all diese Schritte und benutzen hierbei den MES Test Manager (MTest), den MES Model Examiner (MXAM) und den MES Quality Commander (MQC).

Zielgruppe

Diese Schulung richtet sich an Einsteiger:innen in die modellbasierte Entwicklung von eingebetteter Software auf Basis von Simulink und Embedded Coder oder TargetLink, darunter Entwickler:innen, Tester:innen, Qualitätsmanager:innen, Projektmanager:innen und Teamleiter:innen. Lediglich grundlegende Modellierungskenntnisse mit Simulink und Stateflow sind erforderlich.

★★★★★ Teilnehmer:in von Continental Automotive

„Daumen hoch für diese Schulung: Die Referent:innen zeigten eine hohe Fachkompetenz und haben ruhig und gut verständlich vorgetragen.”

Sprachen

auf Deutsch oder Englisch

Weitere Details zu Formaten und Standorten

Überblick: Modellbasierte Softwareentwicklung mit Simulink

• Grundlagen der modellbasierten Entwicklung
• Überblick über Entwicklungs- und Absicherungsaktivitäten
• Merkmale der ISO 26262-konformen Entwicklung

Einführung in die Beispiel-Anwendung

• Einrichten der Modellierungsumgebung
• Einführung in die Beispiel-Modelle

Modellierung eingebetteter Software in Simulink

• Die Simulink Modellierungsumgebung
• Zusammensetzung und Struktur von Umgebungs- und Reglermodellen
• Parametrisierung von Simulink-Modellen
• Modellierung kontinuierlicher und diskreter Systeme

Hands-on: Simulink

Modellierung eingebetteter Software mit Stateflow

• Einführung in das Konzept der Zustandsautomaten
• Stateflow-Modellierungsumgebung
• Stateflow Design-Pattern
• Empfohlene Best-Practices

Hands-on: Stateflow

Analyse und Bewertung der Modellarchitektur

• 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

Code-Generierung in der TargetLink-/Embedded Coder-Entwicklungsumgebung

• Grundlagen der Code-Generierung
• Data Dictionary
• Datentypen, Klassen, Skalierung und Festkomma-Arithmetik</li >
• Schnittstellen (Signale und Busse)

Modellintegration und verteilte Modellierung

• Vorteile der Referenzierung von Modellen und Bibliotheken
• Definition von verteilten Parameter-Dateien

Gewährleistung der Modellqualität mit Modellierungsrichtlinien

• Ü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

Gewährleistung der Modellqualität durch den Modelltest

• 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

Systematische anforderungsbasierte Spezifikation von Testsequenzen

• Testfälle: Was sind die typischen Grundelemente?
• Definition von Testgruppen und Testsequenzen
• Spezifikationsfunktionen und Umgang mit Parametern
• Best Practices für Testspezifikationen

Hands-on: Testspezifikation mit MTest

Automatisierte Testauswertung mit Test-Assessments

• 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

Signalvergleich im Regressions- und Back-to-Back-Test

• Anwendungsbereiche (MiL – SiL – PiL)
• Kombination von Back-to-Back und Regressions-Test

Hands-on: Signalvergleich mit MTest

Modell- und Code-Coverage im Modelltest

• Model-Coverage für alle MiL-Testplattformen
• Code-Coverage für SiL-/PiL-Testplattformen

Hands-on: Erhöhung der Modell-/Code-Coverage mit MTest

Überblick und Prioritäten für die Prozessanpassung gemäß ISO 26262

• 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