Many large scale embedded systems are safety-critical systems and are becoming increasingly complex. They are designed and developed by a worldwide network of enterprises and companies and often use multiple distributed models with little or late integration. System Architecture Virtual Integration (SAVI) is an effective way to improve system quality and reduce cost. It enables the model-driven virtual integration of complex systems across multiple development environments. It aims to find defects earlier in the development process, thus saving time. Architecture Analysis and Design Language (AADL), as a standard architecture modelling language, supports SAVI virtual integration process and can be a central and integrated model of integration. This paper gives an overview of SAVI virtual integration based on an AADL model. The integration can be performed using model transformation that transforms heterogeneous models into an AADL model, or using the model bus through which various annotated architecture models can interoperate. The focus of SAVI is to integrate and analyze systems, and then build. So, AADL-based non-functional properties analysis approaches are presented. The tool for these methods has been implemented to demonstrate feasibility and applicability.