Validation at the system level. High -level modeling and testing management

This book describes the methods of high -level modeling and validation of complex systems of hardware and software, including architectures with multi -core processors. Readers will learn how to avoid time and errors in comprehensive systemic validation, including modeling systems and their failures, as well as about automatically generating specialized tests and effective validation methods using such tests and confirming the performance of systems. The methodologies described in this book will help developers improve the quality of validation due to the implementation of tests in the early stages of design while reducing the cost of these processes and efforts aimed at validation of systems as a whole.
This book is intended for senior students, graduate students, researchers, developers of CAD tools, designers and managers who are interested in developing effective tools and methods of design and validation at the system level, generating directed tests and functional validation of heterogeneous structures of the CSC