add some configuration in AADL