Embedded control software is very often developed by using Simulink and auto-code generation. The test and verification tool TPT offers a systematic model based testing of embedded systems. Test cases are modeled by using hybrid automatons.
Tests can be reactive and can run in real-time. Tests can be executed in different environments like Simulink models, XPC Target, C-code. Thus MiL-testing, SiL-testing, PiL-testing and HiL-testing is possible. After test execution TPT offers automatic test result evaluation by specification of assessments. The test results are reported as html or pdf. Traceability of tests and requirements is given. Testing and verification is especially important for safety relevant systems according to ISO26262 or IEC61508.