New services and solutions for future mobility and Industry 4.0 introduce a new level of complexity for software systems. This challenge is addressed within CASCAdE+ by introducing a compositional verification approach for verification support for parallel SW for multicore. It allows individual software components to be verified separately, and then uses these results to construct an overall system verification. This approach will be standardised and designed in such a way that other verification solutions can be integrated easily. CASCAdE+ makes the software more resilient to safety and security issues.