基于AADL的QoS规范和建模