Actavia 0 Živčák, Jozef Kelemenová, Tatiana Kelemen, Michal Maxim, Vladislav 2013 2013-10-31 56-62 The control functions for most engineering systems (automotives, aeroplanes, medical devices and other devices involve large quantities of software. Because of the great complexity involved and the safety requirements, manufacturers must absolutely guarantee that the device software has exactly the functions that were specified and that the functions work as defined. Thus, the specifications themselves must contain unambiguous, comprehensive function descriptions. Model-based development, in which a function is described by graphical models in MATLAB®/Simulink®/Stateflow®, is a proven method of implementing these requirements. 3 17