Model-in-the-Loop Testing for Cyber Physical Systems

Context: Nowadays, there is of high interest to use automated testing, not only because it optimizes the manual testing by reducing the needed time and cost, but also because manual testing is more likely to produce errors. Increasing the safety of software controlled complex systems, that use many distributed electronic controlled units, requires extensive testing. In model based testing, the test specification is derived from the system requirements and a model that describes selected functional and nonfunctional aspects of the system under test.