I have some questions about the AADL and SLIM relationship. Is really SLIM and extension of AADL in the sense of SLIM should accept a raw AADL model?

Let's say: If define a system in AADL and I want to use compass to analyse it, would I need to only extend it with SLIM artefacts, or would I need to modify also the AADL?

Thank you very much and best regards,

Jorge