[aadl]: Cyclic Immediate Connections in AADL

[Andrew Gacek]

Hi,

Are cycles of immediate connections between subcomponents allowed in AADL?
I couldn't find anything definitive in the AADL spec about it. The spec
talks about scheduling in such a way that strongly suggests cyclic
connections are not allowed, but no clear statement of it being disallowed.
The best I've found is this line:

"Cyclic sequences of immediate connections are not permitted since they
cannot be achieved. "

>From "Pattern-Based Analysis of an Embedded Real-time System Architecture."
Is there a definitive statement that such connection cycles are not
allowed? I know OSATE doesn't complain about them:

  thread io
  features
      o : out data port;
      i : in data port;
  end io;

  process proc
  end proc;

  process implementation proc.impl
  subcomponents
    A: thread io;
    B: thread io;

  connections
      AtoB : port A.o -> B.i;
      BtoA : port B.o -> A.i;
  end proc.impl;

Thanks,
Andrew Gacek
-------------- next part --------------
HTML attachment scrubbed and removed