This paper describes the implementation of an automated test tool developed in Matlab ® /Simulink ® environment that supports model testing and software verification in model-based development of control applications. This tool based on 'black box' testing strategy serves on the one hand to check the "semantic" or "functional" correctness (SiL: Software-in-the-loop) of automatically with RTW (Real Time Workshop ® ) generated C-code for algorithms designed and modelled in Simulink ® and on the other hand to compare the obtained results with the results of the simultaneously running Model-in-the-loop test (MiL). The aim behind this tool is to develop reliable software that fulfils system requirements, assure quality and can perform satisfactorily in the intended deployment environment Keywords-Software-in-the-loop (SiL), Model-in-the-Loop (MiL), Hardware-in-the-Loop (HiL), Software Verification, Programmable Logical Controler(PLC), Matlab ® /Simulink ®

Reliable software development and methods to validate programming code and source code gain nowadays more importance and will be even more significant in the future. It is not enough that the developer has understood the task, but it has to be validated that from simulation to the actual desired hardware the developed code is functioning correctly. This research and development area increases rapidly and tools are required and demanded from researchers and industries. Our developed tools use Matlab ® / Simulink ® as a platform to simulate and analyse the functionality of the model and then to verify the functionality of the created meta-programme, which is in this case converted to C. Finally, the functionality has to be verified of the binary source-code downloaded onto the actual operating hardware. This paper describes the necessary steps and tools which have been developed and uses a simple example to illustrate different stages and methods necessary to validate the functionality of the developed programme.

This paper is concerned with the design procedures of an automated testing tool, developed in Matlab ® /Simulink ® environment, that performs software verification during runtime on a PLC (Programmable Logic Controller) or so called HiL test (Hardware-in-the-Loop) for model-based development of control applications. In addition to checking the "semantic" or "functional" correctness of the automatically generated C++ -Code with RTW (Real Time Workshop ® ) for algorithms designed and developed in Simulink ® on hardware targets, the tool compares results obtained from the HiL test with the results of the MiL test (Model-in-the-Loop) performed in early stage of development for the same developed application. The main purpose behind this work is to develop reliable software that fulfil system requirements and to test its behaviour during realtime hardware simulation, in order to achieve the validation step which represents the terminating -step of almost all projects.