Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehre:wise0910:vup_seminar [2009/06/12 13:06] kamin |
lehre:wise0910:vup_seminar [2009/06/12 20:42] brauer |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Verifikation und Programmanalyse ====== | ====== Verifikation und Programmanalyse ====== | ||
| - | Software wird in immer mehr bereichen des täglichen Lebens eingesetzt. Sie steuert und regelt eine Vielzahl von Systemen wie Autos, Fahrstühle, Handys oder ganze Fabrikationsanlagen. Softwarefehler führen oft zu hohen Kosten und können im Extremfall Menschenleben gefährden. Um Softwarefehler frühzeitig zu erkennen, können formale Methoden eingetzt werden, die ein Programm analysieren und verifizieren können. Dieses Seminar behandelt fortschrittliche Methoden, welche die Qualität eingebetteter Software überprüfen können und somit zur Sicherheit und Verlässlichkeit der Gesamtsysteme beitragen. | + | ~~NOTOC~~ |
| + | \\ | ||
| + | Software wird in immer mehr Bereichen des täglichen Lebens eingesetzt. Sie steuert und regelt eine Vielzahl von Systemen wie Autos, Fahrstühle, Handys oder ganze Fabrikationsanlagen. Softwarefehler führen oft zu hohen Kosten und können im Extremfall Menschenleben gefährden. Um Softwarefehler frühzeitig zu erkennen, können formale Methoden eingesetzt werden, die ein Programm analysieren und verifizieren können.\\ | ||
| + | \\ | ||
| + | Dieses Seminar behandelt fortschrittliche Methoden, welche die Qualität eingebetteter Software überprüfen können und somit zur Sicherheit und Verlässlichkeit der Gesamtsysteme beitragen. | ||
| ===== Inhalt ===== | ===== Inhalt ===== | ||
| - | Die Themen des Seminars kommen aus folgenden Gebieten: | + | |
| + | Die Themen des Seminars kommen aus folgenden Gebieten:\\ | ||
| + | \\ | ||
| * Model-Checking von eingebetteter Software | * Model-Checking von eingebetteter Software | ||
| * Architecture description languages | * Architecture description languages | ||
| Zeile 14: | Zeile 20: | ||
| ===== Termine ===== | ===== Termine ===== | ||
| - | werden in kürze veröffentlicht | + | |
| + | * Werden in Kürze veröffentlicht. | ||
| ===== Betreuer ===== | ===== Betreuer ===== | ||
| - | [[:lehrstuhl:mitarbeiter:brauer]] | + | |
| - | [[:lehrstuhl:mitarbeiter:gueckel]] (Hauptansprechpartner) | + | * [[:lehrstuhl:mitarbeiter:brauer]] |
| - | [[:lehrstuhl:mitarbeiter:kamin]] | + | * [[:lehrstuhl:mitarbeiter:gueckel]] (Hauptansprechpartner) |
| + | * [[:lehrstuhl:mitarbeiter:kamin]] | ||