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