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

  Home  |  Research/Competence  |  Teaching  |  People  |  Publications  |  Misc  |  Contact  | 

|    

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