SCADE Model for function F_MM - completed for viability checks before take off not completed for flight aspects