AIR provides an IR in Slang for AADL instance models. It was inspired by Ocarina's AADL to XML translator.

1. Clone both the Sireum v3 repository and this repository:

   git clone --recursive -b master [email protected]:sireum/v3.git sireum-v3
   git clone [email protected]:sireum/air.git sireum-v3/aadl/ir
   

2. Follow the instructions for installing the Sireum IVE Development

3. Follow the instructions for setting up Sireum IVE for Sireum v3 Development