 |
Research Area
Tool-supported model-based development of embedded systems
Tool-supported analysis of models
Requirements engineering and its seemless integration into system development and validation
Metamodels and (tool-supported) model transformations
MSCs and their use for system validation
FMEA, FTA, HAZOP, and all that stuff
Compatibility between different functions and different versions of one function
Tool-supported management of variants
|
