| Datum
=== Inhalt ===
In diesem Seminar werden verschiedene Methoden behandelt, die benutzt werden können, um eingebettete Systeme zu testen. Einige von diesen Techniken werden bereits in der Industrie eingesetzt, andere sind noch eher im Bereich der Forschung zu sehen.
Es werden u.a. die folgenden Methoden betrachtet:
=== Ablauf ===
Dieses Seminar wird als Blockseminar durchgeführt. Das erste Treffen wird am Ende der vorlesungsfreien Zeit oder in der ersten Vorlesungswoche des Wintersemesters durchgeführt. Das Blockseminar wird dann wahrscheinlich im Februar des nächsten Jahres abgehalten. Zwischendurch wird es einige Deadlines geben, die eingehalten werden müssen.
=== Themen ===
Theorem Proving
Model Checking - explizit
Model Checking - symbolisch
Real-Time Model Checking
Model Checking Hybrider Systeme
Model-based Testing
Statische Analyse: Abstrakte Interpretation
Statische Tests: Reviews + Metriken
Statische Tests: Datenflussanalyse + Kontrollflussanalyse
Dynamische Tests - Whitebox
Dynamische Tests - Blackbox
Model-in-the-Loop + Software-in-the-Loop
Processor-in-the-Loop + Hardware-in-the-Loop
Rapid Prototyping
=== Anforderungen ===
Teilnahme an allen Terminen
Eigenständige Einarbeitung in das gegebene Thema
Schriftliche Ausarbeitung von 15 Seiten / Person in der von uns zur Verfügung gestellten Vorlage
Vortrag von 45 Minuten (strikt) / Person
Deadlines strikt (Es genügt die Dateien per E-Mail zu schicken.):
Die Ausarbeitung und die Folien müssen selbstständig verfasst werden. Alle benutzten Quellen und Hilfsmittel müssen angegeben sowie Zitate kenntlich gemacht werden.
=== Unterlagen ===
=== Kontakt ===
|