We will develop novel tools and methods for efficient modelling, developing and testing of embedded systems (like
Internet of Things or Cyber-Physical Systems).
Outcome will be an easy-to-use and tailorable prototype of an integrated model-based development environment
(IMDE) that will reduce the overall lifecycle cost by about 50%. It will provide real-time model sanity checks,
automated test generation, advanced modelling assistants, on-target debugging, and test quality visualization.