SIMOTEST: A tool for automated testing of hybrid real-time Simulink models

This paper is presenting a tool called SIMOTEST. It allows the user to conduct Model Based Testing of MatLab/Simulink models. In particular it allows automatically running and evaluating test cases which got generated from a test model. Test cases which get run from SIMOTEST can be used for testing hybrid realtime systems i.e. systems which have continuous and discrete inputs/outputs which need to fulfill timing requirements. This is achieved by using the IEEE Standard for Signal and Test Definition (IEEE 1641).