**9. Conclusions**

This research meets the challenges of the embedded system design by applying the Model Based Design (MBD) method in the early design stage. Furthermore, the main contribution of this research is to prove the potential of using the MBD method in the optimization and verification of the embedded system software development. This study proposed the functional model of a microprocessor in the early stage of the inverter power supply development, which allows the full simulation of the system in the virtual environment including the electrical circuit and software implementation. Inverter power supply was taken as a case study of the embedded system design. An entire model of the system was developed, including the electrical circuit and the microprocessor using the MATLAB and Simulink package. All the software parameters were optimized as well as a newly applied controlling algorithm was evaluated using the Model In the Loop Simulation (MILS) environment. The validity and the usefulness of the proposed model were tested comparing with the actual prototype of the inverter power supply. The developed model was shown to be well in agreement with the experimental results. This method can be used to optimize the software parameters before the actual design. Moreover, the models can be used to study and analyze the behaviors of the system which meet the challenges of designing the digital control system. The results show that the suggested models are promising and the models can be useful for optimizing the performances in developing the embedded software.
