Zur Webseite der Informatik

Projekte

Aktuelle Projekte

  • System-Theoretic Analysis of Dependable Systems in the Automotive Domain (MISTI Global Seed Fund, Kooperation mit Prof. Nancy Leveson)
  • Privacy in Stream Processing (Patron) (gefördert von der Baden-Württemberg Stiftung)
  • Gefährdungsbeurteilung hochautomatisierter Fahrzeugfunktionen (Continental Teves AG & Co. oHG)

Beendete Projekte

  • Anwendung von STPA in der Daimler-Umgebung (Daimler AG)
  • Experimentelle Verbesserung des Lernens von Software Engineering, EVELIN (Im Unterauftrag der HS Neu-ULM, gefördert durch das BMBF)
  • Software-Qualität: Flexible Modellierung und integriertes Controlling, QuaMoCo (TU München mit Capgemini, SAP, Siemens, itestra, Fraunhofer IESE, gefördert durch das BMBF)
  • MAN-TUM Maintenance, MANTUMa (TU München mit MAN Truck & Bus)
  • Productivity - Balance for Excellence (TU München mit Siemens CT)
  • Google Research Award, SimDect (TU München mit Google)
  • Anforderungsorientiertes, modellbasiertes Testen, AMT (TU München mit Siemens CT)
  • Models for System Integration Testing, MoSIT (TU München mit T-Systems)
  • Product Quality for Software-intensive Products, PQSP (TU München mit Siemens CT)
  • Methodical founded development of real-time systems, InTime (TU München, gefördert durch die DFG)
  • FAct-based Maturity through Institutionalisation Lessons-learned and Involved Exploration of System-family engineering, FAMILIES (TU München mit Siemens CT)
  • Siemens Quality Model (TU München mit Siemens COM)
  • From Concepts to Application in System-Family Engineering, CAFE (TU München mit Siemens CT)
  • AutoFocus Model and Model-Based Testing of the MOST Network Master (TU München mit BMW)
  • Cross-Species Anatomy Network, XSPAN (Heriot-Watt UniversityUniversity of Edinburgh, gefördert durch das BBSRC)