Hello Jorge,

Many thanks for your interest in the COMPASS toolset!

SLIM is technically an extended subset of AADL. If you want to make an AADL model compatible with the COMPASS toolset, you'll have to make small modifications to make it happen. If you want to make SLIM model compatible for another AADL tool other than COMPASS, then you'll probably have to remove the behavioural parts of SLIM (at least).

I hope that clarifies your question. If you have further questions, please do not hesitate to contact us.

Viet Yen

On 19 dec. 2013, at 13:30, Jorge Garrido Balaguer jgarrido@dit.upm.es wrote:

Dear collaborators,

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 _______________________________________________ COMPASS-support mailing list COMPASS-support@lists.rwth-aachen.de http://mailman.rwth-aachen.de/mailman/listinfo/compass-support