AADL

AADL is used to model the software and hardware architecture of an embedded, real-time system. It helps specifying and analyzing real-time performance of distributed computer systems. The language is based on the metamodel defined by SAE (AADL).