=== 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:

• Hardware In the Loop (HIL)
• Software In the Loop (SIL)
• Model In the Loop (MIL)
• Model Checking
• Theorem Proving
• Simulation
• Software Testing
• Model Driven Testing
• …

=== 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.):
  • zusätzliche Literatur und Aufbau: 06.11.2006
  • schriftliche Ausarbeitung: 18.12.2006
  • Folien: 22.01.2007
• 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 ===

• Folien des ersten Treffens
• Vorlage für die Ausarbeitung

=== Kontakt ===

• Bastian Schlich
• Allgemeine Fragen werden im Forum beantwortet: Forum des Seminars