Reliable software development methodology for safety related applications: From simulation to reliable source code

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^reg / Simulink^reg 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.