Upload
others
View
1
Download
0
Embed Size (px)
Citation preview
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