PT - JOURNAL ARTICLE AU - Živčák, Jozef AU - Kelemenová, Tatiana AU - Kelemen, Michal AU - Maxim, Vladislav TI - Model-based Approach to Development of Engineering Systems DP - 2013 Oct 31 TA - Acta Mechanica Slovaca PG - 56--62 VI - 17 IP - 3 AID - 10.21496/ams.2013.033 IS - 13352393 AB - 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.