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.