Oqarina is a mechanization of AADL using Coq. It provides a set of capabilities to represent an AADL model using Coq types and perform some processing.