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

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Abschlussarbeiten  |  Sonstiges  |  Kontakt  | 

|    

Research Areas

Currently the Modelbased 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