kAADL Overview kAADL aims to provide a k based AADL(Architecture Analysis and Design Language) parser and relative semantics relative toolset. AADL K AADL Parser AADL semantics rules