Study on the Transformation Method of AADL-Based Reliability Model in the Embedded System