Vorlesung Konstruktion sicherheitskritischer Software
Konstruktion sicherheitskritischer Software
Inhaltsverzeichnis
Ort, Zeit
Vorlesung: Di 12-14 Uhr, SR 1.30
Mi 12-14 Uhr, SR 1.29
Vorlesungsinhalt
1. Eingebettete-Systeme, Sicherheits- und Lebendigkeitsbedingungen
2. Model-Driven Architecture
3. Automaten mit Erweiterungen
4. Temporale Logik
5. Modellprüfung
6. Codegenerierung
7. Programmprüfung
Folien
Folien zur Vorlesung
einleitung-neu.pdf
(externe Datei)
Folien zur Vorlesung aktuell
einleitung-neu2.pdf
(externe Datei)
ASM_Satecharts
secure_asm_statecharts.ps
(externe Datei)
SMV Manual (ps)
smvmanual.ps
(externe Datei)
NuSMV (Programm)
NuSMV
(externe Datei)
Beispiele (tgz)
smvbsp.tgz
(externe Datei)