The goal of the COEVOLVE project is to research the applicability of AI and formal methods to support and accelerate embedded systems development and reduce time-to-market. Regarding HW/SW Co-Evolution, we target on optimizing the HW/SW-interface to simplify and improve the interaction between system software and its underlying hardware. Regarding the system software, the focus is on generation of models, code, and documentation, to support new hardware (portability), comply to automotive standards, and prove and explain the correctness of the implementation.