Der Lehrstuhl für Softwaretechnik und Programmiersprachen · autonomy, or unpredictable structure) but intelligently react at run time to unforeseen situations (e.g. through self

Der Lehrstuhl für Softwaretechnik Prof. Dr. Wolfgang Reif

Der Lehrstuhl für Softwaretechnik

Forschungsbereiche

Softwaretechnik

Formale Methoden

Mechatronik und Robotik

Organic Computing

Sicherheit


Vorlesungen im Master

Softwaretechnik II

Formale Methoden

im Software Engineering

Software in Mechatronik und Robotik

Selbstorga-nisierende,

adaptive Systeme

Software- und System-

Sicherheit


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


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


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


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


Selbstorganisierende, adaptive Systeme

Beispiele: • Organic Computing (OC) • Naturinspirierte Algorithmen (Ameisen, Bienen) • Systeme mit Selbst-x Eigenschaften • lernende Algorithmen • Emergentes Verhalten • Schwarmintelligenz • Sensornetzwerke


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


Forschungsbereich Mechatronik & Robotik


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


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 und Programmiersprachen · autonomy, or unpredictable structure) but intelligently react at run time to unforeseen situations (e.g. through self

Documents