search menu icon-carat-right cmu-wordmark

AADL Overview and Perspectives

Slides from a presentation delivered 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.