proske
06-04-2005, 17:03
Zur Unterstützung laufender Projekte suchen wir interessierte StudentInnen:
1. e-Learning Konzepte weltweit in hardwarenahen Laborübungen (2-3 Personen)
Recherche in wissenschaftlichen Publikationen und in den Internetplattformen internationaler Universitäten. Wir sind an e-Learning Konzepten interessiert, die nicht nur einfache Vorlesungen/Übungen in der Fernlehre anbieten sondern weiterführende Konzepte entwickelt haben:
a.) im hardwarenahen Bereich = hardwarenahe Laborübungen remote verfügbar gemacht oder Komponenten verleihbar zum Mitnehmen
b.) didaktische Konzepte dahinter
2. Formal Methods in the Engineering of Computer Systems (2-3 Personen)
Mit welchen formalen Verfahren kann man menschliches Versagen bei der
Entwicklung von (sicherheitskritischen) Computersystemen vermeiden?
Welche Verfahren gibt es? Welche Tools gibt es zur Unterstützung? Wie
gehen diese Verfahren/Tools mit Fehlertoleranzanforderungen um?
Teilaufgaben:
0. Warum Formal Methods bzw. was passiert wenn man Menschen vertraut
(= Andis Computer Added Catastrophies)
1. Requirement Capture [mit dem Ziel einer (semi)formalen
Problemspezifikation]
2. Formal Software Engineering [automatisches Erstellen von
Software/Hardware basierend auf einer (semi)formalen
Problemspezification]
Keywords: Formal Methods, Model Checking, Proof-based System
Engineering, Formal Software Engineering, Theorem Proofer,
Requirement Capture Phase, Distributed Systems, Real-time
Systems, Dependable Systems
3. Evaluation of Distributed Algorithms (3 Personen)
Auf Konferenzen wie ACM PODC und DISC werden jährlich verteilte
Algorithmen und deren formale Beweise präsentiert. Oft ist es aber
interesant der Verhalten dieser Algorithmen in echten Systemen zu
Untersuchen.
Teilaufgaben
1. Berichte vom Einsatz verteilter Algorithmen in kommerziellen Systemen
2. Simulierungsumgebungen für verteile Algorithmen
3. Evaluierungsumgebungen zur experimentellen Analyse von verteilten
Algorithmen
Keywords: Distributed Algorithms, Simulation, Performance, Case
Study, Implementation, Fielding, Evaluation, Networking
Kontakt 2,3: Josef Widder, www.ecs.tuwien.ac.at/~widder
Mit freundlichen Grüßen
-Markus Proske
--
Markus Proske proske@ecs.tuwien.ac.at
Vienna University of Technology www.ecs.tuwien.ac.at/~proske
Institute of Computer Engineering E182/2 tel: +43(1)58801-18264
Treitlstrasse 3, 1040 Wien, Austria fax: +43(1)58801-18297
1. e-Learning Konzepte weltweit in hardwarenahen Laborübungen (2-3 Personen)
Recherche in wissenschaftlichen Publikationen und in den Internetplattformen internationaler Universitäten. Wir sind an e-Learning Konzepten interessiert, die nicht nur einfache Vorlesungen/Übungen in der Fernlehre anbieten sondern weiterführende Konzepte entwickelt haben:
a.) im hardwarenahen Bereich = hardwarenahe Laborübungen remote verfügbar gemacht oder Komponenten verleihbar zum Mitnehmen
b.) didaktische Konzepte dahinter
2. Formal Methods in the Engineering of Computer Systems (2-3 Personen)
Mit welchen formalen Verfahren kann man menschliches Versagen bei der
Entwicklung von (sicherheitskritischen) Computersystemen vermeiden?
Welche Verfahren gibt es? Welche Tools gibt es zur Unterstützung? Wie
gehen diese Verfahren/Tools mit Fehlertoleranzanforderungen um?
Teilaufgaben:
0. Warum Formal Methods bzw. was passiert wenn man Menschen vertraut
(= Andis Computer Added Catastrophies)
1. Requirement Capture [mit dem Ziel einer (semi)formalen
Problemspezifikation]
2. Formal Software Engineering [automatisches Erstellen von
Software/Hardware basierend auf einer (semi)formalen
Problemspezification]
Keywords: Formal Methods, Model Checking, Proof-based System
Engineering, Formal Software Engineering, Theorem Proofer,
Requirement Capture Phase, Distributed Systems, Real-time
Systems, Dependable Systems
3. Evaluation of Distributed Algorithms (3 Personen)
Auf Konferenzen wie ACM PODC und DISC werden jährlich verteilte
Algorithmen und deren formale Beweise präsentiert. Oft ist es aber
interesant der Verhalten dieser Algorithmen in echten Systemen zu
Untersuchen.
Teilaufgaben
1. Berichte vom Einsatz verteilter Algorithmen in kommerziellen Systemen
2. Simulierungsumgebungen für verteile Algorithmen
3. Evaluierungsumgebungen zur experimentellen Analyse von verteilten
Algorithmen
Keywords: Distributed Algorithms, Simulation, Performance, Case
Study, Implementation, Fielding, Evaluation, Networking
Kontakt 2,3: Josef Widder, www.ecs.tuwien.ac.at/~widder
Mit freundlichen Grüßen
-Markus Proske
--
Markus Proske proske@ecs.tuwien.ac.at
Vienna University of Technology www.ecs.tuwien.ac.at/~proske
Institute of Computer Engineering E182/2 tel: +43(1)58801-18264
Treitlstrasse 3, 1040 Wien, Austria fax: +43(1)58801-18297