This paper describes the main idea and key points of doctoral research on testing of non-functional requirements of embedded systems. The research is related to identification and description of specific features of embedded systems, which need to be carefully verified and tested, and the testing process itself. The author suggests several possibilities for the modelling of non-functional requirements in the task of test case generation to verify embedded systems. The paper deals with the identification of the critical points in the process examined in the research and proposes several ideas for the solutions of the problems stated in the paper.