AADL (Architectual Analysis and Design Languaje) es un lenguaje de modelado de si8stemas estandarizado por la sociedad SAE (Society of Automotive Engineers) específicamente diseñado para modelar sistemas empotrados de alta integridad con restricciones de tiempo real estricto, como los utilizados en aviónica, robótica, automoción, electrónica aeroespacial, etc.
