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,