Spezifikationstechniken
Vorlesung Spezifikationstechniken
Inhaltsverzeichnis
Klausustermine
Ort, Zeit
Vorlesung: Mo 14-16 Uhr, SR 1.29 und Mi 14-16 Uhr, SR 1.29
Vorlesungsinhalte
Lernziele:
Die TeilnehmerInnen sollen die Grundlagen formaler Spezifikation kennen lernen sowie deren Einsatz zur Validierung und Verifikation.
Inhalte:
1. Wiederholung der Modellierung, Gleichungskalkül
2. Spezifikation und deren Semantik
3. Erweiterung von Spezifikation
4. Parametrisierung von Spezifikationen
5. Module und deren Verfeinerung
6. Simulation und Transformation
7. Abstrakte Zustandsmaschinen
Folien
Folien Seite 0-39 neu 12.10.06 11.45
spec1-39.ps
(2,9 MB) vom 12.10.2006
Folien Seite 1-70 neu 30.10.06
spec1-70.ps
(5,1 MB) vom 30.10.2006
Folien animiert Seite 1-70 30.10.06 (pdf)
einleitung-neu.pdf
(632,3 KB) vom 27.11.2006
NuSMV mit Beispielen (tgz)
spec.tgz
(2,4 MB) vom 04.12.2006
Modell Bahnsystem 2
spec.smv
(8,7 KB) vom 06.12.2006
ATMega8 Beschreibung
ATMega8_doc2486.pdf
(2 MB) vom 17.01.2007
AVR Befehlsbeschreibung
AT_Instr_Set_DOC0856.PDF
(645,8 KB) vom 17.01.2007