TUM – TUM – Menu

Teaching

2019

2017

2014

2013

2012

  • Tutorial

    Automotive Software - Methods & Technologies

    Automotive Software - Methods & Technologies

    In der Vorlesung werden drei unterschiedliche Softwaredomänen im Fahrzeug vorgestellt: Infotainment, Karosserie/Komfort, Fahrerassistenz und Sicherheits-Elektronik. Zu jeder Domäne werden in einer Vorlesung die Anforderungen und Besonderheiten, sowie die theoretischen Grundlagen vermittelt. In der anschließenden Stunde werden dann die konkreten Technologien, mit den verbundenen Stärken und Schwächen durchgearbeitet. Nach den drei Softwaredomänen werden drei Querschnittsthemen zentral adressiert: Entwicklungsprozess, Architektur und Qualitätssicherung.

2010

  • Seminar

    Petri Nets

    Petri Nets

    Petri-Netze sind das vielleicht wichtigste Werkzeug zur Modellierung nebenläufiger Prozesse in der Informatik. In diesem Proseminar befassen wir uns mit grundlegenden Definitionen von Petri-Netzen als Modellierungstechnik sowie mit der formalen Analyse von Netzen. Zu diesem Zweck diskutieren wir einige Fallstudien wie wechselseitigen Ausschluss, Geschäftsprozesse, oder Netzwerkalgorithmen. Dieses Proseminar baut auf dem Buch Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien von Wolfgang Reisig auf. Die entsprechenden Kapitel werden wir ausgedruckt bereitstellen.

2009

2008

2007

2005

2003