Supporting Safety Evaluation Process using AADL