Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Nächste Überarbeitung
Vorhergehende Überarbeitung
lehre:wise0910:formale_methoden [2009/06/08 11:48]
schlich angelegt
lehre:wise0910:formale_methoden [2009/10/28 16:00] (aktuell)
haensch
Zeile 1: Zeile 1:
 ====== Formale Methoden für eingebettete Systeme ====== ====== Formale Methoden für eingebettete Systeme ======
-\\ 
  
- +===== Neuigkeiten ​===== 
-===== Aktuelles ​===== +| 05.10.2009 | Aus organisatorischen Gründen findet die erste Vorlesung am 13.10.2009 statt. Für Masterstudenten,​ die an der Einführungsveranstaltung der Fachgruppe teilnehmen wollen, bieten wir eine Zusammenfassung an. Außerdem können die Folien der ersten Veranstaltung über das L2P System bezogen werden.| 
-\\+| 15.09.2009 | Die erste Vorlesung findet am 13.10.2009 in AH III statt. |
  
 ===== Inhalt ===== ===== Inhalt =====
 +In dieser Vorlesung werden verschiedene formale Methoden erklärt und es wird gezeigt wie diese in der Entwicklung eingebetteter Systeme verwendet werden können. Zu diesen formalen Methoden zählen:
 +  * Abstrakte Interpretation
 +  * Model-Checking
 +  * Statische Analyse
 \\ \\
 +Dabei werden die formalen Methoden auf unterschiedliche Modelle angewendet. Zu den behandelten Modellen zählen:
 +  * Automaten
 +  * Zeitautomaten
 +  * ggf. hybride Automaten
 +  * Assembler-Code
 +  * C-Code
 +  * ggf. MATLAB Modelle
  
 ===== Termine ===== ===== Termine =====
-\\+Die Vorlesung wird in Deutsch gehalten. Die Übung findet 14-tägig statt. In der Woche in der keine Übung statt findet, findet an beiden Terminen die Vorlesung statt.\\ 
 +  * Montag 10:00 - 11:30 AH I 
 +  * Dienstag 10:00 - 11:30 AH III
  
 ===== Übung ===== ===== Übung =====
-\\+ 
 +Um den Übungsschein zu erhalten 
 +  * dürfen Sie einen Übungstermin entschuldigt versäumen 
 +  * und müssen Sie mindestens einmal mit Ihrer Gruppe eine Lösung präsentieren 
 +  * und die Klausur bestehen.
  
 ===== Kontakt ===== ===== Kontakt =====
 +
 +  * Vorlesung: [[:​lehrstuhl:​mitarbeiter:​schlich]]
 +  * Übung: [[:​lehrstuhl:​mitarbeiter:​brauer]] und [[:​lehrstuhl:​mitarbeiter:​haensch]]
  
 ~~NOTOC~~ ~~NOTOC~~