This is a rather large project with several directions. The aim of this project is to extend the foundation of software engineering for the analysis, testing, debugging and synthesis of software by taking into account its non-functional properties. To know more about the topic, please take a look at our following publications: DATE-2019, DAC-2018, JSA-2016, SPIN-2015, EMSOFT-2014, FSE-2014, RTSS-2013.