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

Abstract

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.

Analysis and testing of matlab simulink models: a systematic mapping study

“…The last two articles [32,41] introduce different methods for checking models and supporting automatic code generation for later testing activities; Schwarz et al describe a chain of methods considering MiL, SiL, and formal analysis with a rule checker [32], He et al present automated mutation-based test case generation enhanced by a change impact analysis [41].…”

“…own example literature example [2,17,18,21,32,35,38,42] 5 10 15 20 [23,39] 25 [5,11,12,14,15,20,22,25,30,33,34] none Matlab example industry example [1, 2, 4, 6, 7, 8, 9, 10, 13, 16, 17, 18 ,19, 23, 24, 26, 27, 28, 29, 31, 35, 36, 37, 38, 42, 44] [6] use 20 different industrial models to evaluate their approach; Böhr [26] uses only one example. However, even in these cases, the models are of different sizes.…”

“…The remaining four articles [6,9,32,41] discuss a combination of testing and analysis. A tool for test case generation called SmartTestGen is introduced in [6].…”