We regularly interact with a multitude of computer controlled systems of all shapes and sizes called embedded systems. Some of the most popular ones are the microwave oven, refrigerator, trucks and light motor vehicles, certain kinds of military systems and many others. Embedded systems have more non-functional properties, more complex software structure and development process compared to simple systems. In just the past few years, there have been a number of cases where errors in the software and hardware of embedded systems led to human casualties and massive losses. Errors in embedded systems are also discovered in smaller systems, such as motorcars, cell phones and elsewhere. Existing methods for testing embedded systems are incomplete and do not ensure automation of the testing process or correspondence to current trends in software development. These methods are based mostly on general testing standards and do not support testing of non-functional features of embedded systems. To make development of embedded systems reliable, new methodologies, programming and specification languages are introduced. Standardized principles of model-driven architecture (MDA), the available development environments and tools stimulate automation of the entire software development cycle. One of the tools used by MDA is a Unified Modeling Language (UML), which provides a testing profile to support the testing process. However, even though the testing profile was standardized in 2005, there are still no generally accepted methods for automating the testing process and generating test cases based on the system model. As a result of the research, a method was developed for testing the non-functional properties of embedded systems, as well as the set of tools developed to ensure transformation of UML models and generation of test cases. The suggested method is based on the fundamentals of model-driven software development and general principles of model transformation. To test the application of the method, it was approbated by verification of time constraints for a real-time payment card system, for which these properties are critical for performing standard activities. The doctoral thesis has been written in Latvian, and includes Introduction, 4 Parts, Conclusion, 5 Appendices, Bibliography with 100 information sources, 37 figures and illustrations, 5 tables, in total 147 pages.