search menu icon-carat-right cmu-wordmark

AADL Overview and Perspectives

Talk given by Peter Feiler at AADL User Day 2019

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.