Department of Informatics

TU München - Fakultät für Informatik
Software & Systems Engineering Research Group


Research Areas

Currently the Model-based Development group is working on the following research areas:

  • Seamless model-based development
  • Model-based development of mechatronic systems
  • Formal specification of (mostly embedded) software systems
  • Model-based debugging
  • Analysis of costs and benefits of model-based development of embedded software systems in the car industry
  • Modeling of probabilistic systems
  • Formal semantics of UML2
  • Transition from documents in natural language to system models
  • Model validation
  • Model-based deployment
  • Model-based testing
  • Model-based safety-cases
See also the research areas of the innovation hotspot for software-intensive systems at the Technische Universität München.

© 1999-2009 - Software & Systems Engineering Research Group
Sitemap |  Contact
Last change: 2010-06-16 14:20:38