Dear Kan,
Yes, MLife makes use of Palmgren-Miner linear damage accumulation theory.
Yes, DesignLife corresponds to the desired operational life of the wind turbine, e.g. set DesignLife to approximately 630000000 s for 20 years of operational life.
Much more information is provided in the MLife User’s Guide and Theory Manual.
Best regards,