Scheduling and memory requirements analysis with AADL