Model based testing of real-time embedded components

We study automatic test generation for analyzing functional and extra-functional quality of embedded components. The main inputs of the method are the descriptive model of the analyzed component and a time-dependent model of the quality requirements. The model-based approach enables automation of the quality testing process, and therefore contributes to reducing the development time while avoiding errors