AADL Overview and Perspectives
Software Engineering Institute
Safety Critical Embedded Software Systems are facing exponential growth in software development cost exceeding 70% of total system development cost.
AADL is basis for a set of technologies and practices that specifically have been designed to provide early detection and continuous verification throughout the life cycle.
A number of case studies and pilot projects by different organizations have demonstrated the benefit of virtual system integration with AADL.