Model-based methods for embedded system design; model-based software architectures; model-based design for control applications; model-based software testing, system verification, software/system integration and deployment; tools for model-based embedded system design.
