Based on the software requirements we implement a SImulink model.
Here we discuss the test-harness and the test-unit for the thermostat.
We prepare the model infrastructure for test-driven development.
We implement the unit in Simulink and use the static checker for clean up.
We will create a model which is ready for requirements-based testing.