Forschungsbereiche
Softwaretechnik
Formale Methoden
Mechatronik und Robotik
Organic Computing
Sicherheit
Der Lehrstuhl für Softwaretechnik
Vorlesungen im Master
Softwaretechnik II
Formale Methoden
im Software Engineering
Software in Mechatronik und Robotik
Selbstorga-nisierende,
adaptive Systeme
Software- und System-
Sicherheit
Der Lehrstuhl für Softwaretechnik
Seminar Systemmodellierung und Verifikation
Seminar fortgeschrittene Themen des Software Engineering
Seminar fortgeschrittene Konzepte in der Robotik
Vorschlag Studienplan Master
Selbstorganisierende, adaptive Systeme
2+4 SWS, 8 LP
Software in Mechatronik und
Robotik
2+4 SWS, 8 LP
Software- und Systemsicherheit
2+4 SWS, 8 LP
Softwaretechnik II
4+2 SWS, 8 LP
Formale Methoden im Software Engineering
2+4 SWS, 8 LP
Projektmodul Software- und
Systems Engineering
10 LP
Der Lehrstuhl für Softwaretechnik
1. Semester Winter
2. Semester Sommer
3. Semester Winter
4. Semester: Masterarbeit
Formale Methoden im Software Engineering
• Softwarefehler können Schäden in Millionenhöhe verursachen oder gar Menschenleben kosten
• Für Systeme im hochgradig sicherheitskritischen Bereich reichen normale Qualitätstechniken nicht aus
• Es sind in solchen Fällen beweisbar korrekte Programme gefordert
Der Lehrstuhl für Softwaretechnik
Formale Methoden ermöglichen den mathematisch exakten Nachweis der funktionalen Korrektheit von Software
Software- und Systemsicherheit • Bedrohungen im digitalen Zeitalter nehmen zu • Sicherheit oberstes Ziel bereits beim Design • Modellgetriebenes Software Engineering für
sichere Systeme • Schutz der privaten Daten auf Smart Phones • Kryptographische Protokolle • Smart Cards • Informationsflusskontrolle
Der Lehrstuhl für Softwaretechnik
Skimming
Tracking
Softwaretechnik II
• Software Prozesse, vom Unified Process bis zu Scrum: Wie geht man vor?
• Requirements Engineering: Was muss getan werden?
• Refactoring: Systematische Verbesserung des Designs
• Testen: Notwendiges Werkzeug der Qualitätssicherung
Der Lehrstuhl für Softwaretechnik
Selbstorganisierende, adaptive Systeme
Beispiele: • Organic Computing (OC) • Naturinspirierte Algorithmen (Ameisen, Bienen) • Systeme mit Selbst-x Eigenschaften • lernende Algorithmen • Emergentes Verhalten • Schwarmintelligenz • Sensornetzwerke
Der Lehrstuhl für Softwaretechnik
Creating a new generation of IT systems, which are not explicitely pre-programmed at design time … (because of their complexity, autonomy, or unpredictable structure) but intelligently react at run time to unforeseen situations (e.g. through self organisation, self adaptation, self optimisation).
Software in Mechatronik & Robotik
• Software Shift bei der Entwicklung mechatronischer Produkte
– Mechanik und Elektronik ist beherrschbar
– Software ist der Innovationstreiber
– Softwareanteil bei solchen Produkten steigt stetig (im Auto mehr Software als im Kampfjet(?))
– Aber deren Entwicklung bringt neue Herausforderungen (z.B. Echtzeitanforderungen, …)
• In der Mechatronik & Robotik ist Software die Basistechnologie
– für die Machbarkeit innovativer Systeme
– für den einfachen und wirtschaftlichen Zugang zu neuen Anwendungsfeldern
– für eine breitere Produktpalette durch Softwarevarianten
– für intelligente und flexible Produktionszellen
Der Lehrstuhl für Softwaretechnik
Aktuelles Lehrangebot
• Softwaretechnik II • Software- und Systemsicherheit • Software in Mechatronik und Robotik (belegt) • Selbstorganisierende, adaptive Systeme (belegt) • Seminar Systemmodellierung und Verifikation Vorbesprechung Freitag
• Seminar fortgeschrittene Konzepte in der Robotik Thema „Greifen“ - siehe Webseite
Der Lehrstuhl für Softwaretechnik
Für Studierende
• Ständig aktualisierte/wechselnde
– Masterarbeiten
– Projektmodule
– studentische Mitarbeiter
(siehe Webseite/Aushänge)
• regelmäßig Tutoren in Softwaretechnik/Softwareprojekt • Betreuung externer Masterarbeiten • persönliche Beratung:
– Kurt Stenzel (Zimmer 3051, Tel. 598-2123)
– jeder Mitarbeiter des Lehrstuhls
Der Lehrstuhl für Softwaretechnik