UML-MARTE MODEL VERIFICATION SCHEDULABILITY ANALISYS RECONFIGURABILITY SIMULATION SW SYNTHESIS SECURITY