An AADL sandbox